Moderately exponential approximation for makespan minimization on related machines
Résumé
We consider in this paper the classical $Q||C_{max}$ scheduling problem. The objective is to minimize the maximum completion time (called makespan) while scheduling independent jobs in parallel on machines that have different speeds. While several approximation schemes has been proposed (and in particular a recent EPTAS~\cite{jansen2009eptasqcmax}), the current best "direct" algorithm ({\it i.e.} an algorithm specifically designed for reaching a given approximation ratio) is still due to~\cite{chen1991tighter} with a $1.382$ ratio. Our objective in this work is not to provide yet another improvement of the asymptotic dependencies in $\frac{1}{\epsilon}$ (ensuring a $(1+\epsilon)$ ratio), but to design faster direct algorithms by targeting respectively $\frac{4}{3}$ and $\frac{5}{4}$ ratios. Indeed, instantiating any of the existing approximation scheme for $\epsilon=\frac{1}{3}$ (respectively $\frac{1}{4}$) leads to polynomial complexities, but not to practical algorithms because of the hidden large constants in the computational complexity. Thus, our approach focuses on a moderately exponential algorithm and provides a $(\frac{4}{3}+\epsilon)$ dual approximation algorithm running in $\O(m^{(1+\frac{1}{3\epsilon})log(3(\k+1))}(m+n))$, where $m$ is the number of machines, $n$ the number of jobs, $\k$ an integer lower than $m$ depending on the instance. This result is obtained through an oracle framework, where the algorithm guesses possible answers from an oracle. The terseness of the answers points out the critical informations needed while solving any instance. Such an approach leads to a better comprehension of the problem. Similarly, we obtain the same kind of results for a $\frac{5}{4}+\epsilon$ ratio. Moreover, the proposed techniques seem promising for tackling classical specific cases (like scheduling on identical machines), as the complexity becomes a low degree polynomial when the speeds are non arbitrary.