NL完全

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

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

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

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

相关

  • 产后出血产后大流血(英语:Postpartum hemorrhage,缩写为PPH),又称产后出血(Postpartum bleeding),妇女在生产之后可能出现的一种失血病症,通常被定义为生产后24小时内失血超过500至1,000毫升,
  • 内胚层内胚层(Endoderm)是胚胎中最内的一胚层。在绘图中,内胚层传统上用黄色表示。它会形成以下器官的表皮:内胚层一词是源于:to enteron(希腊语)=肠,其实是“内”之意。to derma(希腊语)=皮内
  • 地基主地基主可以指:
  • 内线交易内线交易(insider trading),亦作内幕交易,是指:于获悉未公开且后来证实足以影响股票或其他有价证券市价的消息后,进行交易,并有成比例的获利发生的行为。即内线交易的要件在于:内线
  • 本溪本溪市是中华人民共和国辽宁省下辖的地级市,位于辽宁省东部,是中国东北部主要钢铁之城。本溪市历史悠久,在庙后山考古发掘出的古人类文化遗址表明,在四、五十万年前的旧石器时代
  • 东学东学(朝鲜语:동학/東學 ),是朝鲜王朝末期出现的一种朝鲜半岛本土新兴宗教。东学字面意思为东方之学,与当时东进的西学相对,由庆州人崔济愚于1860年创建,是韩国天道教的前身。东学除
  • 欧洲联盟法院本文是 欧洲联盟的政治与政府 系列条目之一欧洲联盟法院(英语:,意语:),简称“欧盟法院”,为欧洲联盟的法院系统之总称,与各个欧盟成员国的内国法院合作,确保欧盟法律在欧盟各国间能够
  • 印度-美国关系印度-美国关系,是指印度共和国和美利坚合众国的国际关系 。在21世纪,印度外交政策一直寻求利用印度的战略的自主权以维护主权权利,并促进国家利益在一个多极世界。 根据布什总
  • 千早 (丰岛区)千早(日语:千早/ちはや  */?)是东京都丰岛区的町名。现行行政地名为千早一丁目至千早四丁目。东京地下铁有乐町线、副都心线千川站~要町站南侧区域,北邻要町、板桥区向原,东接西
  • 保罗·德尔沃保罗·德尔沃(Paul Delvaux, 1897年9月23日-1994年7月20日),比利时画家,以其超现实主义风格的裸女画著名。德尔沃生于比利时列日省,父亲是律师。自幼受过良好的希腊罗马古典文化教