NL完全

✍ dations ◷ 2025-12-01 11:49:48 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 伦敦大学伦敦大学(英语:University of London)是由多个行政独立的院校联合组成的学府(联邦制大学),亦是世界上规模最大的大学之一。这些院校包括不少世界上最具名望的学校(如伦敦大学学院、
  • 水槽水槽是化学实验中常用的一种仪器,一般为圆形或者方形的大口容器,由塑料或者玻璃制成,可以盛装一定体积的水或其他液体,在多种实验中都可以使用。常用于排水集气法收集不溶于水的
  • 微体古生物学微体古生物学 是一门研究微体化石的学科,属于古生物学的一门分支。早在公元前5世纪,古希腊学者希罗多德就曾记载过货币虫(Nummulite)的微体化石。但是微体古生物学作为一门独立
  • 赵鹏大赵鹏大(1931年5月25日-),中国地质勘探学家、数学地质学家,中国地质大学教授。赵鹏大原籍辽宁清原,出生于沈阳。1948年考入北京大学地质系。1949年,加入中国共产主义青年团,1952年毕
  • 腕鳍鱼纲腕鳍鱼纲(学名:Cladistia)是动物界脊索动物门的一纲,是辐鳍鱼总纲的两个演化支之一,包含了多鳍鱼目及其史前近亲,是辐鳍鱼纲(Actinopteri)的旁系群。本纲各类群过去多归类于软骨硬鳞
  • 太牢太牢 此为古代祭祀使用的牺牲:六牲的最高规格,一般来说只有天子可以使用,主要用于祭天。据《礼记》记载:周朝太牢最早只能是天子祭祀时使用,但春秋时期,因天子势弱,诸侯势强,一些诸
  • 多头绒泡菌多头绒泡菌(学名:Physarum polycephalum)是一种生活在腐烂的树叶、木头等阴凉潮湿环境中的黏菌。像普通的黏菌一样,它对光线敏感,光线可以抑制其生长,不过光线也是触发其孢子生长
  • 碳水化合物计数法碳水化合物计数法(Carbohydrate counting,或carb counting)是糖尿病患者制订饮食计划的一种简便、有效的方法,是一种计算一日正餐和点心中的碳水化合物克数或食物份数大小的方法
  • 心脸皮肤综合征CFC症候群(英文简称CFC)是一种遗传病,其会导致心脏及皮肤出现问题,如肺动脉狭窄、瓣膜发育不良、心室中膈缺损、心肌肥厚症、心律不整以及皮肤过度角质化、鱼鳞病、毛孔角化症、
  • 团结宫团结宫 (塔吉克语: Кохи Ваҳдат//کاخ وحدت)英语经常写作 Vahdat Palace。塔吉克斯坦杜尚别的一幢建筑物。 坐落在杜尚别北部主要通道鲁达基大街,是塔吉克斯