[논문 리뷰] How to Re-Divide a Cake Fairly.

Erel Segal-Halevi|arXiv (Cornell University)|2016. 03. 01.

Game Theory and Voting Systems참고 문헌 56인용 수 4

한 줄 요약

이 논문은 자원이 이미 분할되어 있는 상황에서 이질적인 케이크를 에이전트들 간에 공정하게 재분배하기 위한 재분배 프로토콜을 제안한다. 이는 원래의 에이전트들과 새로운 에이전트들 모두에게 공정성을 보장하며, 기하학적 제약 조건이 있는 경우 공정성의 가격(price of fairness)에 대한 상한을 도출한다.

ABSTRACT

This paper studies the classic problem of fairly dividing a heterogeneous resource (cake) among several agents with different value measures. The innovation is that the resource is already divided among several agents. When agents come, the resource should be re-divided in a way that is fair both for the young and for the old agents. Motivated by re-division of land and other real-life division problems, we present re-division protocols for various settings that differ in the geometric constraints on the cake and its pieces: (a) no geometric constraints - the cake is an arbitrary Borel subset of the plane and the pieces may be arbitrary Borel subsets of it; (b) connectivity - the cake is a one-dimensional interval and each piece must be a contiguous interval; (c) rectangularity - the cake is a two-dimensional rectangle or rectilinear polygon and the pieces should be rectangles; (d) convexity - the cake is a two-dimensional convex polygon and the pieces should be convex. Our re-division protocols have implications on another problem: the price-of-fairness - the loss of social welfare caused by fairness requirements. Each protocol implies an upper bound on the price-of-fairness with the respective geometric constraints.

연구 동기 및 목표

• 기존에 일부 에이전트들이 이미 소유한 상태에서 이질적인 케이크를 공정하게 재분배하는 문제를 다루는 것.
• 새로운 에이전트 뿐 아니라, 이전에 분할을 받은 원래의 에이전트들 역시 공정성을 확보하는 것.
• 케이크와 조각에 대한 다양한 기하학적 제약 조건 하에서 사회적 복지 손실(공정성의 가격)을 분석하는 것.
• 실제 땅 재분배와 같은 현실 문제에 적용 가능한 실용적인 재분배 프로토콜을 개발하는 것.

제안 방법

• 무제약, 연결성(1차원 구간), 직사각형성(2차원 직사각형), 볼록성(2차원 볼록 다각형)의 네 가지 기하학적 제약 조건 하에서 재분배 프로토콜을 제안한다.
• 각 에이전트가 개인의 가치 측정 기준에 따라 가치 균형 분할을 받을 수 있도록 케이크를 재분배하는 프로토콜을 설계한다.
• 재귀적이고 선호 없음(enjoy-free) 방식을 사용하여 조각을 재할당하면서도 공정성과 기하학적 제약 조건을 유지한다.
• 공정성 요구 사항으로 인한 사회적 복지 손실을 측정하기 위해 프로토콜을 적용하여 공정성의 가격을 제한한다.
• 무제약 경우의 일반적인 케이크와 조각 정의를 위해 보렐 집합(Borel sets)을 사용하여 수학적 엄밀성을 확보한다.
• 각 프로토콜의 구조가 해당 기하학적 설정에 대해 공정성의 가격에 대한 증명 가능한 상한을 암시함을 보여준다.

실험 결과

연구 질문

• RQ1 기존에 일부 에이전트들이 이미 소유한 상태에서 새로운 에이전트들이 도착했을 때, 케이크를 어떻게 공정하게 재분배할 수 있는가?
• RQ2 원래의 에이전트들과 새로운 에이전트들 모두에게 공정성을 유지하면서 재분배를 가능하게 하기 위해 필요한 최소한의 기하학적 제약 조건은 무엇인가?
• RQ3 케이크와 조각에 대한 다양한 기하학적 제약 조건 하에서 최대 사회적 복지 손실(공정성의 가격)은 얼마인가?
• RQ4 연결성, 직사각형성, 또는 볼록성과 같은 기하학적 성질을 유지하면서도 공정성을 확보하는 재분배 프로토콜을 구성할 수 있는가?
• RQ5 이러한 프로토콜은 공정 분배 문제에서 공정성의 가격과 어떻게 관련되어 있으며, 이를 어떻게 제한하는가?

주요 결과

• 논문은 무제약, 연결성, 직사각형성, 볼록성의 네 가지 기하학적 제약 조건 모두에 대해 재분배 프로토콜을 수립한다.
• 각 프로토콜은 원래의 에이전트들과 새로운 에이전트들이 모두 개인의 가치 측정 기준에 따라 공정한 분할을 받도록 보장한다.
• 각 프로토콜은 해당 기하학적 설정에 특화된 공정성의 가격에 대한 증명 가능한 상한을 암시한다.
• 연결성 제약 조건(1차원 구간)의 경우, 프로토콜은 연속된 조각을 유지하면서도 공정성을 확보한다.
• 직사각형성 및 볼록성 제약 조건의 경우, 프로토콜은 모든 조각이 직사각형 또는 볼록 집합임을 보장하여 기하학적 구조를 유지한다.
• 각 경우에서 공정성의 가격은 상한이 존재하며, 더 엄격한 기하학적 제약 조건일수록 더 날카로운 상한이 도출된다.