[論文レビュー] Mechanism Design without Money via Stable Matching

Ning Chen, Nick Gravin+1 more|arXiv (Cornell University)|Apr 14, 2011

Auction Theory and Applications参考文献 15被引用数 13

ひとこと要約

本稿は、安定マッチングをコアコンponentとして活用することで、マネーのない問題に対して、マトロイド、マッチング、ナップサック、一般化割り当て問題といった重要な組合せ最適化問題に対して定数倍近似保証を達成する、新しいメカニズム設計フレームワークを提案する。このアプローチは、真実性と多項式時間実装性を確保しながら、強力な社会的福祉近似比を維持するために、安定マッチングと確率的サンプリング、オンラインメカニズムを統合する。

ABSTRACT

Mechanism design without money has a rich history in social choice literature. Due to the strong impossibility theorem by Gibbard and Satterthwaite, exploring domains in which there exist dominant strategy mechanisms is one of the central questions in the field. We propose a general framework, called the generalized packing problem (\gpp), to study the mechanism design questions without payment. The \gpp\ possesses a rich structure and comprises a number of well-studied models as special cases, including, e.g., matroid, matching, knapsack, independent set, and the generalized assignment problem. We adopt the agenda of approximate mechanism design where the objective is to design a truthful (or strategyproof) mechanism without money that can be implemented in polynomial time and yields a good approximation to the socially optimal solution. We study several special cases of \gpp, and give constant approximation mechanisms for matroid, matching, knapsack, and the generalized assignment problem. Our result for generalized assignment problem solves an open problem proposed in \cite{DG10}. Our main technical contribution is in exploitation of the approaches from stable matching, which is a fundamental solution concept in the context of matching marketplaces, in application to mechanism design. Stable matching, while conceptually simple, provides a set of powerful tools to manage and analyze self-interested behaviors of participating agents. Our mechanism uses a stable matching algorithm as a critical component and adopts other approaches like random sampling and online mechanisms. Our work also enriches the stable matching theory with a new knapsack constrained matching model.

研究の動機と目的

• VCGメカニズムが高額な支払いや計算困難性のため適用不可能となる状況において、マネーの支払いなしに真実性があり、計算的に効率的なメカニズムを設計する課題に取り組む。
• Gibbard-Satterthwaiteの不可能性定理にもかかわらず、支配戦略メカニズムが存在する分野を探求し、評価値ではなく組合せ的構造に焦点を当てる。
• マトロイド、マッチング、ナップサック、一般化割り当て問題といった既知のモデルを統一・拡張する、一般化パッキング問題（gpp）という一般枠組みを構築する。
• gppの特殊ケースに対して、真実性と多項式時間計算を保証しつつ、定数倍近似メカニズムを提供する。
• マネーなしの一般化割り当て問題に対する最初の定数近似メカニズムを提供することで、メカニズム設計分野の未解決問題を解決する。

提案手法

• フレームワークは、マネーのない組合せ最適化問題を統一的に扱うための一般化パッキング問題（gpp）を導入する。
• 戦略的行動を管理し真実性を保証するために、安定マッチングを中心的なアルゴリズム的コンponentとして採用する。
• 最適解の推定に確率的サンプリングを活用し、動的または不確実な入力を扱うためにオンラインメカニズムを統合する。
• マトロイド、マッチング、ナップサック、一般化割り当て問題ごとに、ナップサック制約付きの好みを組み込んだ安定マッチングを用いた、特化したメカニズムを設計する。
• 理論的分析では、確率的バウンドと条件付き期待値を用いて近似比を導出し、異なる分布下での期待性能に関する主張に依存する。
• パラメータλとμを用いたギャップメカニズムメインを構築し、大規模および小規模なインスタンス間の性能をバランスさせ、定数近似比を保証する。

実験結果

リサーチクエスチョン

• RQ1 マネーのない環境において、安定マッチングを体系的に適用することで、真実性を保ちつつ近似を維持するメカニズムを設計できるか？
• RQ2 マネーの支払いが許可されない状況で、一般化割り当て問題に対する真実性を持つメカニズムが達成可能な近似比は何か？
• RQ3 安定マッチングをナップサック型制約を組み込む形に拡張することで、現実の割り当て問題をモデル化できるか？
• RQ4 組合せ的メカニズム設計において、マネーなしの環境で社会的福祉と真実性のトレードオフは何か？
• RQ5 マッチング、ナップサック、マトロイド系といった多様な組合せ的問題を、1つのメカニズム設計アプローチで統一的に捉えるフレームワークを構築できるか？

主な発見

• 本稿は、マネーなしの一般化割り当て問題に対する、初めての定数倍真実性メカニズムを提示し、先行研究で提示された未解決問題を解決する。
• マトロイド、マッチング、ナップサック、一般化割り当て問題の各問題に対して、提案されたメカニズムは、真実性と多項式時間計算を保証しつつ、定数近似比を達成する。
• 安定マッチングフレームワークは、新しいナップサック制約付きマッチングモデルに拡張され、安定マッチング理論に、メカニズム設計への応用を加える。
• 全体の目的関数に対して、少なくとも1/3 × min(1/(2λ), δ₅ / (2 + 1/(λ−1))) の定数近似比が達成され、λ=3およびμ=1/6をとると有効な定数要因が得られる。
• 分析により、メカニズムの期待社会的福祉が、あるδ₅ > 0に対してδ₅ × v(A*)以上であることが証明され、戦略的行動下でも近似損失が有界であることが示された。
• 評価言語を組合せ的構造に制限することで、Gibbard-Satterthwaiteの不可能性を回避し、評価値がそれらを妨げる場合でも真実性メカニズムを可能にする。