NL完全

✍ dations ◷ 2025-12-04 04:25:19 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 主音自然音阶的第一个音,为主音(Tonic)。主音即为调性中心,即为最稳定的音。例如在C大调音阶中,C、E、G三个音起着中心的稳定作用,而B、D、F、A四个音,则起着不稳定的作用。不稳定的音
  • 张兴钤张兴钤(1921年10月16日-),中国金属物理学家。生于河北武邑。1942年毕业于武汉大学矿冶系。1949年获美国科士理工学院物理冶金硕士学位,1952年获麻省理工学院物理冶金博士学位。中
  • 地球图辑队天空传媒股份有限公司,前身为网络数码股份有限公司(webs-tv inc.),成立于1997年。当前拥有门户网站、宽带上网、影片租借等娱乐传播事业。网络数码股份有限公司(webs-tv inc.)于19
  • 碘价碘价或称碘值是指每100克样品所消耗的碘单质质量(单位为克)。碘价常被用来测定脂肪酸中不饱和度。脂肪酸中的不饱和度多以C=C的形式存在,C=C会与碘发生加成反应。因此,碘价越高,
  • 贺来贤人贺来贤人(日语:賀来 賢人/かく けんと Kaku Kento,1989年7月3日-),日本东京都出身,日本男演员。为Amuse事务所旗下艺人。身高178cm,血型为O型。擅长篮球和足球,妻子为女演员荣仓奈奈
  • 朱迪·加兰朱迪·加兰(英语:Judy Garland,1922年6月10日-1969年6月22日),生于美国明尼苏达州,童星出身的美国女演员及歌唱家。1999年,美国电影学会选她为百年来最伟大的女演员第8名。嘉兰45年
  • 6,7-二甲基异咯嗪6,7-二甲基异咯嗪(6,7-Dimethylisoalloxazine)是一种异咯嗪衍生物,它是维生素B2的组成部分之一,另一部分为核糖醇。
  • 百特国际José E. Almeida, (董事长兼首席执行官) 百特国际(英语:Baxter International Inc.)是一家美国医疗器械公司。主要生产治疗血友病,肾病变药物和静脉注射器材。1931年在美国伊利
  • 京都学派京都学派(日语:京都学派/きょうとがくは )一般指以西田几多郎和田边元为中心,以及师事西田和田边的哲学家所形成的哲学学派。以京都大学人文科学研究所(日语:京都大学人文科学研究
  • 南开科技大学南开科技大学是位于台湾南投县草屯镇的一所私立科技大学,与暨南国际大学为南投县惟二的两间大学。原名南开技术学院,2008年改名为南开科技大学,招收研究所、四技、五专的学生。