[논문 리뷰] Fair Division of a Graph

Sylvain Bouveret, Kataŕına Cechlárová외 3명|arXiv (Cornell University)|2017. 05. 29.

Game Theory and Voting Systems인용 수 10

한 줄 요약

이 논문은 각 에이전트의 할당이 연결된 부분그래프를 이루도록 제약을 받는 불가분 물건에 대한 공정 분배 프레임워크를 제안한다. 나무 구조를 가진 그래프에서는 항상 최대최소공정분배(MMS) 할당—각 에이전트가 적어도 자신의 공정한 몫을 확보하는 할당—이 존재하며, 효율적으로 계산 가능하다고 증명한다. 반면 사이클에서는 이러한 할당이 존재하지 않을 수 있으며, 8개 정점을 가진 반례를 통해 이를 보여준다.

ABSTRACT

We consider fair allocation of indivisible items under an additional constraint: there is an undirected graph describing the relationship between the items, and each agent's share must form a connected subgraph of this graph. This framework captures, e.g., fair allocation of land plots, where the graph describes the accessibility relation among the plots. We focus on agents that have additive utilities for the items, and consider several common fair division solution concepts, such as proportionality, envy-freeness and maximin share guarantee. While finding good allocations according to these solution concepts is computationally hard in general, we design efficient algorithms for special cases where the underlying graph has simple structure, and/or the number of agents -or, less restrictively, the number of agent types- is small. In particular, despite non-existence results in the general case, we prove that for acyclic graphs a maximin share allocation always exists and can be found efficiently.

연구 동기 및 목표

• 연결성 제약 조건 하에서 불가분 물건의 공정 분배를 그래프 구조를 사용해 수식화하기.
• 비례성, 배제불만성, 최대최소공정분배(MMS) 보장을 포함한 공정 할당의 존재성 및 계산 복잡도를 조사하기.
• 일반적으로 NP-난해하나도 효율적으로 계산 가능한 공정 할당이 존재하는 그래프 구조를 특정하기.
• 특히 그래프 구조와의 관계에서 MMS 할당의 존재 조건을 특성화하기.

제안 방법

• 그래프 G, 에이전트 집합 N, 유틸리티 함수 U를 갖는 연결된 공정 분배(CFD) 문제로 문제를 모델링하기.
• 가능한 MMS 값에 대해 이진 탐색을 수행하고, MMS 기준을 충족하는 연결 할당을 계산하는 서브루틴 A를 사용하기.
• 연속적인 경우에 사용되는 고전적인 마지막 감소자 절차를 나무에서 MMS 할당을 구성하기 위해 변형 적용하기.
• 연결된 분할의 구조적 분석을 통해 나무에서 MMS 할당의 존재를 증명하기.
• 8개 정점의 사이클에서 MMS 할당이 존재하지 않음을 보여주는 반례를 구성하기.
• 동일한 선호도를 가진 에이전트 유형을 사용해 복잡도를 감소시키고, 경로 및 나무에서 효율적인 알고리즘을 가능하게 하기.

실험 결과

연구 질문

• RQ1 항상 나무 구조의 항목 의존성 그래프를 가질 경우, 최대최소공정분배 할당이 존재하는가?
• RQ2 에이전트가 소수의 유형으로 묶여 있고 그래프가 경로일 경우, 배제불만성 또는 비례할당을 효율적으로 계산할 수 있는가?
• RQ3 MMS 할당이 존재하지 않는 그래프 구조—예를 들어 사이클—가 존재하는가?
• RQ4 연결성 제약 조건 하에서 공정 할당을 찾는 계산 복잡도는 무엇인가?
• RQ5 에이전트 수가 많더라도 에이전트 유형의 수가 적을 경우, 효율적인 알고리즘을 설계할 수 있는가?

주요 결과

• 기초 그래프가 나무일 경우, 항상 MMS 할당이 존재하며 다항식 시간 내에 계산 가능하다.
• 에이전트가 일정 수의 유형으로 묶여 있는 경로에서는 비례할당과 완전한 배제불만성 할당이 모두 효율적으로 계산 가능하다.
• 비례할당을 찾는 것은 경로에서도 여전히 NP-난해하며, 완전한 배제불만성 할당은 경로와 별자리 구조 모두에서 NP-난해하다.
• 8개 정점의 사이클에서는 특정 반례를 통해 MMS 할당이 존재하지 않음을 입증하였다. 이 경우 4명의 에이전트와 대칭적인 유틸리티 분포를 가진다.
• 제약 조건이 없는 설정에서 알려진 MMS 존재 불가 반례보다 사이클에 대한 반례가 더 단순하여 더 명확한 직관을 제공한다.
• 나무에서 MMS 할당을 위한 알고리즘은 마지막 감소자 절차의 변형으로, 연결성과 MMS 값에 대한 이진 탐색을 활용한다.