[논문 리뷰] Extension of Additive Valuations to General Valuations on the Existence of EFX

Ryoga Mahara|arXiv (Cornell University)|2021. 01. 01.

Game Theory and Voting Systems인용 수 1

한 줄 요약

이 논문은 불가분 물건과 일반(가산적이지 않은) 평가를 가진 공정 분배에서 임의의 항목에 대해 선호도 없음(EFX) 할당에 대한 새로운 존재성 결과를 확립한다. 새로운 분할 렉심린 잠재함수를 도입하고 렉심린 잠재함수 기법을 정교화함으로써, 저자들은 다음 조건에서 완전한 EFX 할당이 존재함을 증명한다: (1) 모든 참가자가 두 가지 일반 평가 중 하나를 가질 때, (2) 물건 수가 n+3 이하일 때, 또는 (3) 최대 n−2개의 물건만 할당되지 않을 때. 이 작업은 가산 평가를 초월하는 열린 케이스를 해결하고 이전의 잠재함수 접근법의 한계를 규명한다.

ABSTRACT

Envy-freeness is one of the most widely studied notions in fair division. Since envy-free allocations do not always exist when items are indivisible, several relaxations have been considered. Among them, possibly the most compelling concept is envy-freeness up to any item (EFX). We study the existence of EFX allocations for general valuations. The existence of EFX allocations is a major open problem. For general valuations, it is known that an EFX allocation always exists (i) when n = 2 or (ii) when all agents have identical valuations, where n is the number of agents. it is also known that an EFX allocation always exists when one can leave at most n-1 items unallocated. We develop new techniques and extend some results of additive valuations to general valuations on the existence of EFX allocations. We show that an EFX allocation always exists (i) when all agents have one of two general valuations or (ii) when the number of items is at most n+3. We also show that an EFX allocation always exists when one can leave at most n-2 items unallocated. In addition to the positive results, we construct an instance with n = 3 in which an existing approach does not work as it is.

연구 동기 및 목표

• 일반(가산적이지 않은) 평가에 대한 EFX 할당 존재성 문제를 해결하기 위해.
• 기존의 가산 평가에 대한 결과를 더 넓은 평가 유형으로 확장하기 위해.
• 특히 분할 렉심린 잠재함수를 포함한 새로운 기법을 개발하여 렉심린 잠재함수 접근법의 한계를 극복하기 위해.
• 최대 n−2개의 물건만 할당되지 않을 경우 EFX 할당이 존재함을 보여주기 위해.

제안 방법

• 반복적인 EFX 할당 구축을 안내하기 위해 새로운 잠재함수인 분할 렉심린 잠재함수를 도입하기 위해.
• 새로운 함수와 함께 렉심린 잠재함수를 사용하여 EFX 향한 진전을 보장하면서 참가자의 선호도를 관리하기 위해.
• 할당 업데이트 중에 발생할 수 있는 선호도 사이클을 해결하기 위해 선호도 그래프에서 사이클 차단 기법을 적용하기 위해.
• 렉심린 잠재함수 기반 접근법의 실패를 보여주기 위해 n=3과 일반 평가를 가진 새로운 사례를 구성하기 위해.
• 구조적 제약 조건(예: 단조성, 크기 기반 비교)을 평가 함수에 적용하여 불가능성 및 존재성 결과를 도출하기 위해.
• EFX에서 한 참가자가 다른 참가자의 번들에서 어떤 한 개의 항목을 제거한 후에도 다른 참가자를 선호해서는 안 된다는 사실을 활용하기 위해.

실험 결과

연구 질문

• RQ1 참가자가 동일하거나 가산 평가가 아니라 두 가지 일반 평가 중 하나를 가질 경우, 항상 EFX 할당이 존재하는가?
• RQ2 물건 수가 n+3 이하일 경우, EFX 할당이 항상 존재하는가?
• RQ3 일반 평가 조건 하에서도 최대 n−2개의 물건만 할당되지 않을 경우 EFX를 달성할 수 있는가?
• RQ4 왜 렉심린 잠재함수 기반 방법은 일반 평가를 가진 n=3의 경우에 실패하는가?
• RQ5 분할 렉심린 잠재함수 기반 기법이 EFX 구성에서 이전의 잠재함수 기법의 한계를 극복할 수 있는가?

주요 결과

• 모든 참가자가 두 가지 일반 평가 중 하나를 가질 경우, 기존의 동일 평가 결과를 확장하여 항상 EFX 할당이 존재한다.
• 물건 수가 n+3 이하일 경우, 일반 평가 조건 하에서도 항상 EFX 할당이 존재한다.
• 최대 n−2개의 물건만 할당되지 않을 경우 EFX 할당이 존재하며, 이는 기존의 n−1개의 할당되지 않은 물건 이하의 기준을 향상시킨다.
• n=3과 일반 평가를 가진 사례에서 렉심린 순서로 더 큰 EFX 할당이 존재하지 않는 반례를 구성하여 렉심린 잠재함수 기반 접근법의 실패를 보여준다.
• 분할 렉심린 잠재함수 기반 기법은 개별 참가자가 일시적으로 더 나아지지 않을 수 있지만, 렉심린 순서에서 엄밀히 더 나은 EFX 할당을 구성할 수 있다.
• 결과는 가산 평가를 초월하여 비가산적이고 비서브모듈러 타입을 포함한 더 넓은 일반 평가 유형으로 확장된다.