Search code examples
theoryspace-complexity

Are there problems that cannot be solved in polynomial space?


There are problems that can't be solved in polynomial time, but are there problems that can't be solved using polynomial space?


Solution

  • Yes. In the extreme case, there are problems like the halting problem that are undecidable, so they can't be solved in any amount of space. On a more practical level, there's the space hierarchy theorem which can be used to construct a problem that can be solved in space O(2n) but not space o(2n), ruling out polynomial-space solutions.