Złożoność obliczeniowa/Test 3: Klasy złożoności obliczeniowej: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
Linia 29: Linia 29:
<quiz>
<quiz>
Tezą twierdzenia Savitcha jest:  
Tezą twierdzenia Savitcha jest:  
<rightoption><math>\cc{NSPACE</quiz>(f(n))\subseteq\cc{SPACE}(f^2(n))</math></rightoption>
<rightoption><math>\cc{NSPACE}(f(n))\subseteq\cc{SPACE}(f^2(n))</math></rightoption>
<wrongoption><math>\cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\textnormal{log</quiz>(n))</math></wrongoption>
<wrongoption><math>\cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\textnormal{log</quiz>(n))</math></wrongoption>
<wrongoption><math>\cc{SPACE}(f(n))\subseteq\cc{NSPACE}(f^2(n))</math></wrongoption>
<wrongoption><math>\cc{SPACE}(f(n))\subseteq\cc{NSPACE}(f^2(n))</math></wrongoption>
Linia 55: Linia 55:
<quiz>Zawieranie klas<quiz>
<quiz>Zawieranie klas<quiz>
Jak klasa <math>\cc{L}</math> ma się do <math>\cc{PSPACE}</math>? {
Jak klasa <math>\cc{L}</math> ma się do <math>\cc{PSPACE}</math>? {
<rightoption></rightoption><math>\cc{L}</math> zawiera się ściśle w <math>\cc{PSPACE}</math>
<rightoption><math>\cc{L}</math> zawiera się ściśle w <math>\cc{PSPACE}</math></rightoption>
<wrongoption>nie wiadomo nic na ten temat</wrongoption>
<wrongoption>nie wiadomo nic na ten temat</wrongoption>
<wrongoption><math>\cc{L}</math> zawiera się w <math>\cc{PSPACE}</math>, ale nie wiemy czy ściśle</wrongoption>
<wrongoption><math>\cc{L}</math> zawiera się w <math>\cc{PSPACE}</math>, ale nie wiemy czy ściśle</wrongoption>

Wersja z 20:08, 25 wrz 2006

Liniowe przyspieszanie działania maszyny uzyskujemy poprzez:

zwiększenie liczby stanów

zmniejszenie alfabetu maszyny

zwiększenie alfabetu maszyny

wstępne przetworzenie danych

zmniejszenie liczby stanów


Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NL}} jest klasą języków, które mogą być akceptowane:

w niedeterministycznym czasie liniowym

w deterministycznej pamięci logarytmicznej

w niedeterministycznej pamięci logarytmicznej

w deterministycznym czasie liniowym


W jak wielu konfiguracjach może znaleźć się maszyna Turinga o złożoności pamięciowej f(n) (asymptotycznie)?

cf(n)

f(n)c

f(n)

cf(n)


Tezą twierdzenia Savitcha jest:

Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NSPACE}(f(n))\subseteq\cc{SPACE}(f^2(n))}

<wrongoption>Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\textnormal{log(n))} </wrongoption> <wrongoption>Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{SPACE}(f(n))\subseteq\cc{NSPACE}(f^2(n))} </wrongoption> <wrongoption>Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{SPACE}(f^2(n))\subseteq\cc{NSPACE}(f(n))} </wrongoption> </quiz>


Klasy zamknięte na operację dopełnienia to:

klasy deterministyczne

klasy niedeterministyczne czasowe

klasy niedeterministyczne pamięciowe


Która rodzina klas podlega hierarchii?

tylko złożoności czasowej

tylko złożoności pamięciowej

zarówno złożoności czasowej jak i pamięciowej

żadne z powyższych


Zawieranie klas<quiz> Jak klasa Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{L}} ma się do Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{PSPACE}} ? {

Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{L}} zawiera się ściśle w Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{PSPACE}}

nie wiadomo nic na ten temat

Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{L}} zawiera się w Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{PSPACE}} , ale nie wiemy czy ściśle

Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{PSPACE}} zawiera się ściśle w Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{L}}

Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{PSPACE}} zawiera się w Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{L}} , ale nie wiemy czy ściśle