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 10: | Linia 10: | ||
<quiz> | <quiz> | ||
<math>\cc{NL | <math>\cc{NL}</math> jest klasą języków, które mogą być akceptowane: | ||
<wrongoption>w niedeterministycznym czasie liniowym</wrongoption> | <wrongoption>w niedeterministycznym czasie liniowym</wrongoption> | ||
<wrongoption>w deterministycznej pamięci logarytmicznej</wrongoption> | <wrongoption>w deterministycznej pamięci logarytmicznej</wrongoption> | ||
Linia 30: | Linia 30: | ||
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</quiz>(f(n))\subseteq\cc{SPACE}(f^2(n))</math></rightoption> | ||
<wrongoption><math>\cc{NSPACE | <wrongoption><math>\cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\textnormal{log</quiz>(n))</math></wrongoption> | ||
<wrongoption><math>\cc{SPACE | <wrongoption><math>\cc{SPACE}(f(n))\subseteq\cc{NSPACE}(f^2(n))</math></wrongoption> | ||
<wrongoption><math>\cc{SPACE | <wrongoption><math>\cc{SPACE}(f^2(n))\subseteq\cc{NSPACE}(f(n))</math></wrongoption> | ||
</quiz> | </quiz> | ||
Wersja z 20:07, 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:
<rightoption>Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NSPACE(f(n))\subseteq\cc{SPACE}(f^2(n))}
</rightoption>
<wrongoption>Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\textnormal{log</quiz>(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