[논문 리뷰] Waste Makes Haste: Bounded Time Algorithms for Envy-Free Cake Cutting with Free Disposal

Erel Segal-Halevi, Avinatan Hassidim외 1명|arXiv (Cornell University)|2016. 11. 19.

Auction Theory and Applications참고 문헌 29인용 수 11

한 줄 요약

이 논문은 전체 케이크를 배분해야 하는 조건이 없이도 유능한 분할을 보장하는 유한 시간 알고리즘을 제시한다. 각 에이전트는 총 케이크 가치의 특정 분수 이상을 가지는 연결 또는 비연결 조각을 받는다. 전체 케이크를 배분해야 하는 조건을 완화함으로써, 세 명 이상의 에이전트가 있을 경우에도 연결 조각을 사용하여도 끝내기 가능한 시간 내에 유능한 분할을 달성할 수 있으며, 이는 오랫동안 알려진 불가능성 결과를 해결한다.

ABSTRACT

We consider the classic problem of envy-free division of a heterogeneous good (“cake”) among several agents. It is known that, when the allotted pieces must be connected, the problem cannot be solved by a finite algorithm for three or more agents. The impossibility result, however, assumes that the entire cake must be allocated. In this article, we replace the entire-allocation requirement with a weaker partial-proportionality requirement: the piece given to each agent must be worth for it at least a certain positive fraction of the entire cake value. We prove that this version of the problem is solvable in bounded time even when the pieces must be connected. We present simple, bounded-time envy-free cake-cutting algorithms for (1) giving each of n agents a connected piece with a positive value; (2) giving each of three agents a connected piece worth at least 1/3; (3) giving each of four agents a connected piece worth at least 1/7; (4) giving each of four agents a disconnected piece worth at least 1/4; and (5) giving each of n agents a disconnected piece worth at least (1 − e)/n for any positive e.

연구 동기 및 목표

• 세 명 이상의 에이전트가 있을 경우 전체 배분 조건 하에서 연결 조각을 사용한 끝내기 가능한 시간 내 유능한 케이크 분할이 불가능한 문제를 해결하기 위해.
• 전체 배분 조건을 완화하기 위해 부분 비례성 조건을 도입함으로써, 사용되지 않는 케이크 조각을 폐기할 수 있도록 하기 위해.
• 각 에이전트가 총 케이크 가치의 특정 분수 이상을 가지는 연결 또는 비연결 조각을 보장하는 유한 시간 알고리즘을 설계하기 위해.
• 세 명 이상의 에이전트가 있을 경우에도 연결 조각을 요구하는 경우에 대해 유능한 분할을 확장하기 위해.
• 최소한의 가치 손실을 초래하는 알고리즘을 제공하며, 이는 허용 오차 파라미터 ε로 정량화된다.

제안 방법

• 부분 비례성 조건 도입: 각 에이전트는 총 케이크 가치의 분수 α 이상을 가지는 조각을 받아야 하며, 여기서 α > 0 이다.
• 무한한 과정을 점진적으로 정밀화된 가치 추정치를 통해 시뮬레이션하는 재귀적이고 유한 시간 내에 종료되는 절차를 사용한다.
• 평가되지 않았거나 가치가 낮은 케이크 조각을 폐기함으로써, 모든 부분을 배분해야 하는 필요성을 피한다.
• 다양한 설정에 맞게 특화된 알고리즘을 설계한다: 3명의 에이전트에 대해 연결 조각(1/3 가치), 4명의 에이전트에 대해 연결 조각(1/7 가치), n명의 에이전트에 대해 (1−e)/n 가치의 비연결 조각.
• 공동 인식 분할 기법을 사용하여 케이크를 조각으로 나누어, 각 에이전트가 자신의 조각을 최소한의 목표 분수 이상으로 평가하도록 한다.
• 원하는 공정성 기준에 따라 쿼리 수와 연산 수를 제한함으로써, 모든 알고리즘이 끝내기 가능한 시간 내에 종료되도록 보장한다.

실험 결과

연구 질문

• RQ1 전체 케이크를 배분할 필요가 없을 경우, 세 명 이상의 에이전트가 연결 조각을 사용하여도 끝내기 가능한 시간 내에 유능한 케이크 분할을 달성할 수 있는가?
• RQ2 세 명 이상의 에이전트가 연결 조각을 사용할 경우, 끝내기 가능한 시간 내에 유능한 알고리즘에서 각 에이전트가 확보할 수 있는 최소 가치 분수는 얼마인가?
• RQ3 전체 배분이 불가능할 경우, 자유 폐기 가능성이 어떻게 끝내기 가능한 시간 내에 유능한 분할을 가능하게 하는가?
• RQ4 연결 조각을 사용하는 유능한 케이크 분할에서 공정성(가치 분수)과 계산 효율성 사이의 상충 관계는 어떻게 되는가?
• RQ5 비연결 조각을 사용하는 끝내기 가능한 시간 내 유능한 알고리즘을 구성할 수 있으며, n명의 에이전트에 대해 공정성 보장이 1/n에 가까워질 수 있는가?

주요 결과

• 세 명의 에이전트에 대해, 각자가 총 케이크 가치의 최소 1/3 이상을 가지는 연결 조각을 받는 끝내기 가능한 시간 내 유능한 알고리즘이 존재한다.
• 네 명의 에이전트에 대해, 끝내기 가능한 시간 내에 각자가 총 가치의 최소 1/7 이상을 가지는 연결 조각을 받는 알고리즘이 보장된다.
• n명의 에이전트에 대해, 끝내기 가능한 시간 내에 각자가 총 가치의 최소 (1−e)/n 이상을 가지는 비연결 조각을 받는 알고리즘이 보장된다. 여기서 ε > 0 이다.
• 자유 폐기 가능성이 연결 조각을 사용할 경우 세 명 이상의 에이전트에 대해 고전적인 불가능성 결과를 우회할 수 있도록 한다.
• 모든 알고리즘은 명시적으로 구성되어 있으며, 공정성 기준과 에이전트 수에 따라 제한된 함수에 의해 쿼리 수와 연산 수가 유한하게 제한되며, 끝내기 가능한 시간 내에 종료된다.
• 결과적으로, 부분 비례성 조건 하에서 자유 폐기 가능성이 허용될 경우, 끝내기 가능한 시간 내에 유능한 분할이 연결 조각을 사용하여도 가능함을 보여준다.