NL完全

✍ dations ◷ 2025-10-22 05:09:34 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 歧化歧化反应又名“自身氧化还原反应”,为化学反应的一种。在歧化反应中,两个一样的反应物或元素,其一之氧化数(化合价)会上升,另一则会下降。氯气中氯的化合价为0。氯离子中氯的化合
  • 佳木斯市佳木斯市(满语:ᡤᡳᠶᠠᠮᡠᠰᡳ,穆麟德:Giyamusi,太清:Giyamusi)是中华人民共和国黑龙江省下辖的地级市,是中国最东边的地级行政区。名字来源于满语,佳木斯为驿丞。一说意为“巫师(萨
  • 獛属獛属(学名:Genetta)是食肉目灵猫科的一属,包括以下几种:
  • 睡眠相位后移综合征睡眠相位后移综合征(Delayed sleep-phase syndrome(Disorder),简称DSPS或DSPD)是一种慢性睡眠紊乱,患者一般都会晚睡晚起,生活节奏受严重影响。在临床诊断中,部分患者要到等至天亮
  • 美国劳工部长美利坚合众国劳工部长时美国劳工部的首脑,主管整个部门,主要负责工会,工作场所以及其他和劳务有关的事情。1903年2月14日至1913年3月4日,负责美国劳工和商务的部门是美国劳工和
  • 欧洲联盟历史欧洲联盟是一个涵盖大部分欧洲大陆的地缘政治实体。其成立是以数个条约为基础。欧盟经历多次扩张,从原来的6个成员国扩展到现今的28个成员国。欧盟的起源可追溯至后二战时代,
  • 勿体无勿体无(日语:勿体無い/もったいない  ?)是一个日本用语,从佛教用语“物体”的否定词而来,意思是“当一件事物失去了它该有的样子,对此感到惋惜感叹的心情”。源于古神道的日本民
  • 尤里·马季亚谢维奇尤里·弗拉基米罗维奇·马季亚谢维奇(俄语:Юрий Владимирович Матиясевич,1947年3月2日-),俄罗斯数学家,生于列宁格勒。1964年他在莫斯科举办的第6届国
  • 卡萨拉布德鲁克卡萨拉布德鲁克(Kasara Budruk),是印度马哈拉施特拉邦Thane县的一个城镇。总人口15192(2001年)。该地2001年总人口15192人,其中男性7815人,女性7377人;0—6岁人口2250人,其中男1164人
  • 近畿比例代表区近畿比例代表区,是日本众议院11个比例代表制选区之一。该选举区设立于1994年。最初时为33位,2000年选举时为30位,2003至2014年为29位,2017年起为28位。滋贺县、京都府、大阪府、