[논문 리뷰] The Fairness of Leximin in Allocation of Indivisible Chores

Xingyu Chen, Zijie Liu|arXiv (Cornell University)|2020. 05. 11.

Game Theory and Voting Systems참고 문헌 15인용 수 10

한 줄 요약

이 논문은 공정성 최적화 할당 규칙인 렉시민 솔루션을 분할 불가능한 채무 및 혼합된 상품-채무 설정으로 확장하여, 가산 평가를 가진 3~4명의 에이전트에게 PROP1과 파레토 최적성을 보여주며, 동일한 비영이 아닌 마진널 유틸리티 평가를 가진 경우 EFX 공정성과 함께 파레토 최적성을 달성한다. 이 접근법은 음수 유틸리티를 처리할 수 있도록 렉시민을 일반화하여 채무 할당에서 강력한 공정성 보장을 보장한다.

ABSTRACT

The leximin solution -- which selects an allocation that maximizes the minimum utility, then the second minimum utility, and so forth -- is known to provide EFX (envy-free up to any good) fairness guarantee in some contexts when allocating indivisible goods. However, it remains unknown how fair the leximin solution is when used to allocate indivisible chores. In this paper, we demonstrate that the leximin solution can be modified to also provide compelling fairness guarantees for the allocation of indivisible chores. First, we generalize the definition of the leximin solution. Then, we show that the leximin solution finds a PROP1 (proportional up to one good) and PO (Pareto-optimal) allocation for 3 or 4 agents in the context of chores allocation with additive distinct valuations. Additionally, we prove that the leximin solution is EFX for combinations of goods and chores for agents with general but identical valuations.

연구 동기 및 목표

• 기존의 상품 할당 솔루션들이 일반화되지 않는 분할 불가능한 채무 할당에 대한 공정성 보장의 격차를 해결하기 위해.
• 이전에 상품에 사용된 렉시민 솔루션을 확장하여 채무 할당에서 음수 유틸리티를 처리하기 위해.
• 가산 평가가 서로 다른 3명 또는 4명의 에이전트에 대해 일반화된 렉시민 솔루션이 PROP1과 파레토 최적성을 보장함을 입증하기 위해.
• 에이전트가 동일한 비영이 아닌 마진널 유틸리티 평가를 가진 혼합 상품-채무 할당에서 렉시민 솔루션이 EFX 공정성과 파레토 최적성을 달성함을 증명하기 위해.

제안 방법

• 최악의 피해를 입는 에이전트의 불만도를 최소화하는 데 중점을 두어, 음수 유틸리티를 처리할 수 있도록 유틸리티 순서를 재정의함으로써 렉시민 솔루션을 일반화함.
• 채무(음수 유틸리티)와 상품(양수 유틸리티)을 렉시민 순서에서 일관되게 다룰 수 있도록 새로운 유틸리티 비교 순서를 정의함.
• 에이전트들의 정렬된 유틸리티 벡터를 사전순 비교하여, 최소 유틸리티를 최대화하고, 그 다음으로 최소 유틸리티를 최대화하는 등 순차적으로 선택함.
• 모순을 통한 증명을 통해 일반화된 렉시민 솔루션을 적용하여 공정성 보장을 입증함: 비PROPRIETARY 또는 비EFX 할당이 존재한다고 가정하면 더 나은 렉시민 결과가 도출됨.
• PO와 EFX 증명을 가능하게 하기 위해, 항목을 추가하거나 제거할 경우 유틸리티가 엄격하게 변화하는 것을 보장하기 위해 비영이 아닌 마진널 유틸리티 가정을 도입함.
• 원래 할당과 비교할 수 있는 보조 할당을 구성하여, 임의의 비렉시민 할당이 렉시민 기준 하에서 개선될 수 있음을 보여주며, 최적성을 증명함.

실험 결과

연구 질문

• RQ1 렉시민 솔루션은 분할 불가능한 채무 할당에서 공정성 보장을 제공하기 위해 일반화될 수 있는가?
• RQ2 가산 평가가 서로 다른 3명 또는 4명의 에이전트에 대해 렉시민 솔루션이 채무 할당에서 PROP1과 파레토 최적성을 보장하는가?
• RQ3 에이전트가 동일한 비영이 아닌 마진널 유틸리티 평가를 가진 혼합 상품-채무 할당에서 렉시민 솔루션이 EFX 공정성과 파레토 최적성을 달성할 수 있는가?
• RQ4 공정성 개념인 EFX와 PROP1을 음수 유틸리티(채무)를 포함하는 설정으로 일반화할 수 있는가? 그리고 원칙적이고 최적화 기반의 접근 방식을 통해 이를 달성할 수 있는가?

주요 결과

• 일반화된 렉시민 솔루션은 분할 불가능한 채무를 할당할 때, 가산 평가가 서로 다른 3명 또는 4명의 에이전트에게 PROP1과 파레토 최적성을 보장한다.
• 상품과 채무의 조합에 대해, 에이전트가 동일한 비영이 아닌 마진널 유틸리티 평가를 가진 경우 렉시민 솔루션은 EFX 공정성을 달성한다.
• 비영이 아닌 마진널 유틸리티 가정 하에서, 렉시민 솔루션은 동일한 평가를 가진 혼합 상품-채무 설정에서도 파레토 최적성을 보장한다.
• 증명 기법은 EFX를 위반하는 임의의 할당이 렉시민 기준 하에서 개선될 수 있음을 보여주며, 이는 렉시민 솔루션이 반드시 EFX여야 한다는 의미이다.
• 일반화된 렉시민 솔루션은 최악의 불만도를 최소화하고, 그 다음으로 최악의 불만도를 최소화하는 식으로 에이전트 간에 순차적으로 최소화함으로써 공정성과 효율성을 유지한다.
• 이 방법은 렉시민 프레임워크를 음수 유틸리티 항목으로 성공적으로 확장하여, 상품 할당을 넘어서도 강력함을 입증한다.