[論文レビュー] VC v. VCG: Inapproximability of Combinatorial Auctions via Generalizations of the VC Dimension

Elchanan Mossel, Christos H. Papadimitriou+2 more|ArXiv.org|May 13, 2009

Auction Theory and Applications参考文献 41被引用数 6

ひとこと要約

本稿は、VC次元をk個の互いに素な集合の組に一般化することで、組み合わせオークションにおける近似不能性の結果を証明するための新しい枠組みを導入する。これにより、VCGに基づくメカニズムおよび最大範囲メカニズムに対する計算複雑性下界が初めて得られる。NP ⊈ P/polyの仮定のもと、2入札者における上限付き加法的評価の組み合わせオークションでは、多項式時間の真実性を保証するメカニズムは1/2より良い近似比を達成できないことが示され、n入札者では(n+1)/(2n)より良い近似比を達成できないことが示される。

ABSTRACT

The existence of incentive-compatible computationally-efficient protocols for combinatorial auctions with decent approximation ratios is the paradigmatic problem in computational mechanism design. It is believed that in many cases good approximations for combinatorial auctions may be unattainable due to an inherent clash between truthfulness and computational efficiency. However, to date, researchers lack the machinery to prove such results. In this paper, we present a new approach that we believe holds great promise for making progress on this important problem. We take the first steps towards the development of new technologies for lower bounding the VC dimension of k-tuples of disjoint sets. We apply this machinery to prove the first computational-complexity inapproximability results for incentive-compatible mechanisms for combinatorial auctions. These results hold for the important class of VCG-based mechanisms, and are based on the complexity assumption that NP has no polynomial-size circuits.

研究の動機と目的

• 真実性を保証し、計算的に効率的なメカニズムが組み合わせオークションで良好な近似比を達成できるかどうかという、長年の未解決問題に取り組むこと。
• 制約なしのアルゴリズムと真実性を保証するアルゴリズムの間の既知の近似比のギャップを埋めること。これは、真実性と効率性の間の本質的な対立によって、両者が本質的に制限を受けると考えられている。
• この文脈で複雑性理論的下界を可能にするために、特にk個の互いに素な集合の組に対するVC次元の一般化という新しい理論的ツールを開発すること。
• VCGに基づくメカニズムおよび最大範囲メカニズムが、標準的な複雑性仮定のもとで、近似性能に根本的な制限を受けることを確立すること。
• これらの下界が、すべての真実性を保証するメカニズムに拡張可能かどうか、特に部分加法的評価の下ですべての商品を割り当てる設定において検討すること。

提案手法

• 宇宙をk個の互いに素な集合に分割するk個の互いに素な部分集合の組（すなわち、k分割）のVC次元の概念を導入する。これにより、古典的なVC次元を組み合わせオークションの結果に一般化する。
• 非一様還元技術を用いる：VCGに基づくメカニズムが良好に近似できるならば、大きなアイテム集合においてNP困難な部分問題を解く必要があるため、全問題を効率的に解くことになる。
• メカニズムの範囲によって大きなアイテム集合がシャッタリングされることを活用し、メカニズムが暗黙的に困難な最適化問題を解かなければならないことを推論する。
• Sauer-Shelah補題およびその確率的バージョン（Ajtai版）を用いて、VC次元の下界を強化し、計算仮定を緩和する。
• 良い近似が可能であると仮定すると、NP ⊆ P/polyが導かれることを示すことにより、近似不能性の結果を証明する。これは広く信じられている複雑性理論的崩壊を示唆する。
• すべての商品を割り当てるケースでは、最大範囲メカニズムが部分加法的評価のもとで唯一の真実性を保証するメカニズムであるため、より強い下界を導出可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 一般化されたVC次元を用いて、真実性を保証する組み合わせオークションにおけるメカニズムの計算複雑性の近似不能性の結果を確立できるか？
• RQ2 VCGに基づくメカニズムおよび最大範囲メカニズムは、組み合わせオークションにおいてどの程度、定数近似比を達成できないのか？
• RQ3 近似不能性の結果に内在する計算仮定を、P/polyではなくBPPに緩和できるか？
• RQ4 これらの下界は、最大範囲メカニズムに限らず、すべての真実性を保証するメカニズムに拡張可能か？
• RQ5 2入札者で上限付き加法的評価の設定において、任意の真実性を保証するメカニズムが達成可能な最もタイトな近似比は何か？

主な発見

• 本稿は、一般化されたVC次元を用いて、組み合わせオークションにおけるVCGに基づくメカニズムの計算複雑性の近似不能性の結果を初めて確立した。
• 上限付き加法的評価の2入札者における組み合わせオークションでは、NP ⊆ P/polyでない限り、多項式時間の最大範囲メカニズムは1/2より良い近似比を達成できない。
• 部分加法的評価の下ですべての商品を割り当てる設定では、最大範囲メカニズムが唯一の真実性を保証するメカニズムであるため、すべての真実性を保証するメカニズムに対して1/2の下界が成立する。
• 上限付き加法的評価のn入札者における設定では、NP ⊆ P/polyでない限り、最大範囲メカニズムは( n+1 )/( 2n ) + ε より良い近似比を達成できない。
• Ajtaiの確率的バージョンのSauer-Shelah補題を用いることで、計算仮定をNP ∉ BPPに緩和可能であり、より強力な確率的VC理論の構築が可能である可能性を示唆する。
• 著者らは、n入札者設定では、いかなる真実性を保証するメカニズムでも定数近似比を達成できないと予想しており、2入札者設定では自明な上界1/2がタイトであると考えている。