[论文解读] 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维框架，建立真实与非真实算法之间的新分离间隙。

提出的方法

• 提出VC维的新广义形式——k维，通过k-打碎定义，其中域中的每个元素可被映射到k个不同的值，使得函数类中可实现所有组合。
• 引入广义的Sauer-Shelah引理，以k维为基准界定向函数类的大小，推广了已知的VC、Natarajan和Steele维的界。
• 将广义维数与界应用于分析具有截断加法估值的组合拍卖中，确定性真实机制的近似比。
• 通过从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时，该界是紧致的，确认了该方法在这些情形下的理论极限。
• 本文指出了开放问题，包括将框架扩展至随机真实机制和部分域优化问题。