[논문 리뷰] EFX Allocations: Simplifications and Improvements

Hannaneh Akrami, Alon, Noga외 4명|arXiv (Cornell University)|2022. 05. 16.

Game Theory and Voting Systems인용 수 8

한 줄 요약

이 논문은 세 명의 에이전트에 대한 EFX(어느 한 물건에 대해 선호 없음) 할당의 존재 증명을 단순화하고 확장하여, 모든 에이전트가 추가가치 평가를 가져야 한다는 조건을 완화함으로써, 오직 한 명의 에이전트만 추가가치 평가를 갖는 경우에도 EFX 할당이 존재함을 보여줌. 이는 이전 결과를 초월하는 것이다. 또한 근사 EFX 할당에서 기부(미할당된 물건)의 상한을 향상시켜, 기존의 O((n/ε)^{4/5})에서 Õ((n/ε)^{1/2})로 감소시켰으며, 이는 제로섬 조합론에 응용되는 새로운 조합 기법을 사용한 것이다.

ABSTRACT

The existence of EFX allocations is a fundamental open problem in discrete fair division. Given a set of agents and indivisible goods, the goal is to determine the existence of an allocation where no agent envies another following the removal of any single good from the other agent's bundle. Since the general problem has been illusive, progress is made on two fronts: $(i)$ proving existence when the number of agents is small, $(ii)$ proving existence of relaxations of EFX. In this paper, we improve results on both fronts (and simplify in one of the cases). We prove the existence of EFX allocations with three agents, restricting only one agent to have an MMS-feasible valuation function (a strict generalization of nice-cancelable valuation functions introduced by Berger et al. which subsumes additive, budget-additive and unit demand valuation functions). The other agents may have any monotone valuation functions. Our proof technique is significantly simpler and shorter than the proof by Chaudhury et al. on existence of EFX allocations when there are three agents with additive valuation functions and therefore more accessible. Secondly, we consider relaxations of EFX allocations, namely, approximate-EFX allocations and EFX allocations with few unallocated goods (charity). Chaudhury et al. showed the existence of $(1-ε)$-EFX allocation with $O((n/ε)^{\frac{4}{5}})$ charity by establishing a connection to a problem in extremal combinatorics. We improve their result and prove the existence of $(1-ε)$-EFX allocations with $ ilde{O}((n/ ε)^{\frac{1}{2}})$ charity. In fact, some of our techniques can be used to prove improved upper-bounds on a problem in zero-sum combinatorics introduced by Alon and Krivelevich.

연구 동기 및 목표

• 모든 에이전트가 추가가치 평가를 가져야 한다는 조건을 완화함으로써, 세 명의 에이전트에 대한 EFX 할당 존재 증명을 단순화하고 일반화하는 것.
• 두 명의 에이전트가 일반적인 단조 평가를 갖고, 한 명의 에이전트가 MMS-가능 평가를 갖는 설정으로 EFX 존재 결과를 확장하는 것. 이는 추가가치, 예산-추가가치, 유닛-수요 함수를 포함하는 더 넓은 클래스이다.
• (1−ε)-EFX 할당에 필요한 미할당된 물건 수(기부)의 상한을 개선하여, 이전의 O((n/ε)^{4/5})에서 Õ((n/ε)^{1/2})로 감소시키는 것.
• EFX 할당 문제와 극한 조합론, 특히 제로섬 조합론 간의 연결 고리를 설정하여 개선된 상한을 도출하는 것.
• 이전 증명에서 중심이 되었던 복잡한 구조물인 챔피언-그래프, 선호-그래프, 반반들러를 사용하지 않도록 하여 증명의 접근성과 명확성을 높이는 것.

제안 방법

• 이전 EFX 증명에서 중심이었던 챔피언, 챔피언-그래프, 반반들러, 선호-그래프를 사용하지 않는 새로운 증명 기법을 도입함.
• 정점 부분 집합으로 나누어진 방향 그래프에서 제한된 경로에 대한 귀납적 추론을 사용하며, 정점 부분 집합의 재색인화를 통해 도달 가능성 성질을 유지함.
• 부분-분할된 방향 그래프에서 레인보우 사이클의 존재를 근거로 한 모순 추론을 사용하여 부분 수를 바ounds로 제한함으로써, R_p(d) < 2d−1를 증명함.
• 특정 (2i−2)-제한 경로를 통해 도달 가능한 노드의 구조를 활용하여, 더 긴 경로를 귀납적으로 구축하고, 사이클을 유도할 수 있도록 충분한 도달 가능성을 확보함.
• 특히 알론과 크리브레비치의 결과를 활용하여, 극한 조합론 기법을 적용하여 근사 EFX 할당에서의 미할당된 물건 수를 상한으로 제한함.
• 기부 문제를 경로 도달 가능성과 부분 집합 분할을 포함하는 그래프 이론 문제로 재구성함으로써, 더 날카운 상한을 도출함.

실험 결과

연구 질문

• RQ1 챔피언-그래프나 선호-그래프와 같은 복잡한 구조를 피하면서, 세 명의 에이전트에 대한 EFX 할당 존재성을 더 단순한 방법으로 증명할 수 있는가?
• RQ2 오직 한 명의 에이전트만 추가가치 평가를 갖고, 나머지 두 명이 일반적인 단조 평가를 갖는 설정으로도 EFX 존재 결과가 확장되는가?
• RQ3 (1−ε)-EFX 할당에서 기부로 간주되는 미할당된 물건 수를 이전의 상한 O((n/ε)^{4/5}) 이하로 줄일 수 있는가?
• RQ4 제로섬 조합론에서 어떤 조합 구조가 근사 EFX 할당의 기부 상한 향상에 활용될 수 있는가?
• RQ5 제약이 있는 평가 가정 없이, 세 명의 에이전트에 대한 MMS-가능 평가 함수를 갖는 EFX 존재성을 증명할 수 있는가?

주요 결과

• 이 논문은 오직 한 명의 에이전트만 추가가치 평가를 갖는 경우에도, 나머지 두 명이 일반적인 단조 평가를 가질 수 있음을 고려하여, 세 명의 에이전트에 대한 EFX 할당 존재성을 이전 연구보다 훨씬 단순한 증명으로 증명함.
• 이 증명 기법은 두 명의 에이전트가 단조 평가를 갖고, 한 명의 에이전트가 MMS-가능 평가를 갖는 설정으로 일반화될 수 있으며, 이는 추가가치, 예산-추가가치, 유닛-수요 평가를 포함하는 더 엄격한 일반화된 클래스이다.
• 이 논문은 (1−ε)-EFX 할당에 필요한 기부 상한을 O((n/ε)^{4/5})에서 Õ((n/ε)^{1/2})로 개선하여, 할당되지 않은 물건의 수를 크게 줄임.
• 이 개선된 상한은 알론과 크리브레비치의 제로섬 조합론 결과를 활용한 새로운 응용을 통해 달성됨.
• 이 방법은 선호-그래프, 챔피언, 반반들러와 같은 복잡한 알고리즘적 구조물에 의존하지 않아 증명이 더 접근 가능하고 개념적으로 명확해짐.
• 논문은 부분-분할된 방향 그래프에서 레인보우 사이클의 존재가 부분 수가 2d−1를 초과할 경우 모순을 일으키며, 이는 도달 가능성 구조를 제한하고 주요 결과를 증명하는 데 사용됨.