[논문 리뷰] Breaking the Envy Cycle: Best-of-Both-Worlds Guarantees for Subadditive Valuations

Michal Feldman, Simon Mauras외 2명|arXiv (Cornell University)|2023. 04. 07.

Game Theory and Voting Systems인용 수 7

한 줄 요약

이 논문은 하향적 평가를 갖는 불가분 물건에 대해, 환경 주기 절차를 확률적으로 적용함으로써, 다항 시간 내에 최고의 두 세계를 동시에 달성하는 새로운 알고리즘을 제시한다. 이는 사전에 1/2-환경 자유성과 사후에 1/2-EFX(또한 EF1)의 공정성을 보장하며, 하향적 평가에 대해 이러한 결과는 처음으로, EFX 조건이 없더라도 성립한다.

ABSTRACT

We study best-of-both-worlds guarantees for the fair division of indivisible items among agents with subadditive valuations. Our main result establishes the existence of a random allocation that is simultaneously ex-ante $\frac{1}{2}$-envy-free, ex-post $\frac{1}{2}$-EFX and ex-post EF1, for every instance with subadditive valuations. We achieve this result by a novel polynomial-time algorithm that randomizes the well-established envy cycles procedure in a way that provides ex-ante fairness. Notably, this is the first best-of-both-worlds fairness guarantee for subadditive valuations, even when considering only EF1 without EFX.

연구 동기 및 목표

• 하향적 평가에 대해 최고의 두 세계 공정성을 달성하기 위해 사전 및 사후 공정성 간 격차를 메우는 것.
• 기존 결과를 가산 평가를 넘어서, EF1을 넘어서 더 강력한 EFX 공정성 개념으로 확장하는 것.
• 하향적 평가를 갖는 모든 인스턴스에 대해 동시에 사전에 1/2-환경 자유이고 사후에 1/2-EFX인 확률적 할당을 구성하는 것.
• 환영 주기 절차에 기반한 새로운 확률적 알고리즘을 통해 이러한 보장을 존재함을 보여주는 것.
• 사후 EFX에 대해 1/2-근사가 하향성 평가 조건에서도 여전히 최적임을 보여주는 것.

제안 방법

• 저자들은 고전적인 환영 주기 절차의 확률적 변형을 설계하여, 사전 공정성을 확보하면서도 사후 공정성 보장을 유지한다.
• 알고리즘은 각 에이전트의 자신의 번들에 대한 기대값이 다른 에이전트의 번들에 대한 기대값의 최소 1/2 이상이 되도록 보장하여, 사전에 1/2-환경 자유성을 달성한다.
• 환영 주기의 방향성 그래프를 유지하고, 이를 확률적 방법으로 해결함으로써, 어떤 에이전트도 기대치상으로 체계적으로 불리하게 되지 않도록 보장한다.
• 하향적 평가의 구조를 활용하여 임의의 실현에서의 최대 환영을 제한함으로써, 1/2-EFX 보장을 가능하게 한다.
• 알고리즘은 다항 시간 내에 실행되며, 지수적 크기의 지지 집합을 가진 할당의 분포를 생성할 수 있으며, 카라테오도리의 정리를 통해 이를 다항 크기로 줄일 수 있다.
• 분석에는 사전에 1/2-근사가 가능하지 않은 세 개의 항목과 두 명의 에이전트로 구성된 인스턴스를 사용한 최적성 증명이 포함되어 있으며, 제약 조건 하에 사후 EFX에 대해 1/2-근사 이하의 결과는 불가능함을 보여준다.

실험 결과

연구 질문

• RQ1 하향적 평가에 대해 확률적 할당이 동시에 사전에 1/2-환경 자유이고 사후에 1/2-EFX일 수 있는가?
• RQ2 가산 평가를 넘어서 EF1의 완화 조건을 넘어서, EFX 조건으로도 최고의 두 세계 공정성을 달성할 수 있는가?
• RQ3 하향적 평가 조건에서 최고의 두 세계 설정에서 사후 EFX에 대해 가능한 최고의 근사 요인은 무엇인가?
• RQ4 환영 주기 절차를 확률적으로 변형시켜, 사후 공정성을 희생시키지 않고 강력한 사전 공정성을 달성할 수 있는가?
• RQ5 하향성 평가 조건에서도 사후 EFX에 대해 1/2-근사가 최적인가?

주요 결과

• 논문은 하향적 평가를 갖는 모든 인스턴스에 대해 동시에 사전에 1/2-환경 자유이고 사후에 1/2-EFX인 확률적 할당의 존재를 확립한다.
• 제안된 알고리즘은 다항 시간 내에 실행되며, 환영 주기 해결 과정을 신중하게 확률화함으로써 두 보장을 달성한다.
• 사후 EFX에 대해 1/2-근사 요인이 최적임이 입증되었으며, 이는 어떤 경우에도 1/2-근사 이하의 결과가 불가능한 구성에 의해 보여진다.
• 모든 β > φ − 1 ≈ 0.618에 대해, α = (β + 1)/(β² + 2β)일 때, 동시에 사전에 α-EF와 사후에 β-EFX인 확률적 할당은 존재하지 않는다.
• 이 결과는 하향성 평가 조건에서도 최적임이 입증되었으며, Proposition A.3에서 이를 확인할 수 있다.
• 결과 분포의 지지 집합 크기는 카라테오도리의 정리를 통해 O(n²)로 줄일 수 있으나, 다항 시간 내에 이러한 작은 지지 집합 분포를 계산하는 것은 아직 열려 있는 문제이다.