%PDF-1.4 % 3 0 obj << /pgfprgb [/Pattern /DeviceRGB] >> endobj 11 0 obj << /S /GoTo /D (Outline1) >> endobj 14 0 obj (Complexity Theory) endobj 15 0 obj << /S /GoTo /D (Outline1.1) >> endobj 18 0 obj (Languages and Turing-machines) endobj 19 0 obj << /S /GoTo /D (Outline1.1.1.7) >> endobj 22 0 obj (Turing-machines) endobj 23 0 obj << /S /GoTo /D (Outline1.1.2.40) >> endobj 26 0 obj (Nondeterminism) endobj 27 0 obj << /S /GoTo /D (Outline1.2) >> endobj 30 0 obj (Complexity Classes) endobj 31 0 obj << /S /GoTo /D (Outline1.2.1.46) >> endobj 34 0 obj (P and NP) endobj 35 0 obj << /S /GoTo /D (Outline1.2.2.72) >> endobj 38 0 obj (Space Complexity) endobj 39 0 obj << /S /GoTo /D (Outline1.2.3.81) >> endobj 42 0 obj (Relation between various Complexity Classes) endobj 43 0 obj << /S /GoTo /D (Outline1.2.4.91) >> endobj 46 0 obj (Completeness) endobj 47 0 obj << /S /GoTo /D (Outline2) >> endobj 50 0 obj (Propositional Logic) endobj 51 0 obj << /S /GoTo /D (Outline2.3) >> endobj 54 0 obj (Abstract Proof Systems) endobj 55 0 obj << /S /GoTo /D (Outline2.4) >> endobj 58 0 obj (Example of a Propositional Proof System: Resolution) endobj 59 0 obj << /S /GoTo /D [60 0 R /Fit ] >> endobj 65 0 obj << /Length 502 /Filter /FlateDecode >> stream xSKo0W("l=s6qߏ}d (>~_G"!ޓG{e@:QZؔxn@Q鈛%ںf~ke$!R ֣sLAï.f} X@WCftqo;Ԗ+;[ϥ4+Xru tK5Mұn֮:˕m":ޖQܖMFcZ7YUêͤgn6)&hrtx/nA$8l`8NG{_h'wCԝz bmsCĝIEAw endstream endobj 60 0 obj << /Type /Page /Contents 65 0 R /Resources 64 0 R /MediaBox [0 0 362.835 272.126] /Trans << /S /R >> /Parent 72 0 R /Annots [ 63 0 R ] >> endobj 62 0 obj << /Type /XObject /Subtype /Image /Width 40 /Height 40 /BitsPerComponent 8 /ColorSpace [/Indexed /DeviceRGB 255 73 0 R] /Length 881 /Filter/FlateDecode /DecodeParms<> >> stream xeg{@b(T=)w!y;.믠rE9s{,FX_0f/k{ziR٭r6֜P8rBQO_d%ʺ5 4,nRL F(n(-MuG]AzNA Mg XbN9e}OYlXv##_38b\0MGKLEN`^cdF8L.#u.W\& t 0|tCH o />:D0s j4@9j%nIK/<`. ;QˢQ;p
sA[URwY -sh(,zմQbPa,xL}:yʿ*o1iv9Q- UEZ4,*AxFST"H TI%0W5mE@}A^%y^
JYvSΣ-Rgj&I@¿-!4hEYS5"o(WX(a^<4#Ew&+)͜8;ب$R*u51+Xz:~38pP:|Ʀ$J5]1qx