795 research outputs found
Algorithms for Max-Min Share Fair Allocation of Indivisible Chores
We consider Max-min Share (MmS) fair allocations of indivisible chores (items with negative utilities). We show that allocation of chores and classical allocation of goods (items with positive utilities) have some fundamental connections but also differences which prevent a straightforward application of algorithms for goods in the chores setting and viceversa. We prove that an MmS allocation does not need to exist for chores and computing an MmS allocation - if it exists - is strongly NP-hard. In view of these non-existence and complexity results, we present a polynomial-time 2-approximation algorithm for MmS fairness for chores. We then introduce a new fairness concept called optimal MmS that represents the best possible allocation in terms of MmS that is guaranteed to exist. We use connections to parallel machine scheduling to give (1) a polynomial-time approximation scheme for computing an optimal MmS allocation when the number of agents is fixed and (2) an effective and efficient heuristic with an ex-post worst-case analysis
Finding Fair and Efficient Allocations
We study the problem of allocating a set of indivisible goods among a set of
agents in a fair and efficient manner. An allocation is said to be fair if it
is envy-free up to one good (EF1), which means that each agent prefers its own
bundle over the bundle of any other agent up to the removal of one good. In
addition, an allocation is deemed efficient if it satisfies Pareto optimality
(PO). While each of these well-studied properties is easy to achieve
separately, achieving them together is far from obvious. Recently, Caragiannis
et al. (2016) established the surprising result that when agents have additive
valuations for the goods, there always exists an allocation that simultaneously
satisfies these two seemingly incompatible properties. Specifically, they
showed that an allocation that maximizes the Nash social welfare (NSW)
objective is both EF1 and PO. However, the problem of maximizing NSW is
NP-hard. As a result, this approach does not provide an efficient algorithm for
finding a fair and efficient allocation.
In this paper, we bypass this barrier, and develop a pseudopolynomial time
algorithm for finding allocations that are EF1 and PO; in particular, when the
valuations are bounded, our algorithm finds such an allocation in polynomial
time. Furthermore, we establish a stronger existence result compared to
Caragiannis et al. (2016): For additive valuations, there always exists an
allocation that is EF1 and fractionally PO.
Another contribution of our work is to show that our algorithm provides a
polynomial-time 1.45-approximation to the NSW objective. This improves upon the
best known approximation ratio for this problem (namely, the 2-approximation
algorithm of Cole et al. (2017)). Unlike many of the existing approaches, our
algorithm is completely combinatorial.Comment: 40 pages. Updated versio
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
Approximate Maximin Shares for Groups of Agents
We investigate the problem of fairly allocating indivisible goods among
interested agents using the concept of maximin share. Procaccia and Wang showed
that while an allocation that gives every agent at least her maximin share does
not necessarily exist, one that gives every agent at least of her share
always does. In this paper, we consider the more general setting where we
allocate the goods to groups of agents. The agents in each group share the same
set of goods even though they may have conflicting preferences. For two groups,
we characterize the cardinality of the groups for which a constant factor
approximation of the maximin share is possible regardless of the number of
goods. We also show settings where an approximation is possible or impossible
when there are several groups.Comment: To appear in the 10th International Symposium on Algorithmic Game
Theory (SAGT), 201
- …