NL完全

✍ dations ◷ 2025-04-02 12:39:33 #计算复杂性理论,理论计算机科学

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

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

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

相关

  • 滨州医学院滨州医学院是一所省属高等医学院校。1970年,青岛医学院整体搬迁至山东省滨州市办学。1976年学院迁回青岛原址,留1/3的教职工和物资设备在北镇成立青岛医学院北镇分院。现有滨
  • 十五第八第十埃及第十五王朝是古埃及历史上的一个王朝,为西克索人所立,定都于阿瓦里斯。本王朝存在时间从前1674年至前1535年,属于第二中间期。现今人们常将其和第十六王朝与埃及第
  • 策梅洛定理 (博弈论)策梅洛定理(英语:Zermelo's theorem)是博弈论的一条定理,以恩斯特·策梅洛命名。定理表示在二人的有限游戏中,如果双方皆拥有完全的信息,并且运气因素并不牵涉在游戏中,那先行或后
  • 泪或称泪液、泪水,是眼睛外部的泪腺所分泌的液体。泪的原料是血液中的水分,它经由泪腺分泌出来后、通过并润湿眼球表面,之后进入鼻泪管,流入鼻腔内而进入喉咙。它不只可湿润眼角
  • 极坐标系在数学中,极坐标系(英语:Polar coordinate system)是一个二维坐标系统。该坐标系统中任意位置可由一个夹角和一段相对原点—极点的距离来表示。极坐标系的应用领域十分广泛,包括
  • 武汉大学校友列表本条目为各个阶段武汉大学的校友列表,包括曾就读于武大的学生和任职于武大的教职工。按照担任校长职务的时间顺序排列。自强学堂方言学堂国立武昌高等师范学校国立武昌师范大
  • 托尔曼-奥本海默-沃尔科夫方程在天体物理学中,托尔曼-奥本海默-沃尔科夫方程(英语:Tolman–Oppenheimer–Volkoff equation)是在广义相对论框架下描述一个处在定态引力平衡状态下的各向同性球对称物体结构的
  • 天主教哈尔科夫-扎波罗热教区天主教哈尔科夫-扎波罗热教区(拉丁语:Dioecesis Kharkiviensis-Zaporizhiensis;乌克兰语:Харківсько-Запорізька дієцезія;俄语:Диоцез Хар
  • 陆敏学陆敏学,山西承宣布政使司大同县人。明朝解元、政治人物。明神宗万历四十三年(1615年),中式乙卯科山西乡试第一名举人(解元)。
  • 损失函数在最优化,统计学,计量经济学,决策论,机器学习和计算神经科学的领域中,损失函数或成本函数是指一种将一个事件(在一个样本空间中的一个元素)映射到一个表达与其事件相关的经济成本或