On (1, $$\epsilon $$ϵ)-Restricted Max–Min Fair Allocation Problem

We study the max–min fair allocation problem in which a set of m indivisible items are to be distributed among n agents such that the minimum utility among all agents is maximized. In the restricted setting, the utility of each item j on agent i is either 0 or some non-negative weight $$w_j$$wj. For this setting, Asadpour et al. (ACM Trans Algorithms 8(3):24, 2012) showed that a certain configuration-LP can be used to estimate the optimal value to within a factor of $$4+\delta $$4+δ, for any $$\delta >0$$δ>0, which was recently extended by Annamalai et al. (in: Indyk (ed) Proceedings of the twenty-sixth annual ACMSIAM symposium on discrete algorithms, SODA 2015, San Diego, CA, USA, January 4–6, 2015) to give a polynomial-time 13-approximation algorithm for the problem. For hardness results, Bezáková and Dani (SIGecom Exch 5(3):11–18, 2005) showed that it is $$\mathsf {NP}$$NP-hard to approximate the problem within any ratio smaller than 2. In this paper we consider the $$(1,\epsilon )$$(1,ϵ)-restricted max–min fair allocation problem in which each item j is either heavy $$(w_j = 1)$$(wj=1) or light $$(w_j = \epsilon )$$(wj=ϵ), for some parameter $$\epsilon \in (0,1)$$ϵ∈(0,1). We show that the $$(1,\epsilon )$$(1,ϵ)-restricted case is also $$\mathsf {NP}$$NP-hard to approximate within any ratio smaller than 2. Using the configuration-LP, we are able to estimate the optimal value of the problem to within a factor of $$3+\delta $$3+δ, for any $$\delta >0$$δ>0. Extending this idea, we also obtain a quasi-polynomial time $$(3+4\epsilon )$$(3+4ϵ)-approximation algorithm and a polynomial time 9-approximation algorithm. Moreover, we show that as $$\epsilon $$ϵ tends to 0, the approximation ratio of our polynomial-time algorithm approaches $$3+2\sqrt{2}\approx 5.83$$3+22≈5.83.

[1]  D. Golovin Max-min fair allocation of indivisible goods , 2005 .

[2]  Subhash Khot,et al.  Approximation Algorithms for the Max-Min Allocation Problem , 2007, APPROX-RANDOM.

[3]  Uriel Feige,et al.  Santa claus meets hypergraph matchings , 2008, TALG.

[4]  Vahab S. Mirrokni,et al.  Approximating submodular functions everywhere , 2009, SODA.

[5]  Ola Svensson,et al.  Santa Claus schedules jobs on unrelated machines , 2010, STOC '11.

[6]  Amin Saberi,et al.  An approximation algorithm for max-min fair allocation of indivisible goods , 2007, STOC '07.

[7]  Ola Svensson,et al.  Quasi-Polynomial Local Search for Restricted Max-Min Fair Allocation , 2012, ICALP.

[8]  Penny E. Haxell,et al.  A condition for matchability in hypergraphs , 1995, Graphs Comb..

[9]  Ola Svensson,et al.  Combinatorial Algorithm for Restricted Max-Min Fair Allocation , 2015, SODA.

[10]  Sanjeev Khanna,et al.  On $(1,\epsilon)$-Restricted Assignment Makespan Minimization , 2014 .

[11]  Nikhil Bansal,et al.  The Santa Claus problem , 2006, STOC '06.

[12]  Ola Svensson,et al.  Combinatorial Algorithm for Restricted Max-Min Fair Allocation , 2014, SODA.

[13]  Aravind Srinivasan,et al.  New Constructive Aspects of the Lovasz Local Lemma , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[14]  Uriel Feige,et al.  On allocations that maximize fairness , 2008, SODA '08.

[15]  Jan Karel Lenstra,et al.  Approximation algorithms for scheduling unrelated parallel machines , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[16]  Sanjeev Khanna,et al.  On Allocating Goods to Maximize Fairness , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[17]  Ivona Bezáková,et al.  Allocating indivisible goods , 2005, SECO.

[18]  Amin Saberi,et al.  An Approximation Algorithm for Max-Min Fair Allocation of Indivisible Goods , 2010, SIAM J. Comput..