[論文レビュー] Efficient Exact Paths For Dyck and semi-Dyck Labeled Path Reachability

Phillip G. Bradford|arXiv (Cornell University)|Feb 14, 2018

Data Management and Algorithms参考文献 32被引用数 4

ひとこと要約

この論文は、重みが \{-1, +1\} の辺付き有向グラフにおける正確なパス到達可能性を計算する $˜{O}(n^\omega)$ アルゴリズムを提示する。ここで $\omega$ は行列乗算の指数である。この手法を用いて、代数的グラフ手法を駆使し、行列積とゼロコストエッジを用いたパス合成により、Dyckおよびsemi-Dyckラベル付きパス到達可能性を近似的に最適な複雑度で効率的に決定する。

ABSTRACT

The exact path length problem is to determine if there is a path of a given fixed cost between two vertices. This paper focuses on the exact path problem for costs $-1,0$ or $+1$ between all pairs of vertices in an edge-weighted digraph. The edge weights are from $\{ -1, +1 \}$. In this case, this paper gives an $\widetilde{O}(n^ω)$ exact path solution. Here $ω$ is the best exponent for matrix multiplication and $\widetilde{O}$ is the asymptotic upper-bound mod polylog factors. Variations of this algorithm determine which pairs of digraph nodes have Dyck or semi-Dyck labeled paths between them, assuming two parenthesis. Therefore, determining digraph reachability for Dyck or semi-Dyck labeled paths costs $\widetilde{O}(n^ω)$. A path label is made by concatenating all symbols along the path's edges. The exact path length problem has many applications. These applications include the labeled path problems given here, which in turn, also have numerous applications.

研究の動機と目的

• 重みが \{-1,+1\} の有向グラフにおけるコスト $-1$, $0$, または $+1$ の正確なパス長問題を解く。
• この解法を、一対の括弧を有する Dyck 語と semi-Dyck 語の到達可能性に拡張する。
• 代数的グラフ手法と行列乗算を活用して、ラベル付きパス到達可能性の近似的に最適なアルゴリズムを提供する。
• Dyck および semi-Dyck 制約付き到達可能性が、ゼロコストパス合成を用いて $\widetilde{O}(n^\omega)$ 時間で計算可能であることを示す。

提案手法

• トランスティヴクロージャを用いて、$+1$ と $-1$ の重みがバランスしたパスを特定することで、ゼロコストエッジの集合 $E^*$ を構築する。
• 特に、半環 $\{ -1, 0, +1 \}$ 上での行列乗算を用いた代数的グラフ手法、具体的には AGMY 行列積を用いて到達可能性を計算する。
• ゼロコストエッジ $E^*$ と組み合わせて、$\pm1$ 重みエッジを合成することで、すべての $\pm1$ コストパスを発見する。
• コスト $0$ のパスを用いて $\pm1$ エッジを連結する再帰的合成戦略を採用する。
• Dyck および semi-Dyck パスは括弧がバランスしている必要があるため、これはネットコストがゼロのパスに相当することに依存している。
• 行列乗算法の既知の改善を活用することで、多項対数因子を除き $\widetilde{O}(n^\omega)$ の時間計算量にまで低減する。

実験結果

リサーチクエスチョン

• RQ1 重みが $\{-1,+1\}$ の有向グラフにおいて、$\kappa \in \{-1, 0, +1\}$ の正確なパス長問題は、近似的に最適な時間で解けるか？
• RQ2 代数的手法を用いて、ラベル付き有向グラフにおける Dyck および semi-Dyck 語の到達可能性を効率的に計算できるか？
• RQ3 すべてのパスを明示的に列挙せずに、ゼロコストパスを用いて $\pm1$ コストパスを効率的に合成できるか？
• RQ4 行列乗算技術を用いた Dyck および semi-Dyck パス到達可能性の計算の漸近的計算量は何か？
• RQ5 $\pm1$ パス到達可能性問題を、$\widetilde{O}(n^\omega)$ 時間計算量を達成する行列演算にどのように還元できるか？

主な発見

• $\{-1,+1\}$-重み付き有向グラフにおける $\kappa \in \{-1, 0, +1\}$ の正確なパス長問題は、$\widetilde{O}(n^\omega)$ 時間で解ける。
• 二種類の括弧記号を有する有向グラフにおける Dyck および semi-Dyck ラベル付きパス到達可能性は、$\widetilde{O}(n^\omega)$ 時間で計算可能である。
• バランスの取れた $+1$ と $-1$ エッジの系列によって形成されるゼロコストパスが、$\pm1$ コストパスの効率的合成に用いられる。
• アルゴリズムは AGMY 行列積を用いて到達可能性を計算し、代数的グラフ手法により近似的に最適な複雑度を達成する。
• 既知の行列乗算法の改善を活用することで、多項対数オーバーヘッドを伴う行列乗算に問題を還元する。
• この手法は Dyck 語および semi-Dyck 語の両方の言語に適用可能であり、後者は左および右の逆元還元を許容する。