PSPACE-complete

计算复杂度理论中的一个复杂度类，指在多项式空间内可解且对PSPACE类中所有问题均为困难的判定问题，被认为不低于NP-完全问题的难度