德米特里·奇斯蒂科夫;沃伊切赫，切尔文斯基;彼得·霍夫曼;Micha Pilipczuk;迈克尔·韦哈尔 单计数器系统中的最短路径。 （英语） Zbl 1407.68249号 日志。方法计算。科学。 15，第1号，第19号论文，28页（2019年）. 摘要：我们证明了任何具有\（n\）状态的单计数器自动机，如果其语言非空，则最多接受一些长度为\（O（n^2）\）的单词。这缩小了先前已知的\（O（n^3）\）上界和\（Omega（n^2）\）下界之间的差距。更一般地说，我们证明了一对跃迁系统中任意配置之间最短路径长度的紧上界（较弱的界以前在文献中出现过）。 引用于2文件 MSC公司： 65年第68季度 形式语言和自动机 2005年4月68日 计算机科学中的组合数学 关键词：单计数器自动机;单计数器系统;最短路径 软件：陆军装备司令部 PDF格式BibTeX公司 XML格式引用 \textit{D.Chistikov}等人，《日志》。方法计算。科学。15，第1号，第19号论文，28页（2019年；Zbl 1407.68249） 全文： arXiv公司 参考文献： [1] R.Alur和P.´Cern´y。用于单程列表处理程序算法验证的流式传感器。第38届ACM SIGPLAN-SIGACT编程语言原理研讨会，2011年POPL，第599-610页，2011年·Zbl 1284.68159号 [2] T.Ang、G.Pighizini、N.Rampersad和J.Shallit。自由组中的自动和简化单词。CoRR，abs/0910.45552009年。统一资源定位地址http://arxiv.org/abs/0910.4555。 [3] M.F.Atig、A.Bouajjani、K.N.Kumar和P.Saivasan。共享内存系统的有界可达性分析。在第34届软件技术和理论计算机科学基础国际会议上，FSTTCS 2014，莱布尼茨国际信息学论文集（LIPIcs）第29卷，第611-623页。Schloss Dagstuhl Leibniz Zentrum fuer Informatik出版社，2014年·Zbl 1360.68624号 [4] C.Barrett、S.Demri和M.Deters。见证柜台机器的运行。在《组合系统的前沿——第九届国际研讨会》中，FroCoS 2013，《计算机科学讲义/人工智能讲义》第8152卷，第120-150页。施普林格，2013年·Zbl 1397.68122号 [5] S.B–ohm、S.G–oller和P.Jan’汽车。确定性单计数器自动机的等价性是NL-完全的。2013年STOC’13计算机理论研讨会，第131-140页。统一资源定位地址http://doi.acm.org/10.1145/2488608.2488626。 ·Zbl 1293.68181号 [6] A.Bouajjani、J.Esparza和O.Maler。下推自动机的可达性分析：在模型检查中的应用。在CONCUR’97：并发理论，第八届国际会议，计算机科学讲稿第1243卷，第135-150页。施普林格，1997年·Zbl 1512.68135号 [7] A.Bouajjani、P.Habermehl和R.Mayr。使用一个整数参数自动验证递归过程。理论。计算。科学。，295:85-106, 2003. 网址https://doi.org/10.1016/S0304-3975（02）00397-3·Zbl 1053.68060号 [8] P.G.布拉德福德。Dyck和半Dyck标记路径可达性的有效精确路径。CoRR，abs/1802.052392018年。统一资源定位地址http://arxiv.org/abs/1802.05239。 [9] D.奇斯蒂科夫。关于有限机器计数的注意事项。第34届软件技术和理论计算机科学基金会国际会议，FSTTCS 2014，莱布尼茨国际信息学学报（LIPIcs）第29卷，第339-350页。Dagstuhl-Leibniz-Zentrum fuer Informatik宫，2014年·Zbl 1360.68548号 [10] D.Chistikov、W.Czerwinski、P.Hofman、M.Pilipczuk和M.Wehar。单计数器系统中的最短路径。在软件科学基础和计算结构计算机科学笔记中，第462-478页。斯普林格，2016年。统一资源定位地址https://doi.org/ 10.1007/978-3-662-49630-5_27. ·Zbl 1475.68147号 [11] T.H.Cormen、C.E.Leiserson、R.L.Rivest和C.Stein。算法导论，第二版。麻省理工学院出版社和麦格劳-希尔图书公司，2001年。国际标准图书编号0-26203293-7·Zbl 1047.68161号 [12] J.Deleage和L.Pierre。Dyck语言的有理指数D0*1.Theor。计算。科学。，47(3):335-343, 1986. doi:10.1016/0304-3975（86）90158-1。网址https://doi.org/10.1016/0304-3975（86）90158-1·Zbl 0632.68072号 [13] S.Demri和R.Gascon。限定句法资源对Presburger LTL的影响。J.日志。计算。，19(6):1541-1575, 2009. 统一资源定位地址http://dx.doi.org/10.1093/logcom/exp037·Zbl 1193.03033号 [14] K.Etessami、D.Wojtczak和M.Yannakakis。准生灭过程、树状QBD、概率1-计数器自动机和下推系统。执行。评估。，67(9): 837-857, 2010. [15] A.Farzan、Z.Kincaid和A.Podelski。证明这一点。在2014年第41届ACM SIGPLAN-SIGACT编程语言原理研讨会上，POPL’14，第151-164页。统一资源定位地址http://doi.acm.org/10.1145/2535838.2535885。 ·Zbl 1284.68395号 [16] P.Hofman、R.Mayr和P.Totzke。单计数器网络弱模拟的可判定性。第28届ACM/IEEE计算机科学逻辑年会，2013年LICS，第203-212页，2013年·Zbl 1366.68206号 [17] D.C.Kozen。算法设计与分析。计算机科学的文本和专著。施普林格，1992年。国际标准图书编号978-3-540-97687-5。 [18] P.Lafourcade、D.Lugiez和R.Treinen。同态类AC方程理论的入侵演绎。研究报告LSV-04-16，Laboratoire Sp´ecification et V´erification，ENS Cachan，法国，2004年11月。统一资源定位地址http://www.lsv.ens-cachan。fr/Publis/RAPORTS_LSV/PS/rr-LSV-2004-16.rr.PS.69页。 [19] P.Lafourcade、D.Lugiez和R.Treinen。同态类AC方程理论的入侵推理。《学期改写与应用》，第16届国际会议，RTA 2005，计算机科学讲稿第3467卷，第308-322页。施普林格，2005年·Zbl 1078.68034号 [20] M.Latteux。语言不是竞争对手。J.计算。系统。科学。，26(1):14-33, 1983. ·Zbl 0508.68050号 [21] J.Leroux和S.Schmitz。向量加法系统可达性的解密。在2015年第30届ACM/IEEE计算机科学逻辑研讨会上，LICS，第56-67页·Zbl 1392.68308号 [22] 皮埃尔。无上下文语言锥的生成器的有理索引。理论。计算。科学。，95(2):279-305, 1992. doi:10.1016/0304-3975（92）90269-L。网址https://doi.org/10.1016/0304-3975（92）90269-L·Zbl 0745.68068号 [23] A.Podelski和A.Rybalchenko。ARMC：通过抽象精化进行软件模型检查的逻辑选择。《声明语言的实践方面》，第九届国际研讨会，2007年PADL，计算机科学讲稿第4354卷，第245-259页。施普林格，2007年。 [24] A.Stewart、K.Etessami和M.Yannakakis。单调多项式系统上牛顿方法的上界，概率单计数器自动机的p时间模型检验。美国医学杂志，62（4）：30:1-30:332015。统一资源定位地址http://doi.acm.org/10.1145/2789208系统-联合IFIP WG 6.1国际会议，FMOODS/FORTE 2013，作为第八届分布式计算技术国际联合会会议的一部分举行，DisCoTec 2013，计算机科学讲稿第7892卷，第209-224页。施普林格，2013年·Zbl 1426.68177号 [25] W·托马斯。无限图上的可达性问题。计算机科学理论与应用，俄罗斯第四届国际计算机科学研讨会，CSR 2009，计算机科学讲义第5675卷，第12-18页。施普林格，2009年·Zbl 1248.68390号 [26] D.沃伊特扎克。递归概率模型：有效的分析和实现。博士论文，英国爱丁堡大学，2009年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。