[論文レビュー] A Local-To-Global Theorem for Congested Shortest Paths

Shyan Akmal, Nicole Wein|arXiv (Cornell University)|Nov 13, 2022

Advanced Graph Theory Research被引用数 1

ひとこと要約

この論文は、AmiriとWargallaのDAGにおける最短路の局所的〜グローバル的定理を一般のグラフへ拡張する。無向グラフの場合、任意の4ノードの集合が共通の最短路に含まれるならば、すべてのノードが1つの最短路に含まれることを証明する。有向グラフの場合、元の定理は成立しないが、ラウンドトリップの類似定理が成り立つ——任意のノードは、あるペア(s, t)について、sからtへの最短路またはtからsへの最短路のいずれかに含まれる。この結果により、k−cが定数であるとき、無向グラフにおける(k, c)-SPC問題に対して多項式時間アルゴリズムが可能になる。

ABSTRACT

Amiri and Wargalla proved the following local-to-global theorem about shortest paths in directed acyclic graphs (DAGs): if G is a weighted DAG with the property that for each subset S of 3 nodes there is a shortest path containing every node in S, then there exists a pair (s,t) of nodes such that there is a shortest st-path containing every node in G. We extend this theorem to general graphs. For undirected graphs, we prove that the same theorem holds (up to a difference in the constant 3). For directed graphs, we provide a counterexample to the theorem (for any constant). However, we prove a roundtrip analogue of the theorem which guarantees there exists a pair (s,t) of nodes such that every node in G is contained in the union of a shortest st-path and a shortest ts-path. The original local-to-global theorem for DAGs has an application to the k-Shortest Paths with Congestion c ((k,c)-SPC) problem. In this problem, we are given a weighted graph G, together with k node pairs (s_1,t_1),… ,(s_k,t_k), and a positive integer c ≤ k, and tasked with finding a collection of paths P_1,… , P_k such that each P_i is a shortest path from s_i to t_i, and every node in the graph is on at most c paths P_i, or reporting that no such collection of paths exists. When c = k, there are no congestion constraints, and the problem can be solved easily by running a shortest path algorithm for each pair (s_i,t_i) independently. At the other extreme, when c = 1, the (k,c)-SPC problem is equivalent to the k-Disjoint Shortest Paths (k-DSP) problem, where the collection of shortest paths must be node-disjoint. For fixed k, k-DSP is polynomial-time solvable on DAGs and undirected graphs. Amiri and Wargalla interpolated between these two extreme values of c, to obtain an algorithm for (k,c)-SPC on DAGs that runs in polynomial time when k-c is constant. In the same way, we prove that (k,c)-SPC can be solved in polynomial time on undirected graphs whenever k-c is constant. For directed graphs, because of our counterexample to the original theorem statement, our roundtrip local-to-global result does not imply such an algorithm (k,c)-SPC. Even without an algorithmic application, our proof for directed graphs may be of broader interest because it characterizes intriguing structural properties of shortest paths in directed graphs.

研究の動機と目的

• AmiriとWargallaのDAGにおける最短路の局所的〜グローバル的定理が、一般の無向および有向グラフへ拡張可能かどうかを同定すること。
• 局所的に小さなノード集合が最短路に含まれるという条件が、グローバルに1つの最短路にすべてのノードが含まれることを示す構造的問題を解明すること。
• 無向グラフにおけるk-Shortest Paths with Congestion c ((k, c)-SPC)問題へのアルゴリズム的影響を確立すること。
• 特に、混雑とルートカバレッジの文脈において、有向グラフにおける最短路の構造的制限を特定すること。

提案手法

• 無向グラフに対して、任意の4ノードの部分集合が共通の最短路に含まれるならば、すべてのノードが1つの最短路に含まれることを示すことにより、局所的〜グローバル的定理を証明する。
• 元のDAG定理が拡張されないことを示す反例を構築する——非対称な辺重みを持つ双方向サイクルを用いる。
• 有向グラフに対するラウンドトリップ類似定理を導入する：任意のノードは、あるペア(s, t)について、sからtへの最短路またはtからsへの最短路のいずれかに含まれる。
• 帰納的パススイッチングの議論と巡回順序補題を用いて、局所的条件のもとでのパス存在性を証明する。
• 臨界ノード補題とパス分解技術を用いて、複雑なノード順序におけるパスカバレッジを検証する。
• 最短路順序とパス交差の構造的解析を用いて、仮定されたパス構成における矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 DAGにおける最短路の局所的〜グローバル的性質は無向グラフへ拡張可能か？ もしそうなら、必要な局所的条件サイズは何か？
• RQ2 元のDAG用の局所的〜グローバル的定理は、一般の有向グラフへ拡張可能か、それとも根本的な障害があるか？
• RQ3 有向グラフに対して、グローバルなパスカバレッジ性質を保つ意味のある局所的〜グローバル的定理の類似物は存在するか？
• RQ4 k−cが定数であるとき、無向グラフにおける(k, c)-SPC問題に対する局所的〜グローバル的性質のアルゴリズム的影響は何か？
• RQ5 局所的パス包含条件のもとで、有向グラフにおける最短路の構造的性質は完全に特徴付け可能か？

主な発見

• 無向グラフの場合、任意の4ノードの集合が共通の最短路に含まれるならば、グラフ内のすべてのノードが1つの最短路に含まれる。
• 無向グラフの場合、定数4を3に小さくすることはできず、4サイクルの反例によって示される。
• 有向グラフの場合、元の局所的〜グローバル的定理は成立しない——非対称な辺重みを持つ双方向サイクルを用いた反例が存在する。
• 有向グラフに対して、ラウンドトリップの局所的〜グローバル的定理が成り立つ：任意のノードは、あるペア(s, t)について、sからtへの最短路またはtからsへの最短路のいずれかに含まれる。
• k−cが定数であるとき、無向グラフにおける(k, c)-SPC問題は多項式時間で解ける。これは、DAGにおける先行結果の拡張である。
• 有向グラフにおける構造的解析は、特にパススイッチングおよび巡回順序の議論を通じて、最短路順序に深い制約があることを明らかにする。