how its

(1)

how _pl _exit its theorie 5. _too

^le

sung

Steffen

Reith

25 . 9^. eg

(2)

age

Pr

^Np

①

1.6

Hierarchies hake ^-

= €

Dir stellar uatirliche Frageu ^:

.jp#

• Gibt es s

, s '

, ^so dass PSPACE ₍ s ) EDSPACECS ^') ^? analog DTI ME

• Gibt _is eine Klasse

D

^SPACE ^C^s ⁾ _, ^sodas ^s âlle eentscheidbareu Sprache û êat ^halka ^Sind ^?

Sate

^Sei ^s raumhoushueioban

, dawn gist ^es ^eine Sprache LED _PACE C_s

)

, die ^nicht wit ^Plate bedarf ^Ocs⁾ ^eat ^- schiedeu _werden have .

(3)

BE

^: ⁽

_Diagonal

_isiooug

) ②

Fis eine Th M _see^' LM > eine kodiuuug ^roam ⁱⁿ ^einem

guigueteu Alphabet Lz . B . als

Biuarzahl )

^. Ln ) hiipt Goadelisiooug

von M .

Sei

A

eine

Th

^wit ^w _, ⁿ ^-^- ^Iwl _, ^die ^wie _fo

Igt ^arbeit

^et ^:

i, ^war ^hive ^sur ⁾ Band ^z ^ellen ( ^s raumkoustriu ^bar ^!

)

^.

spike

^Simulation ^veil^a'

ft

^markie ^tea

^Bera

^'d ^ablehueu

ii , falls ^w ^nicht ^do Form L ôh) ^to ^* _fair êine ^TM ^M îst _,

dawn ablehueu

Sch )

iii , ^simu live ^M auf ^w ^. Beucitigt ^M ^mehr ^als ² Schrick

,

dawn able hueu

(4)

iv _, falls ^haha _, ^dawn ab lehnen

, Soastahz

③

Sci A die Sprache ^, die

ri

eutscheidet .

Offer

^sidekick

gilt

A- ED _SPACE^C^s

)

.

Zeiger ^: Dean _s ^' ⁼ ocs) _, dawn

AID

SPACE ( ^s^'

)

Auuahme ^: AED SPACE^Cs') _, ^dawn ^ex ^. eine TM M ^'

, die A eutscheidet

und Plates ^'

beuoitigt

^.

Dahle

w oou do

Form

^LM ^'

)

to ^'t hang geuug ^,

so class M ^'

auf

^w ^Plate

bedarf

^E ^saw ⁾ ^had

Zcitbedarf

^E ^254W^" ^hat ^. ^Ca

Padding

^"

)

(5)

⑨

Auf

_grund ^die ^so ^Dahl ^enrich

A auf

^w ^den ^Schnitt ^iv^,

ihre Reducing

Also

gilt

we A gdw ^M

' ahz w

(

^Auuahme

)

gdw

A

_alt w nicht Chou^she . von

ri

, Schnitt iy

)

gdw of

^M _&

oidersproeh

Auuahme falsie A

¢

^PSPACE ^Cs^'

⁾ #

Folger

_ung ^: ^Sei ^Se ^ocsz ⁾ ^, ^Sz ^raum houshruivbar

, daun

gilt

PSPACE

^C _se ₎

ED

^SPACE ^Cse

⁾

(6)

Sah

^: Sei

te

^-^-

tzcullogftzcus ^I • ⁾⁾

^, ^ta ^" zeitkoushruiobar ^" _,

⑤

daan

gilt

DIME

^C _ta

) EDTIMEHZ )

Bennis ^: _aihuliche

Diagonal

isiuougsmeth.de#Folgeruug

; Es

gilt ^NLG ^PSPACE

^and

^PE

^EXP

(7)

¥

°

J

EEL

amps ^reamer

(8)

2 . Das

P I

_{NP Problem}

⑦

Behauuti _Algorithm en wit polynomial^ler

Lauf zeit

^Siad a efficient ^.

(

^do aufhreteude Grad ist moist _a klein ^.

)

Audererseits ^: Viele Prob leone lassen _sich _nor dude _u Pro bivea ^"

to seu .

Deshalb :B

^-^- _ay _my

,

DT

IME

( uh)

,, efficient ^his ^barea ^Problem ^e ^"

wedgehead

Beni

^Die ^klasse

^P

^ist -

ueaschiueuuuabhaugig (

^es _{ist egal} _,

ob man l ^- Band I Mehr band Ths _, RAM_, C

, Rust

, Ruby^, ^. ^. ^.^.

)

(9)

⑧

Sagar ^die

kodieruugooa Problem spilt ^fast

^a ^heine ^"

Rolle

, da _a

veruduftige ^" kodieiougeu ^leicht ^iueiuauder umgewaudelt werden hohne

grobeu Algorithm ^en beschreibung ^en

how its

how pl exit its theorie 5. too

sung

Reith

Pr

①

1.6

= €

.jp#

D

Sate

)

BE

Diagonal

) ②

Biuarzahl )

A

Th

Igt arbeit

)

spike

ft

Bera

③

ri

Offer

gilt

)

AID

)

beuoitigt

Dahle

Form

)

auf

bedarf

Zcitbedarf

Padding

)

⑨

Auf

A auf

gilt

(

)

A

ri

)

gdw of

oidersproeh

¢

) #

Folger

gilt

PSPACE

ED

)

Sah

te

tzcullogftzcus I • ))

⑤

gilt

DIME

) EDTIMEHZ )

Diagonal

isiuougsmeth.de#Folgeruug

gilt NLG PSPACE

PE

¥

°

EEL

amps reamer

P I

⑦

Lauf zeit

(

)

Deshalb :B

DT

( uh)

how _pl _exit its theorie 5. _too

_Diagonal

Igt ^arbeit

^Bera

⁾ #

⁾

tzcullogftzcus ^I • ⁾⁾

gilt ^NLG ^PSPACE

^PE

amps ^reamer

^P

kodieruugooa Problem spilt ^fast