[논문 리뷰] Existence of EFX for Two Additive Valuations

Ryoga Mahara|arXiv (Cornell University)|2020. 08. 20.

Game Theory and Voting Systems인용 수 4

한 줄 요약

이 논문은 에이전트가 가산가치 함수를 가지며 두 가지 유형으로 나뉘어질 때, 완전한 EFX(어느 항목을 제거해도 선호하지 않는) 할당이 항상 존재함을 증명한다. 저자들은 초기 부분 EFX 할당에서 시작하여 반복적으로 파레토 지배적인 EFX 할당을 구성하는 구조적 알고리즘을 제시한다. 이는 이전의 동일한 가격 또는 두 에이전트 설정에 국한된 결과를 일반적인 수의 에이전트와 항목으로 확장한다.

ABSTRACT

Fair division of indivisible items is a well-studied topic in Economics and Computer Science. The objective is to allocate items to agents in a fair manner, where each agent has a valuation for each subset of items. Envy-freeness is one of the most widely studied notions of fairness. Since complete envy-free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling one is envy-freeness up to any item (EFX), where no agent envies another agent after the removal of any single item from the other agent's bundle. However, despite significant efforts by many researchers for several years, it is known that a complete EFX allocation always exists only in limited cases. In this paper, we show that a complete EFX allocation always exists when each agent is of one of two given types, where agents of the same type have identical additive valuations. This is the first such existence result for non-identical valuations when there are any number of agents and items and no limit on the number of distinct values an agent can have for individual items. We give a constructive proof, in which we iteratively obtain a Pareto dominating (partial) EFX allocation from an existing partial EFX allocation.

연구 동기 및 목표

• 비동일한 가산가치 함수를 가진 일반적인 수의 에이전트와 항목에 대해 완전한 EFX 할당이 존재하는지 여부라는 열린 문제를 해결하기 위해.
• 이전에 두 에이전트, 동일한 가격 함수 또는 세 에이전트에 국한된 존재성 결과를 두 가지 다른 가격 유형이 있는 설정으로 확장하기 위해.
• 초기 부분 EFX 할당에서 시작하여 반복적으로 파레토 개선을 통해 완전한 EFX 할당을 생성하는 구조적 알고리즘을 제공하기 위해.
• 불가분 항목의 공정 분배 문제에서 일반적인 EFX 존재 추측을 해결하기 위한 기초 단계를 마련하기 위해.

제안 방법

• 방법은 초기 부분 EFX 할당으로 시작하여, 파레토 지배성을 향상시키면서 EFX 공정성을 유지하는 방식으로 항목을 재할당함으로써 새로운 할당을 구성한다.
• 한 에이전트에서 다른 에이전트로의 선호도 위반을 방지하기 위해 '최소 선호 집합' 개념을 사용하여 전환 가능한 항목을 식별한다.
• 항목 교환 또는 재할당을 통해 더 나은 상태가 될 수 있는 에이전트를 선택하며, 선호 관계가 어떤 단일 항목 제거 후에도 유지되도록 보장한다.
• 한 에이전트의 번들을 선호하는 부분집합으로 대체함으로써 새로운 할당을 구성하는 재귀적 구조를 적용한다. 이 과정에서 모든 에이전트 쌍 간의 EFX가 유지된다.
• 유사성에 기반한 동일한 유형의 에이전트 간의 대칭성을 활용하여, 에이전트 유형과 가격 구조에 대한 귀납적 추론을 기반으로 증명한다.
• 핵심 보조정리는 새로운 할당이 이전 할당을 파레토 지배하고, 모든 선호 검사 조건 하에서 여전히 EFX임을 보장한다.

실험 결과

연구 질문

• RQ1 에이전트가 가산가치 함수를 가지며 두 가지 다른 유형에 속할 때, 완전한 EFX 할당이 존재하는가?
• RQ2 부분 EFX 할당에서 시작하여 반복적으로 이러한 EFX 할당을 생성할 수 있는 구조적 알고리즘을 설계할 수 있는가?
• RQ3 재할당 단계 동안 파레토 지배성을 유지하면서 EFX 공정성을 확보할 수 있는가?
• RQ4 두 가지 가격 유형의 구조가 두 에이전트 또는 동일한 가격 함수의 경우를 초월해 EFX의 실현 가능성에 어떤 영향을 미치는가?

주요 결과

• 에이전트가 두 유형으로 나뉘어지고 각 유형 내에서 동일한 가산가치 함수를 가질 경우, 완전한 EFX 할당이 항상 존재한다.
• 에이전트와 항목의 수에 제한 없이 해당 존재성 결과가 성립한다. 각 에이전트가 가질 수 있는 고유한 항목 가치의 수에 대해서도 제한이 없다.
• 증명은 구조적이다: 초기 부분 EFX 할당에서 시작하여 체계적으로 파레토 지배적인 EFX 할당을 구성할 수 있다.
• 알고리즘은 선호하는 에이전트의 번들에서 어떤 단일 항목을 제거해도 선호 관계가 유지되도록 보장하여, 모든 에이전트 쌍에 대해 EFX를 충족한다.
• 세 에이전트 가산 경우에서는 이 방법이 실패함을 보여, 일반화된 경우에 더 복잡한 기법이 필요함을 시사한다.
• 이 결과는 가산가치 함수의 일반적인 경우에서 오랫동안 열려 있던 EFX 존재 문제를 해결하기 위한 중요한 단계를 제공한다.