# Moderately exponential approximation for makespan minimization on related machines

1 MAORE - Méthodes Algorithmes pour l'Ordonnancement et les Réseaux
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 MOAIS - PrograMming and scheduling design fOr Applications in Interactive Simulation
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2013, In press. 〈10.1016/j.tcs.2013.03.020〉
Domaine :

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00838717
Contributeur : Marin Bougeret <>
Soumis le : mercredi 26 juin 2013 - 13:57:16
Dernière modification le : jeudi 11 janvier 2018 - 06:26:15

### Citation

Marin Bougeret, Pierre-Francois Dutot, Denis Trystram. Moderately exponential approximation for makespan minimization on related machines. Theoretical Computer Science, Elsevier, 2013, In press. 〈10.1016/j.tcs.2013.03.020〉. 〈lirmm-00838717〉

### Métriques

Consultations de la notice