PSPACE

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

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。

相关

高低重音高低重音或音高重音（英语：Pitch accent），是一种重音。在高低重音语言里，一个词里的每个音节的音调取决于该音节在词里出现的位置。而声调语言中，每个音节有自己固定的声调，它的声调
短肠综合征短肠症候群（简称SBS）是由于小肠较短，功能较弱所引起的吸收异常（英语：Malabsorption）。主要症状是腹泻，其可导致脱水，营养不良和体重减轻。其他症状可能包括腹胀，胃灼热，感觉疲倦，乳糖不
生物安全柜生物安全柜（英语：biosafety cabinet, biological safety cabinet，一般简称BSC），是生物安全实验室常见的重要设备，异于化学实验室内的通风柜（Fume Hood），或者是层流柜(Laminar flow ca
分子动力学分子动力学是一套分子模拟方法，该方法主要是依靠计算机来模拟分子、原子体系的运动，是一种多体模拟方法。通过对分子、原子在一定时间内运动状态的模拟，从而以动态观点考察系统
芋头芋（学名：Colocasia esculenta）或芋艿，俗称“芋头”，为天南星科芋属植物，其球状地下茎（块茎）可食用亦可入药，在大洋洲诸岛是波利尼西亚人传统主要粮食；全年皆有产，花期在秋季。最早栽种
2013年巴基斯坦大选米尔汗·哈萨·霍索无党派人士纳瓦兹·谢里夫巴基斯坦穆斯林联盟（谢里夫派）2013年巴基斯坦大选于2013年5月11日进行。其中选出巴基斯坦国会下院国民议会以及旁遮普省、信德
顺义区顺义区是北京市下辖的市辖区，位于北京市东北部，毗邻城六区内的朝阳区，面积1021平方公里，常住人口100.4万人，户籍人口61.5万人。顺义区是北京市东北部发展带的重要节点、重点发展
内蒙古军区中国人民解放军内蒙古军区，简称内蒙古军区，是中国人民解放军的一个省级军区，现属于中央军委国防动员部，管辖范围为内蒙古自治区。主席（党、国）副主席（党、国）委员（党、国）军种：陆军　
皇道派皇道派，是日本帝国陆军内部存在的一个政治派系，其主要受北一辉等的思想影响，主张尊皇、在天皇亲政下对日本进行国家改造（其称之昭和维新）为目标，以暴力革命打倒日本国内资本财阀，并
光谱化学序列光谱化学序列由（紫外－可见）光谱得到，用以表示配体和金属离子对分裂能 Δ 的影响大小，主要应用在晶体场理论和配位场理论中。分裂能是1个电子从较低能量轨道跃迁到较高能量轨道所