PSPACE

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

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。

相关

dADP去氧腺苷二磷酸（Deoxyadenosine diphosphate，dADP）是一种与腺苷二磷酸相似的核苷酸，在五碳糖2号碳上的-OH基被氢原子取代。含有两个磷酸根、一个碱基腺嘌呤，以及五碳糖。
半合子半合子(hemizygote)：在二倍体生物中，有分别来自于父亲和母亲的两套基因组。而只存在于其中一个基因组上的基因就称为半合子。
日置益日置益（1861年12月21日－1926年10月22日）日本伊势国（三重县）人，日本明治、大正时期外交官。日置益于文久元年十一月二十日（1861年12月21日）生于日本伊势国（三重县）。明治21年（1888年）从东
弗兰克报告《弗兰克报告》（英语：Franck Report）是一份1945年6月的文档，由当时的若干名著名原子核物理学家联署，建议第二次世界大战期间的美国不要用核武器要挟日本投降。因历史之偶然，我们意
马歇尔太空飞行中心马歇尔太空飞行中心（George C. Marshall Space Flight Center）是美国国家航空航天局原本的根据地，为航天飞机推进、太空飞行器推进、训练人员、酬载、设计及建设国际太空站与资
房地产自有率房地产自有率(home-ownership rate)，中国大陆称住房自有率。各地差异，由于世界各地的差异，每个地区对于房地产自有率都有不同的定义, 因素也不一样见。在美国，房地产自有率是美
张钟俊张钟俊（1915年9月23日－1995年12月29日），浙江嘉善人，中国自动控制理论专家，中国科学院院士。九三学社成员。张钟俊1926年就读于嘉兴二中，后又转至上海南洋中学学习，于1930年考入国立
食用果仁列表根据植物学的定义，果仁是属于坚果的种子。核桃和开心果等亦属果仁这类别。食用果仁的定义更为广泛，除坚果以外更包括一些其他不是坚果类植物的种子，例如腰果、银杏、松籽仁等
陈盛沺陈盛沺（1948年6月9日－），声宝股份有限公司总裁，声宝公司创办人陈茂榜长子。早年于国立成功大学水利系毕业后留学美国攻读水利专业，获得美国犹他州立大学硕士。1987年继承父业，接管生
第14钢琴奏鸣曲 (贝多芬)《升c小调第十四钢琴奏鸣曲》（英语：Piano Sonata No. 14 in C♯ minor），作品27/2，是路德维希·范·贝多芬于1801年在匈牙利创作的独奏钢琴作品，别称“月光奏鸣曲”（英语：Moonlight S