7,732 research outputs found
Two-person cake-cutting: the optimal number of cuts
A cake is a metaphor for a heterogeneous, divisible good. When two players divide such a good, there is always a perfect division—one that is efficient (Pareto-optimal), envy-free, and equitable—which can be effected with a finite number of cuts under certain mild conditions; this is not always the case when there are more than two players (Brams, Jones, and Klamler, 2011b). We not only establish the existence of such a division but also provide an algorithm for determining where and how many cuts must be made, relating it to an algorithm, “Adjusted Winner” (Brams and Taylor, 1996, 1999), that yields a perfect division of multiple homogenous goods.Cake-cutting; fair division; envy-freeness; adjusted winner; heterogeneous good
Fairly Allocating Contiguous Blocks of Indivisible Items
In this paper, we study the classic problem of fairly allocating indivisible
items with the extra feature that the items lie on a line. Our goal is to find
a fair allocation that is contiguous, meaning that the bundle of each agent
forms a contiguous block on the line. While allocations satisfying the
classical fairness notions of proportionality, envy-freeness, and equitability
are not guaranteed to exist even without the contiguity requirement, we show
the existence of contiguous allocations satisfying approximate versions of
these notions that do not degrade as the number of agents or items increases.
We also study the efficiency loss of contiguous allocations due to fairness
constraints.Comment: Appears in the 10th International Symposium on Algorithmic Game
Theory (SAGT), 201
Chore division on a graph
The paper considers fair allocation of indivisible nondisposable items that
generate disutility (chores). We assume that these items are placed in the
vertices of a graph and each agent's share has to form a connected subgraph of
this graph. Although a similar model has been investigated before for goods, we
show that the goods and chores settings are inherently different. In
particular, it is impossible to derive the solution of the chores instance from
the solution of its naturally associated fair division instance. We consider
three common fair division solution concepts, namely proportionality,
envy-freeness and equitability, and two individual disutility aggregation
functions: additive and maximum based. We show that deciding the existence of a
fair allocation is hard even if the underlying graph is a path or a star. We
also present some efficiently solvable special cases for these graph
topologies
N-Person cake-cutting: there may be no perfect division
A cake is a metaphor for a heterogeneous, divisible good, such as land. A perfect division of cake is efficient (also called Pareto-optimal), envy-free, and equitable. We give an example of a cake in which it is impossible to divide it among three players such that these three properties are satisfied, however many cuts are made. It turns out that two of the three properties can be satisfied by a 3-cut and a 4-cut division, which raises the question of whether the 3-cut division, which is not efficient, or the 4-cut division, which is not envy-free, is more desirable (a 2-cut division can at best satisfy either envy-freeness or equitability but not both). We prove that no perfect division exists for an extension of the example for three or more players.Cake-cutting; fair division; efficiency; envy-freeness; equitability; heterogeneous good
Communication Complexity of Cake Cutting
We study classic cake-cutting problems, but in discrete models rather than
using infinite-precision real values, specifically, focusing on their
communication complexity. Using general discrete simulations of classical
infinite-precision protocols (Robertson-Webb and moving-knife), we roughly
partition the various fair-allocation problems into 3 classes: "easy" (constant
number of rounds of logarithmic many bits), "medium" (poly-logarithmic total
communication), and "hard". Our main technical result concerns two of the
"medium" problems (perfect allocation for 2 players and equitable allocation
for any number of players) which we prove are not in the "easy" class. Our main
open problem is to separate the "hard" from the "medium" classes.Comment: Added efficient communication protocol for the monotone crossing
proble
Fair Division of a Graph
We consider fair allocation of indivisible items under an additional
constraint: there is an undirected graph describing the relationship between
the items, and each agent's share must form a connected subgraph of this graph.
This framework captures, e.g., fair allocation of land plots, where the graph
describes the accessibility relation among the plots. We focus on agents that
have additive utilities for the items, and consider several common fair
division solution concepts, such as proportionality, envy-freeness and maximin
share guarantee. While finding good allocations according to these solution
concepts is computationally hard in general, we design efficient algorithms for
special cases where the underlying graph has simple structure, and/or the
number of agents -or, less restrictively, the number of agent types- is small.
In particular, despite non-existence results in the general case, we prove that
for acyclic graphs a maximin share allocation always exists and can be found
efficiently.Comment: 9 pages, long version of accepted IJCAI-17 pape
- …