NL完全

✍ dations ◷ 2025-11-24 23:37:48 #计算复杂性理论,理论计算机科学

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

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

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

相关

免疫抑制免疫抑制（英语：immunosuppression）是指对于免疫应答的抑制作用。免疫抑制可由天然或人为因素导致。天然免疫抑制包括天然免疫耐受，机体可能会对自身组织成分不产生免疫应答。人
物理教育物理教育是全世界的中学和大学教育的一个重要组成部分。许多综合大学都拥有物理专业。由于物理学是自然科学和工程技术的基础学科，因此物理也是取得科学和工程学位的必修课程
阿森阿森（荷兰语：Assen）是位于荷兰东北部的一座城市和市镇，也是德伦特省的首府，人口62,645人（2005年）。阿和欣泽 · 阿森 · 博赫尔-奥多伦 · 库福尔登 · 德沃尔登 · 埃门 · 霍赫芬
织布梭织（英语：Weaving）指将纱线经纬交错织成布料的方法。(台湾则称平织布或平行织品)织物（英语：Woven fabric），指通过经线与纬线交错织成的材料，如布、丝绸等，又合称为布。在某些场合下，
第一条宪法正文I ∙ II ∙ III ∙ IV ∙ V ∙ VI ∙ VII其它修正案 XI ∙ XII ∙ XIII ∙ XIV ∙ XV XVI ∙ XVII ∙ XVIII ∙ XIX ∙ XX XXI ∙ XXII ∙ XXIII ∙
马来西亚公共假期马来西亚公共假期是根据《1951年假期法令》、《沙巴假期法令》和《砂拉越公共假期法令》而制定，适用于马来西亚半岛、沙巴及砂拉越，可分为周休假日、银行假日和公共假日三种。
赣江赣江是长江的第7大支流，江西的最大河流，南北纵贯江西省。全长991千米，其中干流长751千米，流域面积8.35万平方千米。赣，古代亦写作灨，又通淦。先秦时赣江被称为杨汉，汉代称湖汉，赣水
叶海亚·穆罕默德·哈米德丁叶海亚·穆罕默德·哈米德丁·穆罕默德·穆塔瓦基勒（阿拉伯语：يحيى محمد حميد الدين محمد المتوكل‎，1869年6月18日－1948年2月17日），即伊玛目叶海亚，
IamusIamus可以是指：
青龙街道 (成都市)青龙街道，是中华人民共和国四川省成都市成华区下辖的一个乡镇级行政单位。青龙街道下辖以下地区：西林社区、东林社区、海滨湾社区、新山社区、昭青社区、仁义社区和昭觉社区。