NL完全

✍ dations ◷ 2025-08-27 04:38:49 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 维克托·魏斯科普夫维克托·弗雷德里克·魏斯科普夫(德语:Victor Frederick Weisskopf,1908年9月19日-2002年4月22日),生于奥地利的美国犹太裔理论物理学家。他曾随维尔纳·海森伯、埃尔温·薛定谔、
  • 荷兰皇家空军荷兰皇家空军(荷兰语:Koninklijke Luchtmacht,缩写 KLu;英语:Royal Netherlands Air Force,缩写 RNLAF),是荷兰军队的航空军种。它的前身是荷兰陆军航空部队,成立于1913年7月1日,当时
  • 大社青云宫大社青云宫,位于高雄市大社区中华路127号,主祀神农大帝,配祀地官大帝、天官大帝、注生娘娘、福德正神等。 本地旧称三奶坛,老祖原先奉祀于观音山下,后迁至现址。大社青云宫于清
  • 第五舰队第五舰队(日语:第五艦隊/だいごかんたい Daigo Kantai ?)是旧日本海军的一支舰队编制。1938年初,日本海军第一次组建第五舰队,1939年底改称第二遣支舰队。1941年年中,日本海军再
  • 下诺曼底下诺曼底(法语:Basse-Normandie)是法国西北部一个大区的名称,北邻英吉利海峡与英国相望。下辖卡尔瓦多斯省(14)、芒什省(50)、奥恩省(61)。下诺曼底的经济以农业为主,牲畜与乳牛牧场、
  • 高频主动式极光研究计划高频主动式极光研究项目(英语:High Frequency Active Auroral Research Program,常缩写为HAARP),是一个由美国空军、美国海军、国防高等研究计划署及阿拉斯加大学所共同合作的电
  • 爱情公寓2 《爱情公寓2》(英文:iPartment 2) 是由韦正执导的《爱情公寓》系列电视剧的第二季,于2011年1月24日首播。《爱情公寓2》延续第一季带有故事线索的风格,包括王传君、陈赫、娄艺潇
  • 艾米·比奇艾米·玛西·切妮·比奇(英语:Amy Marcy Cheney Beach,1867年9月5日-1944年12月27日),常被称为“比奇夫人”,美国作曲家,钢琴家。比奇夫人出生于新罕布什尔州乡下的一个富裕家庭。她
  • 王以敏王以敏(1855年-?),原名以慜,字子捷,号梦湘,湖南省武陵(今日常德市)人。清末官员、诗人。光绪十六年(1890年)庚寅恩科二甲进士。同年五月,改翰林院庶吉士。光绪十八年五月,散馆,授翰林院编修
  • 中国国际园林花卉博览会中国国际园林花卉博览会,简称国际园林博览会、简称园博会,是中华人民共和国住房和城乡建设部与地方人民政府举办的园林花卉博览会,是中国园林花卉界最高层次的盛会,于1997年首次