[論文レビュー] Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Connectivity

Chandra Chekuri, Kent Quanrud|arXiv (Cornell University)|Jan 1, 2021

Complexity and Algorithms in Graphs参考文献 42被引用数 1

ひとこと要約

この論文は、エッジ連結性から対称双単調関数へ、分離カット技法を一般化し、ハイパーグラフにおけるグローバルおよびサブセット連結性、要素連結性、頂点連結性のためのより高速なランダム化アルゴリズムを可能にする。双単調関数のクロッシング枠組みと効率的な最小カット計算を活用することで、時間計算量の向上が達成され、ハイパーグラフの分離カットに対しては Õ(√(pn)(m+n)^1.5) の時間計算量が得られ、対称双単調関数に対してもより高速な結果が得られる。

ABSTRACT

Li and Panigrahi [Jason Li and Debmalya Panigrahi, 2020], in recent work, obtained the first deterministic algorithm for the global minimum cut of a weighted undirected graph that runs in time o(mn). They introduced an elegant and powerful technique to find isolating cuts for a terminal set in a graph via a small number of s-t minimum cut computations. In this paper we generalize their isolating cut approach to the abstract setting of symmetric bisubmodular functions (which also capture symmetric submodular functions). Our generalization to bisubmodularity is motivated by applications to element connectivity and vertex connectivity. Utilizing the general framework and other ideas we obtain significantly faster randomized algorithms for computing global (and subset) connectivity in a number of settings including hypergraphs, element connectivity and vertex connectivity in graphs, and for symmetric submodular functions.

研究の動機と目的

• エッジ連結性から対称双単調関数へ分離カット技法を拡張し、要素連結性および頂点連結性を含む。
• ハイパーグラフおよび対称双単調関数におけるグローバルおよびサブセット連結性のためのより高速なランダム化アルゴリズムを可能にする一般枠組みを構築すること。
• 従来の手法の制限を克服するため、頂点連結性や要素連結性のような標準的な単調性が直接適用されない非エッジカット関数に対しても分離カット法を適用すること。
• 分離カット枠組みと効率的な最小カットサブルーチンを組み合わせることで、連結性問題の時間計算量を向上させること。

提案手法

• エッジカットにとどまらず、要素連結性および頂点連結性をモデル化できるように、対称双単調関数へ分離カットアプローチを一般化する。
• 双単調関数のクロッシング枠組みを用いて、各ターミナル r に対して頂点を disjoint に分割する集合 Ur を計算し、最小 (r, R\{r})-カットが Ur 内で誘導されることを保証する。
• 各分離カット問題を、V\Ur がシンク t に縮約された縮約グラフ上の最小 (s,t)-カット問題に還元する。
• サブプロブレムを解くために2つの戦略を用いる：小規模な部分グラフにはエッジ容量付きフロー、大規模な部分グラフにはブロッキングフローを適用し、パラメータを動的に選択する。
• ランダムサンプリングと再帰的分解を用いて、必要な最小カット計算回数を O(log |R|) に削減する。
• 既知のエッジ容量付き最小カット（EC）の時間計算量の境界（EC(m,n) ≤ Õ(m^{1+αβ})）を活用し、時間計算量を導出。特に Õ(m^1+αβ) を EC(m,n) に適用し、パラメータを最適化してトレードオフを調整する。

実験結果

リサーチクエスチョン

• RQ1 分離カット技法は、エッジカットを越えて、連結性問題における対称双単調関数へ一般化可能か？
• RQ2 一般化された枠組みを用いたハイパーグラフにおける分離カットの時間計算量は何か？
• RQ3 標準的な単調性が直接適用されない要素連結性および頂点連結性に、分離カットアプローチをどのように適合できるか？
• RQ4 本枠組みから生じるサブプロブレムにおける、さまざまな最小カット計算戦略の最適なトレードオフは何か？
• RQ5 本枠組みを用いて、対称双単調関数におけるグローバル連結性のためのより高速なランダム化アルゴリズムを導出可能か？

主な発見

• 本論文は、m本のエッジ、n個の頂点、総サイズpをもつハイパーグラフにおいて、最小分離カットを計算するためのランダム化時間計算量 Õ(√(pn)(m+n)^1.5) を達成した。
• 無重みハイパーグラフでは、この枠組みにより時間計算量が Õ(p^{4/3}) に改善された。
• 任意の α, β について、EC(m,n) ≤ Õ(m^{1+αβ}) を満たす場合、時間計算量が Õ(p(m+n)^{3α/(2(1+α))} β^{1/(1+α)}) となる。これは、さまざまな最小カットアルゴリズムに一般化可能である。
• 再帰的分解戦略により、必要な (s,t)-最小カット計算回数を O(|R|) から O(log |R|) に削減した。
• 本手法は対称双単調関数へ一般化可能であり、要素連結性および頂点連結性を双単調関数としてモデル化することで、より高速なアルゴリズムを可能にする。
• V\Ur を1つのシンクに縮約することで、効率的な計算が可能となり、サブプロブレムの総サイズが O(p) および O(n) で抑えられることを保証する。