NL完全

✍ dations ◷ 2025-11-23 11:15:53 #计算复杂性理论,理论计算机科学

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

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

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

相关

Jones, DanielDJ音标（英语：Daniel Jones Phonetic Symbol），是一种标英式发音的IPA音标，发明者是丹尼尔·琼斯。他根据IPA编了一本英国英语的发音辞典English Pronouncing Dictionary（第1版至第1
电子 (消歧义)电子，可以指：
热电联产可持续发展主题可再生能源主题环境主题热电联产（又称汽电共生，英语：Cogeneration, combined heat and power，缩写：CHP），是利用热机或发电站同时产生电力和有用的热量。三重热电联产
安第斯之声安第斯之声（西班牙语：La Voz De Los Andes；英语：The Voice of the Andes；简称HCJB）是一家总部位于厄瓜多尔的国际广播电台，由美国环球广播宣教团契（英语：World Radio Missionary Fell
罗宾·乔治·柯林武德罗宾·乔治·柯林武德（英语：Robin George Collingwood 1889年2月22日－1943年1月9日）英国哲学家、历史学家、考古学家，以哲学著作以及死后发表的《历史的观念》（1943年）而知名。
价值联盟价值联盟（英语：Value Alliance）是一个于2016年成立，并由低成本航空组成的航空联盟，成立时有6个国家的8家航空公司参与。航点遍布大中华地区、东亚、东南亚、南亚、中东及澳洲。联
MacPaintMacPaint是一个由苹果公司所开发的位图绘图软件。在1984年1月24日，MacPaint作为第一代麦金塔个人电脑（麦金塔128K）的预载软件，正式推出市场。此外，MacPaint是和苹果另一款的文字
尤勒斯·沃格尔尤勒斯·沃格尔爵士（英语：Sir Julius Vogel）, KCMG (1835年2月24日－1899年3月12日) 新西兰政治家、新闻工作者和商人，犹太人，第八任新西兰总理。他的政府在19世纪70年代通过由英
内兹珀斯人内兹珀斯人（英语：Nez Perce，/ˌnɛzˈpɜːrs/），又称内兹佩尔塞人（法语：Nez Percé），其本名为尼米普人（Niimíipu）。他们是在刘易斯与克拉克远征时期生活在美国太平洋西北地区（哥伦比亚
巴克林巴克林（英语：Bucklin）是一个美国城市，位于密苏里州林县。根据2010年的人口普查，当地人口为467人。巴克林位于39°47′1″N 92°53′17″W / 39.78361°N 92.88806°W / 39.78361;