[논문 리뷰] Don't cry to be the first! Symmetric fair division algorithms exist.

Guillaume Chèze|arXiv (Cornell University)|2018. 04. 11.

Game Theory and Voting Systems참고 문헌 23인용 수 3

한 줄 요약

이 논문은 플레이어 순서에 관계없이 동일한 대우를 보장하는 케이크 커팅을 위한 대칭적 공정 분배 알고리즘을 제시한다. 기존의 공정성 기반 알고리즘을 바탕으로 대칭적이고 선호도 없이(에비프리)인 알고리즘을 도출하고, 쿠른의 알고리즘을 활용하여 O(n³) 복잡도를 가지며 비례적이고 대칭적인 알고리즘을 설계함으로써, '아리스토텔레아나 공정 분배' 원칙을 도입하여 공정성의 새로운 기준을 제시한다.

ABSTRACT

In this article we study a cake cutting problem. More precisely, we study symmetric fair division algorithms, that is to say we study algorithms where the order of the players do not influence the value obtained by each player. In the first part of the article, we give a symmetric and envy-free fair division algorithm. More precisely, we show how to get a symmetric and envy-free fair division algorithm from an envy-free division algorithm. In the second part, we give a proportional and symmetric fair division algorithm with a complexity in O(n 3) in the Robertson-Webb model of complexity. This algorithm is based on Kuhn's algorithm. Furthermore, our study has led us to introduce a new notion: aristotelian fair division. This notion is an interpretation of Aristotle's principle: give equal shares to equal people. We conclude this article with a discussion and some questions about the Robertson-Webb model of computation.

연구 동기 및 목표

• 플레이어 순서가 결과의 공정성에 영향을 주지 않는 대칭적 공정 분배 알고리즘을 개발하는 것.
• 기존의 선호도 없이(에비프리)인 알고리즘을 변형하여 입력 순서에 관계없이 공정성을 유지하는 대칭적 변형을 확장하는 것.
• Robertson-Webb 모델에서 O(n³) 복잡도로 효율적인 비례적이고 대칭적인 공정 분배 알고리즘을 설계하는 것.
• 등급이 동일한 개인에게 동일한 배분을 해야 한다는 원칙을 바탕으로 한 '아리스토텔레아나 공정 분배' 개념을 체계화하고 도입하는 것.
• Robertson-Webb 모델이 대칭적 공정 분배의 맥락에서 가지는 한계와 가정을 비판적으로 평가하는 것.

제안 방법

• 플레이어 간의 순서에 관계없이 대칭성을 확보하기 위해 기존의 선호도 없이(에비프리)인 케이크 커팅 알고리즘의 실행 순서를 수정함으로써 적용한다.
• Robertson-Webb 모델에서 O(n³) 질의 복잡도를 가지며 비례적이고 대칭적인 분할을 구현하기 위해 쿠른의 알고리즘을 기반으로 한다.
• 동일한 지위를 가진 개인에게 동일한 배분을 해야 한다는 원칙을 정의하는 새로운 공정성 기준인 '아리스토텔레아나 공정 분배'를 도입한다.
• 플레이어 역할을 순열화했을 때 각 플레이어가 기대하는 가치가 변하지 않도록 하여 대칭성을 분석한다.
• 이론적 분석을 통해 제안된 대칭적 선호도 없이(에비프리)인 알고리즘이 대칭성과 선호도 없이(에비프리)성의 두 성질을 유지함을 증명한다.
• Robertson-Webb 모델이 대칭적 공정 분배 프로토콜 설계에 적합한지 평가하며, 특히 플레이어 역할의 완전한 대칭성을 반영하는 데서의 잠재적 한계를 강조한다.

실험 결과

연구 질문

• RQ1 선호도 없이(에비프리)인 케이크 커팅 알고리즘을 수정하여 플레이어 순서가 개인의 결과에 영향을 주지 않도록 대칭성을 확보할 수 있는가?
• RQ2 비례성과 대칭성을 동시에 달성하기 위해 필요한 최소한의 복잡도는 얼마인가?
• RQ3 아리스토텔레스의 원칙인 '동등한 사람에게 동등한 배분'을 케이크 커팡에서 새로운 공정성 기준으로 체계화할 수 있는가?
• RQ4 Robertson-Webb 모델은 대칭적 공정 분배 프로토콜 설계에 있어 어떤 방식으로 제약을 끼치거나 지원하는가?
• RQ5 케이크 커팅에서 대칭성, 공정성(선호도 없이(에비프리)성/비례성), 그리고 계산 효율성 사이에 본질적인 상충 관계가 존재하는가?

주요 결과

• 기존의 선호도 없이(에비프리)인 알고리즘을 플레이어 순열에 대해 불변이 되도록 수정함으로써 대칭적이고 선호도 없이(에비프리)인 공정 분배 알고리즘을 구축하였다.
• 쿠른의 알고리즘을 기반으로 하여 Robertson-Webb 모델에서 O(n³) 질의 복잡도를 가지며 비례적이고 대칭적인 공정 분배 알고리즘을 달성하였다.
• 논문은 '아리스토텔레아나 공정 분배'를 새로운 공정성 원칙으로 도입하여, 동등한 지위를 가진 개인에게 동일한 배분을 해야 한다는 개념을 체계화하였다.
• 연구는 공정 분배에서 대칭성은 표준 알고리즘이 종종 앞서는 플레이어에게 암묵적으로 유리하게 작용하기 때문에, 철저한 프로토콜 설계가 필요하다는 점을 드러냈다.
• 분석 결과, 특히 플레이어 역할의 완전한 대칭성을 반영하는 데서 한계를 보이는 바, Robertson-Webb 모델이 대칭적 프로토콜을 표현하는 데에는 한계가 있다는 점이 제기되었다.
• 제안된 대칭적 알고리즘은 플레이어가 프로토콜 순서상의 위치에 따라 이득을 보지 못하도록 하면서도, 선호도 없이(에비프리)성과 비례성 등의 공정성 특성을 유지한다.