TCS Journal 2015 Journal Article
Worst case compromises in matroids with applications to the allocation of indivisible goods
- Laurent Gourvès
- Jérôme Monnot
- Lydia Tlilane
We consider the problem of equitably allocating a set of indivisible goods to n agents with additive utilities so as to provide worst case guarantees on agents' utilities. Demko and Hill [6] showed the existence of an allocation where every agent values his share at least V n ( α ), which is a family of nonincreasing functions of α, defined as the maximum value assigned by an agent to a single good. A deterministic algorithm returning such an allocation in polynomial time was proposed in [15]. Interestingly, V n ( α ) is tight for some values of α, i. e. it matches the highest possible utility of the least happy agent. However, this is not true for all values of α. We propose a family of functions W n such that W n ( x ) ≥ V n ( x ) for all x, and W n ( x ) > V n ( x ) for values of x where V n ( x ) is not tight. The functions W n apply on a problem that generalizes the allocation of indivisible goods. It is to find a base in a matroid which is common to n agents. Our results are constructive, they are achieved by analyzing an extension of the algorithm of Markakis and Psomas. We also present an upper bound on the utility of the least happy agent.