[논문 리뷰] Greedy Algorithms for Fair Division of Mixed Manna

Martin Aleksandrov, Toby Walsh|arXiv (Cornell University)|2019. 11. 25.

Game Theory and Voting Systems참고 문헌 31인용 수 8

한 줄 요약

이 논문은 유용도가 양, 0, 또는 음수인 혼합 만나(mixed manna)의 공정 분배를 탐구하며, EF1, EFX, EFX3 등 공정성 기준과 효율성(PO)을 달성하기 위해 근사 알고리즘을 사용한다. 혼합 만나에서 나시 복리(Nash welfare)를 최대화한다고 해서 EF1을 보장하지는 않지만, 동일하거나 삼차 유용도를 가진 경우에 EFX 및 PO 할당에 대해 다항 시간 알고리즘이 존재하며, 나시 복리, 비용 복리 복리, 평등 복리에 대한 근사 보장을 제공한다.

ABSTRACT

We consider a multi-agent model for fair division of mixed manna (i.e. items for which agents can have positive, zero or negative utilities), in which agents have additive utilities for bundles of items. For this model, we give several general impossibility results and special possibility results for three common fairness concepts (i.e. EF1, EFX, EFX3) and one popular efficiency concept (i.e. PO). We also study how these interact with common welfare objectives such as the Nash, disutility Nash and egalitarian welfares. For example, we show that maximizing the Nash welfare with mixed manna (or minimizing the disutility Nash welfare) does not ensure an EF1 allocation whereas with goods and the Nash welfare it does. We also prove that an EFX3 allocation may not exist even with identical utilities. By comparison, with tertiary utilities, EFX and PO allocations, or EFX3 and PO allocations always exist. Also, with identical utilities, EFX and PO allocations always exist. For these cases, we give polynomial-time algorithms, returning such allocations and approximating further the Nash, disutility Nash and egalitarian welfares in special cases.

연구 동기 및 목표

• 혼합 만나에서 가산 유용도를 가진 경우 공정성 개념(EF1, EFX, EFX3)과 효율성(PO) 간의 상호작용을 조사한다.
• 일반적인 복리 목표인 나시 복리, 비용 복리 복리, 평등 복리가 혼합 만나 환경에서 공정성과 효율성과 어떻게 상호작용하는지 분석한다.
• 특히 동일하거나 삼차 유용도를 가진 경우 EFX 및 PO 할당이 존재하고 효율적으로 계산될 수 있는 조건을 규명한다.
• 정확한 최적화가 불가능한 경우 EFX 및 PO 할당에서 복리 목표에 대한 근사 보장을 제공한다.
• 새로운 공정성 개념인 EFX3을 도입하고, 혼합 상품, 순수 악성 상품, 모든 상품에 대해 별도로 EFX를 강제하는 개념을 연구한다.

제안 방법

• 모든 상품, 혼합 상품만, 순수 악성 상품만에 대해 EFX를 만족하는 새로운 공정성 개념인 EFX3을 정의한다.
• 동일, 삼차, 일반 유용도 구조에서 EFX, EFX3, PO 할당의 존재성과 계산 복잡도를 분석한다.
• 유용도가 동일하거나 삼차일 경우 EFX 및 PO 할당을 위한 다항 시간 근사 알고리즘을 개발한다.
• EFX 및 PO 할당에서 나시 복리, 비용 복리 복리, 평등 복리에 대한 근사 한계를 설정한다.
• 예시와 보조정리를 사용하여 근사 비율의 날카로움을 입증하며, 예를 들어 EFX 할당에서 비용 복리 복리의 비율이 √(8/9) ≈ 0.9428임을 보여준다.
• 기존 연구 결과(예: Plaut과 Roughgarden의 leximin, Caragiannis 등이 제시한 나시 복리)를 활용하여 비교적 근사 보장을 유도한다.

실험 결과

연구 질문

• RQ1 혼합 만나 환경에서 나시 복리를 최대화하면 EF1이 보장되는가?
• RQ2 동일 유용도 조건에서도 EFX3 할당이 존재할 수 있는가? 존재하지 않는다면 어떤 조건에서 존재하는가?
• RQ3 특정 유용도 구조(예: 동일 또는 삼차 유용도)에서 EFX 및 PO 할당을 효율적으로 계산할 수 있는 다항 시간 알고리즘이 존재하는가?
• RQ4 EFX 및 PO 할당이 나시 복리, 비용 복리 복리, 평등 복리 목표를 얼마나 잘 근사하는가?
• RQ5 동일한 악성 상품이 존재하는 환경에서 EFX 할당이 최적의 비용 복리 복리에 비해 어떤 근사 비율을 보이는가?

주요 결과

• 혼합 만나에서 나시 복리를 최대화한다고 해도 EF1이 보장되지 않으며, 모든 상품이 유용품일 경우에도 마찬가지다.
• 비용 복리 복리를 최소화한다고 해서 EF1이 보장되지 않으며, 한 명의 에이전트에게 모든 악성 상품을 배분하는 할당이 비용 복리 복리를 최소화하지만 EF1을 위반할 수 있다.
• 동일 유용도 조건에서도 EFX3 할당이 존재하지 않을 수 있으며, 이는 개념 자체의 근본적 한계를 보여준다.
• 삼차 유용도 조건에서는 EFX 및 PO 할당, EFX3 및 PO 할당을 계산할 수 있는 다항 시간 알고리즘이 존재한다.
• 동일 유용도 조건에서는 선형 시간 알고리즘이 EFX 및 PO 할당을 계산하며, 이러한 할당은 비용 복리 복리의 최적값을 √(8/9) ≈ 0.9428의 요소로 근사한다.
• EFX 할당에서 비용 복리 복리의 근사 비율이 √(8/9)는 거의 최적에 가까우며, 두 명의 에이전트와 m+2개의 악성 상품을 가진 예제 6을 통해 이를 입증한다.