PSPACE

✍ dations ◷ 2025-11-20 12:43:08 #复杂度类,计算机科学中未解决的问题

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

如果规定 ${\mbox{SPACE}}(t(n))$ 为PSPACE完全，如果它在PSPACE中，并且为PSPACE难，即

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

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

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

相关

新潮文库新潮文库可以指：
骨甲鱼纲头甲鱼亚纲 Cephalaspida骨甲鱼纲(Osteostraci)，属于无颔总纲下。如同大多数甲胄鱼类，其身上有骨质甲板覆盖。在泥盆纪末期灭绝。
瓜拉尼人瓜拉尼人（英语：Guaraní people）是一共享相似文化基础的南美洲土著民族。Guaraní 一词的由来和意义至今还是很有争议。在欧洲人到来之前，瓜拉尼人称呼他们自己为“Abá”，瓜拉尼
苏联人苏联人、苏联人民、苏维埃人民（俄语：советский народ）或称苏联公民（俄语：Граждане СССР）是对居住于苏联者之住民总称，最初仅非特定指涉居住在苏联的人民
钼的同位素钼（原子量：95.94(2)）共有41个同位素，其中有4个同位素是稳定的。备注：画上#号的数据代表没有经过实验的证明，只是理论推测而已，而用括号括起来的代表数据不确定性。
哥伦布 (佐治亚州)哥伦布（英语：Columbus, Georgia）是美国佐治亚州马斯科吉县县治，2000年人口186,291人。1971年实行县市合一。班宁堡的西半球安全合作学院位于此地。
硝酸铟硝酸铟是一种无机化合物，化学式为In(NO3)3，存在无水物、一水物、三水物等。硝酸铟的水合物可以通过铟或氧化铟和硝酸的反应制备。无水硝酸铟通过氯化铟(III)和五氧化二氮反应
山西经济日报《山西经济日报》创刊于1985年7月15日，是由山西日报报业集团主办的全省惟一的经济类大报。《山西经济日报》先后经过两次改版。
巴拉湾岛坐标：1°15′00″N 103°48′55″E / 1.25013°N 103.81528°E / 1.25013; 103.81528巴拉湾岛是新加坡圣淘沙岛以南的一座小岛，原为一个珊瑚礁，经填海造地扩建为一座小岛，面积0.
中国科学院软件研究所中国科学院软件研究所（英语：Institute of Software, Chinese Academy of Sciences，缩写为ISCAS；以下简称“软件所”）是中国科学院设立的研究所之一，成立于1985年3月1日，是一个以计