NL完全

✍ dations ◷ 2025-11-25 20:07:03 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 犹太法典《塔木德》(希伯来文:תלמוד‎,Talmud,为教导或学习之意)是犹太教中认为地位仅次于《塔纳赫》的宗教文献。源于公元前2世纪至公元5世纪间,记录了犹太教的律法、条例和传统。其
  • 哈蒂-温伯格平衡哈代-温伯格定律,也称遗传平衡定律或哈代-温伯格平衡定律,分别在1908年和1909年由英国数学家G·H·哈代(Godfrey Harold Hardy)和德国医生威廉·温伯格(英语:Wilhelm Weinberg)(Wilh
  • 三学三学(梵语:śikṣā,巴利语:sikkhā)或三无漏学,佛教术语,分别指增上戒学(adhisīla-sikkhā)、增上意学或增上心学(adhicitta-sikkhā)、增上慧学(adhipaññā-sikkhā),简称为戒、定、
  • 哲尔哲尔(Djer),古埃及第一王朝(约公元前3100年)第二任或第三任法老。哲尔的荷鲁斯名解作“救助人的荷鲁斯”(Horus who succours)。在阿拜多斯王名表上,第二任法老的名字为“特提”(Teti
  • 系外行星学系外行星学(英语:Exoplanetology,或 Exoplanetary science)是与太阳系外行星相关的科学研究学门。该学门涉及天体生物学、天文物理学、天文学、行星科学、地球化学、天文化学和
  • 西吉贝尔特三世西吉贝尔特三世(Sigebert III)是墨洛温王朝的法兰克国王,出生于630年,于656年2月1日逝世。西吉贝尔特三世的父亲是达戈贝尔特一世,于634年-656年在位。西吉贝尔特三世被称为第一
  • 奥卡诺根奥卡诺根县(英语:Okanogan County,发音: /ˌoʊkəˈnɒɡən/)是美国华盛顿州北部的一个县,北邻加拿大不列颠哥伦比亚省。奥卡诺根县的面积为5,315平方英里(13,770平方千米),是华盛
  • 索林·丹增索林·丹增(蒙古语:Солийн Данзан,1885年-1924年)蒙古族,外蒙古赛音诺颜部人,蒙古革命家, 蒙古人民党第一任中央委员会主席。丹增早年担任税官,其间参与创建了作为蒙古人
  • 梦想权之助梦想权之助(?-?)是江户时代初期的剑客,生殁年不明,乃杖术的神道梦想流杖术的流祖。根据同流的口传,姓山本、讳胜吉。《武艺流派大事典》(绵谷雪、山田忠史)记载本姓平野,通称权兵卫。
  • 塔拉西夫卡 (霍罗尔区)坐标:49°54′7″N 33°2′50″E / 49.90194°N 33.04722°E / 49.90194; 33.04722塔拉西夫卡(乌克兰语:Тарасівка),是乌克兰的城镇,位于该国中部波尔塔瓦州,由霍罗尔区负