L (复杂度)

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

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

相关

  • 奈韦拉平奈韦拉平(英语:Nevirapine,NVP),是预防艾滋病的药物,尤其是针对HIV-1感染。常见的销售药品名为 Viramune,一般会建议和其他抗反转录病毒药物合并使用。本品可用于预防母婴垂直感染(
  • 苏联国家安全委员会国家安全委员会(俄语:Комите́т госуда́рственной безопа́сности, 听 帮助·信息,俄文罗马化:Komitet gosudarstvennoy bezopasnosti),通称
  • abbr class=abbr title=S1/2: 上锁储存并防止儿童触及S1/2/abbr安全建议标准词(英语:Safety phrases,简写:S-phrases)是于《欧盟指导标准67/548/EEC 附录Ⅳ: 有关危险物品与其储备的安全建议》里定义。该列表被集中并再出版于指导标准2001/59/
  • 弗雷德里希·米歇尔弗雷德里希·米歇尔(Friedrich Miescher,1844年8月13日-1895年8月26日),瑞士生物学家,出生于巴塞尔。他在1869年,首先从白血球的细胞核中,分离出一种他称为“核素”(nuclein,现称核酸)
  • 反因果系统反因果系统(anticausal system)是一种假想的系统,其内部状态及输出只和某些未来的输入有关。有些教科书或是出版物的定义较宽松,反因果系统只要和过去的输入无关即可,因此可以和
  • 亥姆霍兹赫尔曼·冯·亥姆霍兹(德语:Hermann von Helmholtz,1821年8月31日-1894年9月8日),德国物理学家、医生。赫尔曼·冯·亥姆霍兹1821年出生于德国的波茨坦,父亲为当地文法中学的教师。
  • 悉尼港悉尼港(英语:Sydney Harbour),又名杰克森港(Port Jackson),位于澳大利亚新南威尔士州悉尼。悉尼港是一个天然海港,东临南太平洋,西接巴拉马打河(流经巴拉马打市),并被广泛地认为是世界上
  • 影片 (消歧义)影片可能指:
  • 台湾清治时期行政区划清朝康熙年间将台湾纳入版图后设立了台厦道,与厦门共署,并同时隶属于当时的福建省。(道为清朝非正式行政区划之一,属于军区划分,为省的派出机关,其地位在省与府之间,清朝后期权力逐
  • 三藏三藏(梵语:त्रिपिटक,tripiṭaka;巴利语:Tipiṭaka),佛教术语,佛教经典的分类法,即经、律、论三种类别的佛典,包含:经藏(sūtrapiṭaka)、律藏(vinayapiṭaka)、论藏(abhidharmapiṭa