[論文レビュー] Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths

Yuzhou Gu, Adam Polak+2 more|arXiv (Cornell University)|Jan 1, 2021

Algorithms and Data Compression参考文献 19被引用数 2

ひとこと要約

本稿では、高度なデータ構造および行列分解技術を活用して、単調な最小-和積のためのより高速なアルゴリズムを提示している。各操作における時間計算量は O(n^0.6524) に達し、従来の境界を著しく改善している。この手法により、バッチおよび動的範囲モード問題、および小さな整数重みをもつ単一始点置換パス（SSRP）の高速解法が可能となり、負の重みをもつSSRPが無重みAPSPよりも容易である可能性を示している。

ABSTRACT

One of the most basic graph problems, All-Pairs Shortest Paths (APSP) is known to be solvable in $n^{3-o(1)}$ time, and it is widely open whether it has an $O(n^{3-ε})$ time algorithm for $ε> 0$. To better understand APSP, one often strives to obtain subcubic time algorithms for structured instances of APSP and problems equivalent to it, such as the Min-Plus matrix product. A natural structured version of Min-Plus product is Monotone Min-Plus product which has been studied in the context of the Batch Range Mode [SODA'20] and Dynamic Range Mode [ICALP'20] problems. This paper improves the known algorithms for Monotone Min-Plus Product and for Batch and Dynamic Range Mode, and establishes a connection between Monotone Min-Plus Product and the Single Source Replacement Paths (SSRP) problem on an $n$-vertex graph with potentially negative edge weights in $\{-M, \ldots, M\}$. SSRP with positive integer edge weights bounded by $M$ can be solved in $ ilde{O}(Mn^ω)$ time, whereas the prior fastest algorithm for graphs with possibly negative weights [FOCS'12] runs in $O(M^{0.7519} n^{2.5286})$ time, the current best running time for directed APSP with small integer weights. Using Monotone Min-Plus Product, we obtain an improved $O(M^{0.8043} n^{2.4957})$ time SSRP algorithm, showing that SSRP with constant negative integer weights is likely easier than directed unweighted APSP, a problem that is believed to require $n^{2.5-o(1)}$ time. Complementing our algorithm for SSRP, we give a reduction from the Bounded-Difference Min-Plus Product problem studied by Bringmann et al. [FOCS'16] to negative weight SSRP. This reduction shows that it might be difficult to obtain an $ ilde{O}(M n^ω)$ time algorithm for SSRP with negative weight edges, thus separating the problem from SSRP with only positive weight edges.

研究の動機と目的

• 単調最小-和積問題の時間計算量を改善すること。これは範囲クエリや最短路問題への応用を持つ、最小-和積の構造的変種である。
• 入力行列における単調性構造を活用して、バッチおよび動的範囲モード問題の高速アルゴリズムを開発すること。
• 小さな整数重み（負の辺を含む）をもつグラフにおける単一始点置換パス（SSRP）問題と単調最小-和積の間の関係を確立すること。
• 負の重みをもつSSRPの細粒度計算複雑性を調査し、近線形または準四乗時間アルゴリズムが存在するかを同定すること。
• 負の重みをもつSSRPに対して ˜O(Mn^ω) 時間を達成できるかを検討し、正の重みの場合に既知の ˜O(Mn^ω) 界と対比すること。

提案手法

• 頻度および値の分布に基づいて入力行列を区間へ階層的に分解し、スパースかつ頻度の高い値を管理するために平衡二分探索木（BST）を用いる。
• 三段階のアルゴリズムフレームワークを採用：頻度の低い値はBSTで処理、最近変更された値は定期的な再構築で追跡、単調行列のための動的データ構造を構築。
• 幾何的分割法と範囲クエリを組み合わせ、最小-和積の値がほぼ最適となる関連する三つ組 (i,k,j) を効率的に列挙。
• 有界差分最小-和積から負の重みをもつSSRPへの新しい還元を適用し、負の重みSSRPに対して ˜O(Mn^ω) 時間を達成できれば、他の難解問題に対しても飛躍的進展がもたらされることを示した。
• 高速な長方形行列乗算とパrameter調整（例：t1, t2, t3, θ, ρ, σ）を用いて、事前処理、クエリ、再構築コストのトレードオフを最適化。
• グローバル再構築技術を用いて、 amortized 界を最悪計算時間保証に変換し、堅牢なパフォーマンスを確保。

実験結果

リサーチクエスチョン

• RQ1 単調最小-和積は準四乗時間で解けるか？ もしそうなら、最良の指数は何か？
• RQ2 一つの行列における単調性構造は、範囲モードおよび置換パス問題の高速アルゴリズムを可能にするか？
• RQ3 小さな整数重み（負の値を含む）をもつ単一始点置換パス（SSRP）は、無重みAPSPよりも本質的に容易か？
• RQ4 正の重みをもつSSRPの ˜O(Mn^ω) 時間界が、負の重みをもつグラフに拡張可能か？
• RQ5 負の重みをもつSSRPの細粒度計算複雑性は何か？ また、正の重みの場合とは分離可能か？

主な発見

• 本稿では、単調最小-和積に対して各操作あたり O(n^0.6524) 時間計算量を達成し、従来の境界を改善した。
• 単一始点置換パス（SSRP）に対して、整数重みを {−M, ..., M} にもつ場合に O(M^0.8043 n^2.4957) 時間の新しいアルゴリズムを提案し、以前の最良の O(M^0.7519 n^2.5286) よりも改善した。
• 定数の負の整数重みをもつSSRPが、n^2.5−o(1) 時間を要すると予想される無重みAPSPよりも容易である可能性を示唆している。
• ブリンマングらが研究した有界差分最小-和積から負の重みSSRPへの還元により、負の重みSSRPに対して ˜O(Mn^ω) 時間を達成できれば、有界差分問題に対しても飛躍的進展がもたらされることを示した。
• 空間計算量は頻度の低い値の処理部分が支配的であり、˜O(n^1.3262) の空間を達成しており、これは準四乗時間であり、実用的用途においても効率的である。
• パrameter調整、高速な長方形行列乗算、階層的データ構造の組み合わせにより、研究された問題の最良時間界を達成した。