PSPACE

✍ dations ◷ 2025-11-30 04:05:49 #复杂度类,计算机科学中未解决的问题

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。

相关

库克群岛面积以下资讯是以2016年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2014年估计国内生产总值（国际汇率）以下资讯是以2005年估计立国历史库克群岛（英语：Cook Islan
熊本县熊本县（日语：熊本県／くまもとけん Kumamoto ken */?）是位于日本九州的一个县，位于九州中央，在令制国时代称肥后国，与九州其他六县都有接壤或隔内海湾柤望，面积7400平方公里，人口170
褐紫红栗色，又称褐紫红、深红（英文：Maroon）是红色之一，由棕色和紫色混合而成。虽然栗色没有混合红色，但栗色被认为是深红色的一种。英文辞源从法文marron（意指“栗子”）获得，但没有成为一个
长嘴鸟长嘴鸟（学名Longirostravis）是生存于白垩纪早期的一类反鸟亚纲鸟类。它们是在中国辽宁的义县组发现。它们与长翼鸟及抓握鸟属于长翼鸟科的分支。
伊河伊河，是中国黄河南岸洛水支流之一，发源于河南省洛阳市栾川县陶湾镇，流经嵩县、伊川，穿伊阙而入洛阳，东北向流至偃师与洛水汇合成伊洛河。伊河全长368公里，流域面积6100多平方公里
陈小勇陈小勇是中国科学院昆明动物研究所的鱼类学家。1993年毕业于西北师范大学，1996年毕业于兰州大学，1999年毕业于中国科学院昆明动物研究所。毕业后留校担任研究员。
特立尼达岛特立尼达岛（英语：Trinidad Island；西班牙语：Isla Trinidad），港澳台译作千里达，是特立尼达和多巴哥两主岛中较大者，位于西印度群岛最西南部，距南美洲大陆委内瑞拉海岸仅11公里。特立尼
AGS-17烈火自动榴弹发射器AGS-17（俄语：АГС-17 “Пламя”；Пламя，拉丁化：Plamya，意为：烈火；俄罗斯国防部火箭炮兵装备总局代号：6G10／6Г10）是一款由前苏联（现在是俄罗斯）俄联邦仪器设计局所研制、现由
长冠犀鸟长冠犀鸟（），又名白冠犀鸟，是分布在马来半岛、苏门塔腊及婆罗洲的一种犀鸟。它们分类在单型的白冠犀鸟属中，但也有学者将白冠弯嘴犀鸟分类在此属中。另外也有学者将长冠犀鸟分类在
大英博物馆算法大英博物馆算法或称大英博物馆技巧，即是以穷举法，从最小的组合开始找答案。严格而言，这只是一个解题的概念而非一个可实现的算法，而且以穷举法列出所有可能的话，运算时间和空间上