Labeling Methods for Partially Ordered Paths

Ricardo Euler,Pedro Maristany de las Casas
DOI: https://doi.org/10.1016/j.ejor.2024.05.002
2024-08-12
Abstract:The landscape of applications and subroutines relying on shortest path computations continues to grow steadily. This growth is driven by the undeniable success of shortest path algorithms in theory and practice. It also introduces new challenges as the models and assessing the optimality of paths become more complicated. Hence, multiple recent publications in the field adapt existing labeling methods in an ad hoc fashion to their specific problem variant without considering the underlying general structure: they always deal with multi-criteria scenarios, and those criteria define different partial orders on the paths. In this paper, we introduce the partial order shortest path problem (POSP), a generalization of the multi-objective shortest path problem (MOSP) and in turn also of the classical shortest path problem. POSP captures the particular structure of many shortest path applications as special cases. In this generality, we study optimality conditions or the lack of them, depending on the objective functions' properties. Our final contribution is a big lookup table summarizing our findings and providing the reader with an easy way to choose among the most recent multi-criteria shortest path algorithms depending on their problems' weight structure. Examples range from time-dependent shortest path and bottleneck path problems to the electric vehicle shortest path problem with recharging and complex financial weight functions studied in the public transportation community. Our results hold for general digraphs and, therefore, surpass previous generalizations that were limited to acyclic graphs.
Data Structures and Algorithms,Optimization and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to handle the more complex partially - ordered shortest path problem (POSP) in the multi - criteria shortest path problem (MOSP). Specifically, the paper introduces the partially - ordered shortest path problem (POSP), which is a generalized version of the multi - objective shortest path problem (MOSP) and also a generalized version of the classical shortest path problem. POSP captures the specific structures in many shortest - path applications and exists as a special case. ### Main Problems 1. **Definition and Properties of the Partially - Ordered Shortest Path Problem (POSP)**: - The paper defines the partially - ordered shortest path problem (POSP), in which each path is assigned a weight from the partially - ordered weight space. - It studies the optimality conditions or the lack of these conditions, depending on the properties of the objective function. 2. **Applicable Conditions of Label - Setting and Label - Correcting Algorithms**: - It identifies under which conditions label - setting and label - correcting algorithms can be used to solve POSP. - Based on these conditions, it derives label - setting and label - correcting algorithms applicable to POSP. 3. **Improving the Time Complexity of Existing Algorithms**: - By choosing the recently proposed multi - objective Dijkstra algorithm (MDA) as the basis, it improves the time complexity bounds in several existing literatures. 4. **Application Examples**: - It provides a large lookup table, summarizes the research findings, and provides readers with a simple method to select the latest multi - criteria shortest path algorithm according to the weight structure of the problem. - Application examples include time - dependent shortest path problems, bottleneck path problems, shortest path problems for electric vehicles (considering charging), and complex financial weight functions in the field of public transportation. ### Contributions - **Introducing POSP**: It proposes the partially - ordered shortest path problem (POSP), which is a generalized version of the multi - objective shortest path problem (MOSP). - **Optimal Sub - structure Conditions**: It studies under which conditions POSP instances have an optimal sub - structure, and based on these conditions, it develops label - setting and label - correcting algorithms. - **Improving Time Complexity**: By choosing the multi - objective Dijkstra algorithm (MDA) as the basis, it improves the time complexity bounds in several existing literatures. - **Application Examples**: It provides multiple practical application examples to demonstrate the applicability of POSP in different scenarios. ### Conclusion The paper provides a unified framework to handle various multi - objective shortest path problems by introducing the partially - ordered shortest path problem (POSP). By studying the optimal sub - structure conditions, it develops label - setting and label - correcting algorithms applicable to POSP, and verifies their effectiveness and practicality through practical application examples.