[논문 리뷰] Dividing a Graphical Cake

Xiaohui Bei, Warut Suksompong|arXiv (Cornell University)|2019. 10. 30.

Game Theory and Voting Systems참고 문헌 23인용 수 6

한 줄 요약

이 논문은 케이크를 무방향 그래프로 표현하는 일반화된 케이크 자르기 모델을 제안하며, 도로나 케이블과 같은 네트워크 자원의 공정한 분배를 가능하게 한다. 연결성 제약 조건 하에서 비례성의 최고 근사치를 달성할 수 있는 범위를 밝혀내며, n명의 에이전트에 대해 각각 최소 1/(2n−1)의 효용을 보장할 수 있음을 보이고, 그래프의 구조에 따라 최적의 보장을 1/3 또는 1/2로 결정한다. 특히 그래프가 거의 다리 없는 경우에 해당한다.

ABSTRACT

We consider the classical cake-cutting problem where we wish to fairly divide a heterogeneous resource, often modeled as a cake, among interested agents. Work on the subject typically assumes that the cake is represented by an interval. In this paper, we introduce a generalized setting where the cake can be in the form of the set of edges of an undirected graph. This allows us to model the division of road or cable networks. Unlike in the canonical setting, common fairness criteria such as proportionality cannot always be satisfied in our setting if each agent must receive a connected subgraph. We determine the optimal approximation of proportionality that can be obtained for any number of agents with arbitrary valuations, and exhibit tight guarantees for each graph in the case of two agents. In addition, when more than one connected piece per agent is allowed, we establish the best egalitarian welfare guarantee for each total number of connected pieces. We also study a number of variants and extensions, including when approximate equitability is considered, or when the item to be divided is undesirable (also known as chore division).

연구 동기 및 목표

• 클래식한 케이크 자르기의 공정성 개념을 도로나 케이블 네트워크와 같은 그래프 구조를 가진 자원으로 확장함으로써, 할당된 조각의 연결성이 필수적인 상황을 다루는 것.
• 각 에이전트가 그래프 케이크의 연결된 부분그래프를 받아야 할 때 비례성의 최고 근사치를 달성할 수 있는 범위를 규명하는 것.
• 거의 다리 없는 등의 그래프 성질에 기반해 두 에이전트 설정에서 최적의 공정성 보장을 특성화하는 것.
• 초과 분배 및 다중 조각 할당으로의 확장을 탐색하여, 에고이스트 웰페어 보장을 향상시키는 것.
• 그래픽 설정에서 근사적인 공정성과 비선호성에 대한 엄밀한 경계를 설정하는 것.

제안 방법

• 케이크를 무방향 그래프의 간선 집합으로 모델링하며, 에이전트는 간선들에 대해 가중치가 덧셈적으로 정규화된 평가를 갖는다.
• 그래프 구조에 맞게 일반화된 두빈-스파니어 스타일의 움직이는 칼 절차를 적용하여 연결된 할당을 보장한다.
• 다리와 사이클 구조 등의 그래프 이론적 성질을 사용하여 그래프를 분류하고 공정성 경계를 유도한다.
• 귀납적 추론과 비용 분할 기법을 활용하여 초과 분배에서 에고이스트 웰페어 보장을 증명한다.
• 그래프 구조에 기반한 두 에이전트의 달성 가능한 효용 쌍(α, β)을 새롭게 특성화한다.
• 그래픽 설정에서 근사적인 공정할 할당을 계산하는 알고리즘을 개발하고, 구조적 그래프 불변량을 사용해 성능을 분석한다.

실험 결과

연구 질문

• RQ1 각 에이전트가 그래픽 케이크의 연결된 부분그래프를 받아야 할 때, 비례성의 최고 근사치를 보장할 수 있는 최선의 수준은 무엇인가?
• RQ2 두 에이전트의 경우, 비례적 할당(1/2 효용)이 가능할지 결정하는 그래프 이론적 성질은 무엇이며, 언제 1/3이 최고의 가능성이 되는가?
• RQ3 에이전트당 다수의 연결된 조각을 허용할 경우, 그래픽 케이크 자르기에서 에고이스트 웰페어 보장은 어떻게 영향을 받는가?
• RQ4 근사적인 공정성이 그래픽 케이크 자르기 모델에서 달성 가능한가? 그리고 그러한 할당에 대한 엄밀한 경계는 무엇인가?
• RQ5 초과 분배의 맥락에서, 특히 에고이스트 비용 최소화 측면에서 그래픽 설정으로의 공정성 보장은 어떻게 확장될 수 있는가?

주요 결과

• 모든 n명의 에이전트와 모든 그래프에 대해, 각 에이전트가 총 가치의 최소 1/(2n−1)을 확보할 수 있는 연결된 할당이 존재하며, 이 경계는 엄밀하다.
• 두 에이전트의 경우, 그래프가 거의 다리 없는 경우(한 개의 간선을 추가하면 다리 없는 그래프가 되는 경우) 최적의 보장은 1/2이며, 그렇지 않은 경우 1/3이다.
• 두 에이전트의 경우, 한 에이전트가 최소 1/2, 다른 에이전트가 최소 1/3의 가치를 확보할 수 있는 연결된 할당이 존재하며, 이러한 모든 쌍(α, β)은 완전히 특성화되어 있다.
• 에이전트당 다수의 연결된 조각을 허용할 경우, 최고의 에고이스트 웰페어 보장은 전체 에이전트의 연결된 조각 수 k에 대해 2/k이다.
• 초과 분배의 경우, n명의 에이전트에 대해 연결된 할당에서 에고이스트 비용이 최대 2/(n+1) 이하가 되는 것이 존재하며, 이 경계는 추측되지만 엄밀하다.
• 논문은 그래픽 설정에서 근사적인 공정할 할당을 위한 구축 가능한 알고리즘을 제공하며, 이의 성능은 그래프의 구조와 에이전트의 평가에 따라 결정된다.