NL完全

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

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

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

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

相关

独联体独立国家联合体（俄语：Содружество Независимых Государств），简称独联体（俄语：СНГ），苏联解体后由部分原苏联加盟共和国协调成立的一个国家联盟，其
张一鹄张一鹄，字友鸿，江南娄县（今属上海市）人，清朝政治人物。顺治十五年（1658年）戊戌科进士，官至云南府推官。工诗，有《滇黔诗》、《野庐集》。
萨米特县萨米特县（Summit County, Colorado）是美国科罗拉多州中西部的一个县。面积1,604平方公里。根据美国2000年人口普查，共有人口25,399。县治布雷肯里奇。萨米特县成立于1861年11月
亨利·克莱亨利·克莱（Henry Clay，1777年4月12日－1852年6月29日），美国参众两院历史上最重要的政治家与演说家之一。辉格党的创立者和领导人。美国经济现代化的倡导者。他曾经任美国国务卿，并
蔡文姬蔡琰（177年？－249年？），字昭姬，晋时为避司马昭讳而作文姬，陈留圉（今河南杞县）人，为蔡邕的女儿，博学有才，通音律，据称能用听力迅速判断古琴的第几根琴弦断掉。是建安时期著名的女诗人。初嫁于
埃瓦里斯托·卡瓦略埃瓦里斯托·杜·圣埃斯皮里图·卡瓦略（葡萄牙语：Evaristo do Espírito Santo Carvalho；1941年10月22日－），是一名圣多美和普林西比政治人物，独立民主行动（英语：Independent Democrat
安八郡安八郡（日语：安八郡／あんぱちぐん */?）为旧美浓国及今岐阜县所设立的郡。人口50,111人、面积62.71 km²（2003年）现管辖有以下3町。
要町 (丰岛区)要町（日语：要町／かなめちょう */?）是东京都丰岛区的町名。现行行政地名为要町一丁目至要町三丁目。要町邻接同区西池袋、池袋、高松、千川、千早与板桥区向原。贯穿要町的要
湖积平原湖积平原（英语：Lacustrine Plains）是原本为湖泊的一部分，但由于自然排水、蒸发等原因，湖水浸没范围缩小，水下堆积面露出而形成的平原。
唱名唱名（solfège，法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentiu