NL完全

✍ dations ◷ 2025-11-25 07:58:53 #计算复杂性理论,理论计算机科学

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

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

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

相关

叠氮化氢叠氮酸，分子式HN3，在常温常压下为一种无色、具挥发性、有刺激臭、高爆炸性的液体。叠氮酸主要用于保存贮存溶液（stock solution），以及作为一种试剂。叠氮酸在1890年首先由Theodor
泰奥弗拉斯托斯泰奥弗拉斯托斯（希腊语：Θεόφραστος，转写：Theόphrastos，也称提奥弗拉斯特，约前371年－约前287年），公元前4世纪的古希腊哲学家和科学家，先后受敎于柏拉图和亚里士多德，后来接替
Maurice莫里斯或莫瑞斯可以指：
亚齐伊斯兰教 98.19% 新教 1.12% 佛教 0.16%天主教会 0.07% 印度教 0.003%亚济特区（Aceh），是在印尼苏门答腊岛北端的一个特别行政区。首府班达亚齐。1949年印尼脱离荷兰殖民独立，并
浙江师范大学浙江师范大学，是中国浙江省金华市的一所省属公立大学。1956年，杭州师范专科学校成立。1958年，改为杭州师范学院。1962年，杭州师范学院与浙江教育学院、浙江体育学院合并为浙江师
UTC−07:00UTC−07:00时区比协调世界时慢7小时，使用区域如下：
罗梅什·钱德拉罗梅什·钱德拉（印地语：रोमेश चंद्रा，英语：Romesh Chandra；1919年3月30日－2016年7月4日）是印度共产党领袖，曾任世界和平理事会主席。1919年3月30日出生。曾在拉合尔和英
中画幅中画幅又称中画幅、120画幅，是指相机的传感器大小为120画幅尺寸。中画幅是指相机的传感器大小为120画幅的尺寸，传感器尺寸是针对与135尺寸和8X10的大画幅而言的，而相机的结构本
科技之最列表科技之最列表纪录了在世界领域上科技方面最顶尖的世界纪录和事物，这里列举了一些科技之最。
张彦泽张彦泽（？－947年），突厥人，先后徙居阴山、太原，五代后晋时为镇国军节度使，为人残暴，以投降契丹，祸乱中原，为人所不耻，后因故被契丹主耶律德光处死。张彦泽据称骁悍残忍，眼睛呈现黄色并且会