NL完全

✍ dations ◷ 2025-10-20 04:57:05 #计算复杂性理论,理论计算机科学

在计算复杂性理论中,NL完全是由全体对NL类完备的语言构成的复杂性类。也就是说,NL完全的语言是NL类中最“难解”和最“有力”的语言。如果有某个确定性的方法可以在对数空间内解决一个NL完全问题,那么就会有NL=L。

在全体判定问题中,NL类包含了那些可以用非确定型图灵机在对数空间内解决的问题。这里的图灵机要求有一条只读输入带,和另一条空间上限与输入长度的对数成比例的读写带。类似地,L类包含了可以用同样结构的确定型图灵机解决的判定问题。由于这种图灵机的格局数目只有多项式级别,因此NL和L都是P的子集。

正式地说,一个问题是NL完全的,当且仅当它属于NL,并且所有NL中的判定问题都可以Log-空间规约到它。

相关

  • 抗生素抗细菌药(英语:antibacterial)也称为“抗细菌剂”,是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下,抗细菌药也可简称为“抗菌药”,包括抗生素(英语:antibiotic) 由微
  • 新的共和国美国例外论(英语:American Exceptionalism),又译美国卓异主义、美国例外主义、美式例外主义,一种理论与意识形态,认为美利坚合众国是个独特的国家,与其他国家完全不同。为亚历西斯
  • 徐叙瑢徐叙瑢(1922年4月23日-),生于山东临沂,中国发光学家,北京交通大学教授,北京交通大学光电子技术研究所名誉所长。1945年毕业于西南联合大学物理系。1955年获苏联科学院列别捷夫物理
  • 觉音上座部佛教觉音(梵语:Buddhaghōsa;巴利语:Buddhaghosa),又译为佛音、觉鸣,传说为西元五世纪时印度佛教僧侣,是南传佛教史上的关键人物,对其评价趋于两极化,赞赏者称其是南传佛教学说
  • 黄夹次苷黄夹次苷(英语:Peruvoside或称为黄花夹竹桃苷,英语:cannogenin thevetoside)是一种强心苷,用于治疗心脏衰竭,来源于黄花夹竹桃(学名:Cascabela thevetia,曾用学名:Thevetia neriifolia)
  • 高雄市文武圣殿坐标:22°37′46″N 120°16′54″E / 22.6294869°N 120.2815319°E / 22.6294869; 120.2815319高雄文武圣殿,俗称盐埕埔圣帝庙,是高雄市知名的关帝庙,也是著名的“澎湖庙”。
  • 卢尔德卢尔德(法语:Lourdes),亦译露德,是法国西南部上比利牛斯省的一个市镇,也是全法国最大的天主教朝圣地。卢尔德是欧洲著名的天主教徒的朝圣之地。据说在1858年有个叫伯尔纳德的女孩
  • 波士顿马拉松波士顿马拉松,是每年于爱国者日(四月的第三个星期一),在美国马萨诸塞州波士顿举行的马拉松比赛。1896年夏季奥林匹克运动会的成功催生了于1897年创立的波士顿马拉松,这是全世界最
  • 亚洲蹲亚洲蹲是一种脚掌贴地,膝盖弯曲臀部贴近脚踝向下蹲的动作。大多数的欧美人做不到这个动作,研究认为与脚踝的生长有很大的关联,也有可能是生活习惯与亚洲人大不同。但也不是所有
  • 莱维·马代托亚莱维·安蒂·马代托亚(更为准确的音译为莱维·安蒂·马代特奥亚,芬兰语:Leevi Antti Madetoja,1887年2月17日-1947年10月6日),芬兰作曲家。作品包括交响曲、歌剧等,在芬兰的民族音乐