[論文レビュー] Beyond matroids: Secretary Problem and Prophet Inequality with general constraints

Aviad Rubinstein|arXiv (Cornell University)|Apr 1, 2016

Optimization and Search Problems参考文献 12被引用数 13

ひとこと要約

本稿では、任意の下向き閉じた可能性制約下でのセクレタリー問題と予言者不等式に対して、$O(\log n)$-競合的アルゴリズムを提示する。一般の非負の値に対しては、$O(\log n \cdot \log r)$ の競合的性能を達成し、$r$ は最大の可能集合のサイズを表す。この手法は動的ポテンシャル関数とオракルアクセスを用いることで、マトロイドの性質のような構造的保証が欠如する状況でも近似的に最適な性能を達成する。

ABSTRACT

We study generalizations of the "Prophet Inequality" and "Secretary Problem", where the algorithm is restricted to an arbitrary downward-closed set system. For {0,1}-values, we give O(log n)-competitive algorithms for both problems. This is close to the Ω(log n / loglog n) lower bound due to Babaioff, Immorlica, and Kleinberg. For general values, our results translate to O(log n log r)-competitive algorithms, where r is the cardinality of the largest feasible set. This resolves (up to the O(log r loglog n) factors) an open question posed to us by Bobby Kleinberg.

研究の動機と目的

• 任意の下向き閉じた可能性制約下でのセクレタリー問題と予言者不等式について、既知の下界と上界のギャップを埋めること。
• 従来のマトロイド構造に制限されていた競合比を $O(\log \log r)$ にまで制限していた枠組みを超えて、一般化すること。
• 一般の非負のアイテム価値に対してタイトな競合比を提供し、ボビー・クラインバーグが提起した未解決問題を解消すること。
• 任意の制約族下でのアルゴリズムの計算可能性を分析し、需要に類似したまたは条件付き確率のオラクルへのアクセスを仮定すること。
• 制約が非単調な場合の競合比の限界を検討し、そのような場合のタイトな境界を確立すること。

提案手法

• 進行が止まった際に適応的に変化する動的ポテンシャル関数を予言者不等式に設計し、改善された競合分析を可能にする。
• 一般の非負の価値設定を、乗法的損失 $O(\log r)$ を伴う $\{0,1\}$-値のケースに還元する。ここで $r$ は最大の可能集合サイズを表す。
• セクレタリー問題のアルゴリズムで需要に類似したオラクルを用い、現在の選択肢の妥当な拡張を制約下で評価する。
• 予言者設定で条件付き確率クエリを用い、過去の結果と選択状況を踏まえて目標値 $\tau$ を達成する確率を推定する。
• 動的更新を伴うポテンシャル関数の議論を用いて、単調性やマトロイド構造が欠如する場合でも競合比を維持する。
• ハダマード符号のような組合せ的構成を用いて最悪ケースのインスタンスを分析し、競合比の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 可能性制約が任意の下向き閉じた族である場合、セクレタリー問題の最良の可能な競合比は何か？
• RQ2 一般の下向き閉じた制約下で、予言者不等式は定数または多項式対数的競合比で解けるか？
• RQ3 一般の非負の実数値の場合、最大の可能集合サイズ $r$ が大きくなるに従い、競合比はどのようにスケーリングするか？
• RQ4 可能性制約が下向き閉じていない場合、これらの問題の競合比は何か？
• RQ5 動的ポテンシャル関数は、マトロイドや多様体的構造を持たないオンライン選択問題において、改善された競合比を達成するために用いられるか？

主な発見

• 本稿では、すべてのアイテム価値が $\{0,1\}$ に属する場合、下向き閉じた予言者問題および下向き閉じたセクレタリー問題に対して $O(\log n)$-競合比を達成する。
• 一般の非負の値に対しては、競合比が $O(\log n \cdot \log r)$ となり、$r$ は最大の可能集合の基数を表す。これはボビー・クラインバーグが提起した未解決問題を解消する。
• $O(\log n)$ の境界は、ババイオフ、イモルリカ、クラインバーグによって確立された $\Omega(\log n / \log \log n)$ の下界に近く、近似的に最適であることを示唆する。
• 非単調な可能性制約の場合、予言者問題の競合比は $\Theta(n)$ であり、セクレタリー問題では少なくとも $\Omega(n / \log^* n)$ である。これは本質的な制限を示している。
• 需要に類似したオラクルおよび条件付き確率オラクルへのアクセスを仮定すれば、アルゴリズムは計算的に効率的であり、多くの状況で妥当な仮定である。
• 動的ポテンシャル関数の技法は、本研究を越えて他のオンライン最適化問題へ一般化可能な、新規な分析的ツールである。