PSPACE

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

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。

相关

阴虱Pediculus pubis Linnaeus, 1758阴虱（Pthirus pubis）是一种寄生于人体毛发的寄生虫，长约1至3毫米，无翼。因常见于阴部，故称阴虱。另外，由于阴虱身体扁平，远看如同皮屑，细看则如同小
洛矶山斑点热落矶山斑点热是在美国最严重及广泛报告的立克次体疾病，亦在美洲等地有病例。落矶山斑点热在其他国家亦被称为“蜱斑疹伤寒”、“托比亚热”（哥伦比亚）及“圣保罗热”或“斑疹热
小普林尼盖尤斯·普林尼·采西利尤斯·塞孔都斯（拉丁语：Gaius Plinius Caecilius Secundus，61年8月25日至62年8月24日之间出生于今天意大利科莫，约113年逝世于比提尼亚与本都行省），也被称
北美中部时区北美中部时区（North American Central Time Zone）标准时间为UTC-6，夏令时间为UTC-5。完全属于本时区的加拿大省份：部分属于本时区的加拿大省份：完全属于中部时区的州：部分属于中部
体操体操是类运动项目的总称，在国际体操联合会中分为几个单项，竞技体操、艺术体操、蹦床、技巧运动和竞技健美操。竞技体操分为男子6个项目：自由体操，鞍马，吊环，跳马，双杠，单杠；女子四个
Bacilli芽孢杆菌纲（学名：Bacilli）是厚壁菌门的一纲，包含有芽孢杆菌目和乳杆菌目两目，其下包含有芽孢杆菌属和其他如李斯特菌属等革兰氏阳性菌。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o
毛乌素沙漠坐标：39°38′N 109°00′E / 39.633°N 109.000°E / 39.633; 109.000毛乌素沙漠（蒙古语：Му-Ус）亦称鄂尔多斯沙地（OrdosDesert），位于陕西省榆林地区和内蒙古自治区鄂尔多斯市
支配在计算机科学中，控制流图的一个节点 d 支配节点 n，当且仅当从开始节点（可以理解为源）到节点 n的每一条路径均要经过节点d，写作d dom n (一写作d ≫
树旋转在数据结构中，树旋转（英语：Tree rotation）是对二叉树的一种操作，不影响元素的顺序，但会改变树的结构，将一个节点上移、一个节点下移。树旋转会改变树的形状，因此常被用来将较小的子
分布式信源编码分布式信源编码（Distributed Source Coding，DSC）是对信息互相关联但不互相通信的信源的一种信息压缩方式. 它和其他信源编码不同的是，在这里使用的是信道码。分布式信源编码的