PSPACE计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合,是Polynomial SPACE的简称。

Quick Facts 完全集, 补类 ...
PSPACE
重要复杂度类之间的关系
完全集PSPACE完全
补类自身
等价类AP[1], BPPSPACE[2], IP[3], NPSPACE[4], PPSPACE[5], SAPTIME[5]
DTIME,
相关PTIME
真包含于EXPSPACE[6]
包含于近PSPACE[7], EXPTIME, RG, QPSPACE[8]
不等P-close, P/log
子集CH[9], P^PP[10], P^#P[10], QSZK, RG[1]
真子集NL[6]
标准问题QSAT
被…低陷自身
对…低陷自身
封闭归约多项式时间
计算模型交替式图灵机, 图灵机
外部链接Complexity Zoo
Close

形式化定义

如果规定 为至多 空间内能被确定型图灵机解决的问题的集合( 是输入大小 的函数),那么,PSPACE可被形式化地定义为:

PSPACE真包含上下文有关语言,这种语言等价于线性有界非确定图灵机。

尽管至今没有证明,但一般认为,将P中的确定型图灵机更改为非确定图灵机后得到的NP类有成立。然而,对于PSPACE,将确定型图灵机更改为非确定型图灵机,得到的NPSPACE并不比PSPACE大。原因是根据萨维奇定理,这个定理的结论指出,虽然非确定性问题需要更多时间解决,两者的空间需求还是一致的。

与其它复杂度类的关系

已经证明PSPACENLPNPPHEXPTIMEEXPSPACE的关系 (注意,不是):

目前已经知道,第一行和第二行中至少有一个包含关系为真包含,但是目前尚未证明任何一个。一般假定所有的包含关系均为真包含。

与此相反的是,第三行中的包含关系目前已证明均是真包含。第一个包含关系来源于对角论证法(根据空间层次定理),而来源于萨维奇定理。第二个包含关系仅仅利用了空间层次定理。

PSPACE中,最难的问题是PSPACE完全问题。参见PSPACE完全了解在PSPACE中但可能不在NP中的问题。

等价定义

利用交替式图灵机(ATM)的概念,PSPACE可被定义为一台ATM在多项式时间中解决的问题集合。这一复杂度类也被称为APTIME或者简称为AP

复杂度理论中一个重要的结果为PSPACE与某个特定的交互式证明系统接受的所有语言等价,这个语言的集合也被定义为IP。在这一系统中,存在一个非常强大的证明者,这个证明者试图说服一个概率多项式时间验证者,某个字符串在系统接受的语言中。如果字符串属于系统接受的语言,证明者应当能够用较高的概率说服验证者,否则只能至多用较低的概率说服。

PSPACE也等价于量子复杂度类QIP[11]

PSPACE - 完全

如果所有PSPACE中的问题都可以多项式时间归约到某个问题,那么,这个问题可以被定义为PSPACE难

一种语言BPSPACE完全,如果它在PSPACE中,并且为PSPACE难,即

其中,指的是存在从A到B的多项式时间归约PSPACE完全问题对于研究PSPACE中的问题非常重要,因为它们代表了PSPACE中最困难的问题。如果一个PSPACE完全问题得到了时间上高效的算法,那么,对所有PSPACE中的问题都可以有时间上高效的算法,因为这些问题都能够被多项式时间归约到PSPACE完全问题。然而,这个性质对PSPACE难不成立,因为存在这样的问题,它们可能属于PSPACE难但不属于PSPACE完全,因为这些问题不属于PSPACE

PSPACE - Hard

如果x属于P,则P = PSPACE - Hard,那这个x就可称为PSPACE - Hard。

例子

围棋的复杂度已于1978年被Robertson与Munro证明为PSPACE-hard[12][13]

参考文献

外部链接

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.