NL完全

✍ dations ◷ 2025-04-26 17:21:13 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 身心性疾病身心性疾病,也翻译成身心症(somatoform disorder),是指由心理引起生理的疾病。
  • 马里恩县马里昂县(Marion County, Georgia)是位于美国乔治亚州西部的一个县。面积952平方公里。根据美国2000年人口普查,共有人口7,144人。县治布尤纳维斯塔 (Buena Vista)。成立于1827
  • α-丁酮酸α-丁酮酸(英语:α-Ketobutyric acid)是胱硫醚裂解之后生成的产物。它亦是苏氨酸的降解产物之一,由苏氨酸脱氨酶脱氨而来。它也可被转化为丙酰辅酶A(并接着转化为甲基丙二酰辅酶A
  • 化学脑保存化学脑保存(英语:Chemical brain preservation),是指以化学或化学固定的方式,长久保存人类脑部。部分科学家希望,可以透过未来的科学,把这些以化学形式保存的大脑复生,最终希望可以
  • 何出自姬姓,根据《元和姓纂》记载:“周成王弟唐叔虞裔孙韩王安,为秦所灭,子孙分散,江淮间音,以韩为何,遂为何氏。”即周成王分封其弟叔虞于韩。其孙韩王安,原居韩邑 ( 一说在山西河
  • 伍德拉克岛伍德拉克岛是巴布亚新几内亚的岛屿,属于基里维纳群岛的一部分,由米尔恩湾省负责管辖,面积739平方公里,岛上最高点海拔410米。
  • 好莱坞标志好莱坞标志(英语:Hollywood Sign),曾名好莱坞兰标志(英语:Hollywoodland Sign),位于美国加利福尼亚州洛杉矶,是当地地标,也是美国的重要文化象征。它位于圣莫尼卡山脉好莱坞山的李山(英
  • 2015年斋月恐怖攻击2015年斋月恐怖攻击,是指发生在2015年伊斯兰教斋戒月期间的一连串恐怖攻击事件,其中有四起恐怖攻击集中在6月26日的同一天,其共通点都是由支持伊斯兰主义或圣战的恐怖份子所发
  • 代理服务器代理(英语:Proxy)也称网络代理,是一种特殊的网络服务,允许一个网络终端(一般为客户端)通过这个服务与另一个网络终端(一般为服务器)进行非直接的连接。一些网关、路由器等网络设备具
  • 广州地铁7号线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none