NL完全

✍ dations ◷ 2025-11-27 08:30:31 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 右肺动脉肺动脉肺部的动脉,是人体内循环系统中肺循环的重要组成部分。与其他动脉不同,肺动脉中运输的是去氧血而非带氧血液。肺动脉携带去氧血由右心室打出,在肺部交换气体后,打入左心房
  • 结构基因结构基因(英语:structural gene)是指基因编码的产物为调节因子(调控基因)以外的蛋白质的基因,可以用于编码结构蛋白、酶或不涉及调控的非编码RNA。这些基因对细胞的形态和功能特征
  • 三浦倭乱三浦倭乱,又称庚午倭变,在日本称为三浦之乱,指的是1510年(朝鲜中宗5年)阴历4月4日朝鲜荠浦(乃而浦)、釜山浦、盐浦发生的日本人叛乱,后来室町幕府对马守直接介入了叛乱,但最终被朝鲜
  • 梧栖港梧栖渔港是位于台湾台中市清水区,在民国七十八年(1989年),人潮渐渐增多,原为小型渔村,因政府征收了附近的海埔地,兼顾渔业的发展与契合社会的需求,将渔港朝生产、休闲、观光方向发展
  • 盐盘盐盘是一片由盐或其他矿物铺成的旷地,常见于沙漠地带。一般是原来的河湖蒸发之后形成的。在地名中,常用“盐沼”(如乌尤尼盐沼)、“盐湖”(如纳马克盐湖)来指代盐盘。盐盘地有一定
  • 鲸豚水族馆鲸豚水族馆是指有饲养鲸鱼或海豚的水族馆,大部分的鲸豚馆将动物饲养在大水池中,少数会将动物圈养在半开放式的海湾或箱网内. 圈养的鲸豚主要训练做为公开的表演活动,或是近距离
  • 腾讯平板管家腾讯平板管家是腾讯公司推出的用于Windows 8和Windows RT操作系统的安全软件,可从Windows应用商店下载。该软件具有系统清理、文件保险箱、系统信息三种功能。此功能可清理系
  • 冰岛艺术学院冰岛艺术学院(冰岛语:Listaháskóli Íslands)是一所位于冰岛雷克雅未克的高等教育机构,只为冰岛学生提供艺术类大学教育。 1998年9月21日 由冰岛戏剧学院和雷克雅未克艺术学
  • Fétizon氧化反应Fétizon氧化反应是以负载于硅藻土的碳酸银作为氧化剂,对伯醇和仲醇的氧化反应。这种氧化剂又称Fétizon试剂,于1968年由Marcel Fétizon首次使用。它是一种温和的试剂,适用于
  • 髭(英语:mustache, /ˈmʌstæʃ/),又称八字胡、二撇鸡,是一种胡须的款式,因其造型向外两撇向上唇生长而得名。