PSPACE

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

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。

相关

圣马太大学坐标：19°20′23″N 81°22′44″W / 19.33972°N 81.37889°W / 19.33972; -81.37889圣马太大学（英语：St. Matthew's University，缩写为SMU）是一所位于开曼群岛大开曼的盈利性大
圣母百花圣殿圣母百花圣殿，又称花之圣母大教堂（意大利语：Cattedrale di Santa Maria del Fiore）或佛罗伦斯主教座堂。是位于意大利佛罗伦斯的一座教堂，属哥特式风格的主教座堂。始建于1296年，
领鞭毛虫类 (choanoflagellate)领鞭毛虫纲（学名：Choanoflagellate）是一种原生生物，是单细胞或群体。拥有一根鞭毛，形态类似于淡水海绵的群体，表面的酪氨酸激酶受体也类似于海绵，被认为是动物的姐妹群。领鞭毛虫的
克列诺片段克列诺片段（Klenow fragment）或称克列诺酶（Klenow enzyme），是汉斯·克列诺1970年用枯草杆菌蛋白酶（subtilisin）处理大肠杆菌DNA聚合酶Ⅰ时，得到的两个片段中分子量较大的一个，它含有6
格列美脲马尔胰（Amaryl）是一种硫酰基尿素类(Sulfonylurea)的糖尿病药物。主要成分为Glimepiride 。用来主治第二型糖尿病。
梯度在向量微积分中，梯度（gradient）是一种关于多元导数的概括。平常的一元（单变量）函数的导数是标量值函数，而多元函数的梯度是向量值函数。多元可微函数 f
美国国家气象局国家气象局（英语：National Weather Service，缩写为NWS）是美国国家海洋和大气管理局属下的6个部门之一，成立于1870年，总部位于马里兰州银泉，主要负责为美国及其属地、邻近水域及海洋
常应文常应文，山西榆社（今山西榆社）人，明朝政治人物。进士出身。嘉靖十一年，登进士。曾于1532年接替曹煜任上海县知县一职，1534年由杜鍷接任。1556年接替刘本学再任上海县知县一职，1558年
南带方南带方（韩语：남대방），是存在于公元四世纪至五世纪的古代朝鲜半岛西部部落国家。东汉建安年间，公孙度以马韩南荒地为带方郡。倭韩部落属带方郡。曹魏时始置南带方郡，在现在的南原。
光储存光储存系指以光电工程之方法，将资料储存于光学可读的介质上，以进行资料的储存。电脑所使用的只读记忆光碟以及蓝光光碟等光学碟片就是光储存的应用。光存储是由光盘表面的介质