Przez http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf
Jeśli jest językiem PSPACE uzupełniania, P = N P A .
Jeśli jest deterministyczną wyrocznią wielomianową, P B ≠ N P B (przy założeniu P ≠ N P ).
to klasa problemów decyzyjnych analogiczna dla # P i P ⊆ P P ⊆ P S P A C E ,
ale ani ani P P = P S A P C E nie jest znane. Ale czy to prawda?
?
Odpowiedzi:
Jest to otwarty problem w teorii złożoności przez wiele lat, jeśli zawali się, gdzie P H jest wielomianową hierarchią czasu. Jest również otwarty problem skonstruowania wyrocznię oddzielenia P # P, z P S P A C E .PH#P PH P#P PSPACE
źródło
Przez http://portal.acm.org/citation.cfm?id=116858
Jeśli nie będę tego źle interpretować. Twierdzenie 4,1 (ii) z napisem " " a c o N P C K = ∀ C K .NPCK=∃CK coNPCK=∀CK
Lemat 3.4 (c) mówi: „Dla dowolnego w hierarchii liczenia ∃ K ∪ ∀ K ⊆ C K ⊆ ∃ C K ∩ ∀ C K ”.K ∃K∪∀K⊆CK⊆∃CK∩∀CK
Wymiana przez P , otrzymujemy P P ⊆ ∃ P P ∩ ∀ P P .K P PP⊆∃PP∩∀PP
Co oznacza, że .P#P⊆NP#P∩coNP#P
A utrzymuje, czy hierarchia wielomianowa się zawali, a hierarchia zliczania upadnie.P#P=NP#P= c o NP.# P
źródło