NL完全

✍ dations ◷ 2025-12-06 07:17:31 #计算复杂性理论,理论计算机科学

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

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

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

相关

荷兰皇家空军荷兰皇家空军（荷兰语：Koninklijke Luchtmacht，缩写 KLu；英语：Royal Netherlands Air Force，缩写 RNLAF），是荷兰军队的航空军种。它的前身是荷兰陆军航空部队，成立于1913年7月1日，当时
科目这是一个学科的列表。学科是在大学教学(教育)与研究的知识分科。学科是被发表研究和学术杂志、学会和系所所定义及承认的。领域通常有子领域或分科，而其之间的分界是随便且模
电影特技特效，是指电影或剧集在拍摄制作或后期制作的过程中，当有无法使用的自然环境或人物表现的场景和情节时，将采用特殊的技术手段和方法获得最终画面的技术。与特技等同。特效技术是
蝲蛄科见内文蝲蛄科（学名：Cambaridae）是十足目下的一个科，亦是淡水龙虾三个科之中最大的一个，包含有超过400个物种。属该科物种体型略似龙虾而较小，在部分地区被称为小龙虾。头胸部较长，
英国法英格兰法（英语：English Law）是英国法律制度的一部分，直接适用于英格兰以及1536年之后的威尔士。虽然英国在宪政上属于单一制国家，但是其内部存在三大主要法律体系，包括英格兰法、
中坡中坡，原名中陂，是台北市的一个地名，位于今信义区东部，范围大致包括大道里、大仁里、中坡里及中行里。台湾清治末期至日治前期，该地区为一街庄，称为“中陂庄”，隶属于大加蚋堡。该庄
基思·韦斯特基思·韦斯特（英语：Keith Albert Wester，1940年2月21日－2002年11月1日）为一位美国音讯工程师。他曾6次提名奥斯卡最佳音响效果奖。自1996年至2002年间他参与了近60部电影的制作。
安塔南包-马南普齐区安塔南包-马南普齐区（马达加斯加语：Antanambao Manampotsy），是马达加斯加的行政区，位于该国东部，由阿齐那那那区负责管辖，首府设于安塔南包-马南普齐，面积1,342平方公里，2011年人口46
梅斯围城战 (1552年) 哈布斯堡王朝:梅斯围城战（法语：Siège de Metz）是指1552年西班牙和法国在意大利战争的一次战役，从1552年10月19日到1553年1月2日，这期间神圣罗马帝国皇帝查理五世亲自率领军队
国际终止对性工作者的暴力日国际终止对性工作者的暴力日(英文：International Day to End Violence Against Sex Workers)日期为12月17日。它的设立是为了呼吁社会关注并且终止对于性工作者的暴力。