NL完全

✍ dations ◷ 2025-11-17 10:30:52 #计算复杂性理论,理论计算机科学

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

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

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

相关

福布斯(2012年12月)《福布斯》（英语：Forbes）是美国一本商业杂志，由福布斯公司（Forbes, Inc.）发行，每两周发行一次，以金融、工业、投资和营销等主题的原创文章著称。福布斯还报导技术、通信
电子报电子报，一般是指藉互联网发送传播的报纸；因此，在华语世界中，“电子报”可以是指数字化的即时传播媒体，也可以是社群或商家借着邮寄清单技术发送给其相关对象的数位通讯刊物。
Box Office MojoBox Office Mojo是亚马逊公司旗下一个系统性计算电影票房的网站，创办人Brandon Gray在1998年8月创办了这个网站。到现在这个网站一个月平均流量有一百万人次。Box Office Moj
复活行动复活行动（法语：Opération Résurrection）是一个法国军方在1958年制订的军事计划，准备以武力直接接管巴黎，迫使政府将权力移交给戴高乐将军。这个行动由雅克·马苏将军策画，在复活
高地苏格兰苏格兰盖尔语人名遵从名前姓后的顺序。苏格兰盖尔语人名通常来源于本民族，外来名将依照苏格兰盖尔语正字法（英语：Scottish Gaelic orthography）改写，以适应苏格兰盖尔语音系。姓
花色猫的花色指的是家猫身上的花纹和颜色，是饲主在选择孕育、购买、领养或观赏猫咪时，除了品种之外另一个经常关注的话题；而在一般的情况下，同胎幼猫出现不同花色的情况并非罕见。根
夏井一季夏井一季（1957年（昭和32年）5月13日 - ）是居住在日本爱媛县松山市的俳句诗人・随笔家。
贝莱德贝莱德（英语：BlackRock Inc.，NYSE：BLK）是美国的投资管理公司，总部设于于美国纽约市，并在全球26个国家中设立了74个办事处，客户遍及60个国家。主要业务为针对法人与零售通路提供投资
有效理论有效理论是指一个科学理论，它试着去描述一些现象，然而并未解释其理论中的解释现象机制是由何而来。这意味着这个理论给出了“有效”的模型，但并未真正给出一个真正充分的理由去
奥克兰 (马里兰州)奥克兰（Oakland）是美国马里兰州加勒特县西部的一个镇。在美国2000年人口普查时，全镇共有1930人，占整个加勒特县的大部分人口。同时，这个镇是加勒特县的县治。奥克兰始建于1862年，