[論文レビュー] O(log log rank) Competitive-Ratio for the Matroid Secretary Problem

Oded Lachish|BIROn (Birkbeck, University of London)|Mar 26, 2014

Optimization and Search Problems参考文献 18被引用数 10

ひとこと要約

この論文は、マトロイド・セクレタリー問題に対する既知の基数、順序に無関係なアルゴリズムを提示しており、マトロイドのランクを$\rho$とすると、$O(\log \log \rho)$の競合比を達成する。アルゴリズムは価値ベースのバケツ化、3段階のプロセス（収集、前処理、選択）、および露出された要素の構造的性質に応じて選択される特殊なサブルーチン（単純アルゴリズムとギャップアルゴリズム）を用い、従来の$O(\sqrt{\log \rho})$および$O(\log \rho)$の境界を著しく改善する。

ABSTRACT

In the extit{Matroid Secretary Problem} (MSP), the elements of the ground set of a Matroid are revealed on-line one by one, each together with its value. An algorithm for the MSP is extit{Matroid-Unknown} if, at every stage of its execution: (i) it only knows the elements that have been revealed so far and their values, and (ii) it has access to an oracle for testing whether or not any subset of the elements that have been revealed so far is an independent set. An algorithm is extit{Known-Cardinality} if, in addition to (i) and (ii), it also initially knows the cardinality of the ground set of the Matroid. We present here a Known-Cardinality and extit{Order-Oblivious} algorithm that, with constant probability, selects an independent set of elements, whose value is at least the optimal value divided by $O(\log{\logρ})$, where $ρ$ is the rank of the Matroid; that is, the algorithm has a extit{competitive-ratio} of $O(\log{\logρ})$. The best previous results for a Known-Cardinality algorithm are a competitive-ratio of $O(\logρ)$, by Babaioff extit{et al.} (2007), and a competitive-ratio of $O(\sqrt{\logρ})$, by Chakraborty and Lachish (2012). In many non-trivial cases the algorithm we present has a competitive-ratio that is better than the $O(\log{\logρ})$. The cases in which it fails to do so are easily characterized. Understanding these cases may lead to improved algorithms for the problem or, conversely, to non-trivial lower bounds.

研究の動機と目的

• 従来の$O(\log \rho)$および$O(\sqrt{\log \rho})$の境界を超える、マトロイド・セクレタリー問題に対するより良い競合比を達成する既知の基数のアルゴリズムを設計すること。
• 順序に無関係なモデル下で$O(\log \log \rho)$の競合比を達成し、ランダムな要素順序に対して頑健であることを保証すること。
• アルゴリズムが$O\left(\log \log \rho\right)$を上回る性能を示す場合の条件を同定し、潜在的な下界やアルゴリズムの改善に関する洞察を得ること。
• 順序に無関係な性質を介して、マトロイドに対するシングルサンプル・プロフェット不等式と関係づけること。

提案手法

• 要素は、値を2の累乗の下限に丸めて、価値ベースのバケツに分割される。
• アルゴリズムは3段階で進行する：収集（初期情報の収集）、前処理（露出された要素の構造的性質の分析）、選択（適したサブルーチンの適用）。
• 前処理段階では、定理44のケース1、ケース2、ケース3が、部分集合のランクと独立性制約に基づいて成立するかを確認する。
• ケース1が成立する場合、単一のバケツを単純アルゴリズムで選択する。ケース2が成立する場合、取り扱い可能な部分集合が使用される。それ以外の場合は、重要なタプルに対してギャップアルゴリズムが適用される。
• ギャップアルゴリズムは、露出度とランクの項を含む複雑な式を用いて、選択された独立集合の期待値をバインドする。
• アルゴリズムは独立性クエリへのオракルアクセスを活用し、地面集合のサイズ$n$とランク$\rho$が事前に分かっていると仮定しており、これにより既知の基数かつ順序に無関係な性質が保証される。

実験結果

リサーチクエスチョン

• RQ1 マトロイド・セクレタリー問題に対する既知の基数のアルゴリズムが、$O(\sqrt{\log \rho})$を上回る競合比を達成できるか。
• RQ2 マトロイド要素のどのような構造的条件が、$O(\log \log \rho)$の競合比を上回る性能をもたらすか。
• RQ3 最大要素の値が$\frac{\mathrm{OPT}(U)}{\log \log \mathrm{rank}(U)}$を大きく上回る場合、アルゴリズムの性能はどのように変化するか。
• RQ4 ギャップアルゴリズムが理論的な$O(\log \log \rho)$の境界を上回る条件は何か。
• RQ5 失敗事例の同定が、マトロイド・セクレタリー問題のより良いアルゴリズムや非自明な下界の構築に役立つだろうか。

主な発見

• 提案されたアルゴリズムは、既知の基数および順序に無関係なモデル下で、マトロイド・セクレタリー問題に対して$O(\log \log \rho)$の競合比を達成する。
• ChakrabortyとLachish（2012年）の以前の最良の$O(\sqrt{\log \rho})$の競合比およびBabaioffら（2007年）の$O(\log \rho)$の境界を上回る。
• 多くの非自明なケースにおいて、アルゴリズムの性能は$O(\log \log \rho)$の境界を上回り、特に最大要素の値が$\frac{\mathrm{OPT}(U)}{\log \log \mathrm{rank}(U)}$よりも著しく大きい場合に顕著である。
• アルゴリズムは、選択された独立集合の期待値が$\Omega\left(\frac{\mathrm{OPT}(U)}{\log \log \mathrm{rank}(U)}\right)$であることを保証しており、これは提示された競合比と一致する。
• アルゴリズムの順序に無関係な性質は、マトロイドに対して$O(\log \log \rho)$の競合比を持つシングルサンプル・プロフェット不等式の存在を示唆する。
• 性能が向上しない失敗事例は完全に同定されており、将来的な下界構築やアルゴリズムの洗練に役立つ可能性がある。