劳伦特·米歇尔;帕斯卡·范·亨特利克 以增量方式维护最长路径。 （英语） Zbl 1273.68355号 Rossi，Francesca（编辑），约束编程的原理和实践–CP 2003。2003年9月29日至10月3日，第九届国际会议，CP 2003，爱尔兰金赛尔。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20202-1/pbk）。莱克特。票据计算。科学。2833, 540-554 (2003). 摘要：用于邻域搜索的建模和编程工具通常支持不变量，即声明性指定的数据结构，并在更改时自动增量维护。本文考虑了有向无环图中最长路径的不变量，这是许多应用的基本抽象。它提出了弧插入和删除的有界增量算法，分别运行于\（O（\ |\delta\|\log\ |\delta\|）\和\（O[\ |\德尔塔\ |）\中，其中\（\ |\ delta\ |\）是输入和输出变化的度量。本文还展示了如何将该算法推广到调度应用程序中遇到的各类多重插入/删除。初步实验结果表明，该算法在实际应用中表现良好。关于整个系列，请参见[Zbl 1024.00062号]. 引用于1文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 软件：EasyLocal公司++;本地化程序;本地化程序++;国际奥委会;SALSA公司 PDF格式BibTeX公司 XML格式引用 \textit{L.Michel}和\textit{P.Van Hentenryck}，莱克特。票据计算。科学。2833540-554（2003年；Zbl 1273.68355） 全文： DOI程序