NL完全

✍ dations ◷ 2025-05-19 17:12:44 #计算复杂性理论,理论计算机科学

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

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

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

相关

手太阳小肠经手太阳小肠经（Small Instestine Meridian of Hand-Taiyang，SI）是一条经脉，十二正经之一，与手少阴心经相表里。本经起于少泽，止于听宫，左右各19个腧穴，其中8穴分布于上肢背面的尺侧， 1
刘易斯·芒福德刘易斯·芒福德（英语：Lewis Mumford，1895年10月19日－1990年1月26日），美国历史学家，科学哲学家，著名文学评论家。以其对城市和城市建筑的研究闻名，是个兴趣广泛的作家。芒福德深受苏格
原生物种原生物种（英语：native species、indigenous species），又称本土物种。在生物学中，若一物种被认为是“原生物种”，表示其在该地的分布纯粹是自然因素造成的，没有人为因素夹杂其中。每
磁感磁感或磁反应是一种感觉，它允许生物体探测磁场来感知方向、高度或位置。这种感官方式被一系列动物用于定向和导航，并成为动物探知区域地图的方法。对导航来说，磁感应和地磁场的
日本电信电话公社日本电信电话公社（Nippon Telegraph and Telephone Public Corporation；NTTPC），简称为“电电公社”（一般也被表记为“電々公社”），为曾存在于日本的特殊法人，主要业务是电报（日本称为
埃丝特·迪弗洛埃丝特·迪弗洛（法语：Esther Duflo；法语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000"
4to64to6为Pile及饭田里穗于2014年所成立的歌唱团体，代表歌曲为《私の时计は逆回転！》。Pile及饭田里穗在接受アニメTV（日语：Anime TV）访谈中说到，团名的灵感是来自于学校放学过后的4
贝内迪克特·多尔贝内迪克特·多尔（德语：Benedikt Doll，1990年3月24日－）生于巴登-符腾堡蒂蒂湖-新城，是一名德国男子冬季两项运动员。他的父亲是一个曾数次获得全国冠军的登山选手，同时也是一个专业
通用影像传输格式通用影像传输格式（Common Intermediate Format）是视讯会议（video conference）中常使用的影像传输格式，分辨率有352 x 288 画素，影像传输可达每秒30 frame，符合ITU H.261视讯会议资
北京外语音像出版社北京外语音像出版社是北京外国语大学下属的一家出版社，成立于1983年，主要出版外语录音、录像产品。于2008年底正式更名为外语教学与研究出版社电子音像网络出版分社，于2010年底