NL完全

✍ dations ◷ 2025-10-20 04:57:05 #计算复杂性理论,理论计算机科学

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

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

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

相关

抗生素抗细菌药（英语：antibacterial）也称为“抗细菌剂”，是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下，抗细菌药也可简称为“抗菌药”，包括抗生素（英语：antibiotic）由微
新的共和国美国例外论（英语：American Exceptionalism），又译美国卓异主义、美国例外主义、美式例外主义，一种理论与意识形态，认为美利坚合众国是个独特的国家，与其他国家完全不同。为亚历西斯
徐叙瑢徐叙瑢（1922年4月23日－），生于山东临沂，中国发光学家，北京交通大学教授，北京交通大学光电子技术研究所名誉所长。1945年毕业于西南联合大学物理系。1955年获苏联科学院列别捷夫物理
觉音上座部佛教觉音（梵语：Buddhaghōsa；巴利语：Buddhaghosa），又译为佛音、觉鸣，传说为西元五世纪时印度佛教僧侣，是南传佛教史上的关键人物，对其评价趋于两极化，赞赏者称其是南传佛教学说
黄夹次苷黄夹次苷（英语：Peruvoside或称为黄花夹竹桃苷，英语：cannogenin thevetoside）是一种强心苷，用于治疗心脏衰竭，来源于黄花夹竹桃（学名：Cascabela thevetia，曾用学名：Thevetia neriifolia）
高雄市文武圣殿坐标：22°37′46″N 120°16′54″E / 22.6294869°N 120.2815319°E / 22.6294869; 120.2815319高雄文武圣殿，俗称盐埕埔圣帝庙，是高雄市知名的关帝庙，也是著名的“澎湖庙”。
卢尔德卢尔德（法语：Lourdes），亦译露德，是法国西南部上比利牛斯省的一个市镇，也是全法国最大的天主教朝圣地。卢尔德是欧洲著名的天主教徒的朝圣之地。据说在1858年有个叫伯尔纳德的女孩
波士顿马拉松波士顿马拉松，是每年于爱国者日（四月的第三个星期一），在美国马萨诸塞州波士顿举行的马拉松比赛。1896年夏季奥林匹克运动会的成功催生了于1897年创立的波士顿马拉松，这是全世界最
亚洲蹲亚洲蹲是一种脚掌贴地，膝盖弯曲臀部贴近脚踝向下蹲的动作。大多数的欧美人做不到这个动作，研究认为与脚踝的生长有很大的关联，也有可能是生活习惯与亚洲人大不同。但也不是所有
莱维·马代托亚莱维·安蒂·马代托亚（更为准确的音译为莱维·安蒂·马代特奥亚，芬兰语：Leevi Antti Madetoja，1887年2月17日－1947年10月6日），芬兰作曲家。作品包括交响曲、歌剧等，在芬兰的民族音乐