PSPACE

✍ dations ◷ 2025-11-27 09:52: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。

相关

葡萄糖胺氨基葡萄糖（C6H13NO5）又称葡萄糖胺、葡糖胺或氨基葡糖，是葡萄糖的一个羟基被氨基取代后的化合物。氨基葡萄糖是蛋白质或脂类糖基化反应中的重要前体。氨基葡萄糖衍生物N-乙酰氨
维伦多夫的维纳斯维伦多尔夫的维纳斯（Venus of Willendorf），一座11.1厘米（4又3/8英寸）高的女性小雕塑，1908年出土于考古学家约瑟夫·松鲍蒂（英语：Josef Szombathy）在奥地利的维伦多尔夫村（Willendorf）附
寻找成龙《寻找成龙》（英文：Looking for Jackie）是一部2009年的中国大陆儿童喜剧电影，由童星张一山领衔主演，众多大牌明星客串出演。该片于2008年12月8日开机拍摄，2009年7月3日正式公映。1
红巾特攻队《红巾特攻队》（韩语：빨간 마후라，英语：Red Muffler／Red Scarf）为1964年韩国战争电影，于1964年3月27日上映，片长100分钟，由韩国著名导演申相玉执导，申泰璿监制，申氏电影公司出品、制作
意大利电信意大利电信（意大利语：Telecom Italia）是意大利的电信公司，总部位于罗马。提供电话服务，移动通信服务和DSL数据服务。该公司成立于1994年，由数家国有电信公司合并而成，其中最重要的
仅存者政策仅存者政策（英语：Sole Survivor Policy），或称“国防部1315.15指令”（DoD Directive 1315.15）及“幸存者之特别分离政策”（"Special Separation Policies for Survivorship"），是指美军
福田广平福田广平（日语：福田こうへい，1976年9月21日－），是一名日本男性演歌歌手，出生于岩手县岩手郡雫石町，已婚。现时与祖父母、母亲、妻儿共6人住于盛冈市居住。福田广平原以演唱民谣为主，
森可成森可成（1523年－1570年9月19日、大永3年-元龟元年9月19日）是森可行的长子，森长可，森兰丸，森坊丸，森力丸等人的父亲。1523年在尾张国叶栗郡莲台出生，又名与三、三左卫门。正室是林通利
基督教党 (立陶宛)基督教党（立陶宛语：Krikščionių partija, KP）是立陶宛中间偏右政党。该党成立于2010年1月23日，由基督教保守社会联盟（Krikščionių konservatorių socialinė sąjunga）和基
山田锦山田锦（日语：やまだにしき）是稻米的品种之一。属于酿造日本清酒用的酒米，被称为“酒米之王”。1923年（大正十二年），兵库县立农事试验场（现在的兵库县立农林水产技术总合中心）成功研