[논문 리뷰] Approximation Algorithms for Envy-Free Cake Division with Connected Pieces

Siddharth Barman, Pooja Kulkarni|arXiv (Cornell University)|2022. 08. 18.

Game Theory and Voting Systems인용 수 4

한 줄 요약

이 논문은 연결된 조각을 가진 환영 없는 케이크 분할을 위한 다항시간 근사 알고리즘을 제안하며, 동시에 덧셈 근사 오차가 $\frac{1}{4} + o(1)$이고 곱셈 근사 오차가 $\frac{1}{2} - o(1)$인 결과를 달성한다. 이 방법은 간격 확장을 결합한 새로운 이분 간격 기법과 환영 사이클 제거 기법을 활용하여 환영을 제한하며, 이전의 $\frac{1}{3}$의 덧셈 오차와 $\frac{1}{2}$의 곱셈 오차보다 향상된 결과를 도출한다.

ABSTRACT

Cake cutting is a classic model for studying fair division of a heterogeneous, divisible resource among agents with individual preferences. Addressing cake division under a typical requirement that each agent must receive a connected piece of the cake, we develop approximation algorithms for finding envy-free (fair) cake divisions. In particular, this work improves the state-of-the-art additive approximation bound for this fundamental problem. Our results hold for general cake division instances in which the agents' valuations satisfy basic assumptions and are normalized (to have value 1 for the cake). Furthermore, the developed algorithms execute in polynomial time under the standard Robertson-Webb query model. Prior work has shown that one can efficiently compute a cake division (with connected pieces) in which the additive envy of any agent is at most 1/3. An efficient algorithm is also known for finding connected cake divisions that are (almost) 1/2-multiplicatively envy-free. Improving the additive approximation guarantee and maintaining the multiplicative one, we develop a polynomial-time algorithm that computes a connected cake division that is both (1/4 +o(1))-additively envy-free and (1/2 - o(1))-multiplicatively envy-free. Our algorithm is based on the ideas of interval growing and envy-cycle elimination. In addition, we study cake division instances in which the number of distinct valuations across the agents is parametrically bounded. We show that such cake division instances admit a fully polynomial-time approximation scheme for connected envy-free cake division.

연구 동기 및 목표

• 연결된 환영 없는 케이크 분할을 위한 다항시간 알고리즘을 개발하여 더 나은 덧셈 근사 보장을 달성하는 것.
• 동일한 계산 제약 조건 하에서 강력한 곱셈 근사 오차 한계를 동시에 유지하는 것.
• 제한된 이질성(적은 수의 다른 평가값을 가진) 사례를 해결하기 위해 완전 다항시간 근사 체계(FPTAS)를 설계하는 것.
• 연결성 제약 조건 하에서 정확한 환영 없는 케이크 분할을 위한 알고리즘적 장벽을 극복하는 것.

제안 방법

• 특정 구조적 특성을 가진 간격을 선호하도록 에이전트의 평가값을 수정하는 '이분 간격' 개념을 도입한다.
• 에이전트들 간에 겹치지 않는 간격을 할당하면서 환영을 제한하는 간격 확장 절차를 적용한다.
• 환영 사이클을 제거하여 남은 할당되지 않은 간격을 할당하고, 환영이 제한을 초과하지 않도록 한다.
• 에이전트의 평가값에서 유도된 컷 포인트를 사용한 이산화 방법을 활용하여 후보 간격의 유한 집합을 구성한다.
• 이질성이 제한된 경우, $O(\varepsilon n)$개의 컷 포인트에서 최대 $n$개의 서로소 간격을 구성하여 $\varepsilon$-덧셈 근사 오차를 보장한다.
• 알고리즘이 Robertson-Webb 쿼리 모델 하에서 다항시간에 실행되며, 모든 에이전트에 대해 환영이 유한하게 유지됨을 증명한다.

실험 결과

연구 질문

• RQ1 연결된 환영 없는 케이크 분할을 $\frac{1}{3}$을 초월하는 개선된 덧셈 근사 오차로 계산할 수 있는가?
• RQ2 다항시간 내에 동시에 덧셈 및 곱셈 근사 오차 향상을 달성할 수 있는가?
• RQ3 에이전트 평가값의 수가 제한될 경우, 케이크 분할에 대해 완전 다항시간 근사 체계(FPTAS)가 존재하는가?
• RQ4 유한한 환영 증가를 고려할 때, 환영 사이클 제거 기법을 연속적인 케이크 자르기 설정에 효과적으로 적용할 수 있는가?

주요 결과

• 제안된 알고리즘은 연결된 조각을 가진 환영 없는 케이크 분할에서 동시에 $\left(\frac{1}{4} + o(1)\right)$-덧셈 근사와 $\left(\frac{1}{2} - o(1)\right)$-곱셈 근사 오차를 달성한다.
• 알고리즘은 Robertson-Webb 쿼리 모델 하에서 다항시간에 실행되며, 모든 에이전트에 대해 환영이 유한함을 보장한다.
• 최대 $\varepsilon n - 1$개의 서로 다른 평가값을 가진 사례에서는, $n$과 $\frac{1}{\varepsilon}$에 대해 다항시간에 $\varepsilon$-환영 없는 할당을 계산한다.
• 알고리즘은 모든 간격이 상호 배타적이며 전체 케이크 $[0,1]$을 덮는 방식으로 할당되므로 완전한 할당을 보장한다.
• 분석 과정에서는 새로운 보조정리와 복잡한 케이스 분석이 포함되어 있으며, 특히 간격 할당 및 사이클 제거 과정에서 환영을 제한하는 데 중점을 둔다.
• 이질성이 제한된 조건에서 비어 있지 않은 곱셈 근사 오차를 달성하는 것은 일반 사례를 해결하는 것과 동일한 난이도를 가지며, 이는 덧셈 근사와 곱셈 근사 간의 근본적인 차이를 드러낸다.