NL完全

✍ dations ◷ 2025-12-08 07:48:20 #计算复杂性理论,理论计算机科学

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

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

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

相关

美国联邦机构列表议长：南希·裴洛西（民主党）多数党领袖（英语：Party leaders of the United States House of Representatives）：斯坦利·霍耶（民主党）少数党领袖（英语：Party leaders of the United Sta
阿弗雷多·克劳斯阿弗雷多·克劳斯·特鲁希略（西班牙语：Alfredo Kraus Trujillo，1927年9月24日－1999年9月10日），西班牙籍奥地利裔男高音歌唱家。克劳斯是20世纪一大传奇的男高音歌唱家，并以作为马斯
台翔航太工业台翔航太工业股份有限公司是中华民国一间官民合资公司，1991年9月由行政院开发基金出资29%、民间企业出资71%成立。原有台中厂房负责经国号战机零件，2001年因战机减产而变成纯
察南自治政府察南自治政府是1937年至1939年间日本在占领中华民国察哈尔省南部后扶植的傀儡政府。1937年8月27日，日本关东军携蒙古军攻占中华民国察哈尔省省会张家口，张家口商会的于品卿投
张鸣张鸣可能是指：
G蛋白偶联受体结构 / ECODG蛋白偶联受体（G Protein-Coupled Receptors，GPCRs），是一大类膜蛋白受体的统称。这类受体的共同点是其立体结构中都有七个跨膜α螺旋，且其肽链的C端和连接第5和第6个
印度自治领印度（英语：India），通称印度自治领（英语：Dominion of India），是曾短暂存在于南亚次大陆上的一个国家。当英国于1947年8月15日结束对印度次大陆的统治之后，便在此地建立了印度联邦和巴
小林诚 (物理学家)小林诚（日语：小林誠／こばやしまこと ?，1944年4月7日－），以研究CP破坏著名的日本物理学家，现为名古屋大学特别教授、高能加速器研究机构名誉教授、独立行政法人日本学术振兴会（日
埃克兰国家公园埃克兰国家公园（法语：Parc national des Écrins），法国十大国家公园之一，位于法国东南部格勒诺布尔(Grenoble)以南、加普(Gap)以北的多芬阿尔卑斯山脉，其最高峰埃克兰峰(Barre des
波特兰森林公园波特兰森林公园是一个位于美国俄勒冈州波特兰市中心以西、图拉丁山脉上的公共市政公园，在山坡上绵延超过13千米，可以俯瞰威拉米特河，是全美最大的城市森林保护区之一。公园占地