Modeling and programming tools for neighborhood search often support invariants, i.e., data structures specified declaratively and automatically maintained incrementally under changes. This paper considers invariants for longest paths in directed acyclic graphs, a fundamental abstraction for many applications. It presents bounded incremental algorithms for arc insertion and deletion which run in O(∥δ∥log∥δ∥) and O(∥δ∥) respectively, where ∥δ∥ is a measure of the change in the input and output. The paper also shows how to generalize the algorithm to various classes of multiple insertions/deletions encountered in scheduling applications. Preliminary experimental results show that the algorithms behave well in practice. © Springer-Verlag 2003.
CITATION STYLE
Michel, L., & Van Hentenryck, P. (2003). Maintaining longest paths incrementally. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2833, 540–554. https://doi.org/10.1007/978-3-540-45193-8_37
Mendeley helps you to discover research relevant for your work.