[논문 리뷰] Equitable Allocations of Indivisible Goods

Rupert Freeman, Sujoy Sikdar외 2명|arXiv (Cornell University)|2019. 05. 25.

Game Theory and Voting Systems참고 문헌 46인용 수 5

한 줄 요약

이 논문은 가산 평가 기반의 분할 불가능한 재화에 대한 공정한 할당을 다루며, 한 개의 재화까지의 공정성(EQ1)과 파레토 최적성(PO)을 동시에 보장하는 알고리즘을 제안한다. 엄밀히 양수인 평가에 대해 비결정적 다항식 시간 알고리즘을 제안하고, 특수한 경우에서는 EQ1+PO 할당이 존재하며 효율적으로 계산 가능하다는 것을 증명하며, 일반적인 경우에서는 강한 NP-난이도를 보인다. 또한 EQx+PO 할당 하에 산타클อ우스 문제에 대한 근사 보장을 수립한다.

ABSTRACT

In fair division, equitability dictates that each participant receives the same level of utility. In this work, we study equitable allocations of indivisible goods among agents with additive valuations. While prior work has studied (approximate) equitability in isolation, we consider equitability in conjunction with other well-studied notions of fairness and economic efficiency. We show that the Leximin algorithm produces an allocation that satisfies equitability up to any good and Pareto optimality. We also give a novel algorithm that guarantees Pareto optimality and equitability up to one good in pseudopolynomial time. Our experiments on real-world preference data reveal that approximate envy-freeness, approximate equitability, and Pareto optimality can often be achieved simultaneously.

연구 동기 및 목표

• 가산 평가 기반의 분할 불가능한 재화에 대한 공정할당의 존재성과 계산 가능성을 조사하며, 특히 파레토 최적성(PO)과의 연계를 중심으로 한다.
• 이전의 근사 공정성(EQx, EQ1) 연구를 확장하여 공정성과 경제적 효율성을 통합함으로써 기존 문헌의 격차를 메운다.
• 공정하고 파레토 최적의 할당이 동시에 존재할 수 있는지, 그리고 만약 존재한다면 어떤 조건에서이며 어떤 계산 복잡도를 가진다.
• 산타클로우스 문제에 대해 EQx+PO 및 EQ1+PO 할당의 근사 품질을 평가한다. 이는 고전적인 공정할당 목표이다.
• Spliddit의 실제 선호 데이터를 활용하여 이론적 결과를 검증함으로써, 실생활에서 근사적 외면 회피성, 공정성, 파레토 최적성을 동시에 달성할 수 있는지 평가한다.

제안 방법

• 엄밀히 양수인 평가에 대해 EQ1+PO 할당을 보장하는 새로운 비결정적 다항식 시간 알고리즘을 제안하며, 반복적 정련과 유용성 균형 조정을 활용한다.
• Leximin 알고리즘을 사용하여 EQx+PO 할당을 달성하며, 어떤 재화에 대해서라도 공정성을 유지하고 파레토 최적성을 보장함을 증명한다.
• 일반적인 경우, EQ+PO 또는 EQx+PO 할당을 찾는 것이 강한 NP-난이도임을 보이기 위해 감소 기법을 적용한다. 이는 이분 평가에 대해서도 마찬가지이다.
• 산타클로우스 문제에 대해 EQx+PO 할당 하에 $ (1 - 1/c) $ 의 날카로운 근사 경계를 제안하며, 여기서 $ c $ 는 최고 유용성의 기부자에게 할당된 재화 수이다.
• 구성적 증명 전략을 활용하여, 동일한 평가를 가진 할당에서 EQ1 할당이 산타클로우스 목표에 대해 $ \frac{1}{n} $-근사값을 제공함을 보여준다.
• 실제 Spliddit 데이터를 활용한 실험을 통해 이론적 결과를 검증하며, 근사적 외면 회피성, 공정성, 파레토 최적성의 동시 달성을 측정한다.

실험 결과

연구 질문

• RQ1 가산 평가 기반의 분할 불가능한 재화에 대해, 항상 EQ1 또는 EQx 공정할당이 동시에 파레토 최적성(PO)을 만족하는가?
• RQ2 EQ1+PO 또는 EQx+PO 할당을 찾는 데 있어 계산 복잡도는 무엇이며, 이는 이분 평가나 동일 평가와 같은 특수한 경우에서 효율적으로 계산 가능할 수 있는가?
• RQ3 EQx+PO 할당이 산타클로우스 문제에 대해 비트리비얼한 근사를 제공할 수 있는가? 그리고 최고의 근사 비율은 무엇인가?
• RQ4 한 번의 할당에서 근사적 외면 회피성(EF1), 공정성(EQ1), 파레토 최적성(PO)을 동시에 달성할 수 있는가?
• RQ5 이론적 공정성 보장이 실생활 선호 데이터에서 얼마나 잘 작동하는가, 특히 실세계 데이터에서의 성능은 어떠한가?

주요 결과

• 엄밀히 양수인 평가에 대해 EQx+PO 할당은 항상 존재하며 다항식 시간 내에 계산 가능하며, 이는 이전 결과를 강화한다.
• 이분 평가의 경우 EQ1+PO 할당은 다항식 시간 내에 계산 가능하지만, 일반적인 경우는 강한 NP-난이도이다.
• 산타클로우스 문제에 대해, 최고 유용성 기부자에게 $ c $ 개의 재화를 할당하는 모든 EQx+PO 할당은 $ (1 - 1/c) $ 의 근사 비율을 제공하며, 이 경계는 날카롭다.
• 동일한 평가의 경우, 모든 EQ1 할당은 최적의 산타클로우스 할당에 대해 $ \frac{1}{n} $-근사값을 제공하며, 이 경계 역시 날카롭다.
• EQ1+EF1+PO를 동시에 만족하는 할당이 존재하지 않는 예시가 존재하며, 일반적으로 이러한 할당을 찾는 것은 강한 NP-난이도이다.
• Spliddit 데이터를 활용한 실험 결과, 근사적 외면 회피성, 근사적 공정성, 파레토 최적성이 종종 실생활에서 동시에 달성 가능하다.