NL完全

✍ dations ◷ 2025-07-04 10:56:07 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 模式种模式种(type species (species typica))是生物分类学上的一个名词,是用来代表一个属或属以下分类群的物种,又称典型种。模式种可以指示出该生物分类单元下的生物学特征,它既是一
  • 风力风力可以指:
  • 迈克尔·罗斯曼迈克尔·乔治·罗斯曼(德语:Michael George Rossmann,1930年7月30日-2019年5月14日),德裔美国结构生物学家,普渡大学教授。他主要用蛋白质晶体学和冷冻电子显微术来研究普通感冒病
  • 易化扩散被动运输(英文:Passive transport)指的是生物化学物质的运动或其他原子或分子穿过细胞膜。不像主动运输,该过程不需要化学能,这是因为顺浓度梯度的跨膜转运总是伴随着系统熵增
  • 1003年
  • 偶联化合物偶联反应,也写作耦合反应、偶合反应或耦联反应,是两个化学实体(或单位)结合生成一个分子的有机化学反应。狭义的偶联反应是涉及有机金属催化剂的碳-碳键形成反应,根据类型的不同,
  • 1861年巴尔的摩暴动1861年巴尔的摩暴动(Baltimore riot of 1861),又名普拉特街大屠杀(Pratt Street Massacre),于1861年4月19日发生在马里兰州巴尔的摩,有历史学者认为它是美国内战的第一次流血冲突。
  • 高卢-罗曼语支高卢-罗曼语支(Gallo-Romance)是罗曼语族的一个分支,包括法语和高卢-意大利语。按照语言学家大卫·达尔比的分析,高卢罗曼语支包括7个语言:瓦隆语、法语、法兰克-普罗旺斯语、罗
  • 2015年土耳其击落俄罗斯战斗机事件2015年土耳其击落一架俄罗斯苏-24,两名飞行员通过弹射逃生。其中一人身亡,另一人生还,安全返回俄军基地。土耳其声明,一架战斗机入侵了领空,其飞行员再对它发出十次警告并拍照。
  • 美国驻北大西洋公约组织代表美国驻北约代表(英语:United States Permanent Representative to NATO ),全称美国常驻北大西洋公约组织特命全权大使级代表(英语: United States Permanent Representative on t