NL完全

✍ dations ◷ 2025-08-04 02:15:56 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 运动系统运动系统是动物体用来进行诸如移动,抓取,进食,眼动以及言语等骨骼肌运动的器官组成的功能整体。运动系统的主要部分包括位于外周的骨骼肌和神经以及位于中枢的脑和脊髓。脑和脊
  • 腺苷高半胱氨酸酶腺苷高半胱氨酸酶(英语:Adenosylhomocysteinase)是一个将S-腺苷高半胱氨酸转变为高半胱氨酸与腺苷的酶。医学导航:遗传代谢缺陷代谢、k,c/g/r/p/y/i,f/h/s/l/o/e,a/u,n,mk,cgrp/
  • span class=nowrapKHSOsub4/sub/span硫酸氢钾(化学式:KHSO4)是钾的硫酸氢盐。自然界中以罕见的重钾矾和纤重钾矾存在。它属于酸式盐,酸性很强,一般在红酒工业和分析化学中用作酸性试剂。水溶液与硫酸钾和硫酸混合溶
  • 知名感染者列表这是一个按字母顺序分类的列表,这些列表新闻报导中提及已经感染严重急性呼吸系统综合症冠状病毒2型(SARS-CoV-2)的知名患者,后者是导致2019冠状病毒病疫情的病原体,包括已经死亡
  • 地狱门《地狱门》是一部根据日本作家菊池宽的小说改编而成的彩色电影,导演(监督)是日本人衣笠贞之助,于1953年首映。本片是衣笠执导的代表作之一,于1954年赢得戛纳影展金棕榈奖、卢卡诺
  • 罗素—爱因斯坦宣言罗素-爱因斯坦宣言(Russell–Einstein Manifesto),最初称为《科学家要求废止战争》,是由罗素起草的。罗素与1955年2月11日写信给爱因斯坦讨论这篇宣言,5天后爱因斯坦回信表示赞同
  • 巴 (法老)巴(英语:Ba; Horus Ba),是埃及早王朝时期的一个塞拉赫名,或者可能是统治于埃及第一王朝末期、第二王朝后期或者第三王朝时期的古埃及法老。他的统治时长和位于王表中的时间顺序都
  • 焦阿基诺·罗西尼焦阿基诺·安东尼奥·罗西尼(意大利语:Gioachino Antonio Rossini,1792年2月29日-1868年11月13日),意大利作曲家,他生前创作了39部歌剧以及宗教音乐和室内乐。罗西尼的父母都是音乐
  • 宫寒症宫寒症简称宫寒,为中医理论下的特殊病名,其中的宫指的是子宫。该中医妇科疾病无法与西医的具体疾病名称相类比,不过西医临床常见之妇科炎症;如阴道炎、子宫颈炎、阴道炎及子宫内
  • 牙狼〈GARO〉-GOLDSTORM- 翔《牙狼〈GARO〉-GOLDSTORM- 翔》(日语:牙狼〈GARO〉-GOLDSTORM- 翔)可以指︰本剧是特摄剧《牙狼》系列的第五部作品,亦是《牙狼〈GARO〉~照亮黑暗的人~》的续作,本作沿用了上集的道外