[論文レビュー] Adaptive Submodular Optimization under Matroid Constraints

Daniel Golovin, Andreas Krause|arXiv (Cornell University)|Jan 24, 2011

Complexity and Algorithms in Graphs参考文献 13被引用数 20

ひとこと要約

本稿は、p-独立系制約下での適応的単調な部分集合関数の最大化のための適応的グリーディー・アルゴリズムを導入し、1/(p + 1)の近似保証を示している。これは、不確実性を伴う部分観測可能な設定への古典的サブモジュラ最適化の拡張であり、適応的マッチメイキング忪用に実証され、2-独立系としてモデル化された次数制約下で1/3の近似保証を達成した。

ABSTRACT

Many important problems in discrete optimization require maximization of a monotonic submodular function subject to matroid constraints. For these problems, a simple greedy algorithm is guaranteed to obtain near-optimal solutions. In this article, we extend this classic result to a general class of adaptive optimization problems under partial observability, where each choice can depend on observations resulting from past choices. Specifically, we prove that a natural adaptive greedy algorithm provides a $1/(p+1)$ approximation for the problem of maximizing an adaptive monotone submodular function subject to $p$ matroid constraints, and more generally over arbitrary $p$-independence systems. We illustrate the usefulness of our result on a complex adaptive match-making application.

研究の動機と目的

• 非適応的サブモジュラ最適化を不確実性を伴う適応的・部分観測可能な設定に拡張すること。
• 一般のp-独立系制約下における適応的グリーディー方策の理論的保証を確立すること。
• オンラインマッチメイキングのような現実世界の適応的意思決定問題へのフレームワークの適用可能性を示すこと。
• マッチメイキングにおける次数制約が2-独立系を形成することを示すことにより、理論的近似境界を可能にすること。

提案手法

• 観測結果に基づいて逐次的に行動を選択する適応的グリーディー・アルゴリズムを提案する。
• 不確実性下での適応的方策へのサブモジュラリティの一般化として、適応的単調サブモジュラリティを定義する。
• p-独立系を用いて制約をモデル化し、マトロイドおよびマトロイドのインターセクション制約を一般化する。
• 適応的グリーディー・アルゴリズムが、p-独立系上での適応的単調サブモジュラ関数の最大化において1/(p + 1)の近似を達成することを証明する。
• マッチメイキングの制約系が2-独立系であることを示すために、チャージング・アーギュメントを用いる。
• 独立な結果およびサブモジュラフィードバックに既存の結果を活用し、適応性の性質を確立する。

実験結果

リサーチクエスチョン

• RQ1 p-独立系制約下での適応的サブモジュラ最適化に対して、グリーディー方策が定数因子の近似を達成できるか？
• RQ2 観測が確率的かつ部分的である場合でも、適応的グリーディー・アルゴリズムは性能保証を維持するか？
• RQ3 理論的フレームワークは、オンラインマッチメイキングのような現実世界の適応的問題に適用可能か？
• RQ4 マッチメイキング・システムにおける次数制約下で達成可能な近似比は何か？
• RQ5 マッチメイキング応用における制約系を正式にp-独立系としてモデル化する方法は何か？

主な発見

• 適応的グリーディー・アルゴリズムは、任意のp-独立系上での適応的単調サブモジュラ関数の最大化において1/(p + 1)の近似を達成する。
• ユーザーの次数制約を伴うマッチメイキング問題は2-独立系としてモデル化される。
• マッチメイキング応用において、適応的グリーディー方策は最適方策の1/3近似を達成する。
• マッチメイキング問題の目的関数は、独立なフィードバック分布下で適応的単調サブモジュラであることが証明された。
• フィードバックが各デートで独立に分布すると仮定することで、理論的保証が成り立つ。
• 2-独立系の性質を証明するために用いられたチャージング・アーギュメントにより、任意の頂点がより小さな最大集合内でその次数を超えて割り当てられることはないため、p-独立系比が保持される。