NL完全

✍ dations ◷ 2025-11-29 11:38:17 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 尿流率图尿路动力学(英文:Urodynamics),简单来说是指液体在尿道上的流动所涉及的事项。尿路动力学(在中国称:尿流动力学或尿动力学)一词其原意是指液体在尿道上的流动所涉及的事项1。但是,在
  • 国乐中国传统音乐通常泛指形成于清代以前的中国、并传承至今的的各种音乐。从音乐的表现形态来看,可分为合奏器乐、独奏器乐、戏曲音乐、歌舞音乐、说唱音乐、歌乐、宗教音乐等等
  • 加拿大臂2号移动维修系统(Mobile Servicing System,简称MSS,更广为人知的是它主要的部件加拿大臂2)是连接在国际空间站上的1个机器人系统。在空间站的装配和保养上扮演着关键的角色。它在空
  • 白俄罗斯语白俄罗斯语(白俄罗斯语:беларуская мова,罗马化:biełaruskaja mova),简称白俄语,是白俄罗斯的两种官方语言之一。是斯拉夫语族东斯拉夫语支的语言,音韵、文法以及词
  • 红星梭子蟹红星梭子蟹(学名:Portunus sanguinolentus、red-spotted swimming crab、红点泳蟹/三点蟹/三点蠘仔(三点市仔))为梭子蟹科梭子蟹属的动物。分布于日本、夏威夷、菲律宾、澳大利
  • 各国黄金产量列表美国地质调查局网站上公布的一份最新的统计数据报告。 .这是一个2006年各国黄金产量列表,大部分数据基于2008年7月的英国地质调查。
  • 乔治亚政治乔治亚是一个议会制的多党制民主国家,乔治亚总统是国家元首,乔治亚总理则是政府领导人。立法权由政府和国会所有。乔治亚国内有阿布哈兹和阿扎尔两个自治共和国及南奥塞梯自治
  • 希米盖尔希米盖尔(Śmigiel ,德语:Schmiegel)是波兰的一座城市。2004年,有人口5,420人。坐标:52°00′33″N 16°31′07″E / 52.00917°N 16.51861°E / 52.00917; 16.51861
  • 士兵 (古罗马)士兵(拉丁语:Milites)是古罗马受过训练的常规步兵。这些常规士兵占到了罗马军团中的多数。除作战外,他们也有护卫、劳动、建造以及其他非战斗职责。普通士兵往往需要服役多年才
  • 第3航空舰队 (日本海军)第三航空舰队(日语:第三航空艦隊/だいさんこうくうかんたい  ?)是旧日本海军在太平洋战争末期组建的一支陆基海军航空兵编制。此时盟军反攻的前锋已经抵达菲律宾和荷属东印度