巴斯蒂安塞雷;洛依格·杰泽奎尔;莱姆，迪迪埃 参数化加权图中的单源最短路径枚举算法。 （英语） Zbl 07405994号 Lepori，Alberto（编辑）等人，《语言与自动机理论与应用》。2021年3月1日至5日，第15届国际会议，LATA 2021，意大利米兰。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12638, 279-290 (2021). 摘要：我们考虑具有参数化权重的加权图，并提出了一种算法，在给定这样一个图和一个源节点的情况下，建立一个树集合，每个树描述了参数空间的特定区域从源到图的所有其他节点的最短路径。此外，这些区域的并集涵盖了整个参数空间：给定参数的任何赋值，当使用该赋值计算权重时，其中一棵树给出了从源到图中所有其他节点的最短路径。有关整个系列，请参见[Zbl 1470.68022号]. MSC公司： 65年第68季度 形式语言和自动机 关键词：最短路径;权图;参数化图 PDF格式BibTeX公司 XML格式引用 \textit{B.Sérée}等人，Lect。注释计算。科学。12638、279--290（2021；Zbl 07405994） 全文： 内政部 哈尔 参考文献： [1] Alur，R.，Henzinger，T.A.，Vardi，M.Y.：参数实时推理。In:ACM计算理论研讨会，第592-601页（1993）·Zbl 1310.68139号 [2] 安德烈女士。；布洛曼，V。；佩特鲁奇，L。；范德波尔，J。；Vojnar，T。；Zhang，L.，参数时间自动机的最小时间合成，系统构造和分析的工具和算法，211-228（2019），Cham:Spriger，Cham·doi:10.1007/978-3-030-17465-1_12 [3] 安德烈，É。，Lime，D.，Ramparison，M.，Stoelinga，M.：攻击故障树的参数分析。参见：Keller，J.，Penczek，W.（编辑）第19届并行应用于系统设计国际会议（ACSD 2019），德国亚琛。IEEE计算机学会，2019年6月 [4] Bundala，D。；Ouaknine，J.，关于参数定时自动机和单计数器机器，Inf.Compute。，253, 272-303 (2017) ·Zbl 1362.68131号 ·doi:10.1016/j.ic.2016.07.011 [5] Chakraborty，S.、Fischer，E.、Lachish，O.、Yuster，R.：参数最短路径问题的两阶段算法。摘自：Marion，J.-Y.，Schwentick，T.（eds.）第27届计算机科学理论方面国际研讨会，STACS 2010，法国南希，2010年3月4日至6日，LIPIcs第5卷，第167-178页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）（2010年）·Zbl 1230.68228号 [6] 卡普，RM；Orlin，JB，《循环人员配置应用的参数最短路径算法》，离散应用。数学。，3, 1, 37-45 (1981) ·Zbl 0453.68032号 ·doi:10.1016/0166-218X（81）90026-3 [7] 石灰，D。；俄亥俄州鲁克斯；塞德纳，C。；多纳泰利，S。；Haar，S.，时间petri网中有界成本可达性的参数合成，petri网和并发的应用和理论，406-425（2019），Cham:Springer，Cham·Zbl 07796235号 ·doi:10.1007/978-3-030-21571-222 [8] Young，N。；Tarjan，R。；Orlin，J.，《更快的参数最短路径和最小平衡算法》，《网络》，21，2，205-221（1991）·Zbl 0719.90087号 ·doi:10.1002/net.3230210206 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。