hits Theorie

(1)

3.

Vor ^le

sung

Kamp^lexi

hits

^Theorie

Steffen Reith

15.5 . 1g

(2)

②

Been : b ist do max . Verzveiguugsgrad ^des Berechuuugs ^- baum und liegt ^durch

Turing

_program ⁱⁿ ^fest

Cin Schnitt von einer koufigu ^ration ^zu ^einer ^niches^tea ^cleanest

max . Oct )

(

^t ^E ^Zeit ^schrank ^d ^. ^nicht ^def ^. _Berechnung

)

_,

d.

^h ^. _die _gesammte ^Reoheazeit ^OH

)

^.

20

^'t ^' ⁼

_20k _!

^#

Saki

^Sei ^tcusxn , daan

gilt

NTI ME ^C ^t) ^E

PSPACE

^C ^t

)

(3)

Beds

^: ^Uuueude ^die ^Simulation ^aus ^dear ^letter

②

Beavis

_, ^abo ^do Berechnuugsbaum ^wird ^nun ⁱⁿ Tiefeusuohe ^durch ^musket ^'

E _anohni . Bereohuuugsbaum -

. .

.

,

Plate bedarf ^: ^Kou figuration

beuotigtoct

)

^Plate

flo

^p ⁺

vollstaudigrpfadzorahtuelleukouf.gg

Elon ^told to k

-7 ^t^'

^b ^beaotigt

^- ^wire ^Zahl^Oct

⁾

^do^Plate

_Linge

^C ^Pfad^Etch ^ist⁾

)

^eine

gesamto Speicher bedarf ^ist ^Oct

) #

Folger ong ^: ^Sei ^tartan ^, ^dawn

DTIMEH )

ED ^SPACE ^Ct

)

(4)

Sathi ^Sci ^seu ) ⁷ log ^u ^, ^dance

gilt

③

D SPACE ^C ^s

)

^E ^D ^TIME ^C ² ^' ⁾

Beavis : Sei _Meine Th ^wit Plate

bedarfs

, An Zahl v ^. Zustiiudeu q ^, ^Auzahl ^von Bandera k und Arbeit s

alphabet

habe ^r ^Buchstabe ^.

Klar

^: ^Durch ^loin

ft

^M ^eine

Uoufiguratiouzveimal

^,

dawn

befinokt

^sie ^sich ⁱⁿ ^einer Eudlosschleife ^.

Da

M eine Sprache eat

scheidt

,

hauuldarfdiese

Situation

nicht ^vor ^homme ^u ^.

(5)

④

Rech en hit bei _Eiugabe _tinge _u

⇐ # d ^. koufig bei _Eiugabe

tinge

ⁿ

E # Zustaude ^.

#

wig

^lichen ^Kopf ^position ên âuf âuf ^dem Singa^be ^band ^.

#

high

^'^che ^Arbeit ^s

^band

^inhale ^.

# kopfpos

auf

^d ^.

Arbeitsbaudeu

=

of

. ( ^ht 2) ^a

(

^r ^Sch^'

)

^k ^.

sank

BlanksT

am Aufaug ^& dude

=

206

⁾ _, falls ^son ^x ^log ^u

#

(6)

⑤

Def

^: ^fine ^Fht

^fi

^IN ^→ ^IN ^heipt

raumkoustruivbar

,

falls

es eine def ^. Th ^M

gibt

^, ^die ^bei ^Engobe ^x

guan

Plate bedarf

fax

⁾ ^hat ^.

Demi ^Alle u rib lichen ^" Fhteu wie u _, uh

,

(

^ke ^IN⁾ ^, logan ^,

u ^- logan ^und ²

"

Sind rauurhoustruio bar .

Saki _Sei sun ^x log ^u

raumkoustruivbar

_, daun

gilt

N SPACE (_s ⁾ ^E D ^TIME ( 2 ^'

)

Bem : Tiefeusocheklappt ^hier ^nicht ^, ^da ^do Berechuuugsbaum

µ , line

Tiefe

^von ^bis ^zu

20

^" hat Zeitbedarf ^wire

22

(7)

Bennis :

⑥

- Sei Meine ^wi ^chalet ^. TM ^wit Plate bed

arf

^s

and ^M ^' eine TM ^die die

Raum

hoasheuiubarheit _von

S

garautiut

^.

Roush

. eine

Iet

. TM N die

auf

Ginga^be ^w _, ^a ^-^- ^lol wie

fo _Igt ^arbeitet

i, Mar hive _sun

Baudzelleu auf

^Arbeit

^band

¹

via

Simulation

von M ^'

ii , sdreibe alle koufigoratioueu ^von ^M

auf Band

²

iii , Mar hive die _{Start hou}

figuration

^rot

(8)

iv

, Solange ^es ^noch ^rote koafiguratioueu

gibt ⑦

÷÷÷ !

^wieder ^hole ^v^, ^and ^vis

17_I y ^Sei ^k ^die ask rote koafiguratiou ^. ^mark ^'ve ^k

grin

vi, Mar hive alle on ^war kioteu in einem Schnitt er ^-

was .

erogenous ,

^van ^ro

vii ,

Falls

eine abt ^. Eudhoufig ^war ^hier ^t ^ist ,

so

ahteptive

^, ^s ^oust ^lehue ^ab ^.

(9)

Zeilbedarf

^von ^N ^:

⑧

Die

Auz ^. do Schleifer durch

link

^ly ^- ^ri , ist durch die Aut . der

Uoufigsbesckrawht

^, ^da ⁱⁿ gideon ^Schnitt

line koufig

grin

gefoirbt ^wird ^# ^Schleifer durcblaiefe I 2 ^Ocs⁾

Schnitt Zeit ^be ^dart ^Grund

iACECJTMECJ.io#UoufgsSchrikproUorfig

i÷¥÷÷¥÷÷÷

^.

vi.Oaekouhgskohhumfarbeuviiekohgsmmfu.tt

_auf akz

two

chleifeudwdelimfe

=

goes

⁾

, falls _sundogs ^"

Zeitbedarf

20

^" ^.

20

^" ^. _Ocs ₎

Schleifer- kerper #

hits Theorie

3.

hits

②

Turing

(

)

d.

)

20

20k !

Saki

gilt

PSPACE

)

Beds

②

Beavis

beuotigtoct

)

flo

vollstaudigrpfadzorahtuelleukouf.gg

Elon told to k

b beaotigt

)

Linge

)

) #

DTIMEH )

)

gilt

③

)

bedarfs

alphabet

Klar

ft

Uoufiguratiouzveimal

befinokt

Da

scheidt

hauuldarfdiese

Situation

④

tinge

wig

high

band

auf

Arbeitsbaudeu

(

)

sank

206

#

⑤

Def

fi

raumkoustruivbar

falls

gibt

guan

fax

(

raumkoustruivbar

gilt

)

Tiefe

20

22

⑥

arf

Raum

garautiut

Roush

Iet

auf

fo Igt arbeitet

Baudzelleu auf

band

_20k _!

Elon ^told to k

^b ^beaotigt

⁾

_Linge

^band

^fi

fo _Igt ^arbeitet

^band