×
艾丽特·凯特里尔；劳伦特·米歇尔；帕斯卡·范·亨特利克

以增量方式维护最长路径。 （英语） Zbl 1084.68027号

约束条件 10，第2期，159-183（2005）。
摘要：用于邻域搜索的建模和编程工具通常支持不变量，即声明性指定的数据结构，并在更改时自动增量维护。本文考虑了有向非循环图中最长路径的不变量，这是许多应用的基本抽象。它提出了弧插入和删除的有界增量算法，分别在（O（\|\delta\|+|\delta |\log|\delat|）时间和（O（\ |\delata\|）时间中运行，其中\（|\del塔|\）和\（|\ delta\|）是输入和输出变化的度量。本文还展示了如何将该算法推广到调度应用中遇到的各种类型的多次插入/删除。初步实验结果表明，该算法在实际应用中表现良好。

引用于5文件

MSC公司：

68第05页 数据结构
68兰特 计算机科学中的图论（包括图形绘制）
68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
05C85号 图形算法（图形理论方面）

关键词：

增量；最长路径；最重的路径；有界计算；图表；约束；本地搜索；行程安排

软件：

EasyLocal公司++；SALSA公司；彗星；国际奥委会；本地化程序；本地化程序++
PDF格式BibTeX公司 XML格式引用
\textit｛I.Katriel｝等人，《限制条件10》，第2号，159--183（2005年；Zbl 1084.68027）
全文： 内政部

参考文献：

[1] Aarts，E.、van Laarhoven，P.、Lenstra，J.和Ulder，N.（1994年）。作业车间调度局部搜索算法的计算研究。ORSA J.计算。6: 113-125. ·Zbl 0819.90040号
[2] Alpern，B.、Carle，A.、Rosen，B.、Sweeney，P.和Zadeck，K.（1990年）。计算电路的增量评估。第一届ACM-SIAM离散算法年度研讨会（SODA-90）论文集，加利福尼亚州旧金山（1月）·Zbl 0800.68626号
[3] Codognet，C.和Diaz，D.（2001年）。另一种约束求解的局部搜索方法。《随机算法：基础与应用国际研讨会论文集》（SAGA 2001），德国柏林（12月），第73-90页·Zbl 1054.68646号
[4] Dechter，R.、Meiri，I.和Pearl，J.（1991）。时间约束网络。阿蒂夫。智力。49: 61-95. ·Zbl 0737.68070号
[5] 戴尔？Amico，M.和Trubian，M.（1993年）。将禁忌搜索应用于job-shop调度问题。安·Oper。决议41:231-252·Zbl 0771.90056号 ·doi:10.1007/BF020203076文件
[6] Fredman，M.L.和Tarjan，R.E.（1987）。斐波那契堆及其在改进的网络优化算法中的应用。J.协会计算。机器。34: 596-615.
[7] Di Gaspero，L.和Schaerf，A.（2002年）。优化软件类库，使用EasyLocal++编写本地搜索算法一章。波士顿Kluwer
[8] Galinier，P.和Hao，J.-K.（2000年）。通过局部搜索求解约束的通用方法。在CP-AI-OR中？00，德国帕德博恩（3月）·Zbl 1076.68071号
[9] Katriel，I.（2004）。具有任意边权重的DAG中的动态最重路径。在CP-AI-OR中？04，Springer Verlag，法国尼斯（4月）·Zbl 1094.90582号
[10] Katriel，I.和Bodlaender，H.L.（2005）。在线拓扑排序。加拿大温哥华第一届ACM-SIAM离散算法年度研讨会论文集（SODA-2005）·Zbl 1297.05058号
[11] Laburthe，F.和Caseau，Y.（1998年）。SALSA：搜索算法语言。在CP中？98，意大利比萨斯普林格·弗拉格（Springer Verlag）（10月）·Zbl 1020.68028号
[12] Michel，L.和Van Hentenryck，P.（1992年）。用于本地搜索的基于约束的体系结构。在OOPLSA中？02，西雅图，华盛顿州（11月）。ACM SIGPLAN通知，ACM出版社，纽约（2002年）。
[13] Michel，L.和Van Hentenryck，P.（2000年）。定位器。限制5:41-82·Zbl 0988.90015号 ·doi:10.1023/A:1009818401322
[14] Michel，L.和Van Hentenryck，P.（2001年）。Localizer++：用于本地搜索的开放库。技术报告CS-01-02，布朗大学。
[15] Michel，L.和Van Hentenryck，P.（2003年）。增量维护最长路径。在CP中？03，Kinsale，爱尔兰（9月）·Zbl 1273.68355号
[16] Michel，L.和Van Hentenryck，P.（2004）。仓库位置的简单禁忌搜索。欧洲药典。第157/3:576-591号决议·Zbl 1067.90054号 ·doi:10.1016/S0377-2217（03）00247-9
[17] Nowicki，E.和Smutnicki，C.（1996）。针对job-shop问题的快速禁忌搜索算法。管理。科学。42(6): 797-813. ·Zbl 0880.90079号 ·doi:10.1287/mnsc.42.6.797
[18] Ramalingam，G.和Reps，T.（1996年）。最短路径问题的一个推广的增量算法。J.算法21:267-305·Zbl 0861.68035号 ·doi:10.1006/jagm.1996.0046
[19] Ramalingam，G.和Reps，T.（1996年）。关于动态图问题的计算复杂性。西奥。计算。科学。158: 233-277. ·Zbl 0871.68098号 ·doi:10.1016/0304-3975（95）00079-8
[20] Ramalingam，G.、Song，J.、Joscovicz，L.和Miller，R.E.（1999）。增量求解差异约束。算法23:261-275·Zbl 0921.68011号 ·doi:10.1007/PL00009261
[21] Reps，T.（1982）。面向语法导向编辑器的最佳时间增量语义分析。第九届美国计算机学会程序设计语言原理研讨会（POPL-82）论文集，美国计算机学会出版社。
[22] Shaw，P.、De Backer，B.和Furnon，V.（2002年）。改进了CP工具包的本地搜索。安·Oper。第115号决议：31-50·Zbl 1011.90036号 ·doi:10.1023/A:1021188818613
[23] Tarjan，R.（1985）。分摊的计算复杂性。SIAM J.Algebr。离散方法6:306-318·Zbl 0599.68046号 ·doi:10.1137/0606031
[24] Thorup，M.（2003）。具有递减键的整数优先级队列和单源最短路径问题。程序中。第35交响乐团。关于计算理论（STOC），第149-158页·兹比尔1192.90048
[25] Voss，S.和Woodruff，D.（2002）。优化软件类库。波士顿Kluwer·Zbl 1055.68044号
[26] Voudouris，C.、Dorne，R.、Lesaint，D.和Liret，A.（2001年）。iOpt：启发式搜索方法的软件工具包。在CP中？01，Springer Verlag，Paphos，塞浦路斯（10月）·Zbl 1067.68681号
[27] Walser，J.（1998）。通过局部搜索进行整数优化。柏林斯普林格·弗拉格
[28] Werner，F.和Winkler，A.（1995年）。用于job-shop问题启发式解决方案的插入技术。离散应用程序。数学。58(2): 191-211. ·Zbl 0833.90073号 ·doi:10.1016/0166-218X（93）E0127-K
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。