[論文レビュー] Advances on Matroid Secretary Problems: Free Order Model and Laminar Case

Patrick Jaillet, José A. Soto+1 more|arXiv (Cornell University)|Jul 5, 2012

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

ひとこと要約

本稿では、要素の到着順序をアルゴリズムが選べる自由順序モデルにおけるマトロイド・セクレタリー問題に対して、4-競合比を達成するアルゴリズムを提示している。これは、敵対的重み割り当ての下で、初めて定数競合比を達成するアルゴリズムである。また、階層的構造に基づいて要素をグループ化することで、分割マトロイドに問題を還元し、ラミナーマトロイドに対しては、はるかに単純で強力な3√3e ≈ 14.12-競合比のアルゴリズムを提案している。この手法は順序に依存しないものであり、定数競合比を持つ単一サンプルプロフェット不等式への応用を示唆している。

ABSTRACT

The most well-known conjecture in the context of matroid secretary problems claims the existence of a constant-factor approximation applicable to any matroid. Whereas this conjecture remains open, modified forms of it were shown to be true, when assuming that the assignment of weights to the secretaries is not adversarial but uniformly random (Soto [SODA 2011], Oveis Gharan and Vondrák [ESA 2011]). However, so far, there was no variant of the matroid secretary problem with adversarial weight assignment for which a constant-factor approximation was found. We address this point by presenting a 9-approximation for the \emph{free order model}, a model suggested shortly after the introduction of the matroid secretary problem, and for which no constant-factor approximation was known so far. The free order model is a relaxed version of the original matroid secretary problem, with the only difference that one can choose the order in which secretaries are interviewed. Furthermore, we consider the classical matroid secretary problem for the special case of laminar matroids. Only recently, a constant-factor approximation has been found for this case, using a clever but rather involved method and analysis (Im and Wang, [SODA 2011]) that leads to a 16000/3-approximation. This is arguably the most involved special case of the matroid secretary problem for which a constant-factor approximation is known. We present a considerably simpler and stronger $3\sqrt{3}e\approx 14.12$-approximation, based on reducing the problem to a matroid secretary problem on a partition matroid.

研究の動機と目的

• 敵対的重み割り当ての下で、要素の到着順序がアルゴリズムの制御下にある自由順序モデルにおけるマトロイド・セクレタリー問題に対して、定数競合比を達成するアルゴリズムの開発。
• 従来の複雑な16000/3-競合比の手法に比べ、ラミナーマトロイドに制限された古典的マトロイド・セクレタリー問題の競合比を大幅に改善し、より単純で洗練された手法の開発。
• ラミナーマトロイドに対して順序に依存しないアルゴリズムを設計し、これにより定数競合比を持つ単一サンプルプロフェット不等式アルゴリズムに変換可能であることを実現。
• ラミナーマトロイドの既存手法の複雑さを、新たな分割マトロイドへの還元によって簡略化すること。

提案手法

• 自由順序モデルのアルゴリズムは、期待競合比を最大化するために、到着順序を確率的戦略で選択する。これは、最適解に対する要素の位置の確率的分析を活用している。
• ラミナーマトロイドの場合、要素の階層的構造に基づいてグループ化することで、問題を分割マトロイドに還元する。これにより、より単純な選択ルールが可能になる。
• 重要な要素として、分析における確率のバランスを取るために、q = 1/√3 という確率変数を用いる。これは、競合比推定子の期待値を最大化するために用いられる。
• 分析では、最適解からの距離を追跡する互いに排他的な事象（E_{s,t}）における条件付き期待値の上限を用いる。
• 期待性能をバインドするために、特定の部分集合内の最適要素数の逆数として定義される潜在関数 Z(f_{i_r}) を使用する。
• 証明は、Z(f_{i_r}) の条件付き期待値をさまざまな事象タイプについてバインドすることに依存し、全体の期待競合比に対する下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 敵対的重み割り当ての下で、自由順序モデルにおけるマトロイド・セクレタリー問題に対して、定数競合比を達成するアルゴリズムを設計可能か？
• RQ2 従来の16000/3-競合比の手法に比べ、より単純で洗練された手法により、ラミナーマトロイド・セクレタリー問題の競合比を大幅に改善可能か？
• RQ3 ラミナーマトロイドに対して順序に依存しないアルゴリズムを設計可能か？さらに、そのアルゴリズムが定数競合比を持つ単一サンプルプロフェット不等式アルゴリズムに変換可能か？
• RQ4 分析において、期待競合比の下界を最大化するパラメータ q の最適値は何か？

主な発見

• 本稿では、自由順序モデルに対して4-競合比のアルゴリズムを提示した。これは、敵対的重み割り当ての下で、マトロイド・セクレタリー問題のいかなる変種に対しても、初めての定数競合比を達成するアルゴリズムである。
• ラミナーマトロイドに対しては、3√3e ≈ 14.12-競合比のアルゴリズムを達成し、従来の16000/3 ≈ 5333.33-競合比に比べて顕著な改善を実現した。
• 新しいラミナーマトロイドのアルゴリズムは順序に依存しない。これにより、単一サンプルプロフェット不等式に対して3√3e-競合比のアルゴリズムに直接変換可能である。
• 分析により、競合比推定子 Z(f_{i_r}) の期待値が 1/(3√3) 以上であることが証明され、最終的な競合比の下限が得られた。
• 最適パラメータ選択 q = 1/√3 が、下限導出の中心的な式 q(1 - q²)/2 を最大化することが判明した。
• 従来の手法の複雑さを、ラミナーマトロイド問題を分割マトロイドに還元することで簡略化し、より洗練され、一般化可能な分析を可能にした。