PSPACE

✍ dations ◷ 2025-07-13 15:51:55 #复杂度类,计算机科学中未解决的问题

PSPACE是计算复杂度理论中能被确定型图灵机利用多项式空间解决的判定问题集合,是Polynomial SPACE的简称。

如果规定 SPACE ( t ( n ) ) {\displaystyle {\mbox{SPACE}}(t(n))} 为PSPACE完全,如果它在PSPACE中,并且为PSPACE难,即

其中, A p B {\displaystyle {\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。

相关

  • 肾小球基底膜肾小球基底膜(glomerular basement membrane、(GBM))是肾脏肾小球的基底膜层。肾小球毛细血管内皮细胞,肾小球基底膜及滤过裂隙介于足细胞之间执行肾小球的超滤作用(hyperfiltr
  • 酸类有机酸是指一些具有酸性的有机化合物,如羧酸和磺酸。羧酸,其酸性源于羧基 (-COOH)或磺酸基(SO3H)。有机酸一般为弱酸,但也有例外,如三氟乙酸接近于强酸,三氟甲磺酸为超强酸。大部分
  • 内菲里帝斯一世尼菲利提斯一世(英语:Nepherites I)是埃及第二十九王朝的第一任法老,他是将阿米尔塔尼乌斯处刑而得到皇位的。他将首都迁至门德斯 (埃及)。在军事方面,他支持斯巴达对波斯的战争
  • 头虱感染头虱感染是人的头发及头皮寄生头虱的疾病。患者常会因为头虱叮咬而瘙痒。初次感染时,可能前六周都不会瘙痒。但若再度感染,症状就会很快出现。甚至可能会因为瘙痒而难以入睡。
  • 卢阿拉巴省卢阿拉巴省(法语:Province de la Lualaba)是位于刚果民主共和国南部的一个省,首府科卢韦齐(Kolwezi),与赞比亚及安哥拉两国接壤,人口1,677,288(2006年), 面积121,308 km²。
  • 费尔南多·索尔费尔南多·索尔(西班牙语:Fernando Sor,1778年2月14日-1839年7月8日),西班牙作曲家,以及吉它演奏家。1778年生于西班牙巴塞罗那。自幼学习吉它,十九岁时在巴塞罗那上演所作歌剧。此
  • 耶罗尼米斯·博斯耶罗尼米斯·博斯(Hieronymus Bosch,/ˌhaɪ.əˈrɒnᵻməs ˈbɒʃ/;荷兰语:Jheronimus Bosch),原名耶罗恩·安东尼松·范·阿肯(Jeroen Anthoniszoon van Aken;荷兰语:jeˈɾoːni
  • 波普里卡尼乡坐标:47°18′N 27°31′E / 47.300°N 27.517°E / 47.300; 27.517波普里卡尼乡(罗马尼亚语:Comuna Popricani, Iași),是罗马尼亚的乡份,位于该国东北部,由雅西县负责管辖,面积70
  • 李荣兴李荣兴(1959年-),美籍华裔测绘专家,上海人,现为同济大学教授。李荣兴早年毕业于同济大学,先后于1981年、1984年获学士、硕士学位。后赴德国留学,1990年获柏林工业大学摄影测量与遥感
  • 克洛德·约瑟夫·鲁日·德·李尔克洛德·约瑟夫·鲁日·德·李尔(法语:Claude Joseph Rouget de Lisle,1760年5月10日隆勒索涅 - 1836年6月26日舒瓦西勒鲁瓦),法国作曲家,代表作为法国国歌《马赛曲》。鲁日·德·