[論文レビュー] Computing exact minimum cuts without knowing the graph

Aviad Rubinstein, Tselil Schramm+1 more|arXiv (Cornell University)|Nov 8, 2017

Complexity and Algorithms in Graphs参考文献 21被引用数 6

ひとこと要約

この論文は、カットサイズを返すオラクルのみを用いて、重みなし無向グラフにおける正確なグローバル最小カットおよびs-t最小カットを計算するランダム化されたクエリ効率の良いアルゴリズムを提示する。エッジの強度に基づくサンプリングと、カットに跨らないエッジの戦略的収縮を活用することで、グローバル最小カットに対して$\tilde{O}(n)$クエリ、s-t最小カットに対して$\tilde{O}(n^{5/3})$クエリを達成した。これは顕著にサブクアドレティックであり、正確なカット計算には$\tilde{\theta}(n^2)$クエリが必要であるという直感を覆すものである。

ABSTRACT

We give query-efficient algorithms for the global min-cut and the s-t cut problem in unweighted, undirected graphs. Our oracle model is inspired by the submodular function minimization problem: on query $S \subset V$, the oracle returns the size of the cut between $S$ and $V \setminus S$. We provide algorithms computing an exact minimum $s$-$t$ cut in $G$ with $ ilde{O}(n^{5/3})$ queries, and computing an exact global minimum cut of $G$ with only $ ilde{O}(n)$ queries (while learning the graph requires $ ildeΘ(n^2)$ queries).

研究の動機と目的

• 完全なグラフの知識なしに、重みなし無向グラフにおける正確なグローバルおよびs-t最小カットを計算すること。
• 任意のサブセットのカットサイズを返すオラクルへのクエリ回数を最小限に抑えること。
• 正確な最小カット計算には$\tilde{\theta}(n^2)$クエリが必要であるという一般的な直感に反すること。
• すべてのグラフを学習することなく正確なカットを計算するアルゴリズムを開発すること。
• 正確な最小カット問題に対してサブクアドレティックなクエリ複雑度を達成し、グラフ学習における情報理論的下界を覆すこと。

提案手法

• カット近似を保持するように、エッジの強度に基づくサンプリングを用いてエッジをサブサンプリングし、スパarsな成分で失敗する均一サンプリングを避ける。
• 最適カットに跨らないと高信頼で特定された「安全な」エッジを収縮する。
• カッジャーのアルゴリズムにインspされたランダムエッジ収縮の前処理ステップを適用し、サンプリングの前にグラフを単純化する。
• フローアプロキメーショングラフ$H'$において、$3\varepsilon n$-連結成分を収縮し、最小カットが$1\pm\varepsilon$要因の範囲で保たれることを保証する。
• 収縮後、$O(\varepsilon n^2)$エッジを有する圧縮グラフのすべての残りのエッジを学習する。
• クエリ複雑度をバランスさせるために$\varepsilon = n^{-1/3}$を設定し、s-tカットに対して$\tilde{O}(n^{5/3})$、グローバル最小カットに対して$\tilde{O}(n)$の合計クエリ数を達成する。

実験結果

リサーチクエスチョン

• RQ1 正確なグローバル最小カットは、$\tilde{O}(n^2)$クエリ未満で計算可能か？
• RQ2 カットサイズオラクルのみが利用可能な状況で、正確なs-t最小カットをサブクアドレティックなクエリ複雑度で計算可能か？
• RQ3 エッジの強度に基づくサンプリングを、$o(m)$クエリで効率的にグラフをサブサンプリングし、カット情報を保持できるように適応可能か？
• RQ4 フローアプロキメーショングラフにおける高連結性コンponentsの収縮は、最小カット構造を保つのか？
• RQ5 前処理段階でのランダム収縮により、以降のクエリフェーズで均一サンプリングが有効に機能可能になるか？

主な発見

• ランダム化アルゴリズムにより、単純グラフにおける正確なグローバル最小カットが$\tilde{O}(n)$のカットクエリで計算可能である。
• ランダム化アルゴリズムにより、単純グラフにおける正確なs-t最小カットが$\tilde{O}(n^{5/3})$のカットクエリで計算可能である。
• 正確なs-t最小カットのクエリ複雑度はサブクアドレティックであり、$\tilde{\Omega}(n^2)$クエリが必要であるという予想に反する。
• アルゴリズムは多項式時間で実行され、両問題の合計実行時間は$\tilde{O}(n^2)$で抑えられる。
• 本アプローチは、エッジの強度に基づく新しいサンプリング法と、高連結性コンポーネントの収縮を用いてクエリ負荷を低減する。
• $\varepsilon = n^{-1/3}$とすることで、s-t最小カットの合計クエリ複雑度が$\tilde{O}(n^{5/3})$にバランスされ、提示された境界が達成される。