[論文レビュー] Polymatroid Prophet Inequalities

Paul Duetting, Robert Kleinberg|arXiv (Cornell University)|Jul 19, 2013

Auction Theory and Applications参考文献 16被引用数 4

ひとこと要約

この論文は、プロフェット不等式を多様体制約へ拡張し、劣微分容量制約下で重み付き和の期待最適値の少なくとも半分を達成できるオンラインアルゴリズムが存在することを証明している。この手法は多様体問題をブロック構造付きマトロイド設定に還元することで、ブロック内での相関のある重みを考慮しても、Kleinberg-Weinbergアルゴリズムが1/2近似保証を維持できることを可能にする。

ABSTRACT

Consider a gambler and a prophet who observe a sequence of independent, non-negative numbers. The gambler sees the numbers one-by-one whereas the prophet sees the entire sequence at once. The goal of both is to decide on fractions of each number they want to keep so as to maximize the weighted fractional sum of the numbers chosen. The classic result of Krengel and Sucheston (1977-78) asserts that if both the gambler and the prophet can pick one number, then the gambler can do at least half as well as the prophet. Recently, Kleinberg and Weinberg (2012) have generalized this result to settings where the numbers that can be chosen are subject to a matroid constraint. In this note we go one step further and show that the bound carries over to settings where the fractions that can be chosen are subject to a polymatroid constraint. This bound is tight as it is already tight for the simple setting where the gambler and the prophet can pick only one number. An interesting application of our result is in mechanism design, where it leads to improved results for various problems.

研究の動機と目的

• マトロイドから多様体制約へプロフェット不等式を一般化すること。ここでの実行可能解は劣微分関数によって定義される。
• オンライン意思決定者（ギャンブラー）が、多様体実行可能制約下で、重み付き和の期待最適値の少なくとも半分を達成できることを確立すること。
• 多様体実行可能構造を持つ問題に対して、単純で近似的に最適なメカニズムを可能にするために、メカニズム設計におけるギャップを埋めること。
• 多様体問題を、相関はあるがブロック内に独立な重みを持つ等価なブロック構造付きマトロイド問題に変換する還元技術を開発すること。
• Kleinberg-Weinbergアルゴリズムがブロック構造付き分布下でも有効であり、1/2近似保証を維持することを証明すること。

提案手法

• 各要素の限界寄与度に従って複製することで、独立な重みを持つ多様体問題をブロック構造付きマトロイド問題に還元する。
• 元の多様体の各要素に対応するブロックを持つブロック構造付きマトロイドを構築し、各ブロック内のすべての要素は同一の重みを持つようにする。
• 異なるブロック間の重みは独立であり、ブロック内では完全に相関していることを利用して、変換された問題をモデル化する。
• ブロック構造付きマトロイドにKleinberg-Weinbergアルゴリズムを適用し、期待最大値から導かれるしきい値に基づいて要素を選択する。
• カップリング論法と確率的優位性を用いて、変換された問題におけるオンラインアルゴリズムの期待性能が1/2近似境界と一致することを証明する。
• 劣微分ポリトープの構造と逐次公開価格の性質を活用して、メカニズム設計の応用における収益保証を導出する。

実験結果

リサーチクエスチョン

• RQ1 プロフェット不等式の1/2近似保証は、マトロイドから多様体実行可能制約へ拡張可能か？
• RQ2 Kleinberg-Weinbergアルゴリズムは、ブロック内に同一の重みを持つブロック構造付き分布下でも、その性能保証を維持するか？
• RQ3 多様体からブロック構造付きマトロイドへの還元は、独立な重み仮定下でもプロフェット不等式境界を保持するか？
• RQ4 この結果は、ポジションオークションや空間市場などの多様体制約を持つ問題におけるメカニズム設計にどのような意味を持つか？
• RQ5 多様体単一パrameterベイジアン設定において、証明可能な収益保証を持つ単純な支配戦略インcentive-compatibleメカニズムを設計する方法はあるか？

主な発見

• 本論文は多様体制約に対するプロフェット不等式を確立した。オンラインアルゴリズムは劣微分容量制約下で、重み付き和の期待最適値の少なくとも半分を達成する。
• 1/2近似保証はタイトであり、これは単一選択プロフェット不等式設定での既知のタイトネスと一致する。
• 多様体からブロック構造付きマトロイドへの還元は、プロフェット不等式の保証を保持する。これにより、既存のアルゴリズムを新しい文脈で利用可能にする。
• Kleinberg-Weinbergアルゴリズムは、元々独立な重みを想定して設計されたが、ブロックごとに同一の重みを持つブロック構造付き分布下でも有効であることが示された。
• メカニズム設計において、逐次公開価格は多様体単一パrameterベイジアン問題において、最適収益の少なくとも半分を達成する。
• この結果は、位置オークション（例：レーティング付きGSP）の既存の境界を改善し、多様体制約下での空間市場に対して初めての近似保証を提供する。