NL完全

✍ dations ◷ 2025-12-10 05:56:30 #计算复杂性理论,理论计算机科学

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

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

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

相关

心室中隔缺损心室中膈缺损（英语：ventricular septal defect，简称：VSD），又称心室中隔缺损、心室间隔缺损、室间隔缺损，列为心脏病之一，当然中隔缺损还有分为心室中隔缺损、心房中隔缺损等等。生出
陈宜瑜陈宜瑜（1944年4月22日－），籍贯福建仙游人，中国鱼类学家，曾任中华人民共和国国家自然科学基金委员会主任等职务。陈宜瑜1944年出生于福建仙游县鲤城镇十字街竹椅巷。1964年8月，毕业于
1951年1951年被中华人民共和国处决的死刑犯列表，旨在列出1951年被中华人民共和国处决的死刑犯。
常规战争常规战争是战争的一种形态，其战斗方式为公开地使用传统战争武器和战场战术去战胜敌人。战争中我敌划分十分清楚，武器也是直接攻击敌人个体。战斗中通常使用传统或常规武器，而非
血管紧张素转化酶23SCL、1R42、1R4L、2AJF、3D0G、3D0H、3D0I、3KBH、3SCI、3SCJ、3SCK5927270008ENSG00000130234ENSMUSG00000015405Q9BYF1Q8R0I0XM_011545552、NM_0218
划界问题划界问题（英语：demarcation problem）是科学哲学中的重要问题，研究如何区分科学与非科学（包括伪科学、形而上学以及文学、艺术、信仰等其他非科学）的划界标准。卡尔·波普尔称其为
乳头过大乳头过大（英语：Nipple Hypertrophy）又称乳头肥大，这是形容人类的乳头出现异常发育一种现象，发生的原因可以分成先天遗传与后天因素两种，后天因素的可能原因有：怀孕和哺乳的影响、性
地长蝽科地长蝽科（学名：Rhyparochromidae）是半翅目的一个科，由两个亚科、368 个属、超过1,800个物种组成。本科物种体型皆为细小，还包含数个拟蚁种类本科物种一般为棕色、或有斑驳花纹。
江西小檗江西小檗（学名：）是小檗科小檗属的植物，为中国的特有植物。分布于中国大陆的江西等地，生长于海拔1,500米至1,800米的地区，常生长在密林中、岩石缝中、山坡路边以及水沟边，目前尚未由
麦克斯韦山脉麦克斯韦山脉（Maxwell Montes），是金星北部伊师塔地东缘的一条山脉，以英国物理学家詹姆斯·克拉克·麦克斯韦之名命名，是金星上少数几个非女性的地名之一。麦克斯韦山脉是金星上的