NL完全

✍ dations ◷ 2025-12-04 22:40:05 #计算复杂性理论,理论计算机科学

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

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

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

相关

鲁斯塔维二台鲁斯塔维2（格鲁吉亚语： სამაუწყებლო კომპანია რუსთავი 2）是格鲁吉亚的一家电视台，也是格鲁吉亚最为成功的商业电视台。鲁斯塔维2成立于1994年，因设立
奥古斯图·皮诺契特奥古斯托·何塞·拉蒙·皮诺切特·乌加尔特（西班牙语：Augusto José Ramón Pinochet Ugarte；1915年11月25日－2006年12月10日），前智利总统、智利军事独裁者，智利迄今为止任职时间最
F/A-18E/F推力:（57.8 kN）*2 后燃推力:（97.9 kN）*2F/A-18E/F“超级大黄蜂”（英语：F/A-18E/F Super Hornet），是美国波音公司基于中型的F/A-18C/D大黄蜂为基础改良而来，所生产的一种中重型舰载战
金的同位素金（原子量：196.966569(4)）的同位素，只有一个是稳定的。备注：画上#号的数据代表没有经过实验的证明，只是理论推测而已，而用括号括起来的代表数据不确定性。
自由党 (荷兰)自由党（荷兰语：Partij voor de Vrijheid，简称PVV；英语：Party for Freedom）是成立于2006年的荷兰右派民粹主义政党。是荷兰国会第二大党。前身为基尔特·威尔德斯在荷兰下议院的一
亨利·阿诺德亨利·哈雷·阿诺德（英语：Henry Harley Arnold，1886年7月25日－1950年1月15日）是一位美国将军，最高军衔为五星上将。阿诺德是一位航空先驱，在1938至1941年期间曾担任美国陆军航空军
董石麟董石麟（1932年－），浙江杭州人，浙江大学教授，从事空间结构研究方向的教学、科研工作。1951年毕业于杭高，1955年毕业于同济大学结构工程系，1997年当选为中国工程院院士。2009年获浙江大
周浩晖周浩晖（1977年11月16日－），中国作家、编剧，生于江苏省扬州市。代表作为“刑警罗飞”系列悬疑小说，被称为“中国的东野圭吾”。《凶画》、《鬼望坡》、《恐怖谷》、《雅库玛的诅咒》
M2M (组合)窈窕美眉（英语：M2M）是由来自挪威的玛丽特·拉森（中文译为：乖乖美眉、玛丽美眉、玛莉特）及玛丽安·雷文（中文译为：好动美眉、落比美眉、玛莉安）组成的双人女子团体。因两人名字开头均
始基子宫始基子宫（英语：Primordial Uterus），也称痕迹子宫，是一种妇科生理缺陷，是双侧副中肾管融合不久即停止发育所致，卵巢多发育正常。患者子宫体极小，仅有1-3厘米，多数无宫腔或为实体肌性子