×
阿杰什·巴布；利马耶·努坦；贾库马尔·拉德哈克里希南；基里什·瓦尔马

语言识别问题的流算法。 （英语） Zbl 1294.68100号

西奥。计算。科学。 494, 13-23 (2013).
摘要：我们研究了流模型中以下问题的复杂性。
的成员资格测试 DLIN公司我们展示了DLIN公司可以通过具有逆多项式单侧误差的随机单程\（O（\logn）\）空间算法和确定性\（p\）-单程\（O（n/p）\）空间算法来识别。我们证明了这些算法是最优的。
的成员资格测试\（\mathsf{LL}（k）\）。对于由\（\mathsf｛LL｝（k）\）语法生成的语言，在最左边的推导中的任何阶段，非终端数的界为\（r\），我们证明了成员资格可以通过具有逆多项式（in\（n\））单侧误差的随机一次\（O（r\log n）\）空间算法来测试。
的成员资格测试 DCFL公司。我们表明，对于DLIN公司和\（\mathsf{LL}（k）\）（它们是DCFL公司)不能全部存在DCFL公司：中有一种语言虚拟专用实验室（的一个子类DCFL公司)对于这种情况，任何误差范围为（epsilon<1/2）的随机（p）通过算法都必须使用（Omega（n/p））空间。
学位顺序问题。我们研究了在给定序列（d_1，d_2，dots，d_n）和图（G）的情况下，判定（G）度序列是否精确为。我们给出了一个具有逆多项式单边错误概率的随机单程（O（logn））空间算法。我们证明了我们的算法是最优的。
我们的随机算法基于F.马格尼兹等[摘自：第42届ACM计算理论年会论文集，STOC’10。美国马萨诸塞州剑桥市，2010年。纽约州纽约市：ACM。261–270 (2010;Zbl 1293.68149号)]；我们的下界是通过考虑相关的通信复杂性问题得到的。

引用于5文件

MSC公司：

65年第68季度 形式语言和自动机
68瓦20 随机算法
65年第68季度 算法和问题复杂性分析

关键词：

流式算法；随机算法；通信复杂性；无语境语言

引文：

Zbl 1293.68149号
PDF格式BibTeX公司 XML格式引用
\textit{A.Babu}等人，Theor。计算。科学。494、13-23（2013年；Zbl 1294.68100）
全文： 内政部

参考文献：

[1] 马格尼兹，F。；马修，C。；Nayak，A.，《识别流模型中带括号的表达式》，（第42届ACM计算理论研讨会论文集。第42届ASM计算理论会议论文集，STOC’10（2010），ACM：美国纽约州纽约市ACM），261-270·Zbl 1293.68149号
[2] Alon，N。；马蒂亚斯，Y。；Szegedy，M.，《近似频率矩的空间复杂性》，（第二十八届ACM计算理论研讨会论文集。第二十八届ASM计算理论会议论文集，STOC’96（1996），ACM：美国纽约州纽约市ACM），20-29·兹伯利0922.68057
[4] Nisan，N.，《用于天基计算的伪随机生成器》，（第二十二届ACM计算理论研讨会论文集。第二十二届年度ACM计算原理研讨会论文集，STOC'90（1990），ACM：美国纽约州纽约市ACM），204-212
[5] Indyk，P.，《稳定分布、伪随机生成器、嵌入和数据流计算》，美国计算机学会期刊，53307-323（2006）·Zbl 1326.68161号
[6] O.伊巴拉。；姜涛（Jiang，T.）。；Ravikumar，B.，（\textsf{NC}{}^1）中无上下文语言的一些子类，信息处理快报，29111-117（1988）·Zbl 0659.68073号
[7] 纳苏，M。；Honda，N.，由pgsm-mapping诱导的映射和有限概率自动机的一些递归无法解决的问题，信息与控制，15，250-273（1969）·Zbl 0188.03501号
[8] 希格拉，C.D.L。；Oncina，J.，《学习确定性线性语言》，（计算学习理论。计算学习理论，COLT 02。计算学习理论。计算学习理论，COLT 02，人工智能课堂讲稿，第2375卷（2002年），Springer Verlag），185-200·Zbl 1050.68085号
[9] 霍尔泽，M。；Lange，K.-J.，《关于线性LL（1）和LR（1）文法的复杂性》，（第九届国际计算理论基础研讨会论文集。第九届计算理论基础国际研讨会论文集，FCT’93（1993），Springer:Springer London，UK），299-308·Zbl 0794.68085号
[10] 刘易斯，P.M。；Stearns，R.E.，句法定向转导，ACM杂志，15，465-488（1968）·Zbl 0164.32102号
[11] Knuth，D.E.，自上而下的语法分析，信息学报，179-110（1971）·Zbl 0233.68022号
[13] Walljasper，S.，Left-derivation有界语言，《计算机与系统科学杂志》，8，1-7（1974）·Zbl 0281.68039号
[14] Workman，D.，《Turn-bounded grammars and their relation to ultralinear languages》，《信息与控制》，第32期，第188-200页（1976年）·Zbl 0336.68032号
[15] 南卡罗来纳州金斯堡。；Spanier，E.H.，《Finite-turn下推自动机》，SIAM控制杂志，第4429-453页（1966年）·Zbl 0147.25302号
[16] 巴布，A。；利马伊，N。；Varma，G.，《对数空间中一些问题的流式算法》，（Kratochvl，J.；Li，A.；Fiala，J.，Kolman，P.，《计算模型的理论和应用》，《计算模式的理论与应用》，计算机科学讲义，第6108卷（2010），施普林格：施普林格柏林，海德堡），94-104·Zbl 1284.68267号
[18] Vollmer，H.，《电路复杂性导论：统一方法》（1999），Springer-Verlag纽约公司：Springer-Verlag纽约有限公司，美国新泽西州塞考克斯
[20] Feigenbaum，J。；Kannan，S。；施特劳斯，M。；Viswanathan，M.，数据流的测试和抽查，算法，3467-80（2002）·Zbl 1016.68028号
[21] 霍普克罗夫特，J.E。；Motwani，R。；Ullman，J.D.，《自动机理论、语言和计算导论》（2006），Addison-Wesley Longman Publishing Co.，Inc.：Addison-Whesley Longman出版社，Inc.美国马萨诸塞州波士顿
[22] Motwani，R。；Raghavan，P.，《随机算法》（1995），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市·兹比尔0849.68039
[23] Kurki-Soonio，R.，自顶向下语言注释，BIT数值数学，9225-238（1969）·Zbl 0187.27905号
[24] Kushilevitz，E。；Nisan，N.，《通信复杂性》（2006），剑桥大学出版社：剑桥大学出版社，美国纽约州纽约市
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。