250 likes | 459 Vues
Max-Min Fair Allocation of Indivisible Goods. Amin Saberi Stanford University Joint work with Arash Asadpour. TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: A A A A. Fair allocation. Cake cutting: Polish Mathematicians in 40’s measure theoretic
E N D
Max-Min Fair Allocation of Indivisible Goods Amin Saberi Stanford University Joint work with Arash Asadpour TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.: AAAA
Fair allocation • Cake cutting: Polish Mathematicians in 40’s measure theoretic • Beyond the cake: • Bandwidth, links in a network • Goods in a market Combinatorial Structure
Max-min Fair Allocation • kpersons and mindivisible goods • : : : utility of person ifor subset C of goods. • Goal: Partition the goods Aka The Santa Claus Problem
Known Results • Job scheduling: Minimizing Makespan. [Shmoys, Tardos, Lenstra 90] [Bezakova and Dani05]. • Special case: • … [Bansal and Sviridenko 06] • Integrality gap = . [Feige06] Our result: the first approximation algorithm for the general case. Approximation ratio
Configuration LP • Valid Configuration for i : A bundle C of goods s.t.ui,C¸T. • Integrality gap: • RECALL: Our approximation ratio:
Big goods vs. small goods For person iand good j: • Big: • Small: otherwise Simplifying valid configurations: One big good or A set C of at least small goods
G: the assignment graph … … matching edges and flow edges each define well -behaved polytope. But on the same vertex set!! Flow edge: between a person and one of her small goods Matching edge: between a person and one of her big goods = Fraction of good jassigned to personi
Outline of the Algorithm • Solve the Configuration LP. • Round the Matching edges • Randomized rounding method • Analysis • Rounding the flow edges to allocate the remaining goods
Outline of the Algorithm • Solve the Configuration LP. • Round the Matching edges • Randomized rounding method • Analysis • Rounding the flow edges to allocate the remaining goods
Matching algorithm : the set of matching edges Without loss of generality we can assume that is a forest. 0.7 0.2 0.3 0.3 0.4 0.5
Matching algorithm : the set of matching edges Without loss of generality we can assume that is a forest. 0.7 + 0.2 0.3 - - + + 0.3 0.4 - 0.5
Matching algorithm : the set of matching edges Without loss of generality we can assume that is a forest. 0.9 0.1 0 0.5 0.6 0.3
Matching Algorithm Rounding method: fractional matching distribution over integral matchings Properties • Each vertex is saturated with probability . • Value of the flow bundles does not change a lot. Concentration around the mean 0.2 0.3 Expected value of the number of released items: (1–0.2) + (1–0.3) + (1-0.5) + (1–0.5) = 2.5 0.5 0.5
Matching Algorithm The first objective is easy to achieve e.g. von Neumann-Birkhoff decomposition Fails to achieve the 2nd: • Imposes lots of unnecessary structures. • “Not random enough.”
Matching Algorithm Our approach: with respect to the constraint: Find the distribution that maximizes the entropy A convex program. The dual implies Optimum belongs to an exponential family: for some We give a simple method for finding this distribution
Matching Algorithmvertex realization 0.2 0.1 0.3 w.p. 0.3 w.p. 0.1 0.1 0.5 0.2 0.3 0.4 0.3 w.p. 0.5 w.p. 0.1
Matching AlgorithmBayesian update 0.2 0.1 0.3 0 0 0.5 0.1 0.2 0.3 0.4 1 0.3 0 0 0.2 0.3 0.4 1 0.3 2/9 3/9 4/5 3/9
Matching Algorithm Analysis: proof of concentration uses two important properties • order independence • martingale property same holds for Using a generalization of Azuma-HoeffdinginequalityXiis concentrated around its means
Outline of the Algorithm • Solve the Configuration LP. • Round the Matching edges • Randomized rounding method • Analysis • Rounding the flow edges to allocate the remaining goods
Allocating the small goods 1- Initial allocation: Personiselects one bundle C with probability proportional to and claims all the items in the bundle Analysis • double counting: the expected value of the items in the bundle is at least • Concentration: w.h.p. this value is
Allocating the small goods 1- Initial allocation: Personiselects one bundle C with probability proportional to and claims all the items in the bundle 2- Eliminating conflicts: every good will be allocated to one of the people who claimed it uniformly at random Analysis • Expected number of the people who would claim it . • Using concentration: no good will be claimed more than times.
Allocating the small goods 1- Initial allocation: personiselects one bundle C with probability proportional to and claims all the items in the bundle 2- Eliminating conflicts: every good will be allocated to one of the people who claimed it uniformly at random Main Theorem Everybody receives a bundle with utility
Open Directions • Closing the gap between -inapproximability result and our approximation result. • Finding a -approximation schema for the case in which . • “Minimizing Envy-ratio” and “Approximate Market Equilibria”.