NL完全

✍ dations ◷ 2025-12-02 14:41:43 #计算复杂性理论,理论计算机科学

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

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

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

相关

北美地区北美地区（英语：Northern America；西班牙语：Norteamérica；法语：L'Amerique septentrionale）为地缘政治地理学的概念，指的是美洲的北部地区，以文化区分法又称盎格鲁美洲，属于北美洲大陆
自信自信就是自我肯定，在社会心理学的概念中，一个人的自我肯定（Self-confidence）与其对个人的判断、能力、权力等的自我肯定有关。自信也可以表达一个人的信心很高，有信心去做到达到
石　鲸石鲸（？－？），字应声，山东青州府益都县人，民籍，明朝政治人物。山东乡试第七名举人。嘉靖二十三年（1544年）中式甲辰科会试第二十名，登第三甲第九十五名进士。曾祖石瑛，州吏目；祖父石铭，府通判
南京航空航天大学南京航空航天大学位于中国江苏省南京市，隶属于中华人民共和国工业和信息化部，由国家国防科技工业局和江苏省人民政府重点共建，是一所以航空航天技术为主的高等学校。南京航空航
图文电视图文电视（Teletext）是电视台将文字、图形等数字化信息隐藏在电视节目信号的垂直空白间隙（Vertical Blanking Interval, VBI）的第12至18条水平扫描线内播出，由飞利浦VDU首席设计师
山东半岛蓝色经济区山东半岛蓝色经济区范围包括山东全部海域和青岛、东营、烟台、潍坊、威海、日照6市及滨州市的无棣、沾化2个沿海县所属陆域，海域面积15.95万平方公里，陆域面积6.4万平方公里。
Lambda Phi EpsilonLambda Phi Epsilon（或称ΛΦΕ、LPhiE、LFE、Lambdas、人中王）是个国际性、以社交为主的亚裔兄弟会。该会被多数希腊组织及联盟承认。其主要活动据点在美国及加拿大。Lambda
大卫·奥苏伯尔大卫·保罗·奥苏伯尔（David Paul Ausubel，1918年10月25日－2008年7月9日），是美国教育心理学家，认知心理学的代表人物，皮亚杰的追随者。他在心理学和学习领域最大的贡献之一是发展和
秦逵秦逵（？－1392年），字文勇，江浙行省宁国路宣城县（今宣州）人，明朝政治人物。洪武十八年（1385年）由国子生中式乙丑科进士二甲第十二名，后历任副都御史，奉命清理牢狱囚犯，执法宽严得体。后升任工
大灵通大灵通，是中国联通（2008年10月15日前原中国网通）、中国电信等在中国部分地区运营的无线市话业务，成为与小灵通（PHS）在市场上竞争的服务。原采用CDMA 450技术，后改为SCDMA 400技术。