[論文レビュー] Approximation-Friendly Discrepancy Rounding

Nikhil Bansal, Viswanath Nagarajan|arXiv (Cornell University)|Dec 7, 2015

Advanced Numerical Analysis Techniques被引用数 3

ひとこと要約

本稿では、確率的ラウンドリングと反復ラウンドリングの長所を統合する、改善された差分に基づくラウンドリングアルゴリズムを導入する。この手法により、乗法的誤差境界が得られ、マトロイドまたはラミナーファミリー制約を伴う指数的サイズの大きな線形計画問題（LP）へのスケーラビリティが可能になる。ルーティングおよびマトロイド問題における混雑度の境界が向上し、例えば次数制約付きマトロイド基底や低混雑度ルーティングにおいて、$ O(\text{polylog}(n) \times \sqrt{b_e}) $ または $ O(\sqrt{\text{deg}} \times \text{polylog}(n)) $ の加法的違反が達成される。

ABSTRACT

Rounding linear programs using techniques from discrepancy is a recent approach that has been very successful in certain settings. However this method also has some limitations when compared to approaches such as randomized and iterative rounding. We provide an extension of the discrepancy-based rounding algorithm due to Lovett-Meka that (i) combines the advantages of both randomized and iterated rounding, (ii) makes it applicable to settings with more general combinatorial structure such as matroids. As applications of this approach, we obtain new results for various classical problems such as linear system rounding, degree-bounded matroid basis and low congestion routing.

研究の動機と目的

• 既存の差分に基づくラウンドリングの限界、特に弱い乗法的誤差保証や指数的サイズの大きなLPにおける性能の悪さを克服すること。
• Lovett-Mekaの差分ラウンドリングフレームワークを拡張し、乗法的誤差境界とマトロイドやラミナーファミリーといった組合せ構造をサポートすること。
• 確率的ラウンドリング（乗法的誤差）と反復ラウンドング（複雑な組合せ制約の処理）の利点を、1つの差分に基づくフレームワーク内で統合すること。
• 次数制約付きマトロイド基底、低混雑度ルーティング、違反付き線形システムラウンドングといった古典的問題に対する新たな近似保証を提供すること。

提案手法

• Lovett-Meka（LM）差分ラウンドングアルゴリズムを拡張し、修正されたポテンシャル関数と反復ラウンドングステップを用いて、チェルノフ型の乗法的誤差境界を組み込む。
• マトロイドおよびラミナーファミリー制約の下で妥当性を保ちつつ、各制約ごとの誤差を $ \lambda_j $-依存の境界で制御する部分的ラウンドング手順を導入する。
• ルーティング問題におけるパス集合などの組合せ的構造を活用することで、指数的サイズの大きなLPに対して効率的に対処できるようにアルゴリズムを適応する。
• 時間拡張ネットワーク定式化を用いることで、変数の数が指数的に増加しても、多項式時間でLP緩和問題を解けるようにする。
• パス選択に対するマトロイドまたはラミナーファミリー制約としてモデル化することで、次数制約やラミナーファミリー要件を含む問題にラウンドングフレームワークを適用する。
• 任意の分数解において、タイトなラミナーファミリー制約の数は、基底集合サイズの半分以下であるという事実を活用し、効率的な部分的ラウンドングを可能にする。

実験結果

リサーチクエスチョン

• RQ1 差分に基づくラウンドングは、確率的ラウンドングに類似した乗法的誤差境界を達成しつつ、反復ラウンドングの構造的利点を保持できるか。
• RQ2 マトロイドやラミナーファミリーといった複雑な組合せ的制約を伴う指数的サイズのLPを扱えるように、差分ラウンドングをどのように拡張できるか。
• RQ3 1つのラウンドングフレームワークが、差分ラウンドング、確率的ラウンドング、反復ラウンドングの利点を、次数制約付きマトロイド基底や低混雑度ルーティングといった問題で同時に達成できるか。
• RQ4 マトロイドまたはラミナーファミリー制約を伴う差分ベースのアプローチを用いた場合、ルーティング問題におけるエッジ混雑度の最もタイトな加法的違反は何か。
• RQ5 統一された差分フレームワークを用いて、多予算マトロイド基底やラミナーファミリー制約付きルーティング問題について、存在的およびアルゴリズム的保証を得ることは可能か。

主な発見

• 提案されたアルゴリズムは、低混雑度ルーティングにおけるエッジ混雑度に対して、$ O(\sqrt{b_e} \log n + \log^2 n) $ の乗法的誤差境界を達成し、既存の最良の確率的ラウンドング保証と一致する。
• 次数制約付きマトロイド基底問題では、各要素の次数が $ b_e + O(\sqrt{\Delta} \log n) $ 以下となる解が得られ、ここで $ \Delta $ は最大パス長を表す。
• 違反付き線形システムラウンドングに対して、$ O(\sqrt{\Delta} \log n) $-近似が得られ、従来の差分に基づく結果を改善する。
• フレームワークはラミナーファミリー制約付きルーティングへも拡張可能であり、すべてのラミナーファミリー要件を満たしつつ、エッジ容量の違反が最大 $ O(\sqrt{\Delta} \log n) $ または $ O(\sqrt{b_e} \log n + \log^2 n) $ に抑えられる。
• 理想的な確率的ラウンドングと比較して、誤差境界の損失が $ O(\log n) $ 要因に抑えられつつ、大規模LPにおける効率的な計算が可能になる。
• 本手法は、多予算マトロイド基底やラミナーファミリー制約付きルーティングについて、それまで存在的にも知られていなかった、初めてのアルゴリズム的結果をもたらす。