[논문 리뷰] (Almost Full) EFX Exists for Four Agents (and Beyond)

Ben Berger, Avi Cohen외 2명|arXiv (Cornell University)|2021. 02. 21.

Game Theory and Voting Systems참고 문헌 22인용 수 15

한 줄 요약

이 논문은 네 명의 추가적 에이전트에 대해 최대 한 개의 미할당 항목을 가진 EFX 할당이 존재함을 입증하며, n명의 에이전트에 대해서는 최대 n−2개의 미할당 항목을 가진 EFX 할당이 존재함을 보여준다. 저자들은 일반화된 챔피언 에지와 좋은 사이클의 구조적 성질에 기반한 새로운 그래프 이론 기법을 도입하여, 추가적, 유닛 수요, 예산 추가 등과 같은 '좋은 취소 가능한 평가' 전반에 걸쳐 EFX 존재성을 확장하면서 이전 증명들을 단순화한다.

ABSTRACT

The existence of EFX allocations is a major open problem in fair division, even for additive valuations. The current state of the art is that no setting where EFX allocations are impossible is known, and EFX is known to exist for ($i$) agents with identical valuations, ($ii$) 2 agents, ($iii$) 3 agents with additive valuations, ($iv$) agents with one of two additive valuations and ($v$) agents with two-valued instances. It is also known that EFX exists if one can leave $n-1$ items unallocated, where $n$ is the number of agents. We develop new techniques that allow us to push the boundaries of the enigmatic EFX problem beyond these known results, and, arguably, to simplify proofs of earlier results. Our main results are ($i$) every setting with 4 additive agents admits an EFX allocation that leaves at most a single item unallocated, ($ii$) every setting with $n$ additive valuations has an EFX allocation with at most $n-2$ unallocated items. Moreover, all of our results extend beyond additive valuations to all nice cancelable valuations (a new class, including additive, unit-demand, budget-additive and multiplicative valuations, among others). Furthermore, using our new techniques, we show that previous results for additive valuations extend to nice cancelable valuations.

연구 동기 및 목표

• 네 명 이상의 에이전트가 추가적 평가를 가진 경우 EFX 할당 존재성에 대한 오랜 동안 열려 있던 문제를 해결하기 위해.
• 기존의 제한된 경우(예: 두 가지 평가 유형 또는 동일한 평가)를 초월하여 EFX 존재성을 확장하기 위해.
• 챔피언 에지와 사이클 구조에 기반한 통합 프레임워크를 사용하여 이전의 EFX 존재성 증명을 단순화하고 일반화하기 위해.
• 일반적인 설정에서 EFX 할당에 필요한 미할당 항목의 수에 대한 경계를 설정하기 위해.

제안 방법

• 단일 미할당 상품 뿐 아니라 항목 집합에 대해 일반화된 챔피언 에지를 도입하여 그래프 이론 프레임워크 내에서의 진전을 강화하기 위해.
• 에이전트 선호도 및 항목 할당의 방향 그래프 모델에서 좋은 사이클과 PI 사이클을 정의하고 분석하기 위해.
• 구조 정리(예: 정리 3.16)를 활용하여 에이전트의 번들로의 좋은 또는 외부 에지의 보장된 존재를 식별하기 위해.
• 평가 유형 내에서 적대감과 챔피언십의 역방향 전파를 활용하여 파레토 개선 사이클을 도출하기 위해.
• 레마 3.5를 적용하여 파레토 개선이 가능한 사이클을 식별하고 EFX 할당으로 이어지게 하기 위해.
• 추가적 평가에서부터 더 넓은 범주인 좋은 취소 가능한 평가(유닛 수요, 예산 추가 포함)로 결과를 확장하기 위해.

실험 결과

연구 질문

• RQ1 네 명의 에이전트가 추가적 평가를 가진 경우, 한 개의 항목이 미할당된 상태여도 EFX 할당이 존재하는가?
• RQ2 n명의 에이전트에 대해 EFX 할당에서의 미할당 항목 수가 n−1 이하로 경계될 수 있는가?
• RQ3 기존의 제한된 경우(예: 두 가지 평가 유형)에 대한 알려진 EFX 존재 결과가 더 넓은 좋은 취소 가능한 평가 유형으로 확장되는가?
• RQ4 EFX 존재성 증명 기법이 그래프 이론적 구조를 사용하여 단순화되고 통합될 수 있는가?
• RQ5 다양한 평가 유형 전반에 걸쳐 최소한의 미할당 항목을 가진 EFX 할당을 구성하는 일반적인 방법이 존재하는가?

주요 결과

• 모든 네 명의 추가적 에이전트 설정에서 최대 한 개의 미할당 항목을 가진 EFX 할당이 존재한다.
• 모든 n명의 추가적 에이전트 설정에서 최대 n−2개의 미할당 항목을 가진 EFX 할당이 존재한다.
• 모든 결과는 추가적, 유닛 수요, 예산 추가, 곱셈 평가를 포함한 더 넓은 좋은 취소 가능한 평가 유형으로 확장된다.
• 이전의 2명, 3명, 제한된 n명 에이전트 설정에 대한 EFX 존재성 증명을 단순화하고 일반화한다.
• 특히 좋은 g-사이클과 PI 사이클인 파레토 개선 사이클의 존재는 구조적 EFX 할당 구성이 가능하게 한다.
• 평가 유형 내에서 적대감과 챔피언십의 역방향 전파를 통해 구조적 일관성이 보장되어 EFX 할당 존재성에 기여한다.