PSPACE

✍ dations ◷ 2025-04-02 09:01:33 #复杂度类,计算机科学中未解决的问题

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。

相关

  • 本体工程本体工程,又称为本体论工程、本体论设计或本体设计,是计算机科学与信息科学当中的一个新兴领域,旨在研究用于构建本体的方法和方法学。本体工程乃是一个新兴的研究和应用领域,关
  • 核潜艇核动力潜艇,简称核子潜艇、核潜艇,是以核反应堆为动力来源的潜艇。由于这种潜艇的生产与操作成本,加上相关设备的体积与重量,采用这种动力来源的潜艇几乎都是军事用途,仅有少数核
  • 比特比特(英语:Bit,亦称二进制位)指二进制中的一位,是信息的最小单位。Bit是Binary digit(二进制数位)的混成词,由数学家John Wilder Tukey提出(可能是1946年提出,但有资料称1943年就提出
  • 上海民航职业技术学院上海民航职业技术学院,原上海民航技工学校,是一所直属于中华人民共和国交通运输部中国民用航空局的全日制专科普通高等职业学校,位于上海市,培养航空维修、民航安全、飞机制造、
  • 布克科里·安东尼·布克(英语:Cory Anthony Booker;1969年4月27日-),是一位美国民主党政治人物,自2013年成为新泽西州联邦参议院议员。布克出生于华盛顿特区,在新泽西州博根县的哈灵顿柏
  • 格奥尔格·奥古斯特 (梅克伦堡-施特雷利茨)格奥尔格·奥古斯特王子(德语:,1824年1月11日-1876年6月20日),梅克伦堡-施特雷利茨大公格奥尔格的次子,腓特烈·威廉的弟弟。1851年,格奥尔格·奥古斯特与俄罗斯的凯瑟琳·米哈伊罗
  • 特雷弗·布莱克韦尔特雷弗·布莱克威尔(Trevor Blackwell,1969年11月4日-)出生于加拿大,是在硅谷的计算机程序员,工程师和企业家。布莱克威尔是一个人形机器人开发者,他还发明了Eunicycle,实际上是一个
  • 广州地铁16号线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
  • 二丙酮醇二丙酮醇,结构式CH3COCH2C(OH)(CH3)2。无色稍有薄荷气味液体。与水、醇、醚、芳烃和卤代烃等溶剂混溶,但不与高碳脂肪烃混溶。在碱性溶液中易分解为丙酮。可燃。低毒,对皮肤刺
  • 贾迈勒·阿卜杜-纳赛尔贾迈勒·阿卜杜-纳赛尔(阿拉伯语:جمال عبد الناصر حسين‎,转写:Jamāl ʻAbdu n-Nāṣir Ḥusayn,1918年1月15日-1970年9月28日),阿拉伯埃及共和国的第二任总统,195