NL完全

✍ dations ◷ 2025-11-27 21:40:00 #计算复杂性理论,理论计算机科学

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

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

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

相关

Proceedings of the National Academy of Sciences《美国国家科学院院刊》（英语：Proceedings of the National Academy of Sciences of the United States of America，通常简称为 PNAS；PNAS USA）是美国国家科学院的官方学术周刊。
朱鹮朱鹮（学名：Nipponia nippon），又名朱鹭、鹮、日本凤头鹮、红鹤、朱脸鹮鹭。根据2014年统计，朱鹮数量现在2000多只，其中野生朱鹮1000只左右。与大部分鹭科鸟类相似，朱鹮的栖息地和取
阿尔卑斯阿尔卑斯山（德语：Alpen；意大利语：Alpi；斯洛文尼亚语：Alpe）是欧洲最高及横跨范围最广的山脉，它覆盖了意大利北部边界、法国东南部、瑞士、列支敦士登、奥地利、德国南部及斯洛文尼亚
肋木肋木属是已灭绝的孢子树的一属，属于水韭纲肋木目。它们是二叠纪-三叠纪灭绝事件中出现的最常见植物中的一种。
玉塘街道玉塘街道是中国广东省深圳市光明区下辖的一个街道。辖区总面积21.50平方公里，下辖玉律、田寮、长圳、红星等4个社区。2016年8月31日，光明新区原公明街道、光明街道二分为六，新
章贡区章贡区是中国江西省赣州市的一个市辖区，是赣州主城区，全市政治、经济、文化、交通和信息中心。章贡区汉高祖六年（公元前201年）始建制设县；宋定名赣州；1999年6月撤原县级赣州市设区
车部车部，为汉字索引中的部首之一，康熙字典214个部首中的第一百五十九个（七划的则为第十三个）。就正体中文中，车部归于七划部首，简体中文则归四划。车部通常从左方、下方为部字。且无
2018年夏季青年奥林匹克运动会柔道比赛2018年夏季青年奥林匹克运动会柔道比赛于2018年10月7日至10日在阿根廷布宜诺斯艾利斯岩石体育中心公园举行。运动员必须是于2001年1月1日至2003年12月31日出生才有参加青年
肯尼思·阿诺德肯尼思·A·阿诺德（英语：Kenneth A. Arnold，1915年3月29日－1984年1月16日）是一位美国企业家与飞机驾驶员，出生于明尼苏达州。1947年6月24日，肯尼思·阿诺德为了寻找失事的飞机，从华
保罗·谢尔德保罗·谢尔德（英语：Paul Ferdinand Schilder，1886年2月15日－1940年12月7日），奥地利精神病学家、精神分析学家。他的主要贡献是其对“身体意象”（Body Image）的研究。他于1935年出版