NL完全

✍ dations ◷ 2025-12-05 11:22:35 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 植物病理学植物病理学,是对于引起植物疾病的病原体(感染性微生物)和环境条件(生理因素)的科学研究 。引起感染性疾病的生物体包括真菌,卵菌,细菌,病毒,类病毒,病毒样生物,植原体,原生动物,线虫和寄
  • 罗吉尔·培根罗吉尔·培根(英语:Roger Bacon,1214年-1294年),英国方济各会修士、哲学家、炼金术士。他学识渊博,著作涉及当时所知的各门类知识,并对阿拉伯世界的科学进展十分熟悉。提倡经验主义,
  • 墓志铭墓志铭为文体名,在坟墓中或坟墓上,以死者生平事迹所写的一份简介,尤其对于伟大或值得纪念的人其墓经常有墓志铭,在中国和西方都有这种习俗的存在,另外中国古代还有祭文、行状的写
  • 期待期待可以指:
  • 人类聚居地人类聚居地(英语:Human settlement)。以美国地质调查局的定义来看的话,它是一个有人口聚居的地方或地区(视人口普查结果而定),并根据经纬度分析某一范围聚集或散落的建筑物与该地长
  • 田畠裕基田畠 裕基(たばた ゆうき)日本漫画家。福冈县出身。已婚。很仰慕岩代俊明师傅。
  • 朱志远朱志远(1959年-),江苏盱眙人,汉族,中华人民共和国科学家、全国人民代表大会上海地区代表。毕业于联邦德国慕尼黑大学理论核物理专业,加入中国共产党。2008年起担任全国人大代表。20
  • 梁文福梁文福(1964年-),生于新加坡,祖籍广东新会,写作人、音乐人、华文教研工作者。南洋理工大学中文系兼任副教授、学而优语文中心语文总监。“他在文学界和音乐界之间搭建桥梁。”这是
  • 水金九水金九(与台湾话“媠真久(suí tsin kú)”读音近似),是指位在新北市北海岸的三个地区,即“水湳洞”、“金瓜石”、“九份”。水金九以黄金博物馆(昔日台湾金属矿业股份有限公司
  • 三星镇 (成都市)三星镇,是中华人民共和国四川省成都市双流区下辖的一个乡镇级行政单位。2019年12月,撤销永兴镇、三星镇,设立永兴街道。三星镇下辖以下地区:三星场社区、云崖村、龙星村、南新村