Greedy Algorithms for Maximizing Nash Social Welfare

We study the problem of fairly allocating a set of indivisible goods among agents with additive valuations. The extent of fairness of an allocation is measured by its Nash social welfare, which is the geometric mean of the valuations of the agents for their bundles. While the problem of maximizing Nash social welfare is known to be APX-hard in general, we study the effectiveness of simple, greedy algorithms in solving this problem in two interesting special cases. First, we show that a simple, greedy algorithm provides a 1.061-approximation guarantee when agents have identical valuations, even though the problem of maximizing Nash social welfare remains NP-hard for this setting. Second, we show that when agents have binary valuations over the goods, an exact solution (i.e., a Nash optimal allocation) can be found in polynomial time via a greedy algorithm. Our results in the binary setting extend to provide novel, exact algorithms for optimizing Nash social welfare under concave valuations. Notably, for the above mentioned scenarios, our techniques provide a simple alternative to several of the existing, more sophisticated techniques for this problem such as constructing equilibria of Fisher markets or using real stable polynomials.

[1]  Jörg Rothe,et al.  Complexity of social welfare optimization in multiagent resource allocation , 2010, AAMAS.

[2]  Ariel D. Procaccia,et al.  The Unreasonable Fairness of Maximum Nash Welfare , 2016, EC.

[3]  Nikhil R. Devanur,et al.  Convex Program Duality, Fisher Markets, and Nash Social Welfare , 2016, EC.

[4]  Tim Roughgarden,et al.  Almost Envy-Freeness with General Valuations , 2017, SODA.

[5]  Llyr ap Cenydd,et al.  A Tablet-Based Virtual Environment for Neurosurgery Training , 2015, PRESENCE: Teleoperators and Virtual Environments.

[6]  E. Eisenberg,et al.  CONSENSUS OF SUBJECTIVE PROBABILITIES: THE PARI-MUTUEL METHOD, , 1959 .

[7]  Hervé Moulin,et al.  Fair division and collective welfare , 2003 .

[8]  Hendrik W. Lenstra,et al.  Integer Programming with a Fixed Number of Variables , 1983, Math. Oper. Res..

[9]  H. Varian Equity, Envy and Efficiency , 1974 .

[10]  Euiwoong Lee,et al.  APX-hardness of maximizing Nash social welfare with indivisible items , 2015, Inf. Process. Lett..

[11]  M. Kaneko,et al.  The Nash Social Welfare Function , 1979 .

[12]  Vijay V. Vazirani,et al.  Nash Social Welfare for Indivisible Items under Separable, Piecewise-Linear Concave Utilities , 2016, SODA.

[13]  Martin Hoefer,et al.  Earning Limits in Fisher Markets with Spending-Constraint Utilities , 2017, SAGT.

[14]  Daniel Lehmann,et al.  Combinatorial auctions with decreasing marginal utilities , 2001, EC '01.

[15]  Mohit Singh,et al.  Nash Social Welfare, Matrix Permanent, and Stable Polynomials , 2016, ITCS.

[16]  Rohit Vaish,et al.  Finding Fair and Efficient Allocations , 2017, EC.

[17]  J. Nash THE BARGAINING PROBLEM , 1950, Classics in Game Theory.

[18]  Richard Cole,et al.  Approximating the Nash Social Welfare with Indivisible Items , 2015, SECO.

[19]  Martin Hoefer,et al.  Approximating the Nash Social Welfare with Budget-Additive Valuations , 2017, SODA.

[20]  Jörg Rothe,et al.  Minimizing envy and maximizing average Nash social welfare in the allocation of indivisible goods , 2014, Discret. Appl. Math..

[21]  Andreas Darmann,et al.  Maximizing Nash Product Social Welfare in Allocating Indivisible Goods , 2014 .