NL完全

✍ dations ◷ 2025-10-22 05:09:34 #计算复杂性理论,理论计算机科学

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

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

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

相关

歧化歧化反应又名“自身氧化还原反应”，为化学反应的一种。在歧化反应中，两个一样的反应物或元素，其一之氧化数（化合价）会上升，另一则会下降。氯气中氯的化合价为0。氯离子中氯的化合
佳木斯市佳木斯市（满语：ᡤᡳᠶᠠᠮᡠᠰᡳ，穆麟德：Giyamusi，太清：Giyamusi）是中华人民共和国黑龙江省下辖的地级市，是中国最东边的地级行政区。名字来源于满语，佳木斯为驿丞。一说意为“巫师（萨
獛属獛属（学名：Genetta）是食肉目灵猫科的一属，包括以下几种：
睡眠相位后移综合征睡眠相位后移综合征（Delayed sleep-phase syndrome(Disorder)，简称DSPS或DSPD）是一种慢性睡眠紊乱，患者一般都会晚睡晚起，生活节奏受严重影响。在临床诊断中，部分患者要到等至天亮
美国劳工部长美利坚合众国劳工部长时美国劳工部的首脑，主管整个部门，主要负责工会，工作场所以及其他和劳务有关的事情。1903年2月14日至1913年3月4日，负责美国劳工和商务的部门是美国劳工和
欧洲联盟历史欧洲联盟是一个涵盖大部分欧洲大陆的地缘政治实体。其成立是以数个条约为基础。欧盟经历多次扩张，从原来的6个成员国扩展到现今的28个成员国。欧盟的起源可追溯至后二战时代，
勿体无勿体无（日语：勿体無い／もったいない ?）是一个日本用语，从佛教用语“物体”的否定词而来，意思是“当一件事物失去了它该有的样子，对此感到惋惜感叹的心情”。源于古神道的日本民
尤里·马季亚谢维奇尤里·弗拉基米罗维奇·马季亚谢维奇(俄语：Юрий Владимирович Матиясевич，1947年3月2日－），俄罗斯数学家，生于列宁格勒。1964年他在莫斯科举办的第6届国
卡萨拉布德鲁克卡萨拉布德鲁克（Kasara Budruk），是印度马哈拉施特拉邦Thane县的一个城镇。总人口15192（2001年）。该地2001年总人口15192人，其中男性7815人，女性7377人；0—6岁人口2250人，其中男1164人
近畿比例代表区近畿比例代表区，是日本众议院11个比例代表制选区之一。该选举区设立于1994年。最初时为33位，2000年选举时为30位，2003至2014年为29位，2017年起为28位。滋贺县、京都府、大阪府、