Fair division of graphs and of tangled cakes

02/17/2021
by   Ayumi Igarashi, et al.
0

A tangle is a connected topological space constructed by gluing several copies of the unit interval [0, 1]. We explore which tangles guarantee envy-free allocations of connected shares for n agents, meaning that such allocations exist no matter which monotonic and continuous functions represent agents' valuations. Each single tangle 𝒯 corresponds in a natural way to an infinite topological class 𝒢(𝒯) of multigraphs, many of which are graphs. This correspondence links EF fair division of tangles to EFk_outer fair division of graphs. We know from Bilò et al that all Hamiltonian graphs guarantee EF1_outer allocations when the number of agents is 2, 3, 4 and guarantee EF2_outer allocations for arbitrarily many agents. We show that exactly six tangles are stringable; these guarantee EF connected allocations for any number of agents, and their associated topological classes contain only Hamiltonian graphs. Any non-stringable tangle has a finite upper bound r on the number of agents for which EF allocations of connected shares are guaranteed. Most graphs in the associated non-stringable topological class are not Hamiltonian, and a negative transfer theorem shows that for each k ≥ 1 most of these graphs fail to guarantee EFk_outer allocations of vertices for r + 1 or more agents. This answers a question posed in Bilò et al, and explains why a focus on Hamiltonian graphs was necessary. With bounds on the number of agents, however, we obtain positive results for some non-stringable classes. An elaboration of Stromquist's moving knife procedure shows that the non-stringable lips tangle guarantees envy-free allocations of connected shares for three agents. We then modify the discrete version of Stromquist's procedure in Bilò et al to show that all graphs in the topological class guarantee EF1_outer allocations for three agents.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
03/22/2023

Externalities in Chore Division

The chore division problem simulates the fair division of a heterogeneou...
research
08/28/2018

Almost Envy-Free Allocations with Connected Bundles

We study the existence of allocations of indivisible goods that are envy...
research
07/09/2020

Cycle Extendability of Hamiltonian Strongly Chordal Graphs

In 1990, Hendry conjectured that all Hamiltonian chordal graphs are cycl...
research
09/13/2021

Truthful and Fair Mechanisms for Matroid-Rank Valuations

We study the problem of allocating indivisible goods among strategic age...
research
01/04/2021

The Minimality of the Georges-Kelmans Graph

In 1971, Tutte wrote in an article that "it is tempting to conjecture th...
research
03/11/2019

Reachability and Coverage Planning for Connected Agents: Extended Version

Motivated by the increasing appeal of robots in information-gathering mi...
research
04/17/2012

Distance Optimal Formation Control on Graphs with a Tight Convergence Time Guarantee

For the task of moving a set of indistinguishable agents on a connected ...

Please sign up or login with your details

Forgot password? Click here to reset