TY - GEN
T1 - Partially Disjoint Shortest Paths and Near-Shortest Paths Trees
AU - Dinitz, Yefim
AU - Dolev, Shlomi
AU - Kumar, Manish
AU - Schieber, Baruch
N1 - Publisher Copyright:
© The Author(s), under exclusive license to Springer Nature Switzerland AG 2025.
PY - 2025/1/1
Y1 - 2025/1/1
N2 - One of the ways to increase communication reliability is by sending k duplicate messages along different routes. This gives rise to the problem of finding k shortest paths between a given source and destination. An unconstrained solution of the k shortest paths problem may output paths that overlap in almost all edges. Clearly, using such paths will have an adverse impact on the communication reliability. On the other extreme, a solution of k independent shortest paths, which are paths that share neither an edge nor an intermediate node may not be realistic for several reasons: such paths may not exist, if they exist they may be very long compared to the shortest path, and the computational effort of finding such paths may be prohibitive. This motivated us to investigate the intermediate case in which the number of edges that are not shared among any two paths in the output k paths is parameterized. We explore both exactly shortest paths and near-shortest paths. Our results are also generalized to the case of multi-criteria prioritized weights. Next, we consider the related albeit different problem of computing the k shortest paths trees, which are the k spanning trees with minimum total path length. This problem was introduced by Sedeño-Noda and González-Martín (2010). They solved it using a greedy algorithm and proved its correctness using linear programming theory. We provide an alternative, combinatorial and simpler proof of the correctness of the same greedy algorithm. We believe that the combinatorial approach can lead to a better understanding and possible extensions of the related results.
AB - One of the ways to increase communication reliability is by sending k duplicate messages along different routes. This gives rise to the problem of finding k shortest paths between a given source and destination. An unconstrained solution of the k shortest paths problem may output paths that overlap in almost all edges. Clearly, using such paths will have an adverse impact on the communication reliability. On the other extreme, a solution of k independent shortest paths, which are paths that share neither an edge nor an intermediate node may not be realistic for several reasons: such paths may not exist, if they exist they may be very long compared to the shortest path, and the computational effort of finding such paths may be prohibitive. This motivated us to investigate the intermediate case in which the number of edges that are not shared among any two paths in the output k paths is parameterized. We explore both exactly shortest paths and near-shortest paths. Our results are also generalized to the case of multi-criteria prioritized weights. Next, we consider the related albeit different problem of computing the k shortest paths trees, which are the k spanning trees with minimum total path length. This problem was introduced by Sedeño-Noda and González-Martín (2010). They solved it using a greedy algorithm and proved its correctness using linear programming theory. We provide an alternative, combinatorial and simpler proof of the correctness of the same greedy algorithm. We believe that the combinatorial approach can lead to a better understanding and possible extensions of the related results.
UR - http://www.scopus.com/inward/record.url?scp=85207838309&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-74498-3_17
DO - 10.1007/978-3-031-74498-3_17
M3 - Conference contribution
AN - SCOPUS:85207838309
SN - 9783031744976
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 240
EP - 254
BT - Stabilization, Safety, and Security of Distributed Systems - 26th International Symposium, SSS 2024, Proceedings
A2 - Masuzawa, Toshimitsu
A2 - Katayama, Yoshiaki
A2 - Kim, Yonghwan
A2 - Kakugawa, Hirotsugu
A2 - Nakamura, Junya
PB - Springer Science and Business Media Deutschland GmbH
T2 - 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024
Y2 - 20 October 2024 through 22 October 2024
ER -