NL完全

✍ dations ◷ 2025-11-28 22:46:18 #计算复杂性理论,理论计算机科学

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

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

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

相关

伪科学伪科学（英语：pseudoscience），又称假科学、坏科学、疑似科学，是指任何经宣称为科学，或描述方式看起来像科学，但实际上并不符合科学方法基本要求的知识、缺乏支持证据，经不起可信性测
鼎金系统鼎金系统交流道，座落于中华民国（台湾）高雄市三民区覆鼎金与仁武区交界，为全台湾复杂程度第二的交流道（仅次于五股交流道）。位于国道一号指标362.4公里；国道十号指标1.9公里处，于1999
国卫院国家卫生院可以指：
马拉坎县马拉坎县是巴基斯坦开伯尔－普赫图赫瓦省西部的一个县。南邻马尔丹县、恰尔萨达县。总面积952 km2 (367.6 sq mi)，总人口452,291(1998)，人口密度475人/km2 (1,230.2/sq mi)。马
旅游HD频道旅游频道（英语：Travel Channel，1987年至1999年间的全名为The Travel Channel）是一个美国卫星电视频道，所有者是斯克里普斯网络互动（拥有65％的网点）和Cox通信（该公司拥有其余35％的权益）
漳州话漳州话（读音：；闽南语白话字：Chiang-chiu-oā；闽南拼音：Ziāng-ziū-wâ）是闽南语泉漳片的次方言，相对于泉州话、厦门话、台湾话、新加坡福建话有一定的差异，基本上能通话。漳州话内部
万荣话万荣话指的是通行于山西省万荣县境内的方言。语言学分类一般归为中原官话汾河片，万荣话属于晋南方言，与其他中原官话差距极大。万荣话共有28个声母(包括零声母)万荣话共有35个
中村勘三郎 (十八代目)十八代目中村勘三郎（1955年5月30日－2012年12月5日），本名波野哲明，屋号中村屋，定纹为角切银杏，生于日本东京都，著名歌舞伎演员。波野出身于歌舞伎世家，其父为十七代目中村勘三郎，外
六元老公开信六元老公开信（罗马尼亚语：Scrisoarea celor şase，英语：Letter of the Six），大陆又称作罗共“六君子”上书或“六君子”事件，是指1989年3月罗马尼亚共产党党内六位曾担任中央重要职
塞拉潘·纳丹塞拉潘·拉马·纳丹（英语：Sellapan Ramanathan，通称S R Nathan；泰米尔语：செல்லப்பன் ராமநாதன்，通称S R நாதன்；1924年7月3日－2016年8月22日）新加坡泰米尔裔政