คือ

โดยhttp://www.cs.umd.edu/~jkatz/complexity/relativization.pdf

หากเป็นภาษา PSPACE สมบูรณ์{A}P A = N P $A$$P^{A}=NP^{A}$

ถ้าเป็นคำพยากรณ์พหุนามเวลาที่กำหนด (สมมติว่า )P B ≠ N P B P ≠ N $B$$P^{B}\ne NP^{B}$$P\ne NP$

# P P ⊆ P P ⊆ P S P A C $PP$เป็นชั้นของปัญหาการตัดสินใจอนาล็อกสำหรับและ ,$\#P$$P\subseteq PP\subseteq PSPACE$

แต่ไม่มิได้เป็นที่รู้จักกัน แต่มันเป็นเรื่องจริงที่P P = P S A P C $P=PP$$PP=PSAPCE$

$coNP^{\#P}=NP^{\#P}=P^{\#P}$ ?

มันเป็นปัญหาเปิดในทฤษฎีความซับซ้อนเป็นเวลาหลายปีถ้าล่มสลายโดยที่เป็นลำดับเวลาพหุนาม นอกจากนี้ยังเป็นปัญหาเปิดเพื่อสร้าง oracle จะแยกจาก{} P H P # P P S P A C $\mathsf{PH}^{\mathsf{\#P}}$$\mathsf{PH}$$\mathsf{P}^{\mathsf{\#P}}$$\mathsf{PSPACE}$

โดยhttp://portal.acm.org/citation.cfm?id=116858

$NP^{\mathbf{C}K}=\exists \mathbf{C}K$$coNP^{\mathbf{C}K}=\forall\mathbf{C}K$

$K$$\exists K\cup\forall K\subseteq\mathbf{C}K\subseteq\exists\mathbf{C}K\cap\forall\mathbf{C}K$

$K$$P$$PP\subseteq\exists PP\cap\forall PP$

$P^{\#P}\subseteq NP^{\#P}\cap coNP^{\#P}$

$P^{\#P}=NP^{\#P}=coNP^{\#P}$