PSPACE

✍ dations ◷ 2025-09-18 03:54:38 #复杂度类,计算机科学中未解决的问题

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。

相关

教宗国教宗国（拉丁语：Civitas Ecclesiae；意大利语：Stato Pontificio、Stato della Chiesa；又译为教皇国、教皇领）是南欧一个已经不存在的国家，为教宗统治的世俗领地，建立于8世纪，位于亚平宁
异教徒不信者，或异教徒（英语：Infidel，字面意“不信者”）为基督教或伊斯兰教对无宗教或异教人士的称呼。在一神教世界通常为骂人词汇。不过某些伊斯兰教学者认为伊斯兰教中引用“异教徒
完全行为能力行为能力（capacity）为一种法律上的概念，其与“权利能力”及“意思能力”不同，乃指为法律行为之资格，亦即个人以独自的意思表示，使其行为发生法律上效果的资格而言。民法中基于私法
斯瓦尔巴和扬马延斯瓦尔巴和扬马延（挪威语：Svalbard og Jan Mayen，ISO 3166-1 二位字母代码：SJ，ISO 3166-1 三位字母代码：SJM，ISO 3166-1 三位数字代码：744）是国际标准化组织定义的一片地区，由享有特殊
戴克里先迫害戴克里先迫害或称作大迫害，是罗马帝国最后一次和最严重的一次对基督徒的迫害。303年时，罗马皇帝戴克里先、马克西米安、伽列里乌斯和君士坦提乌斯一世颁布了一系列法令，废除基
水产部中华人民共和国水产部是于1956年5月12日，第一届全国人大常委会第四十次会议决定设立的。文革时，水产工作处于停滞状态。1970年5月，农业系统各部委合并，成立农林部，水产部被撤销。
叶调叶调（Yavadvipa，又译斯调、耶婆提）一名阎摩那洲（Yamanadvīpa），位于今天的爪哇岛，一说苏门答腊，或兼指爪哇、苏门答腊二岛。|史载，汉顺帝永建六年（131年）时，叶调国曾遣使东汉。此外，僧人
赤贫极端贫穷（英语：Extreme poverty）即赤贫，指贫穷的最严重状况，亦即一个人无法获致生存所需的基本需求，包括食物，水，衣物，住屋，卫生设备，教育与健康医疗。为掌握世界各国极端贫穷的人数，世
宾诺·古登堡宾诺·古登堡（德语：Beno Gutenberg，1889年6月4日－1960年1月25日）是一位对地球物理学有许多重大贡献的美籍德国地震学家。他和加州理工学院的查尔斯·弗朗西斯·里克特共同发展了
中药超微饮片中药超微饮片，是一种利用超微粉碎细胞破壁技术，使中药材的核心细胞破壁而释放出全部有效成分。然后按一定比例将粉碎后的药粉换算为服用剂量，包装后形成单药材超微饮片。“中药