NL完全

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

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

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

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

相关

  • 伦蒂尼伦蒂尼(意大利语:Lentini),是意大利锡拉库萨省的一个市镇。总面积215.75平方公里,人口23869人,人口密度110.6人/平方公里(2009年)。ISTAT代码为089011。
  • 词类词类(part of speech、PoS、POS)是一个语言学术语,是一种语言中词的语法分类,是以语法特征(包括句法功能和形态变化)为主要依据、兼顾词汇意义对词进行划分的结果。从组合和聚合关
  • 地史学地史学也称历史地质学,是一门研究地球(主要是地壳)发展历史及其规律性的学科,为地质学的一个分支。其研究对象主要为地质历史中形成的地层(包括无机界和有机界的物质记录)以及反映
  • 小豆岛小豆岛(日语:小豆島/しょうどしま Shōdoshima */?)是位于日本濑户内海播磨滩的岛,面积153.30平方公里,海岸线长126公里,为日本第19大、濑户内海内第2大岛。岛上有小豆岛町、土庄
  • 存在多个国家的岛屿列表索引 国防预算 石油储量 军事(武装部队) 死刑 国债 生育率 最高点 官方语言 地理 政体 面积 代码 陆地面积 人口 人口密度 国内生产总值 国徽 国旗 国歌 国家格言 首都 城市
  • 弗朗西斯·克里克弗朗西斯·哈利·康普顿·克里克,OM,FRS(英语:Francis Harry Compton Crick,1916年6月8日-2004年7月28日),英国生物学家、物理学家及神经科学家。他最重要的成就是1953年在剑桥大学
  • 让-弗朗索瓦·商博良让-弗朗索瓦·商博良(法语:Jean-François Champollion,1790年12月23日—1832年3月4日),又译尚波里庸、尚皮隆,是法国著名历史学家、语言学家、埃及学家,是第一位识破古埃及象形文
  • 1970年国家人口列表这是按照1970年人口排列的国家列表,只排名主权国家。
  • 三位一体 (核试验)三位一体(英语:Trinity),也有音译作托立尼提或特里尼泰,是人类史上首次核试验的代号,是曼哈顿计划的一部分。美国陆军在1945年7月16日于新墨西哥州索科罗县的托立尼提沙漠举行,这次
  • 古兹米奇·理查德古兹米奇·理查德(匈牙利语:Guzmics Richárd,1987年4月16日-)是一位匈牙利足球运动员,出生于松博特海伊。目前正效力于中国足球甲级联赛球队延边富德队,司职后卫,球衣号码为26号。