NL完全

✍ dations ◷ 2025-09-16 17:38:43 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 国家突发公共事件应急响应机制国家突发公共事件应急响应机制,是根据中华人民共和国国务院制订的《国家突发公共事件总体应急预案》所采取的全国性应急预案体系,其目的是提高政府保障公共安全和处置突发公共
  • 圣多明各200px 人圣多明各或圣多明戈(西班牙语:Santo Domingo),全名古斯曼的圣多明各(Santo Domingo de Guzmán),当地汉语人士又称之为多京,位于多米尼加共和国的国家特区内,为多米尼加的首
  • 圆环病毒科圆环病毒科(Circoviridae),又译作圆形病毒科。是单链DNA病毒中的一科,目前较少被研究。底下有二个属:
  • 颗粒酶颗粒酶(英语:Granzymes)是由杀伤性T细胞和自然杀伤细胞(NK细胞)细胞质颗粒释放出的丝氨酸蛋白酶。颗粒酶诱导靶细胞的细胞程序性死亡(凋亡),借此可以清除癌细胞以及被病毒或细菌感染
  • 美国联邦执法部门列表尽管大多数联邦执法人员都在司法和国土安全部门工作,但在其他行政部门以及联邦政府的立法和司法部门下,还有数十个其他联邦执法机构。 不同的联邦执法机构根据《美国法典》 (US
  • 中东烤肉中东烤肉(英语:Shish kebab,土耳其语:şiş kebap,波斯语:شیش کباب, šiš kabāb‎)是一种流行的肉串和烤肉块,]与俄罗斯烤肉类似。它是一系列源自中东的肉类菜中的一种。
  • 中国经济出版社中国经济出版社,是中华人民共和国的一个出版社。位于北京市百万庄北街3号。1985年1月27日,中国经济出版社由国家经济委员会创办。1988年6月,改由中华人民共和国国家计划委员会
  • 陆梦龙陆梦龙(1575年-1634年),字君启,号景邺。明浙江承宣布政使司绍兴府山阴县(今浙江省绍兴市)人,会稽县籍。。曾于山东、广东、广西、江西等多地任职,官至河南左参议、山东副使、累赠太仆
  • 第2届日本电影学院奖第2回日本电影学院奖(だい2かいにほんあかでみーしょう)于1979年(昭和54年)4月9日进行公布和颁奖仪式。在于表彰1978年(昭和53年)1月1日至1978年(昭和53年)12月31日期间在日本商业上
  • 四氯合钯(II)酸铵四氯合钯(II)酸铵是一种配合物,化学式为(NH4)2。(NH4)2可以由氯化铵和氯化钯在盐酸溶液中反应得到,或者通过海绵钯和氯化铵在甲醇中用氯气氧化得到。将(NH4)2在D2O中反复结晶,