PSPACE

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

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。

相关

  • 长sſ,又名长S,是小写字母s 的变体,用于字的开首或中段,而不会用来结尾。例如: ſinfulneſs 就是“sinfulness”一词的过去写法。长s很容易与f混淆,尤其是在一些直体字型中(譬如Couri
  • .mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
  • 全球暖化潜势全球暖化潜势(Global warming potential,简称GWP),亦作全球升温潜能值,是衡量温室气体对全球暖化影响的一种手段。是将特定气体和相同质量二氧化碳比较之下,造成全球暖化的相对能
  • 亚当斯县亚当斯县(Adams County, Colorado)是美国科罗拉多州东部的一个县。面积3,102平方公里。根据美国2000年人口普查,共有人口363,857人。县治布莱顿 (Brighton),最大的城市为奥罗
  • 华盛顿都会区交通局华盛顿都会区交通局(英语:Washington Metropolitan Area Transit Authority,简称WMATA /wəˈmɑːtə/ wə-MAH-tə),又称为Metro,是一个横跨三州的政府组织,负责营运华盛顿都会区
  • 腊山腊山国家森林公园,位于鲁西南东平湖与黄河之间的腊山上。面积10908亩。主峰海拔258.4米。腊山森林公园景点包括金代建筑祥龙观,唐代的云梯,供奉唐代名医孙思邈的药王庙,初建于明
  • 迪克·亚历山大迪克·亚历山大(英语:Dick Alexander)为一位美国音讯工程师。他曾赢得了2次奥斯卡最佳音响效果奖,并在这个奖项上获得了6次提名。自1975年起他参与了170多部电影的制作。所罗门
  • 波兰民主化运动波兰民主化运动指的是1980年代期间波兰进行的民主化运动。波兰人民共和国时期,经济状况持续慢性恶化,通货膨胀、食品配给制度和食品、物资、经济的匮乏,使得罢工、暴动和防暴镇
  • 英国广播公司新闻频道英国广播公司新闻频道(BBC News Channel)是英国广播公司运营的一家新闻专门频道。开播于1997年11月9日,节目由BBC新闻制作。全天播出。频道的旧称是“BBC News 24”。除了播出
  • 考琳·麦卡洛考琳·麦卡洛(英语:Colleen McCullough,1937年6月1日-2015年1月29日),澳大利亚作家。出生于澳大利亚南威尔士州,曾任美国康乃狄克州纽哈芬耶鲁大学精神生理学教授。1977年著有《刺