[논문 리뷰] Fair Division of Indivisible Goods: Recent Progress and Open Questions

Georgios Amanatidis, Aziz, Haris외 6명|arXiv (Cornell University)|2022. 08. 18.

Legal principles and applications인용 수 9

한 줄 요약

이 종합 논문은 불가분적 물품의 공정 분배 분야에서 최근의 진전을 종합적으로 개괄하며, 환경선제(Envy-Freeness)의 완화 기준인 어떤 물품에 대해 선호하지 않는(Envy-Freeness up to any good, EFX), 최소 공정 기준(Minimax Share fairness, MMS), 그리고 EF1에 초점을 맞춘다. 이 논문은 알고리즘 기법, 존재성 결과, 계산적 공정 분배 분야의 미해결 문제들을 통합하며, 최근의 진전과 공정성, 효율성, 진실성 확보에 있어 해결되지 않은 과제들을 강조한다.

ABSTRACT

Allocating resources to individuals in a fair manner has been a topic of interest since ancient times, with most of the early mathematical work on the problem focusing on resources that are infinitely divisible. Over the last decade, there has been a surge of papers studying computational questions regarding the indivisible case, for which exact fairness notions such as envy-freeness and proportionality are hard to satisfy. One main theme in the recent research agenda is to investigate the extent to which their relaxations, like maximin share fairness (MMS) and envy-freeness up to any good (EFX), can be achieved. In this survey, we present a comprehensive review of the recent progress made in the related literature by highlighting different ways to relax fairness notions, common algorithm design techniques, and the most interesting questions for future research.

연구 동기 및 목표

• 불가분적 물품의 공정 분배에서 EFX, MMS, EF1와 같은 공정성 완화 기준에 초점을 맞춰 최근의 알고리즘적 진전을 통합한다.
• 이산적 할당 환경에서 공정성을 달성하기 위해 사용되는 핵심 알고리즘 기법을 식별하고 분석한다.
• 특히 EFX와 PO의 호환성 문제에 초점을 맞춰, 공정 할당의 존재성과 계산 가능성에 관한 미해결 문제를 부각시킨다.
• 할당 메커니즘에서 공정성, 효율성(PO), 진실성 간의 상호작용을 검토한다.
• 비단조화 평가, 일감, 혼합된 물품 및 일감 환경으로의 확장에 대해 탐구한다.

제안 방법

• 물품, 일감, 혼합 환경에 대한 EFX, MMS, EF1 및 그 변형의 공정성 완화 기준에 대한 체계적 검토.
• EF1 및 EFX를 유지하기 위해 사용되는 알고리즘 기법(예: 라운드 로빈, 환경 사이클 제거, 최상위 거래)의 분석.
• 특히 가산성 평가 함수를 사용하여 참가자의 선호도를 모델링하고 공정성 기준을 평가한다.
• 공정성과 효율성(PO) 간의 호환성 조사, 특히 PO+공정 할당의 존재성 및 계산 가능성 분석.
• 혼합된 물품 및 일감 환경에서 비단조화 평가에 대해 Prop1 및 PropX 정의를 통해 공정성 개념의 확장.
• 비대칭적 권리, 제한된 정보, 외부성 등 공정 분배에서의 결과 조사.

실험 결과

연구 질문

• RQ1 일반적인 설정에서 EFX 할당은 항상 효율적으로 계산 가능할 수 있으며, 그 존재성은 어떻게 되는가?
• RQ2 MMS 공정성의 최적 근사 비율은 무엇이며, 다양한 평가 유형에 따라 어떻게 달라지는가?
• RQ3 일감에 대해 EF1과 페어레토 최적성(PO)을 동시에 보장하는 다항시간 알고리즘이 존재하는가?
• RQ4 특히 비대칭적 권리 하에서, 일감에 대해 PropX 할당과 PO를 동시에 달성할 수 있는가?
• RQ5 물품과 일감의 혼합 환경에서 EF1 및 MMS 공정성 개념은 어떻게 확장되며, 어떤 알고리즘이 이들의 만족을 보장하는가?

주요 결과

• 라운드 로빈 또는 최상위 거래 기법을 사용해 EF1 할당을 효율적으로 계산할 수 있으며, 물품에 대해서는 EF1이 PO와 호환된다.
• 일감에 대해서는 EF1+PO 할당이 존재하며, 이는 이중 평가 설정에서 효율적으로 계산 가능하지만, 일반적인 호환성 문제는 미해결 상태이다.
• 일감에 대해 PropX 할당은 항상 존재하며, 비대칭적 권리 조건 하에서도 효율적으로 계산 가능하다. 이는 물품 설정과는 다르게 나타난다.
• 일감에 대한 EFX 할당의 존재성 문제는 아직 미해결 상태이지만, O(n²)-EFX 할당은 계산된 바 있다.
• 혼합된 물품 및 일감 환경에서는 더블 라운드 로빈 알고리즘이 EF1 할당을 계산하며, 일반화된 조정된 승자 알고리즘은 두 명의 참가자에게 EF1+PO를 보장한다.
• 혼합 환경에서는 전용 알고리즘을 통해 Prop1+PO 및 약간의 MMS+PO 할당을 계산할 수 있으나, PropX에 대한 완전한 PO 호환성은 아직 증명되지 않았다.