[논문 리뷰] Efficiency, Sequenceability and Deal-Optimality in Fair Division of Indivisible Goods

Aurélie Beynier, Sylvain Bouveret외 3명|arXiv (Cornell University)|2018. 07. 28.

Economic theories and models인용 수 7

한 줄 요약

이 논문은 추가적 선호도 하에 효율성 개념의 형식적 계층을 도입하여 선택 순서(sequenceability), 사이클 거래(cycle-deals), 그리고 파레토 최적성(Pareto-optimality)를 연결함으로써 분할 불가능한 물품의 공정 분배 문제를 다룬다. 이는 1-사이클 거래에 대해 선택 순서가 최적성과 동치임을 보이며, 모든 파레토 최적 할당은 선택 순서 가능이지만 그 역은 성립하지 않음을 밝히며, 동일 소득의 경쟁 균형(CEEI)이 선택 순서 가능성을 암시함으로써 효율성, 공정성, 시장 기반 메커니즘 간 깊은 연관성을 드러낸다.

ABSTRACT

In fair division of indivisible goods, using sequences of sincere choices (or picking sequences) is a natural way to allocate the objects. The idea is as follows: at each stage, a designated agent picks one object among those that remain. Another intuitive way to obtain an allocation is to give objects to agents in the first place, and to let agents exchange them as long as such "deals" are beneficial. This paper investigates these notions, when agents have additive preferences over objects, and unveils surprising connections between them, and with other efficiency and fairness notions. In particular, we show that an allocation is sequenceable iff it is optimal for a certain type of deals, namely cycle deals involving a single object. Furthermore, any Pareto-optimal allocation is sequenceable, but not the converse. Regarding fairness, we show that an allocation can be envy-free and non-sequenceable, but that every competitive equilibrium with equal incomes is sequenceable. To complete the picture, we show how some domain restrictions may affect the relations between these notions. Finally, we experimentally explore the links between the scales of efficiency and fairness.

연구 동기 및 목표

• 공정 분배에서 선택 순서 가능 할당과 선택 순서 간의 관계를 형식화하는 것.
• 선택 순서 가능성과 다양한 유형의 거래, 특히 단일 물품을 포함한 1-사이클(교환) 거래 간의 연결 고리를 조사하는 것.
• 선택 순서 가능성, 파레토 최적성, 그리고 선호도 기반 공정성 개념(예: 선호도 없음, CEEI) 간의 관계를 명확히 하는 것.
• 다양한 선호도 영역에서 효율성 및 공정성 수준 간 할당의 분포를 실험적으로 분석하는 것.
• MMS 및 CEEI와 같이 NP-난이도 문제를 포함한 효율성 및 공정성 기준을 테스트할 수 있는 계산 프레임워크를 제공하는 것.

제안 방법

• 선택 순서 가능성을 할당이 선택 순서에 의해 생성될 수 있는 성질로 형식화하고, 에이전트의 선택 순서가 유효한 순서로 존재하는지에 기반한 특성화를 제시함.
• 특히 1-사이클(교환) 거래에 초점을 맞춘 사이클 거래 최적성(cycle-deal-optimality) 개념을 도입하고, 이러한 거래 하에서 선택 순서 가능성과 최적성이 동치임을 증명함.
• 선형 프로그래밍과 정수선형계획(ILP) 솔버를 사용하여 생성된 인스턴스에서 파레토 최적성, MMS, mMS, CEEI 공정성 기준을 테스트함.
• 균일 및 단일 피크 선호도 모델을 사용하여 3명의 에이전트와 8개의 물품을 가진 50개의 MARA 인스턴스에 대해 체계적인 실험 평가를 수행함.
• 6단계 공정성 척도(CEEI에서 비공정까지)와 4단계 효율성 척도(PO → Seq → Swap → 비선택 순서 가능)를 적용하여 할당 분포를 맵핑함.
• 공정성 및 효율성 속성에 대한 효율적 테스트를 지원하는 무료이고 문서화된 파이썬 라이브러리를 개발 및 배포함.

실험 결과

연구 질문

• RQ1 모든 파레토 최적 할당은 선택 순서 가능할까? 그리고 모든 선택 순서 가능 할당은 파레토 최적일까?
• RQ2 특히 1-사이클(교환) 거래에 대해 선택 순서 가능성과 최적성 간의 정확한 관계는 무엇인가?
• RQ3 단일 피크 선호도와 같은 영역 제약 조건이 효율성 개념의 계층에 어떤 영향을 미치는가?
• RQ4 경쟁 균형과 동일 소득(CEEI)이 선택 순서 가능성을 얼마나 강하게 암시하는가?
• RQ5 랜덤 및 구조화된 선호도 영역에서 효율성 및 공정성 수준 간 할당의 경험적 분포는 어떠한가?

주요 결과

• 1-사이클(교환) 거래 하에서 선택 순서 가능성은 최적성과 동치이다: 단일 물품을 포함한 교환 거래에 대해 최적이 되는 할당은 정확히 선택 순서 가능할 때이다.
• 모든 파레토 최적 할당이 선택 순서 가능하지는 않으며, 이는 일반적인 추가적 선호도 모델 하에서 파레토 최적성과 선택 순서 가능성 간의 동치성이 성립하지 않음을 보여준다.
• 모든 동일 소득의 경쟁 균형(CEEI) 할당은 선택 순서 가능하다. 이는 시장 기반 메커니즘과 선택 순서 간의 강력한 연결 고리를 확립한다.
• 단일 피크 선호도 영역에서는 모든 교환 최적 할당이 선택 순서 가능하다. 이는 이 영역에서 계층이 PO → Seq → Swap → 비선택 순서 가능으로 축소됨을 확인한다.
• 경험적으로 볼 때, 대부분의 할당은 공정성과 효율성 속성을 모두 갖지 못하지만, 선호도 없음 및 CEEI 할당은 선택 순서 가능 및 파레토 최적 할당 비율이 높은 편이다.
• CEEI 및 MMS와 같이 NP-난이도 문제를 포함한 공정성 및 효율성 검증의 구현이, 재현 가능한 평가를 위한 오픈소스 파이썬 라이브러리를 통해 실용화되었다.