PSPACE

✍ dations ◷ 2025-12-02 18:44:42 #复杂度类,计算机科学中未解决的问题

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。

相关

美国贸易代表办公室美国贸易代表办公室（Office of the United States Trade Representative，英文简称USTR）是美国政府的一个行政部门，美国总统办事机构的一部分，负责在双边和多边的层面上推行美国的
科塞尔阿尔布雷希特·科塞尔（Ludwig Karl Martin Leonhard Albrecht Kossel，1853年9月16日－1927年7月5日），生于罗斯托克，德国医生。科塞尔的工作范畴是生理化学，特别是组织和细胞的化学。
圆寂圆寂，又称完寂，佛教用语，般涅槃或涅槃的另一个汉语译名。这个译名由玄奘创造，采用诸德圆满、诸恶寂灭之意。现今佛教出家僧侣过世，多称为圆寂，因此它也被当成死亡的同义语。涅槃是
郑敾郑敾，（{lang-ko|정선}}，1676年-1759年），字元伯、号谦斋，本贯光州郑氏，朝鲜王朝中期画家:255:198，与尹斗绪（字恭斋）和沈师正（朝鲜语：심사정）（字玄斋）并称为“士人三斋”:255-258。郑敾是朝鲜
婢妾姬侍:430、或称御婢、侍姬、婢妾、妾婢、侍妾、姬妾、姬人等，称指一夫一妻多妾制婚姻中，被贵族、士族、富豪豢养于家中、与男主人有性关系但不属正式妾室的女性:430—436。多
3磅炮3磅炮可以是指：
纳林沟门站纳林沟门站是位于内蒙古自治区达拉特旗纳林沟门的一个铁路车站，邮政编码14315。车站建于1998年，有包神铁路经过该站，现仅办理货运，不办理客运业务。车站距离包头东站73公里，隶属
信川康氏信川康氏（韩语：신천 강씨），是一个以黄海南道信川郡为本贯的朝鲜姓氏本贯，在2000年人口普查中有44,259人。他们始祖是周文王九儿子，周武王同母弟康叔次子康侯第67代子孙康虎景（他是
蔡建国蔡建国（1953年－），浙江绍兴人，汉族，中华人民共和国政治人物，第十一届全国政协委员、第十二届全国政协委员。加入中国致公党，担任致公党中央常委、上海市副主委、上海市政府侨办副主任
哥德尔奖哥德尔奖（英语：Gödel Prize）由欧洲理论计算机学会（EATCS）与美国计算机学会基础理论专业组织（ACM SIGACT）于1993年共同设立。哥德尔奖颁发给理论计算机领域最杰出的学术论文。其名