[論文レビュー] Submodular Maximization Under A Matroid Constraint: Asking more from an old friend, the Greedy Algorithm

Nived Rajaraman, Rahul Vaze|arXiv (Cornell University)|Oct 30, 2018

Complexity and Algorithms in Graphs参考文献 8被引用数 4

ひとこと要約

本稿では、マトロイド制約下におけるサブモジュラ最適化における貪欲法の近似保証を精獰化するための新しい測度「判別式（discriminant）」を導入する。各ステップにおける貪欲選択の相対的利得と最良の代替選択との比較を定量化することで、従来の曲率に基づく境界を包含・改善する、インスタンス依存のより鋭い近似比を導出する。構築された例を通じてそのタイトネスが証明されている。

ABSTRACT

The classical problem of maximizing a submodular function under a matroid constraint is considered. Defining a new measure for the increments made by the greedy algorithm at each step, called the discriminant, improved approximation ratio guarantees are derived for the greedy algorithm. At each step, discriminant measures the multiplicative gap in the incremental valuation between the item chosen by the greedy algorithm and the largest potential incremental valuation for eligible items not selected by it. The new guarantee subsumes all the previous known results for the greedy algorithm, including the curvature based ones, and the derived guarantees are shown to be tight via constructing specific instances. More refined approximation guarantee is derived for a special case called the submodular welfare maximization/partition problem that is also tight, for both the offline and the online case.

研究の動機と目的

• マトロイド制約下におけるサブモジュラ最適化における貪欲法の理論的最悪ケース保証と実用的性能の間のギャップを埋める。
• 各ステップにおける貪欲選択と最良の代替選択との比較を的確に捉える、新たなインスタンス依存の性能測度「判別式」を考案する。
• 従来の曲率に基づく境界を包含・精緻化する、貪欲法の改善された近似保証を導出する。
• 明示的な問題構築を通じて、新しい境界のタイトネスを証明する。
• 特に、サブモジュラ・ウェルファーウェルト/パーティション問題およびそのオンライン版に対する、精緻化された解析を拡張する。

提案手法

• ステップ $ i $ において、選択されていない有効なアイテムの中での、貪欲選択によるインクリメンタル評価値と、最良の可能なインクリメンタル評価値との比として、判別式 $ d_i' $ を定義する。
• 判別式を用いて、貪欲法の新たな近似保証を導出する：$ \frac{Z(G)}{Z(\Omega)} \geq \frac{1}{\frac{1}{d} + c} $、ここで $ d $ は最小判別式、$ c $ は曲率である。
• 曲率 $ c $ と判別式 $ d $ を制御した問題インスタンスの族を構築し、$ K \to \infty $ の極限において、境界のタイトネスを示す。
• マトロイドの構造と貪欲経路を用いて、最適解 $ \Omega $ の有効な順序付けを確立し、判別式の計算を可能にする。
• サブモジュラ・ウェルファーウェルト/パッケージング問題のオフラインおよびオンライン設定にこの境界を適用し、両ケースで成立することを示す。
• 逐次交換論法を用いて、構築された解 $ \Omega $ の最適性を証明し、任意の妥当な $ \Omega' $ に対して $ Z(\Omega) \geq Z(\Omega') $ を示す。

実験結果

リサーチクエスチョン

• RQ1 インスタンス依存の新たな測度が、マトロイド制約下におけるサブモジュラ最適化の貪欲法の理論的近似保証を改善できるか？
• RQ2 貪欲利得と最良代替利得の比として定義される判別式は、従来の曲率に基づく境界をどのように精緻化するか？
• RQ3 新しい境界はタイトか？ また、構築された問題インスタンスでその境界が達成可能か？
• RQ4 判別式に基づく解析は、サブモジュラ・ウェルファーウェルト/パッケージング問題およびそのオンライン版に拡張可能か？
• RQ5 新しい境界は、すべての既存の曲率に基づく保証を包含・改善できるか？

主な発見

• 提案された判別式に基づく境界 $ \frac{1}{\frac{1}{d} + c} $ は、古典的な $ \frac{1}{1+c} $ の曲率に基づく保証を厳密に改善し、すべての先行結果を包含する。
• 境界はタイトであることが示され、$ K \to \infty $ の極限において近似比が $ \frac{1}{\frac{1}{d} + c} $ に近づく構築されたインスタンスが存在する。
• サブモジュラ・ウェルファーウェルト/パッケージング問題において、同じ判別式に基づく保証がオフラインおよびオンライン両設定で成立し、オンライン版でも $ \frac{1}{\frac{1}{d} + c} $ の比を維持する。
• 解析により、最適解 $ \Omega $ は非負の評価値増分を保つ逐次交換プロセスによって構築可能であり、その最適性が確認される。
• タイトな例において、判別式 $ d_i' $ がすべての反復で定数 $ d $ に等しいことが示され、境界の導出の妥当性が裏付けられる。
• 判別式 $ d=1 $ かつ $ c \to 0 $ の場合、境界は $ 1-1/e $ に簡略化され、既知の最適ケースと整合する。また、$ d=1 $ かつ $ c=1 $ の場合、$ 1/2 $-近似を回復する。