×
切蒂·汉森，雅各布；赫斯特德·凯尔斯特罗姆，亚当；安德烈亚斯·帕夫罗甘尼斯

单计数器和下推系统上可达性问题的紧边界。 （英语） Zbl 1516.68043号

信息处理。莱特。 171，文章ID 106135，5 p.（2021）.
摘要：我们考虑了单计数器系统（OCS）和下推系统（PDS）上的可达性问题。这个问题在两个模型上都有一个众所周知的“O（n^3）”界，而对于PDS来说，这个界被认为是紧的。在这里，我们为OCS和受限PDS上的可达性建立了新的上下界。我们证明，当限制为见证以\（\log n\）为界的堆栈高度的执行时，该问题可以（i）在OCSs上在\（O（n^\omega\cdot\log^2）\）时间内解决，并且（ii）在稀疏PDS上在\（O（n^2）\）时间内解决。此外，我们还证明了类似的下界。

MSC公司：

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

关键词：

下推系统；单计数器系统；Dyck可达性；形式语言
PDF格式BibTeX公司 XML格式引用
\textit{J.Cetti Hansen}等人，《信息处理》。莱特。171，文章ID 106135，5 p.（2021；Zbl 1516.68043）
全文： DOI程序

参考文献：

[1] 斯帕斯，J。；Ali，K。；Bodden，E.，使用同步下推系统进行上下文、流和场敏感数据流分析（POPL（2019））
[2] 马蒂亚森，A.A。；Pavlogiannis，A.，《安徒生指针分析的细粒度和并行复杂性》（Proc.ACM Program.Lang.，vol.5（POPL）（2021年1月）
[3] 张，Q。；Lyu，M.R。；袁，H。；Su，Z.，《Dyck-CFL快速算法与别名分析应用》（PLDI（2013）），435-446
[4] 代表，T。；霍维茨，S。；Sagiv，M.，通过图形可达性进行精确的过程间数据流分析，（POPL（1995）），49-61
[5] Reps，T.，通过图形可达性进行程序分析，（1997年逻辑编程国际研讨会论文集。1997年逻辑程序设计国际研讨会论文集中，ILPS’97（1997），麻省理工学院出版社：麻省理学院出版社，马萨诸塞州坎布里奇，美国），5-19·Zbl 0944.68038号
[6] Bouajjani，A。；埃斯帕尔扎，J。；Maler，O.，下推自动机的可达性分析：在模型检查中的应用，（CONCUR（1997），Springer Berlin Heidelberg），135-150·Zbl 1512.68135号
[7] 阿鲁尔（Alur，R.）。；Benedikt，M。；Etessami，K。；Godefroid，P。；代表，T.W。；Yannakakis，M.，递归状态机分析，ACM Trans。程序。语言系统。(2005)
[8] 查特吉，K。；Kragl，B。；米什拉，S。；Pavlogiannis，A.，加权递归状态机的快速算法，287-313（2017），Springer:Springer Berlin，Heidelberg·Zbl 1485.68057号
[9] Chaudhuri，S.，递归状态机的次立方算法，（POPL（2008）），159-169·Zbl 1295.68142号
[10] 海因策，N。；McAllester，D.，《关于子类型和流分析中的立方瓶颈》（LICS’97（1997），IEEE计算机学会：IEEE计算机协会，华盛顿特区，美国），342
[11] 查特吉，K。；乔达里，B。；Pavlogiannis，A.，《数据相关性和别名分析的最佳Dyck可达性》（Proc.ACM Program，Lang.，vol.2（POPL）（2018年12月））
[12] 查特吉，K。；Osang，G.，恒定树宽下推可达性，Inf.过程。莱特。，122, 25-29 (2017) ·Zbl 1422.68184号
[13] 威廉姆斯，V.V。；Williams，R.R.，路径、矩阵和三角形问题之间的次三次等价，J.ACM，65，5（2018年8月）·Zbl 1426.68133号
[14] Williams，V.V.，《关于算法和复杂性中的一些细粒度问题》（2019年），技术代表
[15] Madsen，M。；Möller，A.，《带指针和可达性的稀疏数据流分析》，（Müller-Olm，M.；Seidl，H.，《静态分析》（2014），Springer International Publishing：Springer国际出版公司Cham），201-218
[16] Tavares，A。；博伊西诺，B。；佩雷拉，F。；Rastello，F.，稀疏数据流分析程序表示的参数化构造，（Cohen，A.，编译器构造（2014），Springer Berlin Heidelberg:Springer Barlin Heitelberg Berlin，Heidelbrg），18-39
[17] 徐，G。；Rountev，A.，《检测低效使用的容器以避免膨胀》（PLDI’10（2010），ACM:美国纽约州纽约市ACM），160-173
[18] 查特吉，K。；易卜生-延森，R。；帕夫洛吉安尼斯，A。；Goyal，P.，《恒定树宽递归状态机代数路径属性的快速算法》（POPL（2015）），97-109·Zbl 1346.68047号
[19] 斯帕斯，J。；Do，L.N.Q。；Ali，K。；Bodden，E.，Boomerang:Java的需求驱动流和上下文敏感指针分析，（ECOOP，第56卷（2016），Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik），第22条，pp。
[20] 查特吉，K。；Goharshady，A.K。；易卜生-延森，R。；Pavlogiannis，A.，按需数据流分析的最佳和完美并行算法，（ETAPS（ESOP），第12075卷（2020），Springer），112-140
[21] 所有结构化程序都具有较小的树宽度和良好的寄存器分配，Inf.Comput。(1998) ·Zbl 0924.68023号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。