Złożoność obliczeniowa/Test 3: Klasy złożoności obliczeniowej: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 29: | Linia 29: | ||
<quiz> | <quiz> | ||
Tezą twierdzenia Savitcha jest: | Tezą twierdzenia Savitcha jest: | ||
<rightoption><math>\cc{NSPACE | <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><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 (asymptotycznie)?
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