NL完全

✍ dations ◷ 2025-11-28 09:15:46 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 双螺旋结构在分子生物学中,双螺旋是指由核酸(如DNA和RNA)的双链分子所形成的结构。核酸复合物的双螺旋结构是它的二级结构的结果,并且是确定其三级结构的基本组成部分。这个术语因詹姆斯·
  • 否定前件否定前件(denying the antecedent)或假值传递是一种形式谬误,其形式如下:范例:
  • 婚神星婚神星(英语:3 Juno)是人类发现的第三颗小行星,也是小行星带中最大的小行星之一,是由较重的石质组成的S-型小行星。它在1804年9月1日被德国天文学家卡尔·路德维希·哈丁以一架普
  • 御三家御三家是一个日语词语,用于统称一个领域中最著名的三者,意思接近英语的“三巨头”。该词源自江户时代的“德川御三家”,是指德川氏中除德川将军家外拥有幕府将军继承权的三大旁
  • 伯格法院沃伦·厄尔·伯格(Warren Earl Burger,1907年9月17日-1995年6月25日),生于圣保罗,逝于华盛顿,美国律师,美国第15任美国首席大法官(1969年-1986年)。伯格1931年从圣保罗法学院毕业。在1
  • 新几内亚岛新几内亚(英语:New Guinea;巴布亚皮钦语:Niugini;印尼语:Papua)位于澳大利亚北面,是世界上第二大岛屿。有时,本岛亦被称为“巴布亚”,但有时巴布亚亦单指本岛的一部分。此外,印尼官方过
  • 杨实杨实(?-?),字真卿,是第五任播州土司,其活跃年代位于五代末年至北宋初年。杨实是第四代土司杨三公的次子。杨三公死后,杨实的长兄杨宝应该继承土司之位。但杨宝自认为才能不如杨实,遂让
  • 槟城中环广场槟城中环广场(马来语:Penang Sentral),为一项大众运输交通枢纽与商业发展计划,位于马来西亚槟城州北海,是个集巴士铁路和海路交通于一体的综合公共交通枢纽。该工程概念取自吉隆坡
  • 范氏溪丽鲷范氏溪丽鲷,为辐鳍鱼纲鲈形目隆头鱼亚目慈鲷科的其中一种,分布于非洲Malagarasi河流域,体长可达13公分,栖息在溪流、沼泽,属杂食性,生活习性不明,可作为观赏鱼。 维基物种中有关范
  • 洪新霞洪新霞(马来语:Rosalind Singha Ang,1940年-),马来西亚已退役女子羽毛球运动员。洪新霞于1965年在东南亚运动会上庆祝了她的第一次重大国际成功,在那里她赢得了女子单打冠军。六年