NL完全

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

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

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

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

相关

脂肪细胞脂肪细胞（英语：adipocyte）是构成脂肪组织的主要细胞，专门用于将能量储存为脂肪。有两种脂肪组织：白色脂肪组织与棕色脂肪组织，也叫做白色脂肪和棕色脂肪，包括了两种脂肪细胞。白色
人口金字塔人口金字塔（Population pyramid），是用于表现某时间点上的年龄直方图，能反映一地区人口男女比例与年龄构成。这种表示方式显示了年龄和性别资料，为一种可直接且清晰知晓人口组成的
演化支演化支是一个分类学的类别，包含着单一的共同祖先及其所有后裔。任何一个演化支都可以说是一个单系群，并以种系发生学的树状图或支序分类学的演化树来表示。若一个演化支在不同
HD 40307 gHD 40307 g，为一颗位于绘架座的太阳系外行星，位于恒星HD 40307的适居带之内，距离地球42光年。2012年10月28日，米可·托米等人借助欧洲南方天文台HARPS光谱仪设备发现了该行星。1
粉红粘帚霉Clonostachys araucaria Clonostachys araucaria var. confusa Clonostachys rosea Gliocladium aureum Gliocladium roseum Haplotrichum roseum Penicillium roseum粉红粘
纽澳大洋洲（英语：Oceania），是指地缘政治学，将澳大利亚洲与太平洋诸岛屿并称的地理区域，大洋洲并不是地质学上严格意义的“大洲”，占全球总陆地面积的6%。在4万至12万5千年前，澳大利亚土
荣町 (台北市)荣町为台湾日治时期台北市之行政区，位于台北城内新公园之西，今台北市中正区的衡阳路、宝庆路、秀山街之全部及博爱路、延平南路之一部均在町内，衡阳路在当时名为“荣町通”。荣
2013年海湾国家杯2013年海湾国家杯（阿拉伯语：كأس الخليج‎）于2013年1月5日至18日于巴林举行，是第 21 届海湾国家杯赛事。巴林 v 阿曼卡塔尔 v 阿联酋卡塔尔 v 阿曼巴林 v 阿联
阿拉戈阿阿拉戈阿（葡萄牙语：Alagoa）是巴西米纳斯吉拉斯州的一个市镇。总面积161.555平方公里，总人口2825人，人口密度17.5人/平方公里。
前冢厚志前冢厚志，艺名：前冢あつし（1962年3月19日－），日本男性配音员、旁白。出身于大阪府。身高166cm。体重67kg。A型血。本名相同。初期以本名名义活动，1990年代之后艺名怪物前冢（モンスタ