[論文レビュー] Inapproximability of Truthful Mechanisms via Generalizations of the VC Dimension

Amit Daniely, Michael Schapira+1 more|arXiv (Cornell University)|Dec 19, 2014

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

ひとこと要約

本稿は、多値関数クラスに一般化されたVC次元の概念—k次元—を導入し、古典的なVC、Natarajan、Steele次元を一般化する。一般化されたSauer-Shelah補題を証明し、それを用いて組み合わせオークションにおける決定的真実メカニズムの近似不可能性に関する強い結果を確立する。これにより、既存の下界を統一・強化し、真実と非真実のアルゴリズムの間の本質的なギャップを明らかにする。

ABSTRACT

Algorithmic mechanism design (AMD) studies the delicate interplay between computational efficiency, truthfulness, and optimality. We focus on AMD's paradigmatic problem: combinatorial auctions. We present a new generalization of the VC dimension to multivalued collections of functions, which encompasses the classical VC dimension, Natarajan dimension, and Steele dimension. We present a corresponding generalization of the Sauer-Shelah Lemma and harness this VC machinery to establish inapproximability results for deterministic truthful mechanisms. Our results essentially unify all inapproximability results for deterministic truthful mechanisms for combinatorial auctions to date and establish new separation gaps between truthful and non-truthful algorithms.

研究の動機と目的

• アルゴリズムメカニズム設計分野における長年の未解決問題に取り組むこと：組み合わせオークションにおいて、決定的真実メカニズムが非真実アルゴリズムと同等の近似保証を達成できるか。
• 古典的なVC次元を多値関数クラスに対応可能にするように一般化し、組み合わせオークションのような設定における真実メカニズムの複雑さを捉える。
• 異なる評価関数タイプやモデルにおける決定的真実メカニズムの既存の近似不可能性結果を統一・簡略化すること。
• 新しいk次元フレームワークを活用して、真実と非真実のアルゴリズムの間の新たな分離ギャップを確立すること。

提案手法

• k次元と呼ばれるVC次元の新しい一般化を提案。これはkシャッタリングを介して定義され、ドメインの各要素が関数クラス内の関数によってすべての組み合わせが実現可能なように、k個の異なる値にマッピング可能である。
• VC、Natarajan、Steele次元の既知の境界を一般化する、一般化されたSauer-Shelah補題を導入。関数クラスのサイズをk次元に基づいて上限付ける。
• 一般化された次元と境界を用いて、上限付き加法的評価関数を有する組み合わせオークションにおける決定的真実メカニズムの近似比を分析する。
• NP困難問題（例：SUBSET-SUM）およびプロミス問題（例：kパッキング）からの還元を用い、標準的な複雑性仮定の下での計算困難性を示す。
• 良い近似比を持つ真実メカニズムの存在は、サイズm^ε/4のkシャッタード集合の存在を意味し、これにより計算的非効率性が導かれる。
• k = nの場合に境界がタイトであることを示し、このフレームワークの理論的限界を確認する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたVC次元フレームワークは、組み合わせオークションにおける決定的真実メカニズムの既存の近似不可能性結果を統一・強化できるか？
• RQ2 要約的に記述された評価関数を有する組み合わせオークションにおいて、最適な社会的福祉を近似する真実メカニズムを設計する計算複雑性は何か？
• RQ3 新しいk次元フレームワークは、古典的および既存の一般化された次元と比較して、真実メカニズムの複雑さをどれほど的確に捉えられるか？
• RQ4 一般化されたSauer-Shelah補題は、組み合わせオークションや上限付き加法的評価関数を超えて、近似不可能性の証明に用いることができるか？
• RQ5 現在の境界の限界は何か？k < nの場合に、境界をより厳密にできるか？

主な発見

• 提案されたk次元は、古典的なVC、Natarajan、Steele次元を一般化し、多値出力を持つ関数クラスを分析する統一的なフレームワークを提供する。
• 一般化されたSauer-Shelah補題は、|H| ≤ Σᵢ₌₀^{dimₖ(H)} (|X| choose i) (k−1)^{|X|−i} (|Y| choose k)^i として関数クラスのサイズを上限付ける。これは既知の境界を拡張する。
• 上限付き加法的評価関数に対しては、NP ⊆ P/polyでない限り、決定的真実メカニズムは社会的福祉の(1−o(1))-近似を達成できない。
• このフレームワークは、組み合わせオークションおよび関連設定における真実メカニズムの既存の近似不可能性証明を簡略化・統一する。
• k = nの場合に境界がタイトであることが確認され、この状況下でのアプローチの理論的限界が裏付けられる。
• 本稿では、フレームワークを確率的真実メカニズムや部分ドメイン最適化問題に拡張するという未解決問題を特定する。