Złożoność obliczeniowa/Test 3: Klasy złożoności obliczeniowej: Różnice pomiędzy wersjami
Nie podano opisu zmian |
m Zastępowanie tekstu - "\textnormal" na "\text" |
||
Linia 30: | Linia 30: | ||
Tezą twierdzenia Savitcha jest: | Tezą twierdzenia Savitcha jest: | ||
<rightoption><math>\cc{NSPACE}(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}(\ | <wrongoption><math>\cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\text{log}(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> | ||
<wrongoption><math>\cc{SPACE}(f^2(n))\subseteq\cc{NSPACE}(f(n))</math></wrongoption> | <wrongoption><math>\cc{SPACE}(f^2(n))\subseteq\cc{NSPACE}(f(n))</math></wrongoption> |
Wersja z 15:26, 10 cze 2020
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))}
Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{NSPACE}(f(n))\subseteq\cc{SPACE}(\text{log}(n))}
Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{SPACE}(f(n))\subseteq\cc{NSPACE}(f^2(n))}
Parser nie mógł rozpoznać (nieznana funkcja „\cc”): {\displaystyle \cc{SPACE}(f^2(n))\subseteq\cc{NSPACE}(f(n))}
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
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