[논문 리뷰] Jealousy-freeness and other common properties in Fair Division of Mixed Manna

Martin Aleksandrov|arXiv (Cornell University)|2020. 04. 23.

Game Theory and Voting Systems참고 문헌 28인용 수 4

한 줄 요약

이 논문은 독립 가능한 항목—선호도, 악성 항목, 또는 혼합된 만나(utility가 다양한 항목)—의 공정한 분배를 위해 네 가지 새로운 부조리 자유도의 이완 형태인 JF1, JF1⁰, JFX, JFX⁰을 도입하고 분석한다. 공정성과 효율성 성질의 조합(예: 한 개 항목을 제외한 부조리 자유도(EF1/EFX) 및 파레토 최적성)에 대해 새로운 불가능성 및 가능성을 입증하며, 이전 항목을 재할당하지 않고 다항 시간 내에 JF1⁰ 할당을 계산하는 알고리즘 1을 제시한다.

ABSTRACT

We consider a fair division setting where indivisible items are allocated to agents. Each agent in the setting has strictly negative, zero or strictly positive utility for each item. We, thus, make a distinction between items that are good for some agents and bad for other agents (i.e. mixed), good for everyone (i.e. goods) or bad for everyone (i.e. bads). For this model, we study axiomatic concepts of allocations such as jealousy-freeness up to one item, envy-freeness up to one item and Pareto-optimality. We obtain many new possibility and impossibility results in regard to combinations of these properties. We also investigate new computational tasks related to such combinations. Thus, we advance the state-of-the-art in fair division of mixed manna.

연구 동기 및 목표

• 혼합된 만나(항목이 참가자들에 따라 다른 가치를 지님)에서 공정성과 효율성의 균형을 분석하기.
• 부조리 자유도의 네 가지 새로운 이완 형태인 JF1, JF1⁰, JFX, JFX⁰을 도입하고 공식화하여, 한 개 항목을 제외한 부조리 자유도를 정교화하기.
• 공정성(예: JF1, EFX)과 효율성(예: 파레토 최적성) 성질의 조합을 만족하는 할당의 존재성과 계산 복잡도를 조사하기.
• 이전 항목을 재할당하지 않는 새로운 알고리즘(알고리즘 1)을 개발하여 JF1⁰ 할당을 계산하고, 온라인 환경에 적합하게 만들기.
• 공정성 이완 형태의 조합에 있어 열거된 문제점과 제한 사항을 규명하기, 특히 정규화된 유틸리티와 다수의 참가자들이 있는 설정에서.

제안 방법

• 네 가지 새로운 공정성 이완 형태를 제안: JF1(한 개 항목을 제외한 부조리 자유도), JF1⁰(비영일치 유틸리티 제약 조건이 없는 JF1의 이완), JFX(모든 악성 항목과 선호도 항목을 고려하는 더 강력한 JF1), JFX⁰(이완된 JFX).
• 레크시코그래픽 최대 최소(leximin) 및 leximin++ 접근 방식을 사용하여 공정한 할당을 계산하며, 후자는 특정 설정에서 EFX 및 JFX 성질을 보장한다.
• 한 번에 한 개 항목씩 할당하는 알고리즘(알고리즘 1)을 활용하여 이전 할당을 재검토하지 않고 결정을 내리며, 온라인 환경에 적합하다.
• 일부 조합(예: JF1+PO)에 대해 NP-난이도임을 입증하기 위해 계산 복잡도 분석을 수행하며, 반례를 통한 불가능성 결과를 증명한다.
• 정규화된 가산 유틸리티 및 일반 유틸리티를 사용하여 다양한 가정 하에서 공정성 분석을 수행하며, 특히 순수 악성 항목 및 혼합된 만나 설정에서 중점을 둔다.
• 기존 알고리즘(예: 일반화된 부조리 그래프 알고리즘을 통한 EF1, 매칭 기반 파레토 최적 할당을 위한 헝가리안 방법)을 활용한다.

실험 결과

연구 질문

• RQ1 세 명의 참가자와 정규화된 유틸리티를 가진 문제에서 JF1⁰ 할당이 부조리 자유도 한 개 항목 이완(EF1)과 동시에 존재할 수 있는가?
• RQ2 혼합된 만나에서 세 명 이상의 참가자가 있는 설정에서 JF1와 파레토 최적성(PO)을 동시에 달성할 수 있는가?
• RQ3 순수 악성 항목과 정규화된 일반 유틸리티 설정에서 JFX 및 EFX 할당이 존재하며 효율적으로 계산 가능한가?
• RQ4 제안된 JF1⁰ 알고리즘이 사전 지식 없이 순차적으로 도착하는 항목을 처리하는 온라인 환경에 적응 가능한가?
• RQ5 유틸리티가 유니터리 형식으로 주어질 경우 JFX 할당을 계산하는 다항 시간 알고리즘이 존재하는가, 아니면 문제 자체가 본질적으로 난이도가 높은가?

주요 결과

• 알고리즘 1을 사용하면 JF1⁰ 할당을 다항 시간 내에 계산할 수 있으며, 이는 각 항목에 대해 되돌릴 수 없는 결정을 내리고 온라인 환경에 적합하다.
• 세 명의 참가자와 세 개의 순수 악성 항목에 대해 정규화된 가산 유틸리티를 가진 문제에서 JF1 할당이 EF1를 동시에 만족하지 못하는 경우가 존재함을 입증하여, JF1와 EF1 간의 상충 관계를 보여준다.
• 혼합된 만나에서 n ≥ 4명의 참가자가 있는 경우 JF1+PO는 불가능하며, 이 문제는 NP-난이도이므로 강력한 계산적 장벽을 시사한다.
• 순수 악성 항목 설정에서 JFX+PO 할당은 존재하며, 매칭 알고리즘을 통해 O(n³) 시간 내에 효율적으로 계산 가능하다.
• leximin++ 해법은 선호도 항목과 동일한 일반 유틸리티를 가진 문제에서 EFX 및 JFX 성질을 달성하며, 이는 혼합된 만나로의 확장 가능성을 시사한다.
• JFX⁰과 JFX는 각각 JF1⁰과 JF1보다 더 강력하며, 계층적 관계를 형성한다: JFX⁰ ⇒ JFX ⇒ JF1⁰ ⇒ JF1.