[논문 리뷰] On Fair Division of Indivisible Items

Bhaskar Chaudhury, Yun Kuen Cheung외 4명|arXiv (Cornell University)|2018. 05. 16.

Game Theory and Voting Systems인용 수 8

한 줄 요약

이 논문은 감소 수익의 원리와 이용도 상한이 있는 분할 불가능한 항목의 공정 분배를 위한 다항식 시간 근사 알고리즘을 제시하며, 네쉬 사회후생 복지(Nash social welfare)의 근사 요인을 $e^{1/e} \approx 1.445$로 달성한다. 이 알고리즘은 최대 한 개의 항목에 대해 근사적인 시기적 불만 없음을 보장하며, $2 + \varepsilon$의 요인 범위 내에서 유지되며, 근사적인 파레토 최적성을 유지한다. 또한, 최적 NSW에 대한 두 가지 주요 상한—CG-bound와 BMV-bound—가 동일한 값을 가짐을 증명한다.

ABSTRACT

We consider the task of assigning indivisible goods to a set of agents in a fair manner. Our notion of fairness is Nash social welfare, i.e., the goal is to maximize the geometric mean of the utilities of the agents. Each good comes in multiple items or copies, and the utility of an agent diminishes as it receives more items of the same good. The utility of a bundle of items for an agent is the sum of the utilities of the items in the bundle. Each agent has a utility cap beyond which he does not value additional items. We give a polynomial time approximation algorithm that maximizes Nash social welfare up to a factor of $e^{1/{e}} \approx 1.445$. The computed allocation is Pareto-optimal and approximates envy-freeness up to one item up to a factor of $2 + \eps$

연구 동기 및 목표

• 감소한 마진 효용과 이용도 상한이 있는 분할 불가능한 상품의 공정 배분을 위한 다항식 시간 근사 알고리즘을 개발한다.
• 이용도가 상한선에 도달한 에이전트의 이용도 기하평균을 바탕으로 한 공정성 척도인 네쉬 사회후생 복지(NSW)에 대해 유한한 근사 비율을 달성한다.
• 배분이 최대 한 개의 항목에 대해 근사적인 시기적 불만 없음을 보장하고, 근사적인 파레토 최적성을 유지한다.
• 최적 NSW에 대한 두 가지 알려진 상한—CG-bound와 BMV-bound—의 동치성을 확립한다.

제안 방법

• 각 에이전트의 항목별 평가를 통해 이용도 상한을 포함한 공정 분배 문제를 수식화하고, 감소 수익을 모델링한다.
• 최적 NSW에 대한 상한을 계산하기 위해 수학적 프로그램 $P_S$를 도입하며, 이중 변수와 카우쉬-쿠른-터커(KKT) 조건을 사용한다.
• 지출 제한이 있는 페어시 마켓 균형 개념을 활용해 CG-bound를 유도하고, KKT 최적성 조건을 통해 이를 BMV-bound와 연관시킨다.
• 변수 변환 기법을 적용하여 $P_S$의 최적 해를 지출 제한이 있는 페어시 마켓으로 매핑함으로써, CG-bound와 BMV-bound의 동치성을 증명한다.
• 분수 마켓 배분을 정수 배분으로 변환하기 위한 라운딩 절차를 적용하여 NSW와 시기적 불만 없음을 근사한다.
• 근사 비율 분석의 기준으로 BMV-bound를 사용하며, 알고리즘이 $e^{1/e} + \varepsilon$ 근사치를 달성함을 보여준다.

실험 결과

연구 질문

• RQ1 감소 수익과 이용도 상한이 있는 분할 불가능한 항목의 공정 분배에서, 다항식 시간 알고리즘이 네쉬 사회후생 복지(NSW)에 대해 상수 요인 근사치를 달성할 수 있는가?
• RQ2 지출 제한이 있는 페어시 마켓에서 유도된 CG-bound가, 시기적 불만 없음과 MBB 조건에서 유도된 BMV-bound와 동일한 값을 가지는가?
• RQ3 결과로 도출된 배분이 최대 한 개의 항목에 대해 얼마나 근사적인 시기적 불만 없음을 달성할 수 있는가?
• RQ4 이용도 상한이 존재하는 상황에서 알고리즘이 근사적인 파레토 최적성을 어떻게 유지하는가?
• RQ5 다양한 이론적 프레임워크에서 최적 NSW에 대한 상한을 통합할 수 있는가?

주요 결과

• 제안된 알고리즘은 네쉬 사회후생 복지(NSW)에 대해 $e^{1/e} + \varepsilon \approx 1.445 + \varepsilon$의 근사 비율을 달성하며, 이는 이전 연구에서 확보된 최고 수준의 상한과 일치한다.
• 알고리즘은 최대 한 개의 항목에 대해 $2 + \varepsilon$의 요인 범위 내에서 근사적인 시기적 불만 없음을 보장하는 할당을 생성한다.
• 할당은 근사적인 파레토 최적성을 유지하며, 특히 이용도 상한이 없는 경우에 더욱 뚜렷하다.
• 최적 NSW에 대한 CG-bound와 BMV-bound가 동일한 값을 가짐을 증명함으로써 핵심 이론적 문제를 해결한다.
• KKT 조건과 지출 제한이 있는 페어시 마켓으로의 변환을 통해 동치성이 확립되며, 이는 두 상한이 동일한 기초 최적화 구조에서 유래됨을 보여준다.
• 알고리즘은 다항식 시간 내에 실행되며, 분할 불가능한 상품 할당에서 시장 균형, 공정성, 근사 보장 간의 통합 프레임워크를 제공한다.