[논문 리뷰] Fair Division with Minimal Sharing

Fedor Sandomirskiy, Erel Segal-Halevi|arXiv (Cornell University)|2019. 08. 01.

Game Theory and Voting Systems인용 수 13

한 줄 요약

이 논문은 이질적인 선호를 가진 에이전트들 사이에서 나누기 어려운 물건과 나쁜 물건을 공정하게 분배하는 문제를 다루며, 공정한 할당을 달성하기 위해 공유되는 물건의 수를 최소화하는 데 초점을 맞춘다. 일반적인 경우(비퇴도성 평가)에서는 에이전트 수가 고정되어 있을 때, 공정한 할당을 위한 최소 공유 물건 수를 다항 시간 내에 계산할 수 있음을 증명한다. 그러나 에이전트 평가가 매우 일치하는 퇴도성 경우에서는 문제가 NP-난이도가 된다.

ABSTRACT

A set of objects, some goods and some bads, is to be divided fairly among agents with different tastes, modeled by additive utility-functions. If the objects cannot be shared, so that each of them must be entirely allocated to a single agent, then fair division may not exist. What is the smallest number of objects that must be shared between two or more agents in order to attain a fair division? We focus on Pareto-optimal, envy-free and/or proportional allocations. We show that, for a generic instance of the problem --- all instances except of a zero-measure set of degenerate problems --- a fair and Pareto-optimal division with the smallest possible number of shared objects can be found in polynomial time, assuming that the number of agents is fixed. The problem becomes computationally hard for degenerate instances, where the agents' valuations are aligned for many objects.

연구 동기 및 목표

• 모든 물건이 한 명의 에이전트에게 완전히 할당되어야 할 때, 공정한 할당을 달성하기 위해 반드시 공유되어야 하는 물건의 최소 수를 결정하는 것.
• 최소 공유 수를 가진 공정하고 파레토 최적 할당이 존재하는 조건을 규명하는 것.
• 공정 분배 문제의 일반적인 경우에서 이러한 할당을 효율적으로 계산하는 알고리즘을 개발하는 것.
• 특히 에이전트 평가가 매우 일치하는 퇴도성 경우에서 문제의 계산 복잡도를 분석하는 것.

제안 방법

• 에이전트의 선호를 물건과 나쁜 물건의 집합에 대해 가산형 유틸리티 함수로 모델링한다.
• 배제 없는 공정성, 비례성, 파레토 최적성 기준을 통해 공정성을 정의한다.
• 퇴도성 문제의 영도 집합 외부에 있는 경우를 '일반적인 경우'로 정의하며, 이는 에이전트 간 평가가 일치하지 않는 경우를 의미한다.
• 대수기하학과 최적화 기법을 적용하여, 고정된 에이전트 수에 대해 최소 공유 수를 가진 공정 할당이 존재하고 다항 시간 내에 계산 가능하다는 것을 보인다.
• 퇴도성을 피하기 위해 편향 기반 접근법을 사용하여 알고리즘의 타당성을 보장한다.
• 최소 공유 수 해를 효율적으로 찾기 위해 볼록 최적화 문제로의 환원을 활용한다.

실험 결과

연구 질문

• RQ1 모든 물건이 한 명의 에이전트에게 완전히 할당되어야 할 때, 공정한 할당을 달성하기 위해 반드시 공유되어야 하는 물건의 최소 수는 얼마인가?
• RQ2 공유 물건 수를 최소화했을 때, 파레토 최적이고 배제 없는 할당을 효율적으로 계산할 수 있는가?
• RQ3 어떤 조건에서 문제는 여전히 처리 가능하고, 어떤 조건에서 계산적으로 어려워지는가?
• RQ4 에이전트들이 유사하게 물건을 평가하는 퇴도성 평가 구조는 최소 공유 수를 가진 공정 할당을 찾는 데 있어 복잡도에 어떤 영향을 미치는가?

주요 결과

• 일반적인 경우(퇴도성 평가가 아닌 경우)에서는 에이전트 수가 고정되어 있을 때, 최소 공유 수를 가진 공정하고 파레토 최적 할당을 다항 시간 내에 계산할 수 있다.
• 최소 공유 물건 수는 유한하며, 일반적인 경우에서는 효율적으로 결정할 수 있다.
• 에이전트 평가가 많은 물건에서 매우 일치하는 퇴도성 경우에서는 문제가 계산적으로 어려워진다 (NP-난이도).
• 알고리즘적 접근은 퇴도성을 피하기 위해 편향을 활용하여 해공간이 처리 가능하게 유지되도록 한다.
• 일반적인 경우에서는 혼합된 물건과 나쁜 물건이 존재하더라도 최소 공유 수를 가진 공정 할당이 보장된다.
• 같은 계산 조건 하에, 배제 없는 할당과 비례 할당, 파레토 최적 할당 모두에 대해 결과가 유효하다.