[논문 리뷰] Algorithms as Mechanisms: The Price of Anarchy of Relax-and-Round

Paul Dütting, Thomas Keßelheim외 1명|arXiv (Cornell University)|2015. 11. 30.

Auction Theory and Applications인용 수 1

한 줄 요약

이 논문은 관계 없는 라운딩을 사용하는 이완-라운딩 알고리즘과 함께 지불-당신-입찰 가격 정책을 조합할 경우, 낮은 아나르키의 가격을 갖는 메커니즘을 제공함을 입증한다. 이론적으로, 만약 이완이 부드러움을 통해 β의 아나르키의 가격을 갖는다고 가정하고, 라운딩이 α-근사 및 관계 없는 조건을 만족할 경우, 결과적으로 메커니즘의 아나르키의 가격은 O(αβ)가 되며, 이는 이전의 결과를 탐욕 알고리즘을 초월하여 광범위한 근사 알고리즘의 범주로 확장한다.

ABSTRACT

Many algorithms that are originally designed without explicitly considering incentive properties are later combined with simple pricing rules and used as mechanisms. The resulting mechanisms are often natural and simple to understand. But how good are these algorithms as mechanisms? Truthful reporting of valuations is typically not a dominant strategy (certainly not with a pay-your-bid, first-price rule, but it is likely not a good strategy even with a critical value, or second-price style rule either). Our goal is to show that a wide class of approximation algorithms yields this way mechanisms with low Price of Anarchy. The seminal result of Lucier and Borodin [SODA 2010] shows that combining a greedy algorithm that is an $\alpha$-approximation algorithm with a pay-your-bid payment rule yields a mechanism whose Price of Anarchy is $O(\alpha)$. In this paper we significantly extend the class of algorithms for which such a result is available by showing that this close connection between approximation ratio on the one hand and Price of Anarchy on the other also holds for the design principle of relaxation and rounding provided that the relaxation is smooth and the rounding is oblivious. We demonstrate the far-reaching consequences of our result by showing its implications for sparse packing integer programs, such as multi-unit auctions and generalized matching, for the maximum traveling salesman problem, for combinatorial auctions, and for single source unsplittable flow problems. In all these problems our approach leads to novel simple, near-optimal mechanisms whose Price of Anarchy either matches or beats the performance guarantees of known mechanisms.

연구 동기 및 목표

• 전략적 환경에서 낮은 아나르키의 가격을 갖는 메커니즘을 자연스럽게 도출하는 알고리즘 설계 원칙을 규명하는 것.
• 이전에 탐욕 알고리즘에 국한되어 있던 근사 비율과 아나르키의 가격 간의 관계를, 이완-라운딩 프레임워크로 확장하는 것.
• 부드러운 이완과 함께 사용될 경우, 관계 없는 라운딩이 아나르키의 가격 보장을 유지하는 조건을 입증하는 것.
• 조합 경매 및 정수 계획 문제와 같은 다양한 문제에 대해 단순하고 near-optimal 메커니즘을 설계하는 일반적 프레임워크를 제공하는 것.
• 이러한 메커니즘이 베이지안 및 학습 기반 균형 조건에서도 강력한 성능을 유지를 하는지 보여주는 것.

제안 방법

• Roughgarden와 Syrgkanis-Tardos의 부드러움 프레임워크를 활용하여, (λ, µ)-부드러움을 통해 메커니즘을 분석한다.
• 목표 함수에 영향을 받지 않는 라운딩 방식인 관계 없는 라운딩의 개념을 도입함으로써 문제 간 일반화를 가능하게 한다.
• 조합 문제의 이완(예: 정수 프로그래밍, TSP, 유량 문제)에 프레임워크를 적용하여, 약간의 조건 하에 부드러움이 성립함을 보여준다.
• 지불-당신-입찰 지불 규칙을 적용하고, 부드러움이 완전 정보가 아닌 설정에서도 아나르키의 가격이 유한함을 증명한다.
• 비음수이자 입찰에 의해 제한되는 지불에 대해 약한 부드러움으로 결과를 확장하고, 근사적 이완 해법기구를 적용한다.
• Carr와 Vempala의 랜덤화된 메타라운딩을 활용하여 비관계적인 라운딩에서 관계 없는 라운딩로의 변환을 유도함으로써 적용 범위를 넓힌다.

실험 결과

연구 질문

• RQ1 근사 비율과 아나르키의 가격 간의 관계를 탐욕 알고리즘을 초월하여 이완-라운딩 알고리즘으로 확장할 수 있는가?
• RQ2 관계 없는 라운딩이 메커니즘 설계에서 아나르키의 가격 보장을 유지하는 조건은 무엇인가?
• RQ3 이완의 부드러움과 함께 α-근사 관계 없는 라운딩이 O(αβ)의 아나르키의 가격을 갖는 메커니즘을 도출하는가?
• RQ4 이 프레임워크는 다중 단위 경매, 일반화된 매칭, 그리고 증명 가능한 성능 보장이 있는 단일 소스 유량 문제에 적용 가능한가?
• RQ5 근사적으로 해결된 이완에서 유도된 메커니즘의 아나르키의 가격은 무엇인가, 특히 이완 해법기가 진실성 있는 경우 어떻게 되는가?

주요 결과

• α-근사 관계 없는 라운딩 방식과 부드러운 이완을 사용하는 이완-라운딩 메커니즘은 아나르키의 가격이 O(αβ)가 되며, 여기서 β는 이완의 아나르키의 가격이다.
• 이 결과는 순수 내쉬 균형 뿐만 아니라 코arse correlated 균형 및 베이지안 균형에도 적용된다.
• 다중 단위 경매 및 일반화된 매칭 문제에서는 기존의 알려진 상한선을 유지하거나 초월하는 새로운 메커니즘을 도출한다.
• 최대 여행 경로 문제에서는 처음으로 비자명한 아나르키의 가격 보장을 제공한다.
• 패킹 LP에 대해 O(log n + log L)-근사 해법기를 사용할 경우, 병합된 메커니즘은 아나르키의 가격이 O(α(log n + log L))가 된다.
• 이 프레임워크는 정확하지 않은 이완 해법기구로도 일반화 가능하며, 입찰에 의해 제한되는 비음수 지불에 대해, 약한 부드러움 하에 (1 + µ)/λ 수준의 PoA 상한선을 유지한다.