L (复杂度)

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

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的一种变体。

相关

  • α-氧化α-氧化是脂肪酸降解的一种方式,不过较β-氧化少见。其中,α-氧化是指在α-碳上的氧化。这种代谢途径发生在某些因β-碳被封闭(如连有甲基)而无法进行β-氧化的脂肪酸中,例如植烷
  • 经济昆虫学动物学人类学 · 人与动物关系学 蜜蜂学 · 节肢动物学 医学节肢动物学 · 鲸类学 贝类学 · 昆虫学 动物行为学 · 蠕虫学 两栖爬行动物学 · 鱼类学 软体动物学 · 哺乳动
  • 分居协议分居协议,或称为合法分居,是法律上的正式分居程序,但两人的婚姻关系仍然维持。分居协议可由法庭判令或经双方协议(视各国法律规定而异)。若关系中牵涉子女,分居协议亦会对子女的
  • 高琏长寿王(394年-491年),名高巨连或高琏,高句丽第二十代国王(413年至491年在位)。长寿王在位时期是高句丽的全盛时期。427年,他将高句丽的都城迁至平壤,这标志着高句丽将其扩张的方向从
  • 同轴电缆同轴电缆(Coaxial cable)是一种电线及信号传输线,一般是由四层物料造成:最内里是一条导电铜线,线的外面有一层塑胶(作绝缘体、电介质之用)围拢,绝缘体外面又有一层薄的网状导电体(一
  • 孪斑响尾蛇孪斑响尾蛇(学名:),或称双斑响尾蛇,是蛇亚目蝰蛇科蝮亚科响尾蛇属下的一种有毒响尾蛇,主要分布于美国及墨西哥,是阿利桑那州唯一一种有双斑排列式斑纹的响尾蛇。目前共有两个亚种已
  • 台湾马鞍树台湾马鞍树(学名:),又名岛槐,为豆科马鞍树属下的一个种。
  • 以地点命名的化学元素列表所有坐标的地图 - OSM 所有坐标的地图 - Google 所有上至200个坐标的地图 - Bing下表列出了一些以地点或地名或天体名称来命名的化学元素。第一个表列出了以地点或地名命名
  • 卧底 (消歧义)卧底即是对敌方阵营进行秘密潜入、以进行暗中调查与搜集情报的工作的特工,也可以指:
  • 大歧舌苔大歧舌苔(学名:Schistochila aligera)又名,狭瓣苔,是苔纲叶苔目歧舌苔科之下的一个物种;属有争议,有作歧舌苔属或狭瓣苔属()的。较粗大,扁平,黄绿色或草绿色,无光泽,有层次的成片平横贴生