[論文レビュー] Breaking the All Subsets Barrier for Min k-Cut

Anupam Gupta, Euiwoong Lee+1 more|arXiv (Cornell University)|Jun 2, 2019

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

ひとこと要約

本稿では、最小k-カットをすべて列挙する確率的アルゴリズムを提示しており、KargerとSteinが確立した長年のO(n^{(2−o(1))k})の壁を破る。Karger-Steinの収縮技術とThorupの木パッケージングを組み合わせ、双対VC次元が有界な集合系に対する新たな極値的集合論的境界を導入することで、最小k-カット問題におけるアルゴリズム的および極値的境界の両方で初めての改善が達成された。

ABSTRACT

Given an edge-weighted graph, how many minimum $k$-cuts can it have? This is a fundamental question in the intersection of algorithms, extremal combinatorics, and graph theory. It is particularly interesting in that the best known bounds are algorithmic: they stem from algorithms that compute the minimum $k$-cut. In 1994, Karger and Stein obtained a randomized contraction algorithm that finds a minimum $k$-cut in $O(n^{(2-o(1))k})$ time. It can also enumerate all such $k$-cuts in the same running time, establishing a corresponding extremal bound of $O(n^{(2-o(1))k})$. Since then, the algorithmic side of the minimum $k$-cut problem has seen much progress, leading to a deterministic algorithm based on a tree packing result of Thorup, which enumerates all minimum $k$-cuts in the same asymptotic running time, and gives an alternate proof of the $O(n^{(2-o(1))k})$ bound. However, beating the Karger--Stein bound, even for computing a single minimum $k$-cut, has remained out of reach. In this paper, we give an algorithm to enumerate all minimum $k$-cuts in $O(n^{(1.981+o(1))k})$ time, breaking the algorithmic and extremal barriers for enumerating minimum $k$-cuts. To obtain our result, we combine ideas from both the Karger--Stein and Thorup results, and draw a novel connection between minimum $k$-cut and extremal set theory. In particular, we give and use tighter bounds on the size of set systems with bounded dual VC-dimension, which may be of independent interest.

研究の動機と目的

• 最小k-カットの列挙におけるO(n^{(2−o(1))k})のアルゴリズム的および極値的境界を打ち破ること。
• 重み付きグラフにおけるすべての最小k-カットを列挙するより高速なアルゴリズムを開発すること。
• 極値的集合論との新しい接続を用いて、最小k-カットの数に対するより緊密な極値的境界を確立すること。
• 行列乗算に依存するか、すべてのk-カットを効率的に列挙できないという従来のアルゴリズムの制限を克服すること。

提案手法

• Karger-Steinの確率的収縮手順とThorupの決定的木パッケージング手法を組み合わせる。
• 双対VC次元が有界であることを前提とした、新たな集合系構成を導入し、候補となる成分の数を制御する。
• 慎重に構築された候補部分集合の集合から、k-カットの1つの成分を予想する分岐戦略を用いる。
• 低境界部分集合を高確率でサンプリングするために、変更を加えたKarger-Stein手順を採用する。
• 極値的集合論の結果（7/8-表現と1-表現の補題）を適用し、候補集合のサイズを制限する。
• 拡張補題と第二構造補題を活用して、シャッタリングが有界な範囲空間の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 最小k-カットの列挙におけるO(n^{(2−o(1))k})の境界を打ち破ることは可能か？
• RQ2 グラフにおける最小k-カットの真の極値的数は何か—n^k、n^{2k}、それともその間の何かか？
• RQ3 収縮と木パッケージング技術をハイブリッドに組み合わせたアルゴリズムは、単独で用いる場合よりも優れた性能を達成できるか？
• RQ4 極値的集合論は、k-カットに関連する低境界部分集合の数に対するより緊密な境界を提供できるか？
• RQ5 行列乗算に依存せずに、kに関して2次未塔の指数ですべての最小k-カットを列挙する方法はあるか？

主な発見

• 本稿では、最小k-カットをすべてO(n^{1.981k})時間で列挙する確率的アルゴリズムを提示しており、従来のO(n^{(2−o(1))k})の境界を改善した。
• 任意のグラフにおける最小k-カットの極値的数は、O(n^{1.981k})以下であることが示され、Karger-Steinの極値的境界に対する初めての改善が達成された。
• アルゴリズムは、Karger-Steinの収縮とThorupの木パッケージングをハイブリッドに組み合わせており、効率的な候補集合の生成を可能にしている。
• 著者らは、7/8-表現補題と1-表現補題を含む新たな極値的集合論的境界を導出し、これは候補成分集合のサイズを制御するために不可欠である。
• 高速行列乗算に依存しないため、多項式時間の空間を維持でき、従来の行列ベースの手法とは異なり、完全な列挙が可能である。
• この結果により、最小k-カットの数が従来の予想よりも著しく少ないことが示され、指数部分が2から1.981にまで低下した。