[논문 리뷰] Efficiency and Sequenceability in Fair Division of Indivisible Goods with Additive Preferences

Sylvain Bouveret, Michel Lemaı̂tre|arXiv (Cornell University)|2016. 04. 06.

Experimental Behavioral Economics Studies인용 수 5

한 줄 요약

이 논문은 추가적인 수치적 선호도 하에, 순차적 할당 프로토콜인 선택 시퀀스—즉, 에이전트들이 번갈아가며 분할 불가능한 물건을 선택하는 방식—를 재고한다. 이는 파레토 최적성, 파레토 최적성이 없이도 순서 가능성이 있는 경우, 그리고 순서 불가능한 경우로 나누는 삼단계의 '효율성 척도'를 설정하여, 모든 파레토 최적 할당이 순서 가능하지만 그 역은 성립하지 않는다는 것을 보여준다. 핵심적으로, 동일한 소득을 가진 경쟁 균형(CEEI)은 항상 순서 가능하다는 것을 증명하고, 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 the following: at each stage, a designated agent picks one object among those that remain. This paper, restricted to the case where the agents have numerical additive preferences over objects, revisits to some extent the seminal paper by Brams and King [9] which was specific to ordinal and linear order preferences over items. We point out similarities and differences with this latter context. In particular, we show that any Pareto-optimal allocation (under additive preferences) is sequenceable, but that the converse is not true anymore. This asymmetry leads naturally to the definition of a "scale of efficiency" having three steps: Pareto-optimality, sequenceability without Pareto-optimality, and non-sequenceability. Finally, we investigate the links between these efficiency properties and the "scale of fairness" we have described in an earlier work [7]: we first show that an allocation can be envy-free and non-sequenceable, but that every competitive equilibrium with equal incomes is sequenceable. Then we experimentally explore the links between the scales of efficiency and fairness.

연구 동기 및 목표

• 추가적 선호도 하에 선택 시퀀스와 효율성 성질 간의 관계를 분석한다.
• 수치적 추가 선호도의 맥락에서 파레토 최적성과 순서 가능성의 차이를 명확히 한다.
• 주어진 할당이 동일한 소득을 가진 경쟁 균형(CEEI) 조건을 만족하는지 테스트할 수 있는 실용적인 방법을 개발한다.
• 효율성 척도와 정의로움 척도 간의 상호작용, 특히 편애 없음과 CEEI와의 관계를 실험적으로 조사한다.
• Brams 등(2004)의 이전 연구를 순서적 선호도에서 수치적 추가 선호도로 확장하여, 효율성 성질에 대한 새로운 비대칭성을 드러낸다.

제안 방법

• 선택의 '불만족스러운 부분할당' 기반의 순서 가능성 특성화를 통해 할당과 순서 간의 관계를 공식화한다.
• 기존에 열려 있던 문제를 해결하기 위해, 주어진 할당이 동일한 소득을 가진 경쟁 균형(CEEI)인지 여부를 판단하는 새로운 알고리즘적 방법을 제안한다.
• 균등 및 정규 분포 선호도를 가진 100개의 무작위로 생성된 MARA 인스턴스(3명의 에이전트, 10개의 물건)를 대상으로 대규모 실험적 평가를 수행한다.
• 효율성 및 정의로움 수준에서 할당의 분포를 시각화하기 위해 로그 히스토그램 표현을 사용한다.
• 각 인스턴스당 59,049가지 가능한 할당에 대해 최고의 정의로움 수준과 효율성 수준을 식별하기 위한 계산 프레임워크를 적용한다.
• 실험 결과에서 통계적 변동성을 표현하기 위해 오차 막대와 최소-최대 간격을 사용한다.

실험 결과

연구 질문

• RQ1 추가적 선호도 하에 모든 파레토 최적 할당이 순서 가능할까? 그 반대도 성립하는가?
• RQ2 파레토 최적성, 파레토 최적성이 없지만 순서 가능성이 있는 경우, 그리고 순서 불가능한 경우를 구분하는 공식적인 '효율성 척도'를 정의할 수 있는가?
• RQ3 추가적 선호도 맥락에서 동일한 소득을 가진 경쟁 균형(CEEI)과 순서 가능성 간의 관계는 무엇인가?
• RQ4 무작위 할당 인스턴스에서 정의로움 성질(예: 편애 없음, CEEI)이 효율성 수준과 어떻게 상관관계가 있는가?
• RQ5 특히 소형에서 중형 문제에 대해, 주어진 할당이 CEEI 할당인지 확인할 수 있는 실용적인 방법이 존재하는가?

주요 결과

• 실험 설정에서 약 90퍼센트 이상의 할당이 어떤 정의로움 또는 효율성 기준을 만족하지 않으며, 이는 강력한 성질이 흔하지 않음을 시사한다.
• 편애 없는 할당에서는 비정의 할당보다 더 높은 비율로 순서 가능성이 있는 것으로 나타나, 정의로움과 순서 가능성 간의 상관관계가 있음을 시사한다.
• 균등 생성 모델 하에서 CEEI 할당의 경우, 파레토 최적 할당의 비율이 단순히 순서 가능할 뿐인 할당의 비율을 초월하며, 이는 CEEI가 강력한 효율성을 암시한다는 것을 의미한다.
• 실험 결과에 따르면, 균등 생성 모델에서는 정규 모델보다 정의로움과 효율성 성질을 동시에 만족하는 할당의 비율이 더 높았다.
• CEEI를 검증하는 실용적인 방법을 성공적으로 개발하고 구현하였으며, 이는 이전에 복잡도가 coNP-난이도임에도 불구하고 열려 있던 문제였다.
• 모든 동일한 소득을 가진 경쟁 균형(CEEI) 할당은 순서 가능하다. 이는 이 정의로움 개념과 순서 가능성 간의 강력한 연결 고리를 확립한다.