NL完全

✍ dations ◷ 2025-11-28 15:33:17 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 逻辑语义学我们在论证中可能遇到的各种句子/判决的有效性条件依赖于它们的意义,所以负责任的逻辑学家不能完全避免提供某种处理这些句子的意义的需求。逻辑的语义指称逻辑学家已经介入
  • 关节镜关节镜(英Arthroscopy)是观察关节的状态的内视镜、相当于胃镜的关节版。实用的关节镜于1950年代在东京递信病院由整形外科部长渡边正毅等开发而在全世界范围推广开来。直径达
  • 轨道倾角轨道倾角通常是参考平面和另一个平面或轴的方向之间的夹角。轴倾斜的表示法是行星的自转轴和通过行星的中心垂直于公转轨道平面的线之间所夹的角度。明确的说,倾角是描述天体
  • 戈马戈马(法语:Goma)位于刚果民主共和国东部,为北基伍省首府,2004年人口249,862。地处基伍湖北岸,尼拉贡戈火山南麓,与卢旺达城市吉塞尼相邻。
  • 抱犊崮抱犊崮,归属兰陵县,位于山东省临沂市兰陵县西北40公里处,高584米,为鲁南群山最高峰。汉代叫“楼山”,魏晋称“仙台山”,直至唐宋时才称“抱犊崮”。,现建有抱犊崮国家森林公园。192
  • 埃及语埃及语(圣书体:�������,转写:r n km.t,中古埃及语IPA:)),是一种通行于古埃及的语言及文字,属亚非语系,跟闪语族(例如:希伯来语及阿拉伯语)及过去被编入含语族的北非诸语,如古实语族的贝支语及柏柏
  • 鸥翼车门鸥翼式车门(Gull-wing door)即原属于超级跑车的一种车门样式。将车门开启后,能呈现出‘海鸥展开羽翼的样貌’而得名。固定车门的活动机件置身于车体顶端部位,从下方往上方开启车
  • 黄泰安黄泰安(Titan Huang,1979年8月10日-),是一位台湾男演员,参与多部电视剧演出、广告拍摄等工作。
  • 小关一小关一(1932年5月7日-2013年11月18日)是日本的男性演员、声优。山形县出身。所属81 Produce。1975年1976年1977年1979年1980年1983年1989年1990年1991年1992年1995年1996年1997
  • 伊朗伊斯兰共和国通讯社伊朗伊斯兰共和国通讯社(خبرگزاري جمهوري اسلامي ايران),简称伊通社,是伊朗的官方通讯社之一,前身为1934年成立的波斯通讯社,1979年伊朗伊斯兰革命后改