NL完全

✍ dations ◷ 2025-11-29 17:56:11 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 肽键肽键(英语:Peptide bond,“肽”,拼音:tài)是一分子氨基酸的α-羧基( − COOH {
  • 拉布拉多寒流拉布拉多洋流(Labrador Current)为一个在北大西洋的冰冻洋流由北冰洋南部沿着加拿大拉布拉多省(Labrador)岸边,经过纽芬兰岛,再向南流向新斯科舍。拉布拉多洋流为巴芬岛洋流(Baffin
  • 合成酶连接酶(英语:Ligase,或称连结酶和结合酶)是一种催化两种大型分子以一种新的化学键结合一起的酶,一般会涉及水解其中一个分子的团。一般连结酶催化以下的反应:或有时是:其中小阶的字
  • 访问互联网权访问互联网权或上网权(right to Internet access),也称为宽带权(right to broadband)、连接自由(freedom to connect),认为所有人必须能够访问互联网,以行使和享受其言论自由、见解自
  • 领域性领域(英语:territory),又称为领地,在动物行为学中是指特定物种中的一只个体所占有的一片区域,以抵抗同种其他个体(有时也会抵抗其他物种)的入侵。拥有这种行为的动物被称为领域性动
  • 张丽莉张丽莉(1984年1月19日-),黑龙江省佳木斯市第十九中学代课教师,无正式教师编制,亦无医疗保险。于2012年5月16日,因为舍己救人,而被称为“最美女教师”,教师资格破例得到教育部等部门默
  • 大和煮大和煮(日语:やまとに )是一种将肉类加酱油、砂糖、生姜等调味料炖煮而成的日式料理,一般以罐头的形式面市。大和煮主要以牛肉为原料,但也适合料理鲸肉等异味较重的肉类。自明治
  • 埃里克·坦普尔·贝尔埃里克·坦普尔·贝尔(英语:Eric Temple Bell,1883年2月7日-1960年12月21日),苏格兰出生的英国数学家和科幻小说家,他一生的大部分时间都居住在美国。贝尔发表非虚构作品时使用本名
  • 小岛鸟水小岛鸟水(小岛乌水,こじま うすい,1873年12月29日-1948年12月13日)是一位日本作家,出生于日本香川县高松市。
  • 飘然台飘然台(泰文:พุทธสมาคมเพียวเยี้ยงไท้;英文:Peaw Yeang Tai),位于泰国东部春武里府是拉差县的道教寺观,自称为‘泰国四大佛教名山’。它供奉太上老君、观音