[論文レビュー] Near Optimal Algorithm for the Directed Single Source Replacement Paths Problem

Shiri Chechik, Ofer Magen|arXiv (Cornell University)|Apr 28, 2020

Recycling and Waste Management Techniques被引用数 5

ひとこと要約

この論文は、重みなし有向グラフにおける有向単一始点置換路（SSRP）問題のための確率的組合せ的アルゴリズムを提示する。実行時間は Õ(m√n + n²) であり、条件付き組合せ的下界に一致することで近似的最適性を達成する。この研究は、組合せ的設定におけるSSRPの計算量の複雑さを解明し、小さな有理数の重みへと拡張され、強化された下界結果が得られる。

ABSTRACT

In the Single Source Replacement Paths (SSRP) problem we are given a graph $G = (V, E)$, and a shortest paths tree $\\widehat{K}$ rooted at a node $s$, and the goal is to output for every node $t \\in V$ and for every edge $e$ in $\\widehat{K}$ the length of the shortest path from $s$ to $t$ avoiding $e$. We present an $\ ilde{O}(m\\sqrt{n} + n^2)$ time randomized combinatorial algorithm for unweighted directed graphs. Previously such a bound was known in the directed case only for the seemingly easier problem of replacement path where both the source and the target nodes are fixed. Our new upper bound for this problem matches the existing conditional combinatorial lower bounds. Hence, (assuming these conditional lower bounds) our result is essentially optimal and completes the picture of the SSRP problem in the combinatorial setting. Our algorithm extends to the case of small, rational edge weights. We strengthen the existing conditional lower bounds in this case by showing that any $O(mn^{1/2-\\epsilon})$ time (combinatorial or algebraic) algorithm for some fixed $\\epsilon >0$ yields a truly subcubic algorithm for the weighted All Pairs Shortest Paths problem (previously such a bound was known only for the combinatorial setting).

研究の動機と目的

• 有向重みなしグラフにおける単一始点置換路（SSRP）問題の計算量ギャップを埋めるために、近似的最適な時間計算量を達成すること。
• アルゴリズムを小さな有理数の辺重みへと拡張し、重み付きケースにおけるより強い条件付き下界を確立すること。
• SSRPに対して O(mn^{1/2−ε}) 時間のアルゴリズムが存在するならば、重み付き全点対最短経路（APSP）問題に対して真のサブキュービックなアルゴリズムが得られることを示し、従来の下界結果を強化すること。
• 重み付きケースにおいてSSRPがAPSPほど難しいかどうかという未解決の問いを解消するために、同じ仮定のもとで条件付きで困難であることを示すこと。

提案手法

• 与えられた最短経路木に含まれる各辺を避けるように、始点からすべてのノードへの置換路距離を計算する確率的組合せ的アルゴリズムを設計する。
• 行列積を置換路クエリを介してシミュレートするため、注意深く重み付けられた経路を備えた補助グラフの新規構築を行う。
• 重みなしグラフにおける最短経路の構造を活用し、経路分解と頂点ラベル付けを用いて、辺障害下での距離を効率的に計算する。
• 行シフトをシミュレートするため、長さの長い経路で接続されたソースノードを用いて、重みが[1,2)に属するグラフにおける行列積（MP）からSSRPへの還元を行う。
• MPからSSRPへの還元と、SSRPからAPSPへの還元を組み合わせ、SSRP問題の条件付き下界を確立する。
• 経路比較モデルと既知の下界仮定を用い、現在の複雑性理論的予想のもとで、アルゴリズムの実行時間が本質的に最適であることを示す。

実験結果

リサーチクエスチョン

• RQ1 重みなし有向グラフにおける有向SSRP問題に対して、近似的最適な組合せ的アルゴリズムを設計できるか？
• RQ2 同じ仮定のもとで、有向ケースにおけるSSRP問題は、全点対最短経路（APSP）ほど条件付きで難しいか？
• RQ3 SSRPに対して真のサブキュービックなアルゴリズムが存在するならば、重み付きAPSPに対しても真のサブキュービックなアルゴリズムが得られるか？
• RQ4 アルゴリズムを小さな有理数の辺重みへと拡張し、近似的最適性と下界結果を維持できるか？
• RQ5 重み付きケースにおいて、SSRP問題とより単純な置換路（RP）問題の計算量の間にギャップがあるか？

主な発見

• 本論文は、重みなし有向グラフにおける有向SSRP問題に対して、Õ(m√n + n²) 時間の確率的組合せ的アルゴリズムを提示する。このアルゴリズムは、既知の最良の条件付き組合せ的下界に一致する。
• アルゴリズムは小さな有理数の辺重みへと拡張可能であり、SSRPに対して O(mn^{1/2−ε}) 時間のアルゴリズムが存在するならば、重み付きAPSPに対して真のサブキュービックなアルゴリズムが得られることを示し、従来の条件付き下界を強化する。
• 重みが[1,2)に属するグラフにおける行列積（MP）からSSRPへの還元を構築し、SSRPを効率的に解けるならばMPも効率的に解けることを示した。
• 本研究は、組合せ的モデルにおけるSSRPの計算量の全体像を完成させ、標準的な複雑性仮定のもとで、アルゴリズムが本質的に最適であることを示した。
• 本論文は、有向グラフにおけるSSRP問題が、同じ仮定のもとでAPSPと同程度に困難であることを確認し、長年の未解決の計算量の複雑さに関する問いを解消した。
• 重み付きケースにおいて、SSRPの条件付き下界が、組合せ的アルゴリズムに限らず、代数的アルゴリズムに対しても成り立つように強化された。