NL完全

✍ dations ◷ 2025-12-08 22:19:28 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 赫伯特·博耶赫伯特·博耶(英语:Herbert W. Boyer,1936年7月10日-),美国生物学家。1958年于宾夕法尼亚州圣文森特学院获生物学及化学学士学位。1963年于匹茨堡大学获博士学位。1976至1991年任
  • 量子穿隧效应在量子力学里,量子隧穿效应(Quantum tunnelling effect)指的是,像电子等微观粒子能够穿入或穿越位势垒的量子行为,尽管位势垒的高度大于粒子的总能量。在经典力学里,这是不可能发
  • 福建人福建人可以指:
  • 反常塞曼效应塞曼效应(英语:Zeeman effect),在原子物理学和化学中的光谱分析里是指原子的光谱线在外磁场中出现分裂的现象,是1896年由荷兰物理学家彼得·塞曼译注发现的,随后荷兰物理学家亨德
  • 亚美尼亚-俄罗斯关系亚美尼亚-俄罗斯关系(俄语:Российско-армянские отношения,亚美尼亚语:Հայ-ռուսական հարաբերություններ),是指俄罗斯联邦
  • 露·安德烈亚斯·莎乐美露·安德烈亚斯·莎乐美(Lou Andreas-Salomé,本名Louise von Salomé或Luíza Gustavovna Salomé,俄语:Луиза Густавовна Саломе,1861年2月12日-1937年2月
  • 里斯·伯克里斯·伯克(英语:Reece Burke,1996年9月2日-)是一名英格兰足球运动员,现时效力英冠俱乐部赫尔城,司职后卫。里斯·伯克曾效力于英格兰18岁以下足球代表队。虽然他主要位置中后卫,但
  • 奥莱内自治市奥莱内自治市(拉脱维亚语:Olaines novads),是拉脱维亚的一个自治市,设立于2009年,位于该国中部。人口20,085人,面积296.3平方公里,人口密度约68人/km2。
  • 高尔俨高尔俨(1605年-1654年),字中孚。北直隶静海县(今属天津市)王二庄人。明末清初政治人物。天启七年(l627年)举人,崇祯十三年(l640年)一甲第三名进士(探花),授翰林院编修。明亡,降李自成。南明
  • 吉林市公共交通线路列表吉林市公共交通线路列表,是记录和罗列中华人民共和国吉林省吉林市和其所辖县市的公交车线路的列表。截至2018年2月,吉林市有公共交通线路近200条,其中市区105条。吉林市城区公