[論文レビュー] A Scaling Algorithm for Weighted $f$-Factors in General Graphs

Ran Duan, Haoqing He+1 more|arXiv (Cornell University)|Jan 1, 2020

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

ひとこと要約

この論文は、一般グラフにおける最大重み完全f-因子を計算する決定的スケーリングアルゴリズムを提示する。時間計算量は Õ(mn²/³ log W) であり、f(V) が大きい場合に長年残っていた Ω(mn) の壁を破る。アプローチは、原始的双対手法と、辺素な増幅ウォークおよびボトム構造の新しい解析を組み合わせており、双対変数スケーリングと、双対値クラスタに対する洗練されたピッグホル・アーギュメントを用いて、欠損を抑え、初期スケーリング後の追加 O(n²/³) ラウンドで収束を保証する。

ABSTRACT

We study the maximum weight perfect $f$-factor problem on any general simple graph $G=(V,E,w)$ with positive integral edge weights $w$, and $n=|V|$, $m=|E|$. When we have a function $f:V ightarrow \mathbb{N}_+$ on vertices, a perfect $f$-factor is a generalized matching so that every vertex $u$ is matched to $f(u)$ different edges. The previous best algorithms on this problem have running time $O(m f(V))$ [Gabow 2018] or $ ilde{O}(W(f(V))^{2.373}))$ [Gabow and Sankowski 2013], where $W$ is the maximum edge weight, and $f(V)=\sum_{u\in V}f(u)$. In this paper, we present a scaling algorithm for this problem with running time $ ilde{O}(mn^{2/3}\log W)$. Previously this bound is only known for bipartite graphs [Gabow and Tarjan 1989]. The running time of our algorithm is independent of $f(V)$, and consequently it first breaks the $Ω(mn)$ barrier for large $f(V)$ even for the unweighted $f$-factor problem in general graphs.

研究の動機と目的

• 一般グラフにおける最大重み完全f-因子問題の高速化アルゴリズムの開発。ここで f(u) は各頂点 u の必要度数を指定する。
• 一般グラフにおいて長年残っていた Ω(mn) 時間計算量の壁を打ち破ること、特に f(V) が大きい場合に有効であるようにすること。
• 従来、二部グラフでのみ知られていた Õ(mn²/³ log W) 時間計算量の上限を、一般（非二部）グラフへ拡張すること。
• 増幅ウォークの構造とボトム干渉の分析を通じて、f(V)、つまり頂点度数の合計に依存しない実行時間を達成すること。

提案手法

• 双対変数 y: V → ℤ および z: 2^V → ℕ を用いた原始的双対フレームワークと、laminar なボトム族 Ω ⊆ 2^V を使用する。
• 双対変数の値に基づくスケーリングアプローチを採用し、補完性スラック条件を満たすように近似を段階的に改善する。
• 近似的補完性スラック下で、Edmonds の増幅ウォーク探索手順を Cn²/³ 回繰り返す。ここで C は大きな定数である。
• 整数 q 値を [−Cn²/³, 0] の範囲に用いて、双対値クラスタの新しい分類を導入し、特定の双対値範囲内に存在する頂点を接続する「閉じ込められた」ウォークを定義する。
• 双対値クラスタ Y(q) に対するピッグホル・プリンシプルを用いて、辺素な増幅ウォークの数を抑え、少なくとも1つのクラスタ Y(q) がサイズ O(n¹/³) であり、したがって最大 O(n²/³) 個のウォークを含められることを示す。
• ボトムの影響を分析する際、大きさ |B| ≥ n¹/³ の「大きなボトム」と |B| < n¹/³ の「小さなボトム」を区別し、小さなボトムがカバーする辺の数と、分析を乱す可能性のある「悪い辺」の数を抑えている。

実験結果

リサーチクエスチョン

• RQ1 最大重み完全f-因子の Õ(mn²/³ log W) 時間計算量の上限を、二部グラフから一般グラフへ拡張することは可能か？
• RQ2 一般グラフにおける増幅ウォークおよび双対変数の構造的性質は、欠損頂点数を O(n²/³) 未満に抑えるためにどのように利用可能か？
• RQ3 非二部グラフにおけるボトム構造は、どのように解析され、双対変数クラスタリングの議論を無効にしないように保証されるか？
• RQ4 f(V)、つまり全頂点における f(u) の合計に依存しない実行時間を達成するスケーリングアルゴリズムを設計することは可能か？
• RQ5 双対値の一貫性を乱す「悪い辺」は分析にどのように影響を与え、その数はどのように抑えられるか？

主な発見

• アルゴリズムは Õ(mn²/³ log W) 時間で最大重み完全f-因子を計算でき、これは一般グラフにおいて Ω(mn) の壁を打ち破った最初の結果である、すなわち重みなしの場合でも同様。
• 実行時間は f(V)、つまりすべての頂点における f(u) の合計に依存せず、f(V) が大きい場合でも効率的である。
• Edmonds の探索を Cn²/³ ラウンド実行した後、合計欠損 ∑_v (f(v) − deg_F(v)) が O(n²/³) で抑えられ、完璧に到達するには追加で O(n²/³) ラウンドで十分であることが示された。
• 主な技術的貢献として、少なくとも 0.01Cn²/³ 個の異なる q 値が、1/1000Cn²/³ 個以上の異なる増幅ウォークを「閉じ込め」ることを証明し、双対クラスタに対するピッグホル・アーギュメントを可能にした。
• 臨界的双対クラスタ Y(q) のサイズが 13200/C · n¹/³ 未満であることが示され、辺素なウォークは各ペアに対して最大1回ずつしか接続できないため、その数は O(|Y(q)|²) = O(n²/³) である。したがって、ウォークが多すぎると矛盾が生じる。
• 非二部グラフを扱うにあたり、大きなボトムと小さなボトムを区別し、双対値の一貫性を乱す可能性のある「悪い辺」の数を抑え、分析が正当に保たれることを保証している。