PSPACE

✍ dations ◷ 2025-04-04 20:08:32 #复杂度类,计算机科学中未解决的问题

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。

相关

  • 异麦芽糖异麦芽糖是一种二糖,类似于麦芽糖,但拥有α-(1-6)-糖苷键,而不是麦芽糖的α-(1-4)-糖苷键。可水解为两个葡萄糖分子。 麦芽糖浆在转葡糖苷酶(英语:transglucosidase) (TG,也称α-葡
  • 多孔动物多孔动物门(学名:Porifera)为原始的多细胞生物,也称海绵动物门(Spongiatia或Spongia),一般称为海绵。海绵没有神经元/神经系统、消化和循环系统,相反,它们大多依靠海水流过自己的身体
  • 米尔德里德·德雷斯尔豪斯米尔德里德·德雷斯尔豪斯(英语:Mildred Dresselhaus,1930年11月1日-2017年2月20日),美国纳米科学家、麻省理工学院物理及电气工程学教授与荣誉退休教授,绰号“碳科学的女王”(queen
  • CCu有机金属化学中的有机铜化合物,是指含有碳与铜键结的化学键的有机物。有机铜化学是一门描述有机铜化合物相关的物理特性、合成以及反应的学科。 在有机化学中它们通常为反应
  • 吉姆·洛弗尔小詹姆斯·“吉姆”·阿瑟·洛弗尔(James 'Jim' Arthur Lovell, Jr.,1928年3月25日-)曾是一位美国国家航空航天局的宇航员,以作为指令长将严重受损无法登月的阿波罗13号成功带回
  • 台28线台28线(湖内桥-茂林),为联络高雄北海岸与高雄山区的一条省道。此外,路线其中一段是贯穿旗山与六龟等二区,为当地重要的交通道路,使该路段亦有着俗称“旗六公路”。部分路段从县道18
  • 古田德昌古田德昌(日语:ふるた のりまさ,1928年3月27日-)乃日本通商产业省(今经济产业省,以下简称通产省)贸易局局长、马自达汽车公司的第7任社长,也是该公司第一位非内部直升的空降社长。古
  • 尼古拉·蒂莫夫蒂尼古拉·蒂莫夫蒂(Nicolae Timofti,1948年12月22日-)是一名摩尔多瓦政治人物和法学家。1990年任摩最高法院副院长,1996年开始担任摩尔多瓦法官协会主席,2011年3月起任摩高级法官委
  • 德尔米拉·阿古斯蒂尼德尔米拉·阿古斯蒂尼(西班牙语:Delmira Agustini,1886年10月24日-1914年7月6日),乌拉圭女诗人,是最早创作现代主义作品的乌拉圭女作家。阿古斯蒂尼生于乌拉圭蒙得维的亚的一个富裕
  • 史学方法史学方法(英语:Historical method)为历史研究的方法学,是任何一位从事历史研究工作者必须学习的课程。它是带领一个研究者能够正确掌握历史研究的一个重要训练,也因此许多学术单