# P vs. PSPACE

 Importance: High ✭✭✭
 Author(s): Folklore
 Subject: Theoretical Computer Science » Complexity
 Keywords: P PSPACE separation unconditional
 Prize: €100, from me (Cenny Wenner)
 Posted by: cwenner on: April 4th, 2009
Problem   Is there a problem that can be computed by a Turing machine in polynomial space and unbounded time but not in polynomial time? More formally, does P = PSPACE?

If , then , and a whole bunch more separations can be shown. In the light of this, if one believes that , then it is naive to try to directly separate P from NP. In the words of the great George Polya, "If there is a problem you can’t solve, then there is an easier problem you can solve: find it." The P versus PSPACE question is one of the easiest such questions and would constitute an astonishing discovery in its own right. In particular, it would be the first separation result of this kind.

## Problem Approaches

How do we approach this problem? I don't know, readers please contribute. My personal take would be circuit complexity, i.e. functions that are known not to be computable with circuits of polynomial size. Another would be descriptive complexity: show that there is a property that can be expressed in second-order logic with a transitive closure operation which cannot be recognized in polynomial time.[N87] Fenner offered an interesting characterization of the P versus PSPACE question in terms of reductions.[FKR89] P versus PSPACE was also as an intermediate step towards the P versus NP prize by the Clay institute.[F05]

## Bibliography

[F05] Harvey M. Friedman: Clay Millenium Problem: P = NP, manuscript, 2005. [pdf]

[FKR89] Fenner,, S. A. and Kurtz,, S. A. and Royer,, J. A.: Every polynomial-time 1-degree collapses iff P=PSPACE, SFCS '89: Proceedings of the 30th Annual Symposium on Foundations of Computer Science, 1988, pp. 624-629, citeseer acm [pdf]

[N87] Neil Immerman: Languages that Capture Complexity Classes, SIAM Journal of Computation 16:4, 1987. citeseer [pdf]

* indicates original appearance(s) of problem.