[논문 리뷰] Unified Fair Allocation of Goods and Chores via Copies

Yotam Gafni, Xin Huang외 2명|arXiv (Cornell University)|2021. 09. 17.

Game Theory and Voting Systems인용 수 5

한 줄 요약

이 논문은 복제품을 활용하고 공통 항목을 고려하지 않는 새로운 공정성 개념인 EFX_WC를 도입하여 분할 불가능한 상품과 분할 불가능한 일감( chores )의 공정 배분을 통합된 프레임워크로 다룬다. EFX_WC는 비교 시 공통 항목을 제외함으로써 선호도를 더 엄격하게 정의한다. 본 논문은 복제품이 있는 상품과 일감 사이에 공식적인 이원성(duality)을 수립하여, 한 쪽에서의 공정 배분 존재성은 다른 쪽에서도 존재함을 증명하고, 이를 통해 복제품이 있는 상품에 대해 4/11-MMS 보장을 확보하며, 수준화된 선호도 하에서 일감에 대한 EFX_WC 존재성을 입증한다.

ABSTRACT

We consider fair allocation of indivisible items in a model with goods, chores, and copies, as a unified framework for studying: (1)~the existence of EFX and other solution concepts for goods with copies; (2)~the existence of EFX and other solution concepts for chores. We establish a tight relation between these issues via two conceptual contributions: First, a refinement of envy-based fairness notions that we term envy \emph{without commons} (denoted $\efxwc$ when applied to EFX). Second, a formal \emph{duality theorem} relating the existence of a host of (refined) fair allocation concepts for copies to their existence for chores. We demonstrate the usefulness of our duality result by using it to characterize the existence of EFX for chores through the dual environment, as well as to prove EFX existence in the special case of leveled preferences over the chores. We further study the hierarchy among envy-freeness notions without commons and their $α$-MMS guarantees, showing for example that any $\efxwc$ allocation guarantees at least $\frac{4}{11}$-MMS for goods with copies.

연구 동기 및 목표

• 분할 불가능한 다중 복제 상품과 분할 불가능한 일감에 대한 공정 배분을 하나의 프레임워크로 통합적으로 다루는 것.
• 일감에 대한 EFX 존재성 문제를 복제품이 있는 상품의 이중 문제로 환원함으로써 해결하는 것.
• 공통 항목을 비교에서 제외함으로써 선호도를 강화하는 EFX_WC 공정성 개념을 도입하고 공식화하는 것.
• 복제품이 있는 상품 모델과 일감 모델 간의 공정성 개념을 연결하는 공식적인 이원성 정리 수립.
• 두 모델 모두에서 EFX_WC 할당의 근사 보장(예: MMS)을 특성화하는 것.

제안 방법

• 공통 항목을 제외한 비교에서 선호도를 제거함으로써, EFX_WC라는 보완된 공정성 개념을 제안함.
• 복제품이 있는 상품과 일감 간의 공정성 개념을 상호 변환할 수 있는 공식적인 이원성 정리를 수립함.
• 이원성을 활용해 존재성 결과를 이전함: 복제품이 있는 상품 모델에서 EFX_WC 존재성이 보장되면, 일감 모델에서도 EFX_WC 존재성이 유도됨.
• 이원성을 적용해 수준화된 선호도 하에서 일감에 대한 EFX_WC 존재성을 입증함으로써, 이전까지 미해결이었던 케이스를 해결함.
• EFX_WC 할당의 MMS 보장을 분석하여, 복제품이 있는 상품에 대해 최소 4/11-MMS 하한선이 존재함을 입증함.
• 반례를 제시하여, 기존의 공정성 개념(예: EF1 및 MNW 할당)이 복제품이 있는 상품 환경에서는 실패할 수 있음을 보임.

실험 결과

연구 질문

• RQ1 다중 복제 상품에 대해 EFX가 항상 존재하는가? 존재하지 않는다면 이를 대체할 수 있는 보완된 공정성 개념은 무엇인가?
• RQ2 일감에 대한 공정 배분 존재성 문제를 복제품이 있는 상품의 이중 모델에 대한 존재성 문제로 환원할 수 있는가?
• RQ3 복제품이 있는 상품 환경에서 EFX_WC와 EF1_WC, MMS 보장 등 다른 공정성 개념 간의 관계는 어떠한가?
• RQ4 복제품이 있는 상품과 일감 간의 이원성은 비가산적 또는 부분가산적 평가 함수로도 확장 가능한가?
• RQ5 복제품이 있는 상품 모델에서 EFX_WC 할당의 근사 보장(예: MMS)은 무엇인가?

주요 결과

• 3명의 에이전트와 동일한 평가를 가진 상황에서도 다중 복제 상품에 대해 EFX가 항상 존재하지 않음을 입증하여, 공정성의 지형에 근본적인 변화가 있음을 보여줌.
• 제안된 EFX_WC 공정성 개념은 다중 복제 상황에서는 EFX보다 엄격히 약한 개념이지만, 각 상품이 단일 복제일 경우 EFX와 정확히 일치함.
• 공식적인 이원성 정리 수립: 복제품이 있는 상품에서 EFX_WC 존재성은 일감에서 EFX_WC 존재성과 동치임을 증명함.
• 이원성을 활용해 수준화된 선호도 하에서 일감에 대한 EFX_WC 존재성을 입증함으로써 주요 열린 문제를 해결함.
• 복제품이 있는 상품에 대한 EFX_WC 할당은 각 에이전트에게 최소 4/11-MMS(최대분할기여) 가치를 보장함.
• 복제품이 있는 상품에서 최대 내쉬 복리(MNW) 할당은 단일 복제 상품에 대해 EF1를 만족하지만, EF1_WC는 보장되지 않음.