TY - JOUR

T1 - Strong LP formulation for scheduling splittable jobs on unrelated machines

AU - Correa, J.

AU - Marchetti-Spaccamela, A.

AU - Matuschke, J.

AU - Stougie, L.

AU - Svensson, O.

AU - Verdugo, V.

AU - Verschae, J.

PY - 2015

Y1 - 2015

N2 - A natural extension of the makespan minimization problem on unrelated machines is to allow jobs to be partially processed by different machines while incurring an arbitrary setup time. In this paper we present increasingly stronger LP-relaxations for this problem and their implications on the approximability of the problem. First we show that the straightforward LP, extending the approach for the original problem, has an integrality gap of 3 and yields an approximation algorithm of the same factor. By applying a lift-and-project procedure, we are able to improve both the integrality gap and the implied approximation factor to (Formula presented.), where (Formula presented.) is the golden ratio. Since this bound remains tight for the seemingly stronger machine configuration LP, we propose a new job configuration LP that is based on an infinite continuum of fractional assignments of each job to the machines. We prove that this LP has a finite representation and can be solved in polynomial time up to any accuracy. Interestingly, we show that our problem cannot be approximated within a factor better than (Formula presented.), which is larger than the inapproximability bound of 1.5 for the original problem.

AB - A natural extension of the makespan minimization problem on unrelated machines is to allow jobs to be partially processed by different machines while incurring an arbitrary setup time. In this paper we present increasingly stronger LP-relaxations for this problem and their implications on the approximability of the problem. First we show that the straightforward LP, extending the approach for the original problem, has an integrality gap of 3 and yields an approximation algorithm of the same factor. By applying a lift-and-project procedure, we are able to improve both the integrality gap and the implied approximation factor to (Formula presented.), where (Formula presented.) is the golden ratio. Since this bound remains tight for the seemingly stronger machine configuration LP, we propose a new job configuration LP that is based on an infinite continuum of fractional assignments of each job to the machines. We prove that this LP has a finite representation and can be solved in polynomial time up to any accuracy. Interestingly, we show that our problem cannot be approximated within a factor better than (Formula presented.), which is larger than the inapproximability bound of 1.5 for the original problem.

U2 - 10.1007/s10107-014-0831-8

DO - 10.1007/s10107-014-0831-8

M3 - Article

SN - 0025-5610

VL - 154

SP - 305

EP - 328

JO - Mathematical Programming

JF - Mathematical Programming

IS - 1

ER -