A tight linear time 13/12-approximation algorithm for the P2||Cmax problem

We consider problem P2||Cmax where the goal is to schedule n jobs on two identical parallel machines to minimize the makespan. We focus on constant factor approximation algorithms with complexity independent from the required accuracy. We exploit the famous Longest Processing Time (LPT) rule that requires to sort jobs in non-ascending order of processing times and then to assign one job at a time to the machine whose load is smallest so far. We propose an approximation algorithm that applies LPT to a subset of 2k jobs, then considers a single step of local search on the obtained sub-schedule and finally applies list scheduling to the remaining jobs. This algorithm, when applied for k = 5, reaches a tight 13/12 -approximation ratio improving the ratio of 12/11 proposed by He et al. (Nav Res Logist 47:593-601, 2000). We use Mathematical Programming to analyze the approximation ratio of our approach. As a byproduct, we also show how to improve the FPTAS of Sahni for any n > 1/ε so as to reach an approximation ratio (1 + ε) with time complexity O(n + 1/ ε^3 )