PSPACE

✍ dations ◷ 2025-06-08 17:26:59 #复杂度类,计算机科学中未解决的问题

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。

相关

  • 夫婿丈夫,是男女婚姻中对男性的称谓,与妻子相对应。古代妻子对自己配偶又称夫婿、夫君、相公、官人,闽南语则称翁婿(闽南语读“ㄤ”(ang /ɑŋ/),字用“翁”)、头家、夫婿。外子则是妻
  • 阿布扎比阿布扎比(阿拉伯语:أبو ظبي‎,Abū Z̧abī;英语:Abu Dhabi)是阿拉伯联合酋长国之阿布扎比酋长国的首府,也是阿拉伯联合酋长国的首都。阿布扎比位于阿拉伯联合酋长国的中西边
  • 台br /br /湾br /br /海br /br /峡br /坐标:24°48′40″N 119°55′42″E / 24.81111°N 119.92833°E / 24.81111; 119.92833台湾海峡(简称台海;欧洲早期称福尔摩沙海峡)指的是介于中国大陆东南沿海的福建与台湾之
  • 抢劫枪支、弹药、爆炸物、危险物质罪抢劫枪支、弹药、爆炸物、危险物质罪是中华人民共和国刑法规定的的一项罪名,其刑罚最高可达死刑。根据《中华人民共和国刑法》第127条规定:抢劫枪支、弹药、爆炸物的,或者抢劫
  • 博物馆学博物馆学 ,亦称作博物馆研究,最早对于博物馆学的定义关注在“建立博物馆的科学学科”,在1960年代,国际博物馆协会则将博物馆学定义为“研究博物馆之目的及运作的学科领域”,自198
  • 柯南·奥布莱恩柯南·克里斯托夫·奥布莱恩(英语:Conan Christopher O'Brien;1963年4月18日-),美国脱口秀主持人、喜剧表演员、作家、制作人、配音员。目前他担任美国有线电视台TBS的夜间脱口秀
  • 2013年全印度尼西亚少年羽毛球锦标赛2013年全印度尼西亚少年羽毛球锦标赛(印尼语:Kejurnas PBSI Perorangan Tahun 2013)为第13届全印度尼西亚少年羽毛球锦标赛,是一项由印度尼西亚羽毛球协会主办予国内顶尖的青少
  • 维克多·贾博维克多·贾博(英语:Victor Garber,1949年3月16日-)是一名加拿大电影、电视及舞台演员,最为著名的角色有在《泰坦尼克号》中扮演泰坦尼克号总设计师托马斯·安德鲁斯(Thomas Andrews
  • 普利特维·纳拉扬·沙阿普利特维·纳拉扬·沙阿(尼泊尔语:पृथ्वीनारायण शाह,1722年-1775年),廓尔喀国王,尼泊尔沙阿王朝的建立者。中国史料称他为博赤纳喇。1742年即廓尔喀王国(在今尼泊尔
  • DVD-RAMDVD-RAM(DVD-Random Access Memory)乃DVD Forum于1996年所制订的光盘规格,规格限定了可多次写入的DVD-RAM存储媒体及DVD刻录机所使用的格式。DVD-RAM自1998年起广泛使用于电脑