NL完全

✍ dations ◷ 2025-11-23 20:13:14 #计算复杂性理论,理论计算机科学

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

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

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

相关

基层基层官僚（street-level bureaucracy），政治学术语，是指公共事务部门中负责实际处理运用法律法规而进行具体行政行为的基层公务人员。基层官僚的定义由米歇尔·利普斯基（Michael Li
无公害食品绿色食品是指按特定生产方式生产，并经国家有关的专门机构认定，准许使用绿色食品标志的无污染、无公害、安全、优质、营养型的食品。在许多国家，绿色食品有着许多相似的名称和叫
停车场停车场是供车辆停放之场所。停车场有仅画停车格而无人管理及收费的简易停车场，亦有配有出入栏口、泊车管理员及计时收款员的收费停车场。现代化的停车场常有自动化计时收费系
博克斯卡号博克斯卡号轰炸机（英语：Bockscar）有时称为“博克的车”（Bock's Car），是美国陆军航空队一架B-29轰炸机的名字，这架轰炸机就是促使第二次世界大战结束，于1945年8月9日在日本的长崎市投
唐纳德·布莱德曼唐纳德·乔治·布莱德曼爵士，AC（Sir Donald George Bradman，1908年8月27日－2001年2月25日），通常被称之为唐（The Don）。他是一位被世界公认为历史上最伟大的板球手。布莱德曼的生涯击
伊万·斯特兰斯基伊万·尼科洛夫·斯特兰斯基（保加利亚语：Иван Николов Странски，德语：Iwan Nicolá Stranski，1897年1月2日－1979年6月19日），是一名保加利亚物理化学家，被认为是晶
圣埃伦娜区 (拉克鲁斯县)坐标：10°56′38″N 85°41′01″W / 10.94389°N 85.68361°W / 10.94389; -85.68361圣埃伦娜区（西班牙语：Santa Elena District, La Cruz），是哥斯达黎加的行政区，位于该国西北部
大明朝大明朝，是指1960年至1970年期间在安徽来安县，由苏顺武为首成立的一个秘密结社政权。1970年4月，公安机关介入此案，并很快将所有案犯抓获。1972年2月5日，苏顺武被枪决。
2017年匈牙利大奖赛2017年匈牙利大奖赛（英语：2017 Hungarian Grand Prix），官方名称为2017年一级方程式赛车倍耐力匈牙利大奖赛（匈牙利语：Formula 1 Pirelli Magyar Nagydíj 2017），是2017年7月30日举办
边山半岛国立公园边山半岛国立公园（朝鲜语：변산반도국립공원／邊山半島國立公園 */?）是位于韩国全罗北道扶安郡的海岸型国立公园。1988年6月11日与月出山国立公园被同时指定，总面积155平方公里