Nearly-Linear Time Approximate Scheduling Algorithms

We study nearly-linear time approximation algorithms for non-preemptive scheduling problems in two settings: the unrelated machine setting, and the identical machine with job precedence constraints setting. The objectives we study include makespan, weighted completion time, and Lq norm of machine loads. We develop nearly-linear time approximation algorithms for the studied problems with O(1)-approximation ratios, many of which match the correspondent best known ratios achievable in polynomial time. Our main technique is linear programming relaxation. For problems in the unrelated machine setting, we formulate mixed packing and covering LP relaxations of nearly-linear size, and solve them approximately using the nearly-linear time solver of Young [47]. We show the LP solutions can be rounded within O(1)-factor loss. For problems in the identical machine with precedence constraints setting, the precedence constraints can not be formulated as packing or covering constraints. To achieve the claimed running time, we define a polytope for the constraints, and leverage the multiplicative weight update (MWU) method with an oracle which always returns solutions in the polytope. Along the way of designing the oracle, we encounter the single-commodity maximum flow problem over a directed acyclic graph G = (V,E), where sources and sinks have limited supplies and demands, but edges have infinite capacities. We develop a 1 1+ -approximation for the problem in time O ( |E| log |V | ) , which may be of independent interest.

[1]  E. A. Dinic Algorithm for solution of a problem of maximal flow in a network with power estimation , 1970 .

[2]  Oscar H. Ibarra,et al.  Deterministic and Probabilistic Algorithms for Maximum Bipartite Matching Via Fast Matrix Multiplication , 1981, Information Processing Letters.

[3]  Robert E. Tarjan,et al.  A data structure for dynamic trees , 1981, STOC '81.

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

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

[6]  Maurice Queyranne,et al.  Approximation Bounds for a General Class of Precedence Constrained Parallel Machine Scheduling Problems , 1998, SIAM J. Comput..

[7]  David B. Shmoys,et al.  Scheduling to Minimize Average Completion Time: Off-Line and On-Line Approximation Algorithms , 1997, Math. Oper. Res..

[8]  Éva Tardos,et al.  An approximation algorithm for the generalized assignment problem , 1993, Math. Program..

[9]  Jochen Könemann,et al.  Faster and simpler algorithms for multicommodity flow and other fractional packing problems , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[10]  B. Awerbuch,et al.  Load Balancing in the Lp Norm , 1995, FOCS 1995.

[11]  T. Rothvoss,et al.  cs . D S ] 1 6 Fe b 20 18 A ( 1 + ε )-Approximation for Makespan Scheduling with Precedence Constraints using LP Hierarchies ∗ , 2018 .

[12]  Shi Li,et al.  Scheduling to Minimize Total Weighted Completion Time via Time-Indexed Linear Programming Relaxations , 2017, 2017 IEEE 58th Annual Symposium on Foundations of Computer Science (FOCS).

[13]  Kent Quanrud,et al.  Randomized MWU for Positive LPs , 2018, SODA.

[14]  Sungjin Im,et al.  Weighted Completion Time Minimization for Unrelated Machines via Iterative Fair Contention Resolution , 2020, SODA.

[15]  Neal E. Young,et al.  Randomized rounding without solving the linear program , 1995, SODA '95.

[16]  Jan Karel Lenstra,et al.  Complexity of Scheduling under Precedence Constraints , 1978, Oper. Res..

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

[18]  Zeyuan Allen Zhu,et al.  Nearly-Linear Time Positive LP Solver with Faster Convergence Rate , 2015, STOC.

[19]  Noam Nisan,et al.  A parallel approximation algorithm for positive linear programming , 1993, STOC.

[20]  Shi Li,et al.  Towards PTAS for Precedence Constrained Scheduling via Combinatorial Algorithms , 2020, SODA.

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

[22]  Klaus Jansen,et al.  On the Configuration-LP of the Restricted Assignment Problem , 2016, SODA.

[23]  Klaus Jansen,et al.  A Quasi-Polynomial Approximation for the Restricted Assignment Problem , 2017, IPCO.

[24]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[25]  Chaitanya Swamy,et al.  Approximation algorithms for minimum norm and ordered optimization problems , 2018, STOC.

[26]  Éva Tardos,et al.  Fast approximation algorithms for fractional packing and covering problems , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[27]  Yin Tat Lee,et al.  Solving Empirical Risk Minimization in the Current Matrix Multiplication Time , 2019, COLT.

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

[29]  Chaitanya Swamy,et al.  Simpler and Better Algorithms for Minimum-Norm Load Balancing , 2019, ESA.

[30]  Christos Koufogiannakis,et al.  A Nearly Linear-Time PTAS for Explicit Fractional Packing and Covering Linear Programs , 2013, Algorithmica.

[31]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

[32]  Ola Svensson,et al.  Conditional hardness of precedence constrained scheduling on identical machines , 2010, STOC '10.

[33]  Shashwat Garg Quasi-PTAS for Scheduling with Precedences using LP Hierarchies , 2018, ICALP.

[34]  Richard M. Karp,et al.  A n^5/2 Algorithm for Maximum Matchings in Bipartite Graphs , 1971, SWAT.

[35]  Ronald L. Graham,et al.  Bounds on Multiprocessing Timing Anomalies , 1969, SIAM Journal of Applied Mathematics.

[36]  Kent Quanrud,et al.  Near-Linear Time Approximation Schemes for some Implicit Fractional Packing Problems , 2017, SODA.

[37]  Sanjeev Arora,et al.  The Multiplicative Weights Update Method: a Meta-Algorithm and Applications , 2012, Theory Comput..

[38]  Jan Vondrák,et al.  On Multiplicative Weight Updates for Concave and Submodular Function Maximization , 2015, ITCS.

[39]  Paul Walton Purdom,et al.  A transitive closure algorithm , 1970, BIT.

[40]  Subhash Khot,et al.  Optimal Long Code Test with One Free Bit , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[41]  Beating Simplex for Fractional Packing and Covering Linear Programs , 2007, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[42]  Yin Tat Lee,et al.  Efficient Inverse Maintenance and Faster Algorithms for Linear Programming , 2015, 2015 IEEE 56th Annual Symposium on Foundations of Computer Science.

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

[44]  Farhad Shahrokhi,et al.  The maximum concurrent flow problem , 1990, JACM.

[45]  Mark S. Squillante,et al.  Optimal scheduling of multiclass parallel machines , 1999, SODA '99.

[46]  Aravind Srinivasan,et al.  Lift-and-round to improve weighted completion time on unrelated machines , 2015, STOC.