[논문 리뷰] An Algorithmic Framework for Strategic Fair Division

Simina Brânzei, Ioannis Caragiannis외 2명|arXiv (Cornell University)|2013. 07. 08.

Auction Theory and Applications참고 문헌 39인용 수 12

한 줄 요약

이 논문은 전략적 공정 분배를 위한 일반화된 컷 앤 찬스(GCC) 프레임워크를 제안하며, 모든 이러한 프rotocol이 근사적인 하위게임 완전 내쉬 균형을 갖는다는 것을 증명하고, 균형 결과가 비례성을 유지한다는 것을 보여준다. 또한 내쉬 균형이 정확히 연속된 선호 없음 할당에 해당하는 새로운 프rotocol—도둑질 프로토콜—을 설계하였다.

ABSTRACT

We study the paradigmatic fair division problem of fairly allocating a divisible good among agents with heterogeneous preferences, commonly known as cake cutting. Classic cake cutting protocols are susceptible to manipulation. Do their strategic outcomes still guarantee fairness? To address this question we adopt a novel algorithmic approach, proposing a concrete computational model and reasoning about the gametheoretic properties of algorithms that operate in this model. Specifically, we show that each protocol in the class of generalized cut and choose (GCC) protocols — which includes the most important discrete cake cutting protocols — is guaranteed to have approximate subgame perfect Nash equilibria, or even exact equilibria if the protocol’s tie-breaking rule is flexible. We further observe that the (approximate) equilibria of proportional protocols — which guarantee each of the n agents a 1/n-fraction of the cake — must be (approximately) proportional, thereby answering the above question in the positive (at least for one common notion of fairness).

연구 동기 및 목표

• 고전적인 케이크 커파이팅 프로토콜의 전략적 오용 문제를 분석함으로써 게임 이론적 균형을 연구함으로써 해결하고자 한다.
• 표준 이산 케이크 커파이팅 프로토콜을 포괄하는 일반적인 계산 모델—일반화된 컷 앤 찬스(GCC) 프로토콜—을 정의하고자 한다.
• GCC 프로토콜이 근사적인 하위게임 완전 내쉬 균형(스페셜 포지션 내쉬 균형, SPNE)을 갖는다는 것을 입증하고, 탄력적인 패기 규칙을 통해 정확한 SPNE의 존재를 보장하고자 한다.
• 비례적인 GCC 프로토콜의 균형 결과가 근사적 또는 정확하게 비례성을 유지한다는 것을 증명하고자 한다.
• 내쉬 균형이 정확히 연속된 선호 없음 할당에 해당하는 프로토콜을 설계하고자 한다.

제안 방법

• 에이전트들이 상대적 컷 위치에 따라 번갈아가며 컷과 찬스 행동을 수행하는 트리 구조 알고리즘으로 GCC 프로토콜을 정의한다.
• 에이전트들이 전략적으로 행동하는 게임 이론적 모델을 도입하고, 하위게임 완전 내쉬 균형(SPNE) 개념을 사용하여 균형을 분석한다.
• 모든 ǫ > 0에 대해 ǫ-SPNE의 존재를 증명하며, 이는 어떤 에이전트도 이탈 시 ǫ를 초과하여 이득을 보지 못한다는 것을 보여준다.
• 모든 플레이 이력에 의존하는 정보 기반 패기 규칙을 도입하여, 정확한 SPNE가 존재하지 않는 경우에도 정확한 SPNE의 존재를 보장한다.
• 도둑질 프로토콜을 설계한다: 에이전트 1이 먼저 연속된 할당을 설정하고, 이후 각 에이전트가 다른 이의 조각을 훔치려는 시도를 통해 선호 없음을 검증한다.
• 검증 메커니즘을 도입한다: 만약 어떤 에이전트가 다른 이의 조각에서 비어 있지 않은 진부분을 훔치면, 프로토콜은 그 에이전트가 훔친 조각을 가져가며 종료된다.

실험 결과

연구 질문

• RQ1 에이전트들이 정직하게 행동하는 대신 전략적으로 행동할 경우, 고전적인 케이크 커파이팅 프로토콜이 여전히 공정한 결과를 낳는가?
• RQ2 이산 케이크 커파이팅 프로토콜을 위한 일반적인 계산 모델을 정의할 수 있는가? 이 모델은 게임 이론적 분석을 지원해야 한다.
• RQ3 GCC 프로토콜은 항상 근사적 또는 정확한 하위게임 완전 내쉬 균형을 갖는가?
• RQ4 비례적인 GCC 프로토콜의 균형 결과에서 비례성이 유지되는가?
• RQ5 내쉬 균형이 정확히 선호 없음 할당에 해당하는 프로토콜을 설계할 수 있는가?

주요 결과

• 모든 GCC 프로토콜은 임의의 ǫ > 0에 대해 ǫ-하위게임 완전 내쉬 균형을 갖는다. 이는 어떤 에이전트도 이탈 시 ǫ를 초과하여 이득을 보지 못한다는 것을 의미한다.
• 정보 기반 패기 규칙을 도입함으로써, GCC 프로토콜은 정확한 하위게임 완전 내쉬 균형을 달성할 수 있으며, 이는 정확한 균형이 존재하지 않는 경우에도 가능하다.
• 비례적인 GCC 프로토콜의 ǫ-균형에서 결과는 ǫ-비례적이며, 각 에이전트는 자신의 평가 기준으로 최소 (1/n - ǫ)의 가치를 확보한다.
• 도둑질 프로토콜은 모든 내쉬 균형이 정확히 전체 케이크의 연속된 선호 없음 할당에 해당하도록 설계되어 있다.
• 반대로, 전체 케이크의 모든 연속된 선호 없음 할당은 도둑질 프로토콜 내 어떤 내쉬 균형의 결과물이다.
• 도둑질 프로토콜은 선호 없음 할당으로 이르는 전략에서 이탈할 경우 보다 가치 있는 부분을 훔칠 수 있는 유인 때문에, 어떤 에이전트도 유리하게 이탈할 수 없다.