Abstract:The Multi-Objective Shortest-Path (MOS) problem finds a set of Pareto-optimal solutions from a start node to a destination node in a multi-attribute graph. To solve the NP-hard MOS problem, the literature explores heuristic multi-objective A*-style algorithmic approaches. A generalized MOS algorithm maintains a "frontier" of partial paths at each node and performs ordered processing to ensure that Pareto-optimal paths are generated to reach the goal node. The algorithm becomes computationally intractable as the number of objectives increases due to a rapid increase in the non-dominated paths, and the concomitantly large increase in Pareto-optimal solutions. While prior works have focused on algorithmic methods to reduce the complexity, we tackle this challenge by exploiting parallelism using an algorithm-architecture approach. The key insight is that MOS algorithms rely on the ordered execution of partial paths to maintain high work efficiency. The OPMOS framework, proposed herein, unlocks ordered parallelism and efficiently exploits the concurrent execution of multiple paths in MOS. Experimental evaluation using the NVIDIA GH200 Superchip shows the performance scaling potential of OPMOS on work efficiency and parallelism using a real-world application to ship routing.
Distributed, Parallel, and Cluster Computing,Artificial Intelligence,Hardware Architecture,Data Structures and Algorithms,Performance
What problem does this paper attempt to address?
This paper attempts to address the computational complexity and efficiency challenges in the multi - objective shortest path (MOS) problem, especially when the number of objectives increases. Specifically:
1. **Problem Background**:
- In many optimization problems, multiple different and often competing objectives need to be optimized simultaneously. For example, when planning a road trip, one may want to minimize the driving distance, driving time, and tolls; in maritime voyage planning, one may focus on the fastest and most fuel - efficient routes.
- The MOS problem aims to find a set of Pareto - optimal solutions from the start point to the end point, that is, a set of paths where no objective can be improved without worsening other objectives.
2. **Limitations of Existing Methods**:
- Existing MOS algorithms rely on heuristic A* - style methods to handle NP - hard problems. As the number of objectives increases, the number of non - dominated paths increases rapidly, leading to a sharp rise in computational complexity.
- Although previous research has reduced complexity through algorithmic methods, these methods still face challenges when dealing with a large number of objectives.
3. **Core Contributions of the Paper**:
- A new framework, OPMOS (Ordered Parallel Multi - objective Shortest Path), is proposed, which uses an algorithm - architecture combination method to improve computational efficiency through parallelization.
- The key to OPMOS is to maintain ordered parallel processing, ensuring that each extracted label is as close as possible to the global Pareto - optimal order, thereby reducing redundant work.
4. **Specific Problems Solved**:
- **Computational Complexity**: As the number of objectives increases, the computational complexity increases significantly. OPMOS reduces the bottleneck caused by single - thread processing by processing multiple paths in parallel.
- **Parallel Performance**: By distributing the processing of intermediate non - dominated labels and proposing a new load - balancing algorithm to reduce load imbalance, the parallel execution efficiency is improved.
- **Practical Applications**: Experiments are carried out using the NVIDIA GH200 Superchip for evaluation, demonstrating the performance scalability potential of OPMOS in real - world applications such as ship route planning.
5. **Evaluation and Verification**:
- The TMPLAR framework is used as a benchmark, which can handle real - world scenarios with more than 10 objectives, solving the problem of the lack of multi - objective graph benchmarks.
- The experimental results show that OPMOS achieves a geometric mean 14 - fold acceleration relative to serial execution on a 72 - core Arm CPU.
In summary, by proposing the OPMOS framework, this paper solves the computational complexity and parallel performance problems of the multi - objective shortest path problem under high - dimensional objectives, providing new ideas and tools for efficiently solving large - scale multi - objective optimization problems.