PSPACE

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

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。

相关

防卫防卫战就军事而言，即指以防守武力阻挡抵抗他方入侵的战争，如：抗战。近现代军事防卫战的发起，并不一定是被动，除了防卫固守外，也包含吓阻用途的预防战争武力建置。防卫战有战略战术
1351年瑞士
瑞吉·葛文瑞奇·迪恩·热维斯（英语：Ricky Dene Gervais，/dʒərˈveɪz/；1961年6月25日－）是一位英国喜剧演员、演员、导演、制作人、编剧和音乐家。热维斯的事业从音乐界开始。1980年代时，热
L.约翰逊拉里·德米特里克·约翰逊（英语：Larry Demetric Johnson，1969年3月14日－），昵称大妈（Grandmama），美国退役篮球运动员，身高2米01，场上司职大前锋。约翰逊大学效力于内华达大学拉斯维加斯
霍伊特·范登堡霍伊特·桑福德·范登堡（英语：Hoyt Sanford Vandenberg，1899年1月24日－1954年4月2日）是美国空军上将、第二任空军参谋长和第二位中央情报局局长。二战期间，范登堡曾在英国和法国指
变应性结膜炎变应性结膜炎（英语：allergic conjunctivitis，亦称为过敏性结膜炎或变态反应性结膜炎）是结膜的过敏性炎症，虽然症状可能非常明显，但通常不会致盲。在发达国家，估计过敏性结膜炎的患
陈震雷陈震雷（1947年－1994年7月27日），本名陈传来，台湾男演员，活跃于1980年代。陈震雷原是雕刻师父，也曾在电视台担任武行。后来被导演林福地相中而参与演出台视连续剧《不要说再见》，并凭
周辅成周辅成（1911年6月20日－2009年5月22日），四川省江津县人。中国伦理学家、哲学家。曾为武汉大学、北京大学教授。曾任中国伦理学会副会长。《论人和人的解放》
引力红移引力红移（Gravitational redshift）或称引力红位移指的是光波或者其他波动从引力场源（如巨大星体或黑洞）远离时，整体频谱会往红色端方向偏移，亦即发生“频率变低，波长增长”的现象。
泡泡冰泡泡冰，虽如刨冰之中加入各种配料放入碗公里，但用勺子或汤匙以手工搅拌，将冰打至细匀，混合而成。相较于一般刨冰中配料与冰呈现分离状态，泡泡冰的配料与冰紧密混合在一起，绵密口感