NL完全

✍ dations ◷ 2025-12-04 15:58:12 #计算复杂性理论,理论计算机科学

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

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

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

相关

夜班夜班可以指：
复数形式复数，或称众数（英语：plural，可简写为pl），在语言学中是词素的其中一种，常和单数相对，在没有双数概念的语言中用于标示多于一个的物件，在有双数概念的语言中则表示多于两个的名词数量。
锌锰电池碳锌电池，又称碳锌干电池、碳性电池、碳性电芯、干电池、酸性锌碳电池。碳锌电池有一层由锌构成的外壳，作为电池的负极。碳锌电池是从液体Leclanché电池发展而来。传统或一般
航天记录这是一份航天记录的列表。这里的大部分记录都与载人航天有关，但是少数无人航天和载犬航天也被包括在这个列表里。男性：瓦列里·波利亚科夫 , 1992年1月8日, 437.7天, 这个记录
网络中心战网络中心战（英语：Network-centric warfare，NCW），现多称网络中心行动（network-centric operations，NCO）是一种美国国防部所创的新军事指导原则，以求化信息优势为战争优势。其做法是用
提比略提贝里乌斯·克劳狄乌斯·尼禄（拉丁语：Tiberius Claudius Nero，前42年11月16日－37年3月16日），又译提比留、提庇留、台伯留、提比略，罗马帝国的第二任皇帝，在位于公元14年－37年。提贝
塔科马塔科马（Tacoma, Washington，IPA：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium",
116届第116届美国国会（英语：116th United States Congress）的任期从2019年1月3日开始，至2021年1月3日结束。
于俊崇于俊崇（1940年12月5日－），江苏滨海人，核动力专家，中国工程院院士，现任国防重点工程两型号副总设计师。。
景荣庆景荣庆（1925年7月31日—2009年8月1日），男，原名端成，河南开封人，京剧净角，精于架子花脸。他工架壮美稳健，表演洗练大方。13岁入中华戏曲专科学校，16岁转入荣春社科班。1949年起先后参