[論文レビュー] Combinatorial Auctions with Restricted Complements

Ittai Abraham, Moshe Babaioff+2 more|arXiv (Cornell University)|May 18, 2012

Auction Theory and Applications参考文献 19被引用数 7

ひとこと要約

本稿は、補完性が限定的な組み合わせオークションのためのハイパーグラフベースの評価モデルを導入し、ハイパーエッジのランク $ r $ でパラメータ化されている。多項式時間の真実性保証メカニズムと近似アルゴリズムを提示し、一般のハイパーグラフ-$ r $ 評価において $ O(\log^r m) $-近似を達成するとともに、平面的またはマイナーを含まないグラフでは $ (1+\epsilon) $-近似を達成し、補完性が存在する中でも効率的な福祉最大化を可能にする。

ABSTRACT

Complements between goods - where one good takes on added value in the presence of another - have been a thorn in the side of algorithmic mechanism designers. On the one hand, complements are common in the standard motivating applications for combinatorial auctions, like spectrum license auctions. On the other, welfare maximization in the presence of complements is notoriously difficult, and this intractability has stymied theoretical progress in the area. For example, there are no known positive results for combinatorial auctions in which bidder valuations are multi-parameter and non-complement-free, other than the relatively weak results known for general valuations. To make inroads on the problem of combinatorial auction design in the presence of complements, we propose a model for valuations with complements that is parameterized by the "size" of the complements. A valuation in our model is represented succinctly by a weighted hypergraph, where the size of the hyper-edges corresponds to degree of complementarity. Our model permits a variety of computationally efficient queries, and non-trivial welfare-maximization algorithms and mechanisms. We design the following polynomial-time approximation algorithms and truthful mechanisms for welfare maximization with bidders with hypergraph valuations. 1- For bidders whose valuations correspond to subgraphs of a known graph that is planar (or more generally, excludes a fixed minor), we give a truthful and (1+epsilon)-approximate mechanism. 2- We give a polynomial-time, r-approximation algorithm for welfare maximization with hypergraph-r valuations. Our algorithm randomly rounds a compact linear programming relaxation of the problem. 3- We design a different approximation algorithm and use it to give a polynomial-time, truthful-in-expectation mechanism that has an approximation factor of O(log^r m).

研究の動機と目的

• 実際の応用例（電波オークションなど）で一般的な補完性フリーでない評価関数を有する組み合わせオークションにおける福祉最大化の理論的課題に取り組むこと。
• 補完的バンドルのサイズ（ランク $ r $）でパラメータ化された、限定的補完性を簡潔に表現する評価モデルを設計すること。これにより、効率的な計算とメカニズム設計が可能になる。
• このモデル下での福祉最大化のための多項式時間近似アルゴリズムおよび真実性保証メカニズムを開発すること。一般の補完性豊富な評価関数では計算困難であることを克服する。
• 真実性を保ちながら強力な近似保証を達成すること、特に確率的丸めと代理評価技術を通じて。

提案手法

• 入札者の各評価を、高々 $ r $ のサイズをもつハイパーエッジを含むハイパーグラフ-$ r $ 評価として表現する。物品とハイパーエッジに非負の重みが割り当てられ、バンドルの価値は含まれる物品およびエッジの重みの合計である。
• 福祉最大化問題のコンactな線形計画（LP）緩和を用いる。変数は各入札者-物品バンドルの割り当てを表し、互いに重複しない割り当てを保証する制約を含む。
• Lavi-Swamyフレームワークを適用し、最適な分数解を多項式個の整数解の凸結合に分解することで、確率的丸めを可能にする。
• 各物品を、整数解で割り当てられた入札者の中からランダムに選択された受領者に割り当てる確率的割り当てルールを採用する。確率は $ 1/B $ 比例で、$ B = \Omega(\log m) $ である。
• 真実性を保つために代理評価を導入し、メカニズムがMIDR（平均独立、平均抵抗性）であり、したがって期待値における真実性を満たすようにする。
• LP緩和の整数性ギャップと代理評価の近似要因 $ B^{-r} $ を用いて、近似比を $ O(\log^r m) $ で抑え込む。

実験結果

リサーチクエスチョン

• RQ1 補完性が限定的であるような評価関数を扱える、計算とメカニズム設計に適した、実行可能で簡潔なモデルを設計できるか？
• RQ2 ハイパーグラフ-$ r $ 評価を持つ組み合わせオークションにおける福祉最大化で達成可能な近似保証は何か？
• RQ3 このような評価関数に対して、強力な近似比を維持しながら真実性保証メカニズムを構築できるか？
• RQ4 基礎となるハイパーグラフの構造的性質（例：平面性、除外マイナー）は、近似品質にどのように影響するか？

主な発見

• ハイパーグラフ-$ r $ 評価に対して、コンactなLP緩和の確率的丸めにより、多項式時間の $ r $-近似アルゴリズムが達成される。
• 期待値における真実性保証メカニズムが設計され、近似因子が $ O(\log^r m) $ である。代理評価と確率的丸めを活用する。
• 平面グラフ（または固定マイナーを含まない）の部分グラフに対応する評価を持つ入札者に対しては、真実性保証の $ (1+\epsilon) $-近似メカニズムが達成される。
• 整数解の凸結合と確率的割り当ての構成により、メカニズムはMIDR（平均独立、平均抵抗性）であり、期待値における真実性が保証される。
• $ B = \Omega(\log m) $ のとき、LP緩和の整数性ギャップは普遍定数で抑え込まれるため、強力な近似保証が可能になる。
• 代理評価技術により、メカニズムの期待福祉が最適値の $ \frac{1}{\alpha B^r} $ 以上であることが保証される。ここで $ \alpha $ は整数性ギャップを上回る。