PSPACE

✍ dations ◷ 2025-04-26 12:57:53 #复杂度类,计算机科学中未解决的问题

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。

相关

  • 地佐辛地佐辛是一种具有镇痛作用的精神药物,一般在临床上采用肌肉或静脉注射的方式施药。常用于手术后镇痛以及由内脏、癌症引发的疼痛。该药剂药效比哌替啶强、成瘾性小、注射后十
  • 低地苏格兰语苏格兰语(Scots,在古诗中又称Lallans,意为低地),日耳曼语族中的语言变体之一,通行于苏格兰低地以及阿尔斯特省的部分地区(在阿尔斯特省中,又称为阿尔斯特苏格兰语)。为了与苏格兰盖尔
  • 氨基水解酶氨基水解酶(英语:aminohydrolase)是一种作用于氨基的水解酶。氨基水解酶类被分类在EC编号3.5.4之下。EC 1.1/2/3/4/5/6/7/8/9/10/11/12/13/14/15/16/17/18/19/20/21/22  · 2
  • 多孢植物多孢植物(英语:Polysporangiophytes,也称polysporangiates或Polysporangiophyta),指的是在孢子体阶段有终止在孢子囊的分支的茎(轴)的植物。学名的意思即为有许多孢子囊的植物。演
  • 石斛石斛(学名:Dendrobium nobile)为兰科石斛属下的一个种。 石斛(学名:Dendrobium nobile Lindl),又称作仙斛兰韵、不死草、还魂草、紫萦仙株、吊兰、林兰、禁生、金钗花、金钗石斛、
  • 蕈毒碱型乙酰胆碱受体蕈毒碱型乙酰胆碱受器是一大类固定在细胞膜上的乙酰胆碱受器,其对蕈毒碱比对烟碱(尼古丁)更为敏感。反过来对烟碱比较敏感的则称为烟碱型乙酰胆碱受器。蕈毒碱与烟碱两者皆为生
  • 前列腺素E2前列腺素E2(prostaglandin E2 (PGE2)),亦称地诺前列酮(dinoprostone),是前列腺素的一种,发现于1976年。主要用于分娩时软化子宫颈、引发子宫收缩、引产。此外也可以用作堕胎药、刺
  • 阿卜杜勒·拉希姆阿卜杜勒·拉希姆(阿拉伯语:عبد الرحيم‎;罗马化为“Abdul Rahim”或“Abdur Rahim”)是一个男性穆斯林名称,由阿拉伯语单词()和 组成。这个名称带有“仁慈的仆人”之意,而
  • 帕齐·特雷尔帕齐·特雷尔(英语:Patsy Terrell;1961年12月23日-2017年6月7日),是美国的民主党政治人物,前堪萨斯州众议院议员。特雷尔在肯塔基州出生,成年后在堪萨斯州哈钦森(英语:Hutchinson, Kan
  • 维基教育基金会维基教育基金会(英语:Wiki Education Foundation,有时简称Wiki Ed)是一个总部位于加州旧金山的非营利组织 ,在加拿大与美国进行“维基百科教育计划”(Wikipedia Education Program