NL完全

✍ dations ◷ 2025-06-30 19:19:13 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 地屈孕酮地屈孕酮(英语:Dydrogesterone,商品名为Duphaston等)是一种黄体制剂药物,用于治疗一系列疾病,包括妊娠期的习惯性流产,黄体期缺陷(LPD)造成的功能失调性子宫出血和不孕,经痛,子宫内膜异
  • 等熵热力学中的等熵过程(英语:Isentropic process or Isoentropic process)指的是过程中没有发生熵变,熵值保持恒定的过程。可逆绝热过程就是一种等熵过程。等熵过程在温度-熵图(T-S
  • 电影奖本列表列出世界各地所举办的电影奖项(不含各国影评人协会电影奖)。收到回复决定符合公司缴费
  • 何国宗何国宗(?-1767年),字翰如,直隶顺天府大兴县人,进士出身,历任礼部左侍郎、清朝礼部尚书。康熙五十一年,登进士,改庶吉士,授日讲起居注官、翰林院侍讲学士,后升任内阁学士、国子监算学总裁
  • 肉鳍鱼总纲肉鳍鱼总纲(学名:Sarcopterygii)是硬骨鱼类的一个演化支。此类鱼的特点是鱼鳍中有一个中轴骨,在前鳍的基部上有明显的肌肉组织与分开的两片腹鳍,和之后两栖动物和四足类动物的演
  • 市场失灵市场失灵(英文:Market Failure)为微观经济学术语,系立基于竞争市场的运作所发生问题的经济理论。传统自由经济学者认为,一个社会中的供给与需求可以构成完全竞争市场。而完全竞争
  • 地幔熱柱地幔热柱(Mantle plume)或热柱或地幔柱是地球等行星地幔热对流的一种方式。较热的岩石由地幔底部一路上升至地幔顶部,此时岩石顶部会部分熔融,岩浆进而喷出地表,而这可能是热点或
  • 新机动战记高达 W 无尽的华尔兹《新机动战记高达 W:无尽的华尔兹》(新機動戦記ガンダムW Endless Waltz)是1997年发售的日本OVA作品,共三集,后来剪辑成动画电影《新机动战记高达 WEndless Waltz 特别篇》于19
  • 奈奥格·索希普奈奥格·索希普(Nyog'Sothep)是克苏鲁神话中一个神秘的外神(Outer Gods),有关他的一切我们知之甚少。甚至他的名字都只不过是一个密码——Nyog'Sothep,这个名字在外来神的黑暗语言
  • 红胸鹦鹉红胸鹦鹉(),又名红胸亚马逊鹦鹉或红胸亚马逊鹦哥,是分布在阿根廷、巴西及巴拉圭的鹦鹉。红胸鹦鹉色彩鲜艳,长30厘米。它们主要呈绿色,前额红色,颈背蓝色,胸部像葡萄红色。红胸鹦鹉非