[논문 리뷰] VC v. VCG: Inapproximability of Combinatorial Auctions via Generalizations of the VC Dimension

Elchanan Mossel, Christos H. Papadimitriou외 2명|ArXiv.org|2009. 05. 13.

Auction Theory and Applications참고 문헌 41인용 수 6

한 줄 요약

이 논문은 VC 차원을 k개의 서로소 집합 쌍으로 일반화하여 조합 Auction에서의 근사 불가능성 결과를 증명하는 새로운 프레임워크를 제안한다. 이로써 VCG 기반 및 최대 범위 내 메커니즘에 대한 첫 번째 계산 복잡도 하한을 도출할 수 있다. NP ⊈ P/poly라는 가정 하에, 2명의 입찰자와 제한된 덧셈형 평가를 가진 조합 Auction에서 다항 시간 진실성 메커니즘은 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.

연구 동기 및 목표

• 진정성 있고 계산적으로 효율적인 메커니즘이 조합 Auction에서 좋은 근사 비율을 달성할 수 있는지 여부라는 오랫동안 미해결된 문제를 다루기 위해.
• 제한되지 않은 알고리즘과 진정성 알고리즘 간의 알려진 근사 비율 간 격차를 메우기 위해, 진정성과 효율성 사이의 긴장 관계로 인해 본질적으로 제한된 것으로 여겨지는 근본적인 제약을 이해하기 위해.
• 이 설정에서 복잡도 이론적 하한을 가능하게 하기 위해, k개의 서로소 집합 쌍을 위한 VC 차원의 일반화된 개념을 포함한 새로운 이론적 도구를 개발하기 위해.
• VCG 기반 및 최대 범위 내 메커니즘이 표준 복잡도 가정 하에 근사 성능에서 본질적으로 제한됨을 입증하기 위해.
• 이 하한이 최대 범위 내 메커니즘 외의 모든 진정성 메커니즘으로까지 확장되는지, 특히 부분가중치 평가를 가진 전부 할당 항목 설정에서 어떻게 되는지 탐색하기 위해.

제안 방법

• 우주를 k개의 서로소 집합으로 나누는 k개의 서로소 부분집합 쌍의 VC 차원 개념을 도입하여, 고전적 VC 차원을 조합 Auction 결과를 다룰 수 있도록 일반화하기 위해.
• 비균일 감소 기법을 사용: VCG 기반 메커니즘이 잘 근사한다면, 큰 항목 부분집합에서 NP-난이도 하위문제를 해결해야 하며, 이는 전체 문제를 효율적으로 해결할 수 있음을 의미한다.
• 메커니즘의 범위가 큰 항목 부분집합을 쇄탈할 수 있음을 활용하여, 메커니즘이 암묵적으로 어려운 최적화 문제를 해결해야 한다는 것을 유추한다.
• Sauer-Shelah 보조정리와 그 확률적 변형(아지타이의 변형)을 적용하여 VC 차원 하한을 강화하고 계산 가정을 완화한다.
• 좋은 근사가 가능하다면 NP ⊆ P/poly임을 보여주는 방식으로 근사 불가능성 결과를 증명한다. 이는 널리 믿어지는 복잡도 이론적 붕괴이다.
• 전부 할당 항목 케이스에서는 최대 범위 내 메커니즘이 부분가중치 평가를 가진 경우 유일한 진정성 메커니즘임을 보여주어 더 강력한 하한을 도출할 수 있다.

실험 결과

연구 질문

• RQ1 일반화된 VC 차원을 사용하여 조합 Auction에서 진정성 메커니즘에 대한 계산 복잡도 근사 불가능성 결과를 도출할 수 있는가?
• RQ2 VCG 기반 및 최대 범위 내 메커니즘은 조합 Auction에서 어떤 정도까지 일정한 근사 비율을 달성하지 못하는가?
• RQ3 근사 불가능성 결과의 계산 가정을 BPP로 완화할 수 있는가?
• RQ4 이러한 하한이 최대 범위 내 메커니즘 외의 모든 진정성 메커니즘으로까지 확장되는가?
• RQ5 2명의 입찰자와 제한된 덧셈형 평가를 가진 설정에서 어떤 진정성 메커니즘도 달성할 수 있는 최고의 근사 비율은 얼마인가?

주요 결과

• 논문은 일반화된 VC 차원을 사용하여 VCG 기반 메커니즘에 대한 조합 Auction에서의 첫 번째 계산 복잡도 근사 불가능성 결과를 확립한다.
• 2명의 입찰자와 제한된 덧셈형 평가를 가진 조합 Auction에서, 다항 시간 최대 범위 내 메커니즘은 NP ⊆ P/poly가 아닐 경우 1/2보다 나은 근사 비율을 달성할 수 없다.
• 부분가중치 평가를 가진 전부 할당 항목 설정에서는, 최대 범위 내 메커니즘이 이 경우의 유일한 진정성 메커니즘임을 고려할 때 동일한 하한 1/2가 모든 진정성 메커니즘에 적용된다.
• 제한된 덧셈형 평가를 가진 n명의 입찰자에 대해, 최대 범위 내 메커니즘은 (n+1)/(2n) + ε보다 나은 근사 비율을 달성할 수 없으며, 이는 NP ⊆ P/poly가 아닐 경우에 한한다.
• Ajtai의 확률적 Sauer-Shelah 보조정리 버전을 사용함으로써 계산 가정을 NP ∉ BPP로 완화할 수 있으며, 이는 더 강력한 확률적 VC 기반 도구의 가능성 시사.
• 저자들은 모든 진정성 메커니즘이 n명의 입찰자 케이스에서 일정한 근사 비율을 달성할 수 없다고 추측하며, 2명의 입찰자 케이스에서 1/2 상한이 최적임을 주장한다.