NL完全

✍ dations ◷ 2025-12-02 06:37:52 #计算复杂性理论,理论计算机科学

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

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

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

相关

寐龙属寐龙属（学名：Mei）是伤齿龙科恐龙的一属，体型只有鸭一般大小，化石最先于2004年在中国辽宁省发掘出来。寐龙生存于下白垩纪时期。它的属名应为单一个“寐”字，而种小名为“龙”，两者
MoOsub3/sub三氧化钼是钼（VI）的氧化物，分子式为MoO3，是制取其它钼化合物的主要原料。它主要用作制取金属钼，以及催化很多有机反应，比如丙烯氨氧化制取丙烯腈。气态时，三氧化钼由MoO3分子组成，Mo
郎永淳郎永淳（1971年7月23日－），出生于江苏省徐州市睢宁县，中国电视节目主持人，曾担任中国中央电视台新闻联播主持人，现为找钢网高级副总裁兼首席战略官。1971年7月23日，郎永淳出生于江苏省
贝塔斯曼贝塔斯曼（Bertelsmann SE & Co. KGaA），台湾译作博德曼，是总部位于德国居特斯洛的跨国媒体公司，涉足电视、广播，杂志报刊出版、音乐出版、印刷及媒体服务、书刊音乐俱乐部等。在全
赣龙铁路复线.mw-parser-output .RMbox{box-shadow:0 2px 2px 0 rgba(0,0,0,.14),0 1px 5px 0 rgba(0,0,0,.12),0 3px 1px -2px rgba(0,0,0,.2)}.mw-parser-output .RMinline{float:none
京沪高速公路坐标：35°24′26″N 118°15′31″E / 35.4073484°N 118.2585205°E / 35.4073484; 118.2585205北京－上海高速公路（国家高速公路网编号G2，简称京沪高速）是中国第一条全线建成高
弗朗切斯科一世 (两西西里)弗朗切斯科一世（Francesco I，1777年8月19日－1830年11月8日），全名弗朗切斯科·真纳罗·朱塞佩·萨维里奥·乔瓦尼·巴蒂斯塔·迪·波旁（），两西西里王国第二任国王，1825年至1830年在位
福南马努坐标：8°34′S 179°09′E / 8.567°S 179.150°E / -8.567; 179.150福南马努（英语：Funamanu Isle）是一个位于图瓦卢首都富纳富提的一座珊瑚礁岛屿。
周秉华周秉华（1946年7月4日－），祖籍浙江绍兴，生于天津，中华人民共和国官员，周恩来的侄子。周秉华的父亲，是中华人民共和国第一任总理周恩来的三弟周恩寿。在6个孩子中排行第4位，另外5个兄弟
福田敬子福田敬子（日语：福田敬子，1913年4月12日－2013年2月9日）日本女子柔道家，拥有10段头衔。福田敬子年出生于东京武术世家，21岁起追随日本柔道创始者嘉纳治五郎学习柔道。1966年为推广柔