NL完全

✍ dations ◷ 2025-06-08 20:42:43 #计算复杂性理论,理论计算机科学

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

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

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

相关

核酸在手动语言转换规则中检测到错误核酸（英语：nucleic acids）是一种通常位于细胞核内的大型生物分子，负责生物体遗传信息的携带和传递。核酸有两大类，分别是脱氧核糖核酸（DNA）和核糖核
整合医学整合医学，在英国又称整合健康，又称替代医学。支持者认为整体医学的研究对象是“整个人体”，以人的健康而不是疾病治疗为中心，强调医患关系的重要性。但是，整合医学也因无效的替代
高屏地区高屏地区，原称高高屏，是指台湾南部偏西南濒台湾海峡的地区，由高雄市、屏东县所构成，居住人口超过361万，聚集超过六分之一的台湾人口，拥有高雄都会区一个大型都会化地带，其余地区主
波兰国家银行波兰国家银行（波兰语：Narodowy Bank Polski; NBP）是波兰的中央银行。波兰国家银行总部位于华沙，是波兰兹罗提的发行单位。波兰在历史上曾有过两家中央银行，分别成立于波兰会议王
台北客运台北汽车客运股份有限公司（英文：Taipei Bus Company, Ltd.），简称台北客运、北客，台北联营公车与国道客运经营者之一。1954年文山轻便客运社成立，1956年7月文山轻便客运社改组为文
SFDA1999年规定：国务院部委管理的国家局的印章直径4.5厘米，中央刊国徽，由国务院制发。国家食品药品监督管理局（官方英文译名：State Food and Drug Administration，缩写为SFDA），简称国家
出口阳出口阳（1988年3月14日－）是日本女性偶像团体“AKB48”第四期前研究生及“SKE48”Team S的前成员。三重县松阪市出身，隶属于ピタゴラス·プロモーション事务所。以前的自我介紹口
沈家铭沈家铭（1916年－1982年9月21日），原籍浙江省嘉兴县，金陵大学森林系毕业后，获高考森林技师及格，历任行政院农业促进委员会森林探勘团技士、四川省成都高农森林科主任、湖北省农试所鄂
茂纳凯亚火山茂纳凯亚火山（夏威夷语：Mauna Kea，意为“白山”）是位于夏威夷群岛的一座火山，夏威夷岛的五座火山之一，冬季这里山顶有积雪。从位于水下的山脚到顶峰高度为10,203米，山上有10座天文
迪米特尔·佩特科夫迪米特尔·佩特科夫（保加利亚语：Димитър Петков，拉丁化：Dimitar Petkov，1856年－1907年3月11日)是保加利亚人民自由党领袖成员，1906年11月5日出任保加利亚首相，1907年佩