NL完全

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

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

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

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

相关

  • 丁溴东莨菪碱丁基东莨菪碱(Hyoscine butylbromide),商品名补斯可胖(Buscopan),是一种用于治疗腹部绞痛、食道痉挛(英语:esophageal spasm)、肾绞痛,以及膀胱过动症的药物。本品也可用于临终(英语:End
  • 有色人种少数裔可见少数族裔(英语:Visible Minority)是指可通过肤色判断的少数族群或个人,这词主要在加拿大使用。在非欧裔移民大量进入加拿大之前,加拿大社会主要按语言(英语和法语)和宗教(罗马天
  • 西湖区西湖区是中国江西省南昌市的一个市辖区。总面积为39.2平方公里,2004年人口为46万。下辖10个街道、1个镇:南浦街道、朝阳洲街道、广润门街道、西湖街道、系马桩街道、绳金塔街
  • 保安路 (永安区)保安路(Bao-an Rd.)为高雄市永安区的南北向重要干道,沿途行经保宁、维新地区及乌树林盐田,并连结永安市区及海岸近郊,全线编号台17线。起端路竹、永安区交界,前端接大公路北往路竹
  • 克里斯蒂安·于恩森·汤姆森克里斯蒂安·于恩森·汤姆森(Christian Jürgensen Thomsen 1788年12月29日-1865年5月21日)丹麦考古学家、古文物收藏家,丹麦国立博物馆创始人,他建立了系统的文物分类方法,提出石
  • 银氰酸钾银氰酸钾是无机化合物,为无色晶体,易溶于水。
  • 风箱树属风箱树属(学名:)是茜草科下的一个属,为灌木至小乔木植物。该属共有17种,分布于美洲和亚洲。
  • 世界新闻摄影比赛世界新闻摄影比赛(World Press Photo,简称WPP),每年一度的在荷兰举行,所以又称荷赛。它是由成立于1955年,总部设在荷兰的世界新闻摄影基金会(World Press Photo Foundation)主办。该
  • 彼得罗夫斯基空白彼得罗夫斯基空白(Petrovsky lacuna)得名自俄罗斯数学家伊凡·彼得罗夫斯基(英语:I. G. Petrovsky),是一个线性双曲线偏微分方程中,其基本解(英语:fundamental solution)为零的区域。
  • 索利都斯 (钱币)索利都斯(拉丁语:Solidus,复数:solidi)简称索币,又译索里达、苏勒德斯,是一种最初由古罗马发明的金币,更经常被用于金的量重单位,1苏等于4.5克。