[論文レビュー] An approximately truthful-in-expectation mechanism for combinatorial auctions using value queries

Shaddin Dughmi, Tim Roughgarden+2 more|arXiv (Cornell University)|Sep 6, 2011

Auction Theory and Applications参考文献 1被引用数 12

ひとこと要約

本稿では、より複雑なロトゥリー・バリュー・クエリの代わりにバリュー・クエリを使用する組み合わせオークションの期待的にほぼ真実のメカニズムを提示する。価値オракルモデルにおいて、$(1 - \epsilon)$-近似的に最大分布範囲内（MIDR）な割り当てルールを実装し、ブラックボックス変換を適用することで近似的真実性を達成することで、重み付きマトロイド・ランク和評価関数に対して、多項式時間で社会的総余剰の$(1 - 1/e - \epsilon)$-近似を得る。

ABSTRACT

This manuscript presents an alternative implementation of the truthful-in-expectation mechanism of Dughmi, Roughgarden and Yan for combinatorial auctions with weighted-matroid-rank-sum valuations. The new implementation uses only value queries and is approximately truthful-in-expectation, in the sense that by reporting truthfully each agent maximizes his utility within a multiplicative 1-o(1) factor. It still provides an optimal (1-1/e-o(1))-approximation in social welfare. We achieve this by first presenting an approximately maximal-in-distributional-range allocation rule and then showing a black-box transformation to an approximately truthful-in-expectation mechanism.

研究の動機と目的

• マトロイド・ランク関数に対して#P困難に計算されるロトゥリー・バリュー・クエリの非現実性に対処するため。
• Dughmiらの真実性の期待的（TIE）メカニズムが、ロットリー・バリュー・クエリに代えてより弱いバリュー・オラクル・モデルで実装可能であり、近似的真実性にとどまることを示すため。
• 重み付きマトロイド・ランク和評価関数に対して、バリュー・オラクル・モデルで多項式時間、$(1 - \epsilon)$-近似的にMIDRな割り当てルールを設計するため。
• 近似的にMIDRなルールから近似的にTIEなメカニズムへのブラックボックス変換を確立し、近似損失が有界であることを示すため。
• 近似的真実性を維持しながら、社会的総余剰に対して$(1 - 1/e - \epsilon)$-近似を得るため。

提案手法

• 整数分割可能な割り当てポリトープ内での最適割り当てを近似するために、集計社会的総余剰関数のマルチリニア拡張を用いる。
• 定められた範囲内の分布内での期待社会的総余剰を$(1 - \epsilon)$-近似的に最大化するような分布を見つけるために、局所探索アルゴリズムを適用する。
• 高精度の推定を用いたモンテカルロ・サンプリングにより、入札者の期待効用を推定し、効用最大化における誤差を有界に保つ。
• 入札者を効用の閾値に基づいて「アクティブ」または「非アクティブ」と分類し、非アクティブな入札者をVCGベースの割り当てから除外することで、計算複雑性を低減する。
• 近似的にMIDRな割り当てルールから、$(1 - \epsilon')$-真実性の期待的メカニズムへのブラックボックス変換を適用し、$\epsilon' = \epsilon \cdot \text{poly}(m,n)$ とする。
• 集中不等式を活用して、効用推定の誤差を有界に保ち、真実の報告が最適値の相対的$O(\epsilon \cdot \text{poly}(n))$要因内に効用をもたらすことを保証する。

実験結果

リサーチクエスチョン

• RQ1 組み合わせオークションの真実性の期待的メカニズムは、ロットリー・バリュー・クエリの代わりにバリュー・クエリのみを用いて実装可能か？
• RQ2 ロットリー・バリュー・クエリをバリュー・クエリに置き換えた場合、真実性と計算可能性のトレードオフは何か？
• RQ3 重み付きマトロイド・ランク和評価関数に対して、バリュー・オラクル・モデルにおける近似的にMIDRな割り当てルールは、社会的総余剰をどの程度近似できるか？
• RQ4 ブラックボックス変換により、近似的にMIDRなルールを近似的にTIEなメカニズムに変換可能か？ その際、近似損失は有界か？
• RQ5 結果として得られる近似的にTIEなメカニズム下での社会的総余剰の近似要因は何か？

主な発見

• 本稿では、バリュー・オラクル・モデルにおいて多項式時間で動作する$(1 - \epsilon)$-近似的にMIDRな割り当てルールを構築し、重み付きマトロイド・ランク和評価関数に対して、社会的総余剰の$(1 - 1/e - \epsilon)$-近似を得る。
• このメカニズムにより、真実の報告が最適値の相対的要因$1 - O(\epsilon \cdot \text{poly}(n))$内に効用をもたらすことが保証され、$\epsilon' = \epsilon \cdot \text{poly}(m,n)$ として、$(1 - \epsilon')$-近似的真実性の期待的性質が確立される。
• バリュー・オラクル・モデルが、真実性と近似品質のわずかな、多項式的に有界な損失を伴ってメカニズムを実装するのに十分であることが示された。
• 本稿では、マトロイド・ランク関数に対してロットリー・バリュー・クエリが#P困難に計算されることを証明し、独立性オラクルによってマトロイドが与えられた場合でさえ、最悪ケースで指数的多くのクエリを要することが示された。
• このメカニズムは、元のTIEメカニズムが達成する社会的総余剰の少なくとも$(1 - O(1/n))$-倍を回復し、これは$(1 - O(1/\text{poly}(m,n)))$-近似要因に相当する。
• 任意の$\epsilon = 1/\text{poly}(m,n)$に対して本結果が成り立ち、多項式時間計算により、真実性と近似の両方において誤差を任意に小さくできる。