PSPACE

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

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。

相关

  • 肺部肺是很多进行空气呼吸的动物的呼吸系统中重要的一个器官,大部分四足类动物、一些鱼类和蜗牛都有肺。哺乳动物和其他身体结构较为复杂的动物则拥有两个肺,其位于胸腔中靠近脊柱
  • 十亿<< 100‍ 101‍ 102‍ 103‍ 104‍ 105‍ 106‍ 107‍ 108‍ 109‍ >> 100000000 1000000000 100000000001000000000(十亿)是大于999,999,999但小于1,000,000,001的自然数。
  • 法意《论法的精神》(法语:De l'esprit des lois),最早的中文版本译作《法意》,法国思想家孟德斯鸠的政治学名著,历时14年著成。他采取与意识主义和自然主义截然不同的方法来分析政治行
  • 布洛涅林苑布洛涅林苑,是法国巴黎城西边的一片森林,面积8.46平方公里,南北最长处3.5公里,东西最宽处2.6公里,属巴黎市政府管辖。跟巴黎东南的文森森林(Le bois de Vincennes)一起被视为巴黎吸
  • 卡布斯·本·赛义德·阿勒赛义德卡布斯·本·赛义德·阿勒赛义德(阿拉伯语:قابوس بن سعيد آل سعيد‎,1940年11月18日-2020年1月10日),前任阿曼苏丹,阿曼赛义德王朝的第14代君主。卡布斯自1970年
  • 涡轮增压燃油分层喷射涡轮增压燃油分层喷射(英语:Turbo Fuel Stratified Injection,简称:TFSI),是奥迪汽车建基于燃油分层喷射(FSI)技术上发展出来,将燃油加压后直接喷射进引擎内,藉以改进火花点火引擎输出
  • ATC代码 (D11)(Antifungals for dermatological use)(Emollients and protectives)(Preparations for treatment of wounds and ulcers)(Antipruritics, including antihistamines, anesthetics,
  • 不送气齿龈搭嘴音不送气齿龈搭嘴音(Tenuis alveolar click)或不送气龈后搭嘴音(Tenuis postalveolar click)是一种辅音,主要出现于南非的一些口语中。其中,术语“不送气”(tenuis)又称“无声爆破音”
  • 彭普万·东詹彭普万·东詹(泰语:พุ่มพวง ดวงจันทร์,1961年8月4日-1992年6月13日)是一名泰国女歌手及演员,出生于泰国猜纳府,有泰国民谣界女歌神之称。其首创了“电子略同”,被认
  • 坂田站 (深圳地铁)† 路线图不按真实比例,仅供参考.坂田站是深圳地铁5号线一个使用中的车站,于2011年6月22日随5号线开通投入使用。坂田站位于龙岗区坂田街道布龙路、坂雪岗大道交界地下,沿东西