L (复杂度)

✍ dations ◷ 2025-07-11 14:27:31 #数学中未解决的问题,复杂度类,概率复杂度类,闭包算子,计算机科学中未解决的问题

L也称为LSPACE或DLOGSPACE,是计算复杂度理论中能被确定型图灵机利用对数空间解决的判定问题集合。

对数空间是指与输入规模成对数大小关系的可写的储存空间,大多数对数空间(LOGSPACE)算法以这种方式储存。

重要的相关未解问题包括复杂度类L和P是否恒等(L = P)及复杂度类L和NL是否恒等(L = NL)。目前已知有以下重要性质:

和功能性问题相关的类别是FL,在计算复杂度理论,FL是一个复杂度类,是能被确定型图灵机在对数空间下解决的函数问题的集合。

依照同样的原理,可以定义相应的FP,FNP,TFNP。

FL常用来定义对数空间归约(Log-space reduction,Log-空间规约)。对数空间归约指仅使用对数空间的确定型图灵机进行的规约。区别于常见的多项式时间规约,对数空间规约只允许DTM使用若干个log n(n是输入长度)空间。对数空间规约在定义NL-完全(NLC,NL-complete)问题时候起作用。

L是NL的子集,NL是可以被非确定型图灵机利用对数空间解决的判定问题集合。利用萨维奇定理的建构式证明,可得证NL包含在复杂度P之内,也就是可以被确定型图灵机在多项式空间解决的判定问题集合中。

存在几个已知的NL-完全问题,如2SAT(英语:2-satisfiability)。

根据萨维奇定理,我们已知有以下重要性质:

在计算复杂度理论内,RL(Randomized Logarithmic-space,随机对数空间),或者说RLP(Randomized Logarithmic-space Polynomial-time,随机对数空间多项式时间),是一个复杂度类,包含能以概率图灵机,在对数空间与多项式时间之内,在仅有单向容错的状况内解决的问题。此命名法与RP,这个相近但是没有对数空间限制的复杂度类是雷同的。

在定义RL时的概率图灵机,不会在回答YES的时候犯错。但是允许在回答NO的时候有小于1/3的犯错机会;这种容纳错误的方式被称作(one-sided error)。这里的1/3不是一个绝对的数值;任何符合SC包含一般图灵机以多项式时间和多项式对数空间解决的问题;换句话说,给予一般机器多项式对数的空间,则可以模拟机率图灵机使用对数空间的能力。

一般相信RL = L,换句话说,概率图灵机不会在对数空间下比确定型图灵机更强,多项式时间对数空间的计算方式可以完全的去随机化。这猜想的一个主要证据由Reingold et al.在2005年提出。这问题的证明在无条件去随机化里面可以说是一个被追寻的圣杯。这问题其中一个重大迈进是Omer Reingold证明了SL = L。

在计算复杂度理论,SL(Symmetric Logspace,对称对数空间),是一个复杂度类,是能被对称图灵机(英语:Symmetric Turing machine)在对数空间下解决的判定问题的集合。其存在以下重要性质:

USTCON问题(undirected s-t connectivity,关于无向图两点之间是否存在一个路径的问题)作为一个SL完全(SLC,SL-complete)的SL下的重要特例,通常和SL本身被一起讨论。

2004年10月Omer Reingold成功证明USTCON问题属于L,因为USTCON问题属于SL完全,这便等于证明了SL = L。即,SL是L的一种变体。

相关

  • 拉莫三嗪拉莫三嗪(lamotrigine;LTG、嗪/qín)。葛兰素史克注册为Lamictal,在南非称作Lamictin、以色列叫做Lamogine、在台湾称作乐命达、在韩国则称라믹탈。是一种苯三嗪类的广谱抗癫痫
  • 轻子时期轻子时期是物理宇宙学在宇宙演化早期的一个时期,这时的宇宙是由轻子这种物质主导。他大概开始于大爆炸之后1秒,在多数的强子和反强子相互湮灭的强子时期的尾端。在轻子时期的
  • 潜在热带气旋潜在热带气旋(英语:Potential Tropical Cyclone)指的是近岸热带扰动将于48小时之内命名,并且有极大几率吹袭陆地的一种分级。美国气象局会对这种分级的热带系统发布预警信号。美
  • 弗拉格斯塔夫弗拉格斯塔夫(英语:Flagstaff;莫哈维语:Kinłání),又译旗手市,是美国亚利桑那州的一座城市,位于科罗拉多高原南缘。传说是很久以前为纪念一群支持美利坚星条旗人物,人们直接把一棵
  • 第25步兵师美国陆军第25步兵师隶属于美国陆军太平洋司令部第8军,绰号“热带闪电”,是美国太平洋战区主要的陆军力量,可以在接到动员令后18小时内开始部署。第25步兵师属轻型作战师,机动灵
  • 驻欧空军美国驻欧空军(United States Air Forces in Europe,USAFE),为美国欧洲司令部的空军部分,为美国本土外两个主要空军司令部之一(另一个为美国太平洋空军司令部)。美国驻欧洲空军总部
  • F2FSF2FS(英语:Flash-Friendly File System)是一种闪存文件系统,主要由金载极(韩语:김재극)在三星集团研发,适合Linux内核使用。此文件系统起初是为了NAND闪存的存储设备设计(诸如固态硬
  • 天主教解放天主教解放或天主教救济(英语:Catholic emancipation 或 Catholic relief)是大不列颠和爱尔兰联合王国在18世纪中叶到19世纪早期的一个运动,试图减轻或消除对天主教徒的限制,包括
  • 安东尼·柏金斯安东尼·柏金斯(英语:Anthony Perkins,1932年4月4日-1992年9月12日),美国电影、舞台剧演员,代表作是在是亚弗列德·希区考克执导的恐怖片《惊魂记》之中,演出诺曼·贝兹(Norman Bate
  • 金泽 (成化进士)金泽(?-1513年),字德润,应天府江宁县人,明朝政治人物。成化丙戌进士,弘治末年官至南京都察院右都御史。祖籍浙江鄞县(今属宁波市)。成化二年(1466年),登进士。成化七年,授刑部云南司主事。