[論文レビュー] Improved Approximation Algorithms by Generalizing the Primal-Dual Method Beyond Uncrossable Functions

Ishan Bansal, Joseph Cheriyan+2 more|arXiv (Cornell University)|Sep 22, 2022

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

この論文は、非交差可能関数への拡張を可能にし、より広いクラスの接続性関数に対して16-近似比を達成する。このフレームワークを用いて、3つのネットワーク設計問題（小カットの増強、容量制限付きkエッジ接続性、(p,2)-フレキシブルグラフ接続性）の近似アルゴリズムを改善し、従来の手法が抱えていた長年の制限を克服した。

ABSTRACT

We address long-standing open questions raised by Williamson, Goemans, Vazirani and Mihail pertaining to the design of approximation algorithms for problems in network design via the primal-dual method (Combinatorica 15(3):435-454, 1995). Williamson et al. prove an approximation ratio of two for connectivity augmentation problems where the connectivity requirements can be specified by uncrossable functions. They state: "Extending our algorithm to handle non-uncrossable functions remains a challenging open problem. The key feature of uncrossable functions is that there exists an optimal dual solution which is laminar... A larger open issue is to explore further the power of the primal-dual approach for obtaining approximation algorithms for other combinatorial optimization problems." Our main result proves a 16-approximation ratio via the primal-dual method for a class of functions that generalizes the notion of an uncrossable function. There exist instances that can be handled by our methods where none of the optimal dual solutions have a laminar support. We present applications of our main result to three network-design problems. 1) A 16-approximation algorithm for augmenting the family of small cuts of a graph G. The previous best approximation ratio was O(log |V(G)|). 2) A 16⋅⌈k/u_min⌉-approximation algorithm for the Cap-k-ECSS problem which is as follows: Given an undirected graph G = (V,E) with edge costs c ∈ ℚ_{≥0}^E and edge capacities u ∈ ℤ_{≥0}^E, find a minimum cost subset of the edges F ⊆ E such that the capacity across any cut in (V,F) is at least k; u_min (respectively, u_max) denote the minimum (respectively, maximum) capacity of an edge in E, and w.l.o.g. u_max ≤ k. The previous best approximation ratio was min(O(log|V|), k, 2u_max). 3) A 20-approximation algorithm for the model of (p,2)-Flexible Graph Connectivity. The previous best approximation ratio was O(log|V(G)|), where G denotes the input graph.

研究の動機と目的

• ネットワーク設計における非交差可能関数へのプライマル・デュアル法の拡張という未解決問題に取り組むこと。
• 最適デュアル解がラミナール構造を持たない場合でも動作する一般化されたプライマル・デュアルフレームワークを構築すること。
• 従来、対数的またはそれ以上の近似因子に制限されていた重要なネットワーク設計問題の近似比を向上させること。
• 接続性問題における非交差可能性の制約を超えて、プライマル・デュアルアプローチの有効性を示すこと。

提案手法

• Williamson らのプライマル・デュアルアルゴリズムを、非交差可能関数よりも広い関数クラスに一般化する。
• 非交差可能関数を含むが、近似比が有界であることを保証する新しい関数クラスを導入する。
• 一般化されたプライマル・デュアル法を用いて、16-近似保証を持つ接続性増強問題を解く。
• 最小違反集合の構造と2-近似最小カットを用いて、実行中に制約を効率的に同定する。
• 既存のプライマル・デュアルフレームワークを活用しつつ、非ラミナールデュアル解に対しても適用可能にする。
• 2-近似最小カットの列挙を用いて、最小違反集合を多項式時間で計算する。

実験結果

リサーチクエスチョン

• RQ1 プライマル・デュアル法は、ネットワーク設計問題における非交差可能関数に対しても拡張可能か？
• RQ2 非交差可能接続性関数を含む問題に対して、定数近似比を達成することは可能か？
• RQ3 最適デュアル解がラミナールでない場合に、達成可能な最良の近似比は何か？
• RQ4 プライマル・デュアルフレームワークは、非交差可能関数を超えて、小カット増強や容量制限付きkエッジ接続性といった問題に応用可能か？
• RQ5 一般化された手法は、適用範囲を拡張する一方で、効率性と組み合わせ的単純性を維持するか？

主な発見

• プライマル・デュアルアルゴリズムは、最適デュアル解がラミナールでない場合でも、非交差可能関数を一般化する関数クラスに対して16-近似比を達成する。
• すべての小カットを増強する問題に対して16-近似アルゴリズムを構築し、以前のO(log |V|)の比を改善した。
• Cap-k-ECSS問題に対して16·⌈k/umin⌉-近似アルゴリズムを提示し、以前の最良比min(O(log |V|), k, 2umax)を改善した。
• (p,2)-フレキシブルグラフ接続性問題に対して20-近似アルゴリズムを達成し、以前のO(log |V|)の比を改善した。
• pが偶数の場合、関数がその場合に非交差可能であるため、(p,2)-FGCの近似比は6にまで低下する。
• 本手法により、2-近似最小カットを用いて最小違反集合を多項式時間で計算可能となり、効率性が保証される。