PSPACE

✍ dations ◷ 2025-11-28 02:49:03 #复杂度类,计算机科学中未解决的问题

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。

相关

  • 长鼻目 Proboscidea small/small见内文长鼻目(学名:Proboscidea) 是哺乳动物一个目,只包含一个现存科,象科,即大象。包括普通非洲象 (Loxodonta africana)、非洲森林象 (Loxodonta cyclotis)和亚洲象(Elephas maxi
  • 桂冠诗人桂冠诗人(英语:Poet Laureate)是经由政府官方任命的诗人及其称号。自欧洲中古世纪,在皇帝的侍从队伍内也有诗人,他们的工作就是写下纪念某事或某节庆的诗歌,这种诗人在英国就称之
  • 尤金·布鲁勒保罗·尤金·布鲁勒(德语:Paul Eugen Bleuler,1857年4月30日-1939年7月15日)是一位瑞士精神病学家。他以对精神病的研究和创造“精神分裂症”(Schizophrenia)一词而知名。
  • 核糖-5-磷酸核糖-5-磷酸(英语:Ribose 5-phosphate)是磷酸戊糖途径的中间体和产物。核糖-5-磷酸是磷酸戊糖途径氧化阶段的最终产物,由核酮糖-5-磷酸异构化而来,根据机体的状态,核糖-5-磷酸也能
  • 迭戈·哥伦布迭戈·哥伦布(Diego Colombo,?-1526年),文艺复兴时期欧洲航海家和冒险家。探险家克里斯托弗·哥伦布的儿子,他继承了其父亲的头衔,成为了伊斯帕尼奥拉岛的总督。
  • 签派员签派员(Dispatcher),是某些组织机构中负责接收和发送可靠的消息、跟踪车辆和设备、以及记录其他重要信息的一个或几个重要的人员。在公共服务组织中如警察、消防部门、邮政部门
  • 洪鱼脍洪鱼脍(朝鲜语:홍어회/洪魚膾)是一种由鳐鱼(韩语称“洪鱼”)制成的发酵食品,具有类似氨的刺激性气味。洪鱼脍是韩国全罗道(尤其是木浦市)的一种乡土饮食(英语:Korean regional cuisine),
  • 伯劳属见下表伯劳属(学名:),为雀形目伯劳科中的一属,伯劳科中大多数的种类都在此属中。属名的拉丁文原意为“屠夫”。此属中大多数的物种分布在欧亚大陆及非洲,较特殊的有像是灰伯劳这样
  • 林元美第十一世林元美(1778年-1861年),日本围棋棋手,生于水户,父亲为水户藩士,本名船桥源治,字宽度,号烂柯堂蓝叟。九岁时,在家附近的寺院学会了围棋。十一岁时,父亲带他到江户,拜于本因坊烈元
  • 皇甫涣皇甫涣(?-?),字时亨,直隶苏州府吴江县人,民籍,明朝政治人物。应天府乡试第九十七名举人。嘉靖二十六年(1547年)中式丁未科会试第二百七十九名,登第三甲第六十八名进士。授南昌县知县,嘉靖