NL完全

✍ dations ◷ 2025-11-23 04:34:25 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 电子设备电子学(英语:Electronics),是用包括有源电子元器件(例如真空管、二极管、三极管、集成电路)和与之相关的无源器件等电子组件来构成电路的互连技术。有源器件的非线性特性和控制电
  • 935年重要事件及趋势重要人物
  • 光密度当大部分光经过一个样本时,部分光会被吸收。在光谱学,透光率 T {\displaystyle {\mat
  • 主楼南开大学主楼1963年建成,2003年又进行了大规模的装修和翻新。主楼的设计沿中轴对称,气势雄伟,广场中间巍然挺立的周恩来总理雕像高大而伟岸。 2009年3月,入选天津十大标志性建筑
  • 红巾特攻队《红巾特攻队》(韩语:빨간 마후라,英语:Red Muffler/Red Scarf)为1964年韩国战争电影,于1964年3月27日上映,片长100分钟,由韩国著名导演申相玉执导,申泰璿监制,申氏电影公司出品、制作
  • 郑国郑国,别名为奠国,是中国历史上春秋战国时代的一个诸侯国,国君为姬姓,伯爵。前806年,建国者为周厉王少子,周宣王弟王子友于郑(今陕西华县的东方),成为郑国第一代君主,是为郑桓公。郑国
  • 安伯·拉德安伯·奥古丝塔·拉德(英语:Amber Augusta Rudd,1963年8月1日-),英国政治人物、前保守党党员、现任东萨塞克斯郡黑斯廷斯和拉伊选区下议院议员、曾于2015至2016年间任能源和气候变
  • 刘璿卿刘璿卿(Carol Liu,1941年9月12日-),美国华裔加州参议院参议员,代表民主党在加利福尼亚州第21选区当选.,继承杰克·史考特(Jack Scott)。她也是加利福尼亚州首位女性亚裔参议员。2014
  • 燃烧驱动《燃烧驱动》是一部由世嘉和讲谈社联合制作的跨媒体作品。漫画版于2008年上半年开始连载,而同名的游戏则于同年12月推出。游戏和漫画的主角不是同一人,不过他们同时都在两部作
  • 四君子汤四君子汤是传统中医流传下来的药方,最早出现记载于宋朝的“和剂局方”。而四君子汤就是使用人参、白术、茯苓及甘草这四种中药材。一般来说,它具有滋胃健脾、补阳益气的效果,常