Автор: http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf.
Если является PSPACE-полный язык, Р = N P A .
Если является детерминированным оракулом полиномиального времени, P B ≠ N P B (при условии, что P ≠ N P ).
- класс решений аналогичных задач для # P и P ⊆ P P ⊆ P S P A C E ,
но ни ни P P = P S A P C E не известны. Но правда ли, что
?
Ответы:
В течение многих лет это является открытой проблемой в теории сложности, если разрушается, где P H - полиномиальная иерархия времени. Он также является открытой проблемой для построения оракула для разделения P # P от P S P A C E .PH#P PH P#P PSPACE
источник
Автор: http://portal.acm.org/citation.cfm?id=116858
источник