[論文レビュー] The Outer Limits of Contention Resolution on Matroids and Connections to the Secretary Problem

Shaddin Dughmi|arXiv (Cornell University)|Sep 10, 2019

Optimization and Search Problems参考文献 27被引用数 2

ひとこと要約

本稿は、積分布を超えて任意のマトロイド制約上の分布へと競合解決を一般化し、2|E|個の不等式からなる族によってα-競合性のある分布を特徴づけている。オンライン競合解決とマトロイド・セクレタリー問題の間にきわめて緊密な関係を確立し、競合性を持つセクレタリーのアルゴリズムが近似的に最適なオンライン競合解決を可能にすることを示した。また、マトロイド上での要素分布の改善がO(1)-競合性を持つことを示し、マトロイド・セクレタリー予想を解く新たな道筋を提示した。

ABSTRACT

Contention resolution schemes have proven to be a useful and unifying abstraction for a variety of constrained optimization problems, in both offline and online arrival models. Much of prior work restricts attention to product distributions for the input set of elements, and studies contention resolution for increasingly general packing constraints, both offline and online. In this paper, we instead focus on generalizing the input distribution, restricting attention to matroid constraints in both the offline and online random arrival models. In particular, we study contention resolution when the input set is arbitrarily distributed, and may exhibit positive and/or negative correlations between elements. We characterize the distributions for which offline contention resolution is possible, and establish some of their basic closure properties. Our characterization can be interpreted as a distributional generalization of the matroid covering theorem. For the online random arrival model, we show that contention resolution is intimately tied to the secretary problem via two results. First, we show that a competitive algorithm for the matroid secretary problem implies that online contention resolution is essentially as powerful as offline contention resolution for matroids, so long as the algorithm is given the input distribution. Second, we reduce the matroid secretary problem to the design of an online contention resolution scheme of a particular form.

研究の動機と目的

• マトロイド上における任意の相関のある入力分布下での競合解決の力と限界を理解すること。標準的な積分布の仮定を超えること。
• マトロイド上でのα-競合性のあるオフライン競合解決を可能にする分布のクラスを特徴づけ、マトロイド基底被覆定理を分布へと一般化すること。
• 分布の知識が競合解決に与える影響を調査すること。特に、事前独立のスキームが非自明な保証を達成できるかどうか。
• オンライン競合解決とマトロイド・セクレタリー問題の間に深い関係を確立し、片方が競合性を持つならば、もう片方も競合性を持つことを示すこと。
• 競合解決が長年のマトロイド・セクレタリー予想を解く鍵を握っている可能性を示すこと。

提案手法

• 各地面集合の部分集合ごとに1つずつ、合計2|E|個の線形不等式からなる系によってα-競合性のある分布を特徴づける。これはマトロイド基底被覆定理を分布へと一般化するものである。
• この不等式による特徴づけを用いて、競合性のある分布の閉包性を導出し、正の相関・負の相関を含む例の分析を行う。
• 不可能性結果を用いて、有限サンプルを持つ事前独立の競合解決スキームでは、すべてのα-競合性のある分布に対して非自明な保証を達成できないことを示した。
• マトロイド・セクレタリー問題を特定の形のオンライン競合解決スキームへ還元し、両者の競合性が同等であることを示した。
• カージャーが定義した重み付きマトロイドにおける改善要素の分布を分析し、特徴づけを活用してそれがO(1)-競合性であることを証明した。
• 既存のオンライン CRS アルゴリズムが、改善要素集合のような正の相関を持つ分布では、ランダム到着順でさえも、同じ限界確率を持つ要素を区別できないため、k-一様マトロイドにおける改善要素の選択確率がO(1/k)未満にしか達成できないことを示した。

実験結果

リサーチクエスチョン

• RQ1 どの任意のマトロイド要素の分布がα-競合性のあるオフライン競合解決を許容するか。また、それらはどのように特徴づけられるか？
• RQ2 入力分布の知識が競合解決スキームの競合性に与える影響は何か。事前独立のスキームは非自明な性能を達成できるか？
• RQ3 オンライン競合解決とマトロイド・セクレタリー問題の関係は何か。一方が他方に還元可能か？
• RQ4 マトロイド・セクレタリー予想を仮定せずに、重み付きマトロイドにおける改善要素の分布が競合性を持つことを示せるか？
• RQ5 既存のアプローチが失敗する正の相関下で、オンライン競合解決を達成するための新たなアルゴリズム的手法が必要か？

主な発見

• 分布がα-競合性であるための必要十分条件は、地面集合の各部分集合に対して1つずつ合計2|E|個の線形不等式を満たすことである。これはマトロイド基底被覆定理を分布へと一般化するものである。
• 競合性のある分布のクラスは、混合や条件付き確率といった特定の操作に関して閉じており、正の相関・負の相関を含む分布を含む。
• すべてのα-競合性のある分布に対して非自明な競合性を保証する競合解決スキームは、分布の完全な情報にアクセスする必要がある。有限サンプルを持つ事前独立スキームでは、このような保証は達成できない。
• マトロイド・セクレタリー問題に対してγ-競合性のアルゴリズムが存在するならば、任意のα-競合性のある分布に対して、オンライン競合解決はγα-競合性を達成する。両問題の間にはきわめて緊密な関係がある。
• 重み付きマトロイドにおける改善要素の分布はO(1)-競合性である。これはマトロイド・セクレタリー予想を解く強力な候補である。
• 既存のオンライン競合解決アルゴリズム（ランダム到着順に依存するものも含む）は、k-一様マトロイドにおいて、改善要素の選択確率がO(1/k)未満にしか達成できない。これは限界確率が同一であるための対称性と不毛性に起因する。