PSPACE

✍ dations ◷ 2025-08-27 00:05:11 #复杂度类,计算机科学中未解决的问题

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。

相关

  • (OCN)sub2/sub拟卤素或类卤素(pseudohalogen)是一种性质类似卤素的无机化合物,其通式为 XY,其中 X 可以是氰基 CN、氰氧基 OCN、硫氰基 SCN 等官能基,而 Y 可以是上述的物质或是卤素原子。如氰
  • 德国电视德国最早的电视节目播出是在1935年3月22日于柏林进行的,当时每个礼拜播出3次,每次90分钟的电视节目。在2000年时,有约3650万户德国家庭拥有电视机,这使德国成为欧洲最大的电视市
  • 赌瘾赌博成瘾或问题赌博(Ludomania)是一种持续需要赌博的心理,尽管患者明知其负面危害,又或希望停止。问题赌博的定义,在于赌徒或其他人受到伤害,而不是赌徒的行为会否构成伤害。对于
  • 独木舟独木舟(英语:Dugout canoe),是一种用单根树干挖成的划艇,需要借助桨驱动。独木舟的优点在于由一根树干制成,制作简单,不易有漏水,散架的风险。它可以说是人类最古老的水域交通工具之
  • 凯文·麦卡锡凯文·麦卡锡(Kevin McCarthy)可以指:
  • 生酮氨基酸生酮氨基酸(ketogenic amino acid)是指在体内能转化为酮体,即乙酰乙酸、β-羟丁酸和丙酮的氨基酸。生酮氨基酸包括赖氨酸、亮氨酸,他们在分解过程中都可转变为乙酰乙酰辅酶A,再在
  • 加拿大法律加拿大法律系统建基于英国的普通法系统,继承作为前英国殖民地,后为英联邦国家中联邦王国的成员。该法律系统有双管辖权,因为公法 (包括刑事) 和私法的责任分离及分别由国会和省
  • 巨杉国家公园巨杉国家公园(Sequoia National Park,或译美洲杉国家公园、红杉国家公园),是位于美国西部,加利福尼亚州内华达山脉内的一座国家公园。巨杉国家公园成立于1890年,是继黄石国家公园
  • 述平述平,原名王述平(1962年11月20日-)出生于吉林省梅河口,中国电影编剧。1994年以短篇小说《晚报新闻》获长白山文艺奖,并得到张艺谋的注意,受邀担任其电影《有话好好说》的编剧。之后
  • TornadoTornado全称Tornado Web Server,是一个用Python语言写成的Web服务器兼Web应用框架,由FriendFeed公司在自己的网站FriendFeed中使用,被Facebook收购以后框架以开源软件形式开放