NL完全

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

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

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

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

相关

  • 腹水腹水(ascites、hydroperitoneum)是指腹腔内有液体积聚,超过正常量的症状。腹水最常见的病因是肝硬化和其他严重的肝脏疾病,但它的出现也可以是其他重大疾病的征象,如肝癌末期。腹
  • 罗曼式建筑罗曼式建筑(英语:Romanesque architecture,又译罗马式建筑、罗马风建筑、似罗马建筑)为欧洲中世纪一种以半圆拱为特征的建筑风格,并从12世纪开始逐渐过渡到以尖拱为特征的哥特式
  • 十三州十三个殖民地(英语:Thirteen Colonies)是指大英帝国于1607年(弗吉尼亚)至1733年(乔治亚)在北美洲大西洋沿岸建立的一系列殖民地。这些殖民地最终成为了美国独立时的组成部分,即后来
  • 量化宽松经济政策财政政策 · 货币政策贸易政策 · 投资政策农业政策 · 产业政策能源政策 · 社会政策政策组合税收政策 · 预算政策政府收入 · 政府支出政府预算 · 赤字政府债
  • 台语文台语白话文,或称为台湾话文、台语文、台文,是一种符合并融合台湾话语法、本身词汇以及外来词汇的书面文系统,主要流行于台湾、福建、广东一带、新加坡以及马来西亚。传统的台语
  • 胃 (脏腑)在中医学,胃为六腑之一,和五脏中的脾为表里。功能主要是受纳和腐熟水谷,因此有“水谷之海”(《灵枢·海论》)之称;饮食物经过胃而下送小肠,故胃以通降为顺;人体的气血、津液等为食
  • 硒化锌硒化锌是一种无机化合物,为黄红色的晶体,化学式为ZnSe。它是一个本征半导体,能隙2.70 eV(25 °C)。硒化锌很少出现在自然界,它出现在方硒锌矿中。将乙酸铵缓冲的硫酸锌稀溶液滴
  • 808 (专辑)《808》是台湾歌手潘玮柏的第八张国语专辑,在2010年12月31日开始预购,并在2011年1月14日推出。第一主打为《全面通缉》于2010年12月21日hito FM 电台首拨,采用了韩国式电音舞曲
  • 鬼娃株式会社剧团鬼娃株式会社剧团,创立于2005年。2006年3月推出剧团的第二号作品《恶了》,获得该年度台新艺术奖的提名 。每年固定于农历七月推出鬼节特别公演外,也从2008年开始,每年固定有全
  • 朝鲜半岛同音姓氏以下为韩民族(朝鲜民族)的同音姓氏。其他没有同音字的姓氏,请参看朝鲜半岛姓氏。