×
马修·安德森;马修·威廉姆森;苏布拉马尼，K。

最短负成本周期问题算法的实证分析。 （英语） Zbl 1401.05276号

离散应用程序。数学。 253, 167-184 (2019).
摘要：在本文中，我们对最短负成本周期（SNCC）问题的三种算法进行了实证分析。在这个问题中，我们得到了一个有向加权图（G=langle V，E，c&rangle），其目标是确定具有最少边数的负成本循环。SNCC问题在许多领域都有应用，从程序验证到验证算法设计。该问题的第一个多项式时间算法是在[K.Subramani公司、J.Autom。推理43，第2期，121-137（2009；Zbl 1184.68468号)]. 从那时起，一些额外的技术，包括随机方法，已经被提出用于SNCC问题。本文的目标是从实证角度分析这一问题的三种算法范式。为此，我们在广泛的输入中概述了这些算法方法。我们的结果表明，随机算法是对许多图类的选择算法。

引用于2文件

MSC公司：

05C85号 图形算法（图形理论方面）
05C22号 有符号图和加权图
05C82号 小世界图形、复杂网络（图形理论方面）

关键词：

图论;单源最短路径;路径宽度;周期;不同边缘宽度

引文：

Zbl 1184.68468号

软件：

DIMACS公司
PDF格式BibTeX公司 XML格式引用
\textit{M.Anderson}等人，《离散应用》。数学。25316-184（2019年；Zbl 1401.05276）
全文： 内政部

参考文献：

[1] 布鲁姆，M。；鲁比，M。；Rubinfeld，R.，《数值问题的自测试/修正及其应用》，计算机杂志。系统。科学。，47, 3, 549-595, (1993) ·Zbl 0795.68131号
[2] 科尔曼，T.H。；Leiserson，C.E。；Rivest，R.L。；Stein，C.，《算法导论》（2009），麻省理工学院出版社：麻省剑桥·Zbl 1187.68679号
[3] S.Cotton，E.Asarin，O.Maler，P.Niebert，差异逻辑可满足性检查的一些进展，in：FORMATS/FTRTFT，2004，pp.263-276。；S.Cotton，E.Asarin，O.Maler，P.Niebert，差异逻辑可满足性检查的一些进展，收录于：FORMATS/FTRTFT，2004年，第263-276页·Zbl 1109.68513号
[4] S.Cotton，O.Maler，《dpll（t）的快速灵活差分约束传播》，收录于：SAT，2006年，第170-183页。；S.Cotton，O.Maler，《dpll（t）的快速灵活差分约束传播》，收录于：SAT，2006年，第170-183页·Zbl 1187.68537号
[5] P.Cousot，R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于：POPL，1977年，第238-252页。；P.Cousot，R.Coosot，《抽象解释：通过构造或近似不动点对程序进行静态分析的统一格模型》，载于：POPL，1977年，第238-252页。
[6] L.de Moura、S.Owre、H.Ruess、J.M.Rushby、N.Shankar，《ICS嵌入扣除的决策程序》，载于《国际会计准则汇编》，2004年，第218-222页。；L.de Moura、S.Owre、H.Ruess、J.M.Rushby、N.Shankar，《ICS嵌入扣除的决策程序》，载于《国际会计准则汇编》，2004年，第218-222页·Zbl 1126.68575号
[7] C.Demetrescu、A.Goldberg、D.Johnson，第九次DIMACS实施挑战-最短路径，2005年，http://www.dis.uniroma1.it网站/挑战9/；C.Demetrescu、A.Goldberg、D.Johnson，第九次DIMACS实施挑战-最短路径，2005年，http://www.dis.uniroma1.it网站/挑战9/
[8] Durstenfeld，R.，《算法235：随机置换，Commun》。ACM，7，7，420，（1964），网址http://doi.acm.org/10.1145/364520.364540
[9] J.Ford，N.Shankar，《组合决策程序的形式验证》，载于：CADE，2002年，第347-362页。；J.Ford，N.Shankar，联合决策程序的正式验证，载于：CADE，2002，第347-362页·Zbl 1072.68570号
[10] C.C.Han，K.J.Lin，带时间距离约束的作业调度，技术代表UIUCDCS-R-89-1560，伊利诺伊大学香槟分校计算机科学系，1989年。；C.C.Han，K.J.Lin，带时间距离约束的作业调度，技术代表UIUCDCS-R-89-1560，伊利诺伊大学香槟分校计算机科学系，1989年。
[11] 列维，S.T。；特里帕蒂，S.K。；卡森，S.D。；Agrawala，A.K.，硬实时操作系统，ACM Spec.Interest Group Oper。系统。，23, 3, 90-106, (1989)
[12] Orlin，J.B。；Subramani，K。；Wojciechowski，P.，寻找网络中最短负成本周期的随机算法，离散应用。数学。，236, 1, 387-394, (2018) ·Zbl 1377.05181号
[13] Papadimitriou，C.H.，计算复杂性，（1994），Addison-Wesley：Addison-Whesley纽约·Zbl 0833.68049号
[14] Pindo，M.，《调度：理论、算法和系统》，（1995年），《普伦蒂斯·霍尔：普伦蒂塞·霍尔·恩格尔伍德悬崖》·兹比尔1145.90393
[15] J.M.Rushby，《教程：使用pvs、sal和yices的自动形式化方法》，收录于：SEFM，2006年，第262页。；J.M.Rushby，《教程：使用pvs、sal和yices的自动形式化方法》，收录于：SEFM，2006年，第262页。
[16] Seshia，S。；Bryant，R.E.，使用参数化解边界确定无量词Presburger公式，Log。方法计算。科学。，1, 2, (2005) ·Zbl 1125.03010号
[17] S.A.Seshia，S.K.Lahiri，R.E.Bryant，《具有未解释功能的分离逻辑的基于卫星的混合决策程序》，载于：DAC，2003年，第425-430页。；S.A.Seshia，S.K.Lahiri，R.E.Bryant，《具有未解释功能的分离逻辑的基于卫星的混合决策程序》，载于：DAC，2003年，第425-430页。
[18] 斯坦科维奇，J.A。；Rammritham，K.，《硬实时系统》（1988），IEEE计算机学会出版社：IEEE计算机协会出版社洛斯·阿拉米托斯
[19] Subramani，K.，《在实时调度中指定透视、约束和周期的综合框架》，计算。J.，48，3，259-272，（2005）
[20] Subramani，K.，《全洞察力调度分析》，J.Sched。，8, 2, 113-133, (2005) ·Zbl 1154.90493号
[21] Subramani，K.，差分约束系统的最优长度分辨率反驳，J.自动机。原因。（罐子），43，2121-137，（2009）·Zbl 1184.68468号
[22] Subramani，K。；威廉姆森，M。；Gu，X.，差分约束系统中最优长度分辨率反驳的改进算法，Form.Asp。计算。，25, 2, 319-341, (2013) ·Zbl 1259.68261号
[23] Tseitin，G.，《论命题演算中推导的复杂性》，（构造数学和数学逻辑研究，（1970）），第115-125页·兹比尔0205.00402
[24] 医学博士威廉姆森。；Subramani，K.，负成本围长问题的并行实现，国际J。并行程序。，43, 2, 240-259, (2015)
[25] 医学博士威廉姆森。；Subramani，K.，《关于平面网络中的负成本周长问题》，《离散算法》，35，40-50，（2015）·Zbl 1343.05144号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。