PSPACE

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

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。

相关

ICD-9-CM V3人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学国际疾病与相关健康问题统计分类（英语：I
雇佣雇佣（英语：employment，意近：就业）是指二个伙伴之间的契约关系，其中一方为雇佣者（雇主、雇佣人），另一方为被雇佣者（雇员）。从法律意义来看，通过双方契约约定，“被雇佣者”为“雇佣者”工作
中太古代中太古代是太古宙的第三个代，前一个是古太古代，后一个是新太古代，时间介于32~28亿年之间。这一段时期是以计时学定义，而非地球的特定岩层。在澳洲的化石纪录显示叠层石在这个年
瑶族瑶族（或称为徭族、傜族、猺族），是亚洲的一个民族，其历史比较悠久。有研究认为：瑶族起源于古代东夷部落，与九黎族关系密切，尊奉先祖蚩尤、盘瓠。中国的瑶族人口为285.3万（2010年），62.1%
面向服务面向服务的体系结构（英语：service-oriented architecture）并不特指一种技术，而是一种分布式运算的软件设计方法。软件的部分组件（调用者），可以透过网络上的通用协议调用另一个应用
德国犹太人德国的犹太人最早在罗马帝国时期来到上日耳曼尼亚、下日耳曼尼亚和日耳曼尼亚（现德国）定居。在中世纪前期（公元5至10世纪）和中期（10至13世纪）时创建了阿什肯纳兹犹太人这一族群。
高第高第（？－1641年），字登之，永平府滦州人，明朝军事人物。高第于万历十七年（1589年）中进士，依附魏忠贤。柳河之败后，上疏：“自广宁弃后，蓟镇单弱，所赖以内护邦畿、外拒奴虏者，惟榆关为扼要。近闻
将军将军可以指：
良十世教宗良十世（拉丁语：Leo PP. X；1475年12月11日－1521年12月1日）原名若望·迪·洛伦佐·德·美第奇（Giovanni di Lorenzo de' Medici），1513年3月11日当选罗马主教（教宗），同年3月19日即位至
广安门坐标：39°53′26″N 116°21′04″E / 39.8906°N 116.351°E / 39.8906; 116.351广安门又称广宁门、张仪门、彰仪门，建于明代嘉靖年间，是北京老城20座城门中的一座，位于外城西