NL完全

✍ dations ◷ 2025-12-03 02:55:32 #计算复杂性理论,理论计算机科学

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

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

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

相关

分类学家分类学（英语：Taxonomy）是一门进行分类的方法与科学，源于希腊文的.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis
肿瘤抑制基因肿瘤抑制基因（英语：tumor suppressor gene），有称为抑瘤基因，是一类抑制细胞过度生长、增殖从而遏制肿瘤形成的基因。抑癌基因是从1980年代发现的一组基因，它们的发现是癌症和细胞
航天科技集团中国航天科技集团有限公司（英语：China Aerospace Science and Technology Corporation，简称英语：CASC）是中华人民共和国国务院管理的国有特大型企业集团，总部位于北京，成立于1999年
养蜂蜜蜂养殖是指人工方式养殖蜜蜂，以生产各种产品，产品主要包括蜂蜜、蜂王乳、花粉、蜂胶、蜂蜡等。蜜蜂养殖的历史有一万年之久。约九千年前，北非人已经开始在陶器中养蜂。约四千
比尔施塔特阿尔伯特·比尔施塔特（Albert Bierstadt，1830年1月7日至1902年2月18日）是一位德裔美国风景画家，以其绘制的美国西部风景画名噪一时。他参与了多次的西部扩张旅行，是最早开始绘制
Toxoplasma gondii弓形虫（学名：Toxoplasma gondii），亦称为弓浆虫、弓虫，或连同种小名一起称作龚地弓形虫，是肉孢子虫科弓形虫属的唯一物种，属于寄生性生物。已确定的宿主是猫，而弓形虫的携带者包括了
徐光宪徐光宪（1920年11月7日－2015年4月28日），浙江绍兴人，中国物理化学家、无机化学家、教育家，中国科学院院士，北京大学化学与分子工程学院教授，稀土材料化学国家重点实验室学术委员会名誉
国家气象局国家气象局可以指：
BTOOOM!《BTOOOM!》（日语：ブトゥーム；中文：惊爆游戏）是日本漫画家井上淳哉的漫画作品。2009年6月19日（29号）至2010年8月27日（39号，最终号）在新潮社旗下青年漫画杂志《周刊Comic Bunch》上连载
GComprisGCompris是一个教育软件包，针对2到10岁的孩子。是GNU组成部分。由自由软件基金会和联合国教科文组织维护。支持i18n，被翻译成50种语言，并且有由用户提供的语音，目前已有中文版本