NL完全

✍ dations ◷ 2025-12-11 06:37:57 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 神经肌肉阻断剂神经肌肉阻滞药(Neuromuscular-blocking drugs)是可以阻滞神经肌肉接点神经传导的药物,会造成骨骼肌的瘫痪。可以透过在突触前(英语:Presynaptic)作用,抑制乙酰胆碱(ACh)的合成或是释
  • 纸浆木浆是用于造纸的最常用的材料。用于制造木浆的木材资源被称为纸浆用木材。木浆通常来自软木树木如云杉,松树,冷杉,落叶松和铁杉,但也有硬木如桉树和桦树。木浆可以按照下面的几
  • 上座部最初僧伽 ├ 大众部  ├ 一说部  ├ 说出世部  ├ 灰山住部  ├ 多闻部  ├ 说假部  └ 制多部 └ 上座部  ├ 雪山部  ├ 说一切有部   ├ 说转部   └ 经
  • 经济合作发展组织经济合作与发展组织(简称经合组织;英语:Organization for Economic Cooperation and Development,OECD)是全球36个市场经济国家组成的政府间国际组织,总部设在法国巴黎米埃特堡(Ch
  • 702年前9世纪 | 前8世纪 | 前7世纪前720年代 前710年代 | 前700年代 | 前690年代 前680年代前707年 前706年 前705年 前704年 前703年 | 前702年 | 前701年 前700年 前699年 前
  • 考试前恐惧症考试焦虑是测试前或测试期间产生害怕心理,引起身心一系列不良反应,往往表现得紧张焦虑、头晕出汗、思维紊乱、记忆模糊、反应迟钝、精神不集中。在中国的高考前易患此病。考试
  • 法属西非法属西非(法语:Afrique occidentale française,缩写为AOF)指的是法国在西非的一大片殖民地,面积达468.9万平方公里。包括了现在的毛里塔尼亚、塞内加尔、尼日尔、法属苏丹(今马里
  • 行李限额在商业运输中,大多数航空公司都会对每位乘客的行李进行限制,即对免费行李件数有严格的限制,超过时需额外支付费用。根据仓位、会员等级、机票种类、飞行出发地和目的地以及航空
  • 中京电视台中京电视放送株式会社(中京テレビ放送株式会社),通称中京电视台(中京テレビ),简称CTV,是日本的一家电视台,1968年3月1日成立,1969年4月1日开播,放送范围以中京广域圈(爱知县、岐阜县和
  • 最低危害值最低危害值(Minimal Risk Level,MRL)又可称为每日安全剂量、最小风险水平(MRL值)或最大残留限量。根据有毒物质和疾病登记机构所定的意思,简单的说就是指一个人每天暴露在有害