Klasa złożoności jest zdefiniowana następująco (z Wikipedii ):SP2S.2)P.\textrm{S}_2^\textrm{P} Język znajduje się w S P 2, jeśli istnieje predykat P wielomianowy taki, żeLL.LSP2S.2)P.S_2^PPP.P Jeśli , to istnieje y takie, że dla wszystkich z , P ( x , y , z ) = 1x ∈ L.x∈L.x \in LyyyzzzP.( x...
Jeśli możemy udowodnić, że , czy oznacza to, że ?L=PL=P\mathsf{L}=\mathsf{P}NL=NPNL=NP\mathsf{NL}=\mathsf{NP} Myślałem, że tak jest, ale nie mogę tego udowodnić (również w przypadku
Nazwijmy język NP słabo certyfikowany, jeśli i tylko jeśli:L ∈L∈L \in Istnieje wielomian taki, że dla każdego wejścia x ∈ Σ ∗ o rozmiarze n , jeśli x ∈ L, to zestaw U x certyfikatów u, który weryfikuje, że x ∈ L ma wielkość wielomianową, tj. | U x | ≤ p ( n ) .p:N→Np:N→Np : \mathbb{N} \rightarrow...
Problemy zostały sklasyfikowane jako całość dzięki złożoności obliczeniowej. Ale czy w równaniach różniczkowych można klasyfikować równania różniczkowe w zależności od ich struktury obliczeniowej? Na przykład, jeśli równanie niejednorodne pierwszego rzędu jest stosunkowo trudne do rozwiązania niż,...
Hipoteza Bermana – Hartmanisa: wszystkie języki NP-zupełne wyglądają podobnie, w tym sensie, że mogą być ze sobą powiązane przez wielomianowe izomorfizmy czasowe [1]. Interesuje mnie bardziej szczegółowa wersja „czasu wielomianowego”, to znaczy, jeśli zastosujemy sparametryzowane redukcje....
Twierdzenie Mahaneya mówi nam, że jeśli istnieje rzadki zestaw przy wielomianowych redukcjach wielokrotności jeden, to . (Patrz „ Rzadkie kompletne zestawy dla NP: Rozwiązanie przypuszczenia Bermana i Hartmanisa ”)NPNPNPP=NPP=NPP = NP Czy znane są konsekwencje istnienia rzadkich kompletnych...
Niech będzie wielomianem czasie deterministyczny urządzenie, które może zadać pytania do jakiegoś oracle A . Początkowo A jest puste, ale można to zmienić po grze, która zostanie opisana poniżej. Niech x będzie ciągiem znaków.M.MMZAAAZAAAxxx Rozważ następującą grę Alice and Bob. Początkowo Alice i...
To jest uogólnienie mojego poprzedniego pytania . Niech będzie wielomianem czasie deterministyczny urządzenie, które może zadać pytania do jakiegoś oracle . Początkowo jest puste, ale można to zmienić po grze, która zostanie opisana poniżej. Niech będzie ciągiem znaków.MMMAAAAAAxxx Rozważ...
Od wczesnych lat 70. wiadomo, że i nie są równe (ponieważ nie jest zamknięty w czasie wielomianowym wiele -jedna redukcja, w przeciwieństwie do ). O ile mi wiadomo, wciąż pozostaje otwarte, czy jedna klasa jest podzbiorem drugiej, czy też są nieporównywalne, co oznacza, że i są niepuste.NPNP{\bf...
To jest post oddzielony od Konsekwencji UP równa się NP , a także pytanie uzupełniające do klas złożoności semantycznej vs. składniowej . W powyższym poście dowiedzieliśmy się o klasach semantycznych i syntaktycznych . Krótko mówiąc, kiedy klasę można scharakteryzować jako klasę języka liścia ,...
Zdefiniuj model obliczeniowy MPostBQP, aby był identyczny z PostBQP, z wyjątkiem tego, że dopuszczamy wielomianowo wiele pomiarów kubitowych przed pomiarem selekcyjnym i pomiarem końcowym. Czy możemy podać jakiekolwiek dowody wskazujące, że MPostBQP ma większą moc niż PostBQP? Zdefiniuj...
Nawet jeśli nie jest to kluczowa kwestia, nie widzę żadnej literatury wokół tego pytania. Czy są wyniki relatywizacji? Czy nie byłoby łatwo udowodnić ścisłe włączenie poprzez dostosowanie niedeterministycznego twierdzenia o hierarchii czasu poprzez badanie wszystkich możliwych ścieżek maszyny...
Zaintrygowany ciekawym pytaniem Chrisa Presseya na temat funkcji elementarno-rekurencyjnych badałem więcej i nie mogłem znaleźć odpowiedzi na to pytanie w Internecie. Te podstawowe funkcje rekurencyjne odpowiadają dobrze wykładniczemu hierarchii .DTIME (2)n) ∪ DTIME (2)2)n) ∪...
Czy każdy rozpoznawalny przez Turinga niezdecydowany język ma podzbiór NP? Pytanie to może być postrzegane jako silniejsza wersja faktu, że każdy nieskończony rozpoznawalny język Turinga ma nieskończony decydujący
Pozwolić ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n)) być klasą języków ustaloną przez naprzemienne maszyny Turinga, które zatrzymują się w czasie f(n)f(n)f(n) używając przestrzeni g(n)g(n)g(n). PozwolićAALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n)) być klasą języków...
Wiemy to L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. Z twierdzenia SavitchaNL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2, a od Space Hierarchy Teorem, L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. Ponieważ nie wiemy, czyL≠PL≠P\mathcal L\neq\mathcal...
Znaczna część literatury obliczeń kwantowych koncentruje się na modelu obwodu. Adiabatyczne obliczenia kwantowe nie polegają na zastosowaniu sekwencji operatorów jednostkowych, ale na zmianie zależnego od czasu hamiltonianu. Szukam wglądu w którekolwiek z poniższych. Czy adiabatyczne obliczenia...
Powszechnie wiadomo, że istnienie funkcji jednokierunkowych jest konieczne i wystarczające dla dużej części kryptografii (podpisy cyfrowe, generatory pseudolosowe, szyfrowanie kluczem prywatnym itp.). Moje pytanie brzmi: jakie są teoretyczne konsekwencje istnienia funkcji jednokierunkowych? Na...
Pozwolić xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} dla i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, z obietnicą, że x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (gdzie suma się skończyła ZZ\mathbb{Z}). Jaka jest złożoność ustalenia, czyx=1x=1x = 1? Zauważ, że w trywialny sposób...
Mamy problem i znaleźliśmy algorytm, który wydaje się być 2-sekundowy. Chciałbym znaleźć znane problemy z niepełnym czasem 2, aby znaleźć dolną granicę. W literaturze znalazłem głównie dwa takie problemy: czy PCP jako rozwiązanie o rozmiarze mniejszym niż 2)2)n2)2)n2^{2^n} i problem uprawy roli...