Solving Optimization Problems with Diseconomies of Scale via Decoupling

We present a new framework for solving optimization problems with a diseconomy of scale. In such problems, our goal is to minimize the cost of resources used to perform a certain task. The cost of resources grows superlinearly, as x<sup>q</sup>, q ≥ 1, with the amount x of resources used. We define a novel linear programming relaxation for such problems, and then show that the integrality gap of the relaxation is A<sub>q</sub>, where A<sub>q</sub> is the q-th moment of the Poisson random variable with parameter 1. Using our framework, we obtain approximation algorithms for the Minimum Energy Efficient Routing, Minimum Degree Balanced Spanning Tree, Load Balancing on Unrelated Parallel Machines, and Unrelated Parallel Machine Scheduling with Nonlinear Functions of Completion Times problems. Our analysis relies on the decoupling inequality for nonnegative random variables. The inequality states that ||Σ<sub>i=1</sub><sup>n</sup>X<sub>i</sub>||<sub>q</sub> ≤ Cq ||Σ<sub>i=1</sub><sup>n</sup> Y<sub>i</sub>||<sub>q</sub>, where Xi are independent nonnegative random variables, Yi are possibly dependent nonnegative random variable, and each Y<sub>i</sub> has the same distribution as X<sub>i</sub>. The inequality was proved by de la Peña in 1990. However, the optimal constant Cq was not known. We show that the optimal constant is C<sub>q</sub> = A<sub>q</sub><sup>1/q</sup>.

[1]  Kirk Pruhs,et al.  The Geometry of Scheduling , 2010, FOCS.

[2]  M. R. Rao,et al.  Combinatorial Optimization , 1992, NATO ASI Series.

[3]  Christoph Dürr,et al.  Order constraints for single machine scheduling with non-linear cost , 2014, ALENEX.

[4]  Tobias Jacobs,et al.  An Experimental and Analytical Study of Order Constraints for Single Machine Scheduling with Quadratic Cost , 2012, ALENEX.

[5]  Qi-Man Shao,et al.  A Comparison Theorem on Moment Inequalities Between Negatively Associated and Independent Random Variables , 2000 .

[6]  Temel Öncan,et al.  The quadratic minimum spanning tree problem: A lower bounding procedure and an efficient search algorithm , 2010, Comput. Oper. Res..

[7]  Mohit Singh,et al.  Approximating Minimum Bounded Degree Spanning Trees to within One of Optimal , 2015, J. ACM.

[8]  Sebastian Stiller,et al.  Increasing Speed Scheduling and Flow Scheduling , 2010, ISAAC.

[9]  Evripidis Bampis,et al.  Energy-efficient scheduling and routing via randomized rounding , 2013, Journal of Scheduling.

[10]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[11]  Spyridon Antonakopoulos,et al.  Minimum-Cost Network Design with (Dis)economies of Scale , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[12]  Sandy Irani,et al.  Algorithmic problems in power management , 2005, SIGA.

[13]  Erik D. Demaine,et al.  Energy-Efficient Algorithms , 2016, ITCS.

[14]  Stochastic Orders , 2008 .

[15]  Marie Frei,et al.  Decoupling From Dependence To Independence , 2016 .

[16]  Maxim Sviridenko,et al.  Pipage Rounding: A New Method of Constructing Algorithms with Proven Performance Guarantee , 2004, J. Comb. Optim..

[17]  Alexander Schrijver,et al.  Theory of linear and integer programming , 1986, Wiley-Interscience series in discrete mathematics and optimization.

[18]  D. R. Fulkerson,et al.  Blocking and anti-blocking pairs of polyhedra , 1971, Math. Program..

[19]  Dilson Lucas Pereira,et al.  Stronger Lower Bounds for the Quadratic Minimum Spanning Tree Problem with Adjacency Costs , 2013, Electron. Notes Discret. Math..

[20]  Marco César Goldbarg,et al.  On the Biobjective Adjacent Only Quadratic Spanning Tree Problem , 2013, Electron. Notes Discret. Math..

[21]  Yurii Nesterov,et al.  Interior-point polynomial algorithms in convex programming , 1994, Siam studies in applied mathematics.

[22]  Han Hoogeveen,et al.  Non-Approximability Results for Scheduling Problems with Minsum Criteria , 1998, INFORMS J. Comput..

[23]  de la Peña,et al.  Bounds on the Expectation of Functions of Martingales and Sums of Positive RV's in Terms of Norms of Sums of Independent Random Variables , 1990 .

[24]  J. G. Pierce,et al.  Geometric Algorithms and Combinatorial Optimization , 2016 .

[25]  Martin Skutella,et al.  Convex quadratic and semidefinite programming relaxations in scheduling , 2001, JACM.

[26]  K. Joag-dev,et al.  Negative Association of Random Variables with Applications , 1983 .

[27]  Martin Skutella,et al.  Scheduling Unrelated Machines by Randomized Rounding , 2002, SIAM J. Discret. Math..

[28]  Jan Vondrák,et al.  Maximizing a Monotone Submodular Function Subject to a Matroid Constraint , 2011, SIAM J. Comput..

[29]  Michel X. Goemans,et al.  Minimum Bounded Degree Spanning Trees , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[30]  Lisa Zhang,et al.  Routing for Power Minimization in the Speed Scaling Model , 2012, IEEE/ACM Transactions on Networking.

[31]  Feller William,et al.  An Introduction To Probability Theory And Its Applications , 1950 .

[32]  Lachlan L. H. Andrew,et al.  Power-Aware Speed Scaling in Processor Sharing Systems , 2009, IEEE INFOCOM 2009.

[33]  Aravind Srinivasan,et al.  A unified approach to scheduling on unrelated parallel machines , 2009, JACM.

[34]  Jan Vondrák,et al.  Maximizing a Submodular Set Function Subject to a Matroid Constraint (Extended Abstract) , 2007, IPCO.

[35]  Yossi Azar,et al.  Convex programming for scheduling unrelated parallel machines , 2005, STOC '05.

[36]  Tobias Jacobs,et al.  On the Performance of Smith’s Rule in Single-Machine Scheduling with Nonlinear Cost , 2015, TALG.

[37]  V. Chvátal On certain polytopes associated with graphs , 1975 .

[38]  A. Assad,et al.  The quadratic minimum spanning tree problem , 1992 .