9,603 research outputs found
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
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
Redividing the Cake
A heterogeneous resource, such as a land-estate, is already divided among
several agents in an unfair way. It should be re-divided among the agents in a
way that balances fairness with ownership rights. We present re-division
protocols that attain various trade-off points between fairness and ownership
rights, in various settings differing in the geometric constraints on the
allotments: (a) no geometric constraints; (b) connectivity --- the cake is a
one-dimensional interval and each piece must be a contiguous interval; (c)
rectangularity --- the cake is a two-dimensional rectangle or rectilinear
polygon and the pieces should be rectangles; (d) convexity --- the cake is a
two-dimensional convex polygon and the pieces should be convex.
Our re-division protocols have implications on another problem: the
price-of-fairness --- the loss of social welfare caused by fairness
requirements. Each protocol implies an upper bound on the price-of-fairness
with the respective geometric constraints.Comment: Extended IJCAI 2018 version. Previous name: "How to Re-Divide a Cake
Fairly
Divide-and-conquer: A proportional, minimal-envy cake-cutting algorithm
We analyze a class of proportional cake-cutting algorithms that use a minimal number of cuts (n-1 if there are n players) to divide a cake that the players value along one dimension. While these algorithms may not produce an envy-free or efficient allocation--as these terms are used in the fair-division literature--one, divide-and-conquer (D&C), minimizes the maximum number of players that any single player can envy. It works by asking n ≥ 2 players successively to place marks on a cake--valued along a line--that divide it into equal halves (when n is even) or nearly equal halves (when n is odd), then halves of these halves, and so on. Among other properties, D&C ensures players of at least 1/n shares, as they each value the cake, if and only if they are truthful. However, D&C may not allow players to obtain proportional, connected pieces if they have unequal entitlements. Possible applications of D&C to land division are briefly discussed.mechanism design; fair division; divisible good; cake-cutting; divide-and-choose
Parameterized Algorithmics for Computational Social Choice: Nine Research Challenges
Computational Social Choice is an interdisciplinary research area involving
Economics, Political Science, and Social Science on the one side, and
Mathematics and Computer Science (including Artificial Intelligence and
Multiagent Systems) on the other side. Typical computational problems studied
in this field include the vulnerability of voting procedures against attacks,
or preference aggregation in multi-agent systems. Parameterized Algorithmics is
a subfield of Theoretical Computer Science seeking to exploit meaningful
problem-specific parameters in order to identify tractable special cases of in
general computationally hard problems. In this paper, we propose nine of our
favorite research challenges concerning the parameterized complexity of
problems appearing in this context
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
- …