[논문 리뷰] Towards Optimal Subsidy Bounds for Envy-freeable Allocations

Yasushi Kawase, Kazuhisa Makino외 3명|arXiv (Cornell University)|2023. 08. 22.

Auction Theory and ApplicationsDecision Sciences인용 수 3

한 줄 요약

이 논문은 불가분 물품의 공정 분배에서 선호 없는 할당을 달성하기 위한 개선된 다항식 시간 알고리즘을 제시한다. EF1 할당이 주어지면, 각 에이전트당 최대 $ n-1 $의 보조금과 총 보조금 $ n(n-1)/2 $을 사용하여 선호 없는 할당을 구성한다. 이는 이전의 각 에이전트당 $ 2(n-1) $ 및 총 보조금 $ 2(n-1)^2 $의 상한에 비해 크게 향상된 것이다. $ n \geq 3 $인 단조성 평가에 대해서는 추가로 개선되어 각 에이전트당 보조금이 $ n - 1.5 $로 감소하고 총 보조금은 $ (n^2 - n - 1)/2 $이 된다. 이는 특정 경우에서 최적임을 입증한다.

ABSTRACT

We study the fair division of indivisible items with subsidies among $n$ agents, where the absolute marginal valuation of each item is at most one. Under monotone valuations (where each item is a good), Brustle et al. (2020) demonstrated that a maximum subsidy of $2(n-1)$ and a total subsidy of $2(n-1)^2$ are sufficient to guarantee the existence of an envy-freeable allocation. In this paper, we improve upon these bounds, even in a wider model. Namely, we show that, given an EF1 allocation, we can compute in polynomial time an envy-free allocation with a subsidy of at most $n-1$ per agent and a total subsidy of at most $n(n-1)/2$. Moreover, we present further improved bounds for monotone valuations.

연구 동기 및 목표

• 불가분 물품의 공정 분배에서 선호 없는 상태를 달성하기 위해 필요한 각 에이전트당 및 총 보조금의 상한을 개선하는 것.
• 기존의 단조성 및 이중 단조성 평가 결과를, $[-1, 1]$ 범위 내에서 정규화된 마진 평가를 가진 더 넓은 모델로 확장하는 것.
• EF1 또는 EFk 조건 하에서 선호 없는 할당을 최소 보조금으로 계산하는 다항식 시간 알고리즘을 제공하는 것.
• 특히 단조성 평가에 대해 알려진 하한과 이전의 상한 사이의 격차를 메우는 것.
• 개선된 상한이 일관된 예시를 구성하여 최적임을 입증하는 것.

제안 방법

• 기존의 EF1 할당을 입력으로 받아, 번들과 보조금을 최적의 방식으로 재분배하기 위해 재가중치화 및 순열 기법을 활용한다.
• 최대 보조금과 총 보조금을 최소화하기 위해 서로 다른 번들 재배치로부터 유도된 두 후보 보조금 벡터 $ p' $ 및 $ p'' $을 도입한다.
• 쌍별 선호를 분석하고 최적의 보조금 벡터 선택을 안내하기 위해 가중치 기반 그래프 모델 $ G_{w,\text{id}} $를 사용한다.
• 다양한 번들 구성 조건 하에서 마진 평가 차이 및 보조금 기여를 제한하는 보조정리를 적용하여 상한을 증명한다.
• 최대 가중치 순열 $ \tau^* $를 활용하여 $ p' $ 및 $ p'' $ 중 최적의 보조금 벡터를 선택함으로써 최소 최대 및 총 보조금을 확보한다.
• 예시 인스턴스를 구성하여 상한이 최적임을 입증한다.

실험 결과

연구 질문

• RQ1 단조성 평가 하에서, 각 에이전트당 보조금 상한을 $ 2(n-1) $ 이하, 총 보조금 상한을 $ 2(n-1)^2 $ 이하로 개선할 수 있는가?
• RQ2 EF1 할당이 주어졌을 때, 유한한 보조금을 가진 선호 없는 할당을 다항식 시간 내에 계산할 수 있는가?
• RQ3 정규화된 마진 평가가 $[-1, 1]$ 범위에 있는 일반 모델에서, 선호 없는 상태를 달성하기 위해 필요한 최소 최대 보조금 및 총 보조금은 얼마인가?
• RQ4 단조성 평가 하에서 번들 구조를 수정함으로써 $ n \geq 3 $ 에이전트에 대해 더 날카로운 상한을 달성할 수 있는가?
• RQ5 각 에이전트당 $ n-1.5 $ 및 총 보조금 $ (n^2 - n - 1)/2 $의 새로운 상한이 최악의 경우 최적인가?

주요 결과

• 임의의 EF1 할당으로부터 각 에이전트당 최대 $ n-1 $의 보조금과 총 보조금 $ n(n-1)/2 $을 사용하는 선호 없는 할당을 다항식 시간 내에 계산할 수 있다.
• $ n \geq 3 $일 경우, 단조성 평가 하에서 각 에이전트당 보조금은 $ n - 1.5 $로 감소하고 총 보조금은 $ (n^2 - n - 1)/2 $이 된다.
• 개선된 상한은 최적이다: 선호 없는 상태를 달성하기 위해 더 작은 보조금을 사용할 수 없는 인스턴스가 존재하며, 이는 예제 1에서 보여진다.
• $ n = 2 $일 경우 총 보조금 상한 $ n(n-1)/2 $은 최적이다. 이는 1의 보조금이 필요하고 충분하다.
• EFk 할당에 대해서는 각 에이전트당 $ k(n-1) $ 및 총 보조금 $ k \cdot n(n-1)/2 $의 상한을 유도한다.
• 제안된 방법은 번들 재배치로부터 유도된 두 후보 보조금 벡터에 대한 최대 가중치 순열을 통해 다항식 시간 계산을 보장한다.