ko 4

(1)

ko

ⁱⁿ _p ^le ^x ⁱ

^tats ^the

^o ^ri ^e

4

^. ^Vor

^les

^u

_ng

Steffen

Reith

22 . 5. ng

(2)

①

Sahi ( Sah ^von ^Savitch ) ^: ^Sei ^sons , login ^tanar koushtuiobar

,

dawn

get

N^SPACE ( ^s) ^E ^{D SPACE (} ^I

)

Bevis

^Sei ^M ^eine ^nicht ^det ^. ^TM ^wit ^Plate ^bedarf ^s ^and

w wit hot ^-^- ^u die Eiugabe M ^.

Die _folgeude oehursive _Fht ^tested

, Ob Kou fig Kz

vow M wit w aus Uaa fig ke ein ^E

Lt

Schriften

enrich

^bar ist .

(3)

bool

enrich bar

(

kn _, ^ka _, ^t

) ②

{ if

⁽ ^ka ⁼ ^-^- ^lez

⁾

^It

⁽

^ke ^ist ^directer

Nachfolgrreouke

⁾

) I

return true _; ^'

}

^else

I

^te ^-^- ^o ⁾ / ^. ^I

• I ← ^•

return false ;

Is

^I

^\

^ka

a ^- a ^-

•

K _O - o

- a

} ^else L

key

^•

^/° if ^B-

^I ^,

forifeoreiohbarcka^all

lkoufigsk

_, ^k, ^witt ^- e

)

^Plates^AR

^)L \o/

^!

^of

erreichbarck _, ka _, tu ⁾)

z

" koufigs ^ooh Mueitciugabeoh

return true }^}

return false ^.

(4)

Sei nun Uo die _Start lloafig oration ^neon ^M ^und ^de ^IN ^,

③

so class

Ld

^. ^" ^" do

Raum

_bedarf _von M_.

Define ^'ve ^det ^. ^TM ^N ^wie _{fo Igt} ^: Ein _gabe ^: w _, u ⁼ Iwl

for

^all ^Lakz ^. ^how_figs ^k ^von ^M ^wit _Singa^be ^w

and Plate bedarf ^sun⁾

) L

if

^Leonid ^bar ⁽ ^no ^, ^k , discus ) ) ^h return true _i

} }

return false ^.

(5)

Analysed

^. Plate bedarfs ^von ^N ^:

④

. N map die ^Variable ^u ^k , ka _, ka ^und ^t Speicher I

← wit Plate bedarf Olsen

)

¥F÷÷

^" ^ie ^re

:S :÷ :c::::* :*::: ^: ^:

^"

-

i, Schicktew^"

Nun kohnen wir

Speziale koueplexifatshlasseudefim.mu

DI

^!

. E ⁼_def ^D^SPACE ^C loyal ^. ^AAB ^-^-^{deg N} ^TIME ^C

no

^"

)

• BB ⁼ _def N^SPACE ^C_login) ^• BIRDCAGE ^-^-

def DSPACE ( ^no ^" ⁾

• B ⁼_def DIME ^C no ^" ^'

) Savitch

^" ^-0 ⁼ ^N ^SPACE

( how )

(6)

• MIRA P ^-^- _def DIME c

2h

"

) ^⑤

• HAIDAR ^-^- _def ^{NTIME (} 2h ^" ^" )

• TENIA P _=def ^DIME ^C

22

^"

" "

)

Dawit ogibt ^sich folgeudes ^luhlusious diagram ⁱⁿ ^:

NEXP

+

^? ^u echteteilmeuge ^"

x

^PSPACEExp ^?

.

. ^- istteilmeagevou^. ^.

ox

^. ^. ^-

t t t

^- ^. ^. ^.^- ^- ^.^' ^.^- ^-^.^-^N^NP^p ^L ^?^?^?^?

^# ^E

^space ^zeigeu

b

(7)

✓

^heuer ^Zustaud

- ^← Schreiber

zustaud leseuA I Beweguug