NL完全

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

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

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

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

相关

猪只猪科（学名：Suidae）属于哺乳纲偶蹄目，共有约20种现生物种与许多化石物种，包括家猪以及疣猪和鹿豚等多种野猪。所有物种均原产于亚洲、欧洲、非洲等旧大陆地区。已知最早的猪科化石
曼吉斯套州曼格斯套州（哈萨克语：Маңғыстау облысы）是哈萨克斯坦的一个州份，西临里海，东邻乌兹别克，南邻土库曼。面积165,600平方公里。人口373,400（2006年资料）。首府阿克套。1
β胡萝卜素胡萝卜素（英语：carotene）是指若干种相关的不饱和烃，分子式为C40H56，由植物合成，但动物不能制造。胡萝卜素是橘色的光合色素。对于人眼视觉，各种胡萝卜都是有颜色的。胡萝卜素使许多
厄立特里亚意属厄立特里亚（意大利语：Colonia eritrea）指1890年起由意大利占领并管治的厄立特里亚殖民地，首府为阿斯马拉。随着苏伊士运河于1869年竣工，环红海地区与欧洲地区的航运迅速地发
鹱形目.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
南开大学教育基金会南开大学教育基金会，是对社会各界捐资给南开大学教育事业的资金进行管理的专业性非营利性社会组织，是独立的非公募基金法人。登记机关为天津市教育委员会。南开大学教育基金会
2016年尼斯袭击事件2016年尼斯袭击，是2016年7月14日在法国尼斯的一场恐怖袭击事件。突尼斯裔法国人穆罕默德·拉豪杰·布哈勒蓄意驾驶一辆货车撞向在法国尼斯盎格鲁街庆祝国庆日的人群，随后又向
周显宗周显宗（1962年3月11日－）是台湾的漫画家。出生于台北。血型B型。国立台湾艺术专科学校雕塑科毕业。代表作为《折纸战士》系列。折纸战士得奖纪录。
汇泉国际坐标：22°22′02″N 114°08′17″E / 22.3673008°N 114.1381265°E / 22.3673008; 114.1381265汇泉国际有限公司（英语：Telford International Company Limited）是一家由方振文
北台乡北台乡，是中华人民共和国河北省保定市曲阳县下辖的一个乡镇级行政单位。北台乡下辖以下地区：土岭村、韩家峪村、罗家峪村、西良峪村、榆林村、黄岭洼村、董家沟村、张家峪村、