NL完全

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

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

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

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

相关

多国部队伊拉克Global War on Terrorism伊拉克战争多国部队（Multi-National Force – Iraq），缩写“MNF–I”，是指2003年3月的伊拉克战争时，以美国和英国为主的多国联军，参与的军队有美军、
span class=nowrapSbClsub5/sub/span五氯化锑是一种有恶臭味的无色油状液体，常因混有杂质而显微黄色，遇水发生强烈水解。通常用于检验生物碱和铯，并用作有机氯化时的载体。它是一种中等强度的路易斯酸，与氢氟酸反应
麻醉品麻醉药物（英语：narcotic）又称毒麻药，最早泛指能够导致人类进入睡眠、昏迷或无知觉状态的药品。在美国，它被用来指称鸦片类药物，如鸦片、海洛因、吗啡、杜冷丁，或是鸦片类药物的衍生
2012 BIGBANG Alive Tour (现场专辑)《2012 BIGBANG Alive Tour Live Album》是韩国男子音乐组合BIGBANG推出的第六张韩语现场专辑，由YG娱乐制作发布，在2013年1月10日正式发行。该专辑收录于2012年3月2日至3月4日
赵卿焕赵卿焕（韩语：조경환，1945年3月21日－2012年10月13日），韩国男演员。1969年MBC第1期公开招募演员，曾在《李算》、《大长今》、《医道》、《初恋》、《天桥风云（朝鲜语：모델 (드라마)）》等
莎拉·吉尔伯特莎拉·吉尔伯特（英语：Sara Gilbert，1975年1月29日－），美国演员，以1988年至1997年期间在情景喜剧《罗斯安家庭生活》中饰演达莲娜·康纳-希利（Darlene Conner-Healy）一角著称。2010年吉
有马新一有马新一（日语：有馬新一／ありましんいち ?），大日本帝国海军军人，1851年2月26日（嘉永4年1月26日）出生，1909年（明治42年）12月6日逝世。年少时参与戊辰战争，新政府成立后加入海军，服役期
McFlyMcFLY（中文翻译为：小飞侠）在英国伦敦成立于2003年的英国流行摇滚乐队，凭借着首张单曲《5 Colours In Her Hair》在2004年早期进入流行乐坛，并且一炮而红。他们是英国最受欢迎和最
经典和量子引力经典和量子引力（Classical and Quantum Gravity、CQG）为一本同行评审的期刊，其内容范围涵盖时空理论及引力物理学的各个方面。总编辑为任教于圣路易斯华盛顿大学的克利福德马丁
刺轴含羞草刺轴含羞草（学名：），又名刺轴含羞木、猫爪草，为豆科含羞草属下的一个种。木质、多分枝的灌木，成熟时可生长达6米高。茎初时是绿色的逐渐变成褐色，叶片为二回羽状复叶，淡绿色，20至25 公