Abstract:We give a 1.488-approximation for the classic scheduling problem of minimizing total weighted completion time on unrelated machines. This is a considerable improvement on the recent breakthrough of (1.5−10 −7 )-approximation (STOC 2016, Bansal-Srinivasan-Svensson) and the follow-up result of (1.5 − 1/6000)-approximation (FOCS 2017, Li). Bansal et al. introduced a novel rounding scheme yielding strong negative correlations for the first time and applied it to the scheduling problem to obtain their breakthrough,… Show more
“…In the correspondent integer program, x j,i ∈ {0, 1} for every (j, i) ∈ E indicates whether the job j is assigned to machine i. (20) requires that the makespan of the schedule to be at most P , (21) requires every job to be scheduled. In the linear program, we replace the requirement that x j,i ∈ {0, 1} with the non-negativity constraint (22).…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…(Assume the maximum over ∅ is 0.) We can then apply Theorem 4.2 with the solution x we obtained from solving LP (20)(21)(22). Clearly we have max j∈σ −1 (i) p i,j ≤ P for every i ∈ M .…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…Clearly we have max j∈σ −1 (i) p i,j ≤ P for every i ∈ M . So, the total load on any machine i is at most (20) is satisfied with right side replaced by (1 + O( ))P . This finishes the analysis of the algorithm for R||C max .…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…To overcome the barrier, they developed a novel dependent rounding scheme and a lifted SDP relaxation for the problem, leading to a (1.5 − 1/2160000)-approximation algorithm. The ratio has been improved to 1.5 − 1/6000 by Li [31] and then to the current best ratio of 1.488 by Im and Shadloo [20]. Both [31] and [20] are based on some time-indexed LP relaxation for the problem.…”
Section: Introductionmentioning
confidence: 99%
“…The ratio has been improved to 1.5 − 1/6000 by Li [31] and then to the current best ratio of 1.488 by Im and Shadloo [20]. Both [31] and [20] are based on some time-indexed LP relaxation for the problem.…”
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.
“…In the correspondent integer program, x j,i ∈ {0, 1} for every (j, i) ∈ E indicates whether the job j is assigned to machine i. (20) requires that the makespan of the schedule to be at most P , (21) requires every job to be scheduled. In the linear program, we replace the requirement that x j,i ∈ {0, 1} with the non-negativity constraint (22).…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…(Assume the maximum over ∅ is 0.) We can then apply Theorem 4.2 with the solution x we obtained from solving LP (20)(21)(22). Clearly we have max j∈σ −1 (i) p i,j ≤ P for every i ∈ M .…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…Clearly we have max j∈σ −1 (i) p i,j ≤ P for every i ∈ M . So, the total load on any machine i is at most (20) is satisfied with right side replaced by (1 + O( ))P . This finishes the analysis of the algorithm for R||C max .…”
Section: Makespan Minimizationmentioning
confidence: 99%
“…To overcome the barrier, they developed a novel dependent rounding scheme and a lifted SDP relaxation for the problem, leading to a (1.5 − 1/2160000)-approximation algorithm. The ratio has been improved to 1.5 − 1/6000 by Li [31] and then to the current best ratio of 1.488 by Im and Shadloo [20]. Both [31] and [20] are based on some time-indexed LP relaxation for the problem.…”
Section: Introductionmentioning
confidence: 99%
“…The ratio has been improved to 1.5 − 1/6000 by Li [31] and then to the current best ratio of 1.488 by Im and Shadloo [20]. Both [31] and [20] are based on some time-indexed LP relaxation for the problem.…”
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.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.