是否存在多项式空间无法解决的问题？

Question

有些问题无法在多项式时间内解决，但有些问题无法用多项式空间求解吗？

Answer 1

是。在极端情况下，存在诸如不可判断的暂停问题之类的问题，因此无法在任何空间中解决它们。在更实际的层面上，space hierarchy theorem可以用来构造一个可以在空间O（2 ⁿ ）而不是空间o（2 < sup> n ），排除多项式空间解。