PSPACE

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

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。

相关

腔棘鱼纲腔棘鱼纲（学名：Coelacanthimorpha）是肉鳍鱼总纲的一个演化支，分类层级随着研究发展而在下纲、亚纲到纲等层级间调整，现仅存腔棘目一目。以下是腔棘鱼纲已知的科及属：依照2017年《
世界警察博物馆中央警察大学世界警察博物馆是台湾桃园市的一座警察博物馆，位于中央警察大学校园内。该馆包括校史馆及中华民国警察馆（一楼）、国际警察馆（二、三楼）。该馆是原中央警察大学校长颜
羽藻纲羽藻目（学名：Bryopsidales）是绿藻门下的一个目，原为羽藻纲下唯一的目，现时改属石莼纲。羽藻目生物是一种多核生物，其叶状体呈丝状，其中包括原子核在内的许多细胞器都可以自由移动。
图森图森（英语：Tucson，又译杜桑或图森），位于美国亚利桑那州南部皮马县，是该州南部第一大城市，全州第二大城市（凤凰城为第一大）、美国第32大城市和第52大都会区。根据2010年人口普查，图森市
ATCvet代码 (QI)ATCvet代码QI（免疫产品）是兽用解剖学治疗学及化学分类系统的一个分类，这是由世界卫生组织药物统计方法整合中心（The WHO Collaborating Centre for Drug Statistics Methodology
利贡乔峰坐标：46°14′21″N 9°32′50″E / 46.23917°N 9.54722°E / 46.23917; 9.54722利贡乔峰（意大利语：Pizzo Ligoncio），是意大利的山峰，位于该国北部，由伦巴第大区负责管辖，属于贝尔
化学岩化学岩是沉积岩的一种，所以也叫做“化学沉积岩”，是母岩风化后，被水溶解，可以是真溶液也可以是溶胶，被海水或其他水体搬运到湖盆或海盆，重新沉积下来，其中可能经历了化学变化，例如碳
歌声俪影《歌声俪影》（英语：）是一部1935年的美国喜剧电影。由山姆·伍德（英语：Sam Wood）执导。主演有马克思兄弟，还有基蒂·卡莱尔（英语：Kitty Carlisle）、艾伦·琼斯（英语：Allan Jones (actor)）
杰克森·阿维利诺·科埃略杰克森·阿维利诺·科埃略（Jakson Avelino Coelho，1986年2月28日－），昵称贾贾·科埃略（Jajá Coelho）或贾贾（Jajá），是一名巴西职业足球运动员，司职前锋。现在效力于中国足球超级联赛球
双斑疹贝双斑疹贝（学名：）又称花珠宝螺（），为宝贝科疹贝属的动物。分布于太平洋暖水区，可见于台湾岛及中国大陆的海南岛、西沙群岛等地，于暖水生活，可能栖息在低潮区或稍深的浅海珊瑚礁间、礁石