Abstract:We consider the classical scheduling problem on parallel identical machines to minimize the makespan, and achieve the following results under the Exponential Time Hypothesis (ETH) 1. The scheduling problem on a constant number $m$ of identical machines, which is denoted as $Pm||C_{max}$, is known to admit a fully polynomial time approximation scheme (FPTAS) of running time $O(n) + (1/\epsilon)^{O(m)}$ (indeed, the algorithm works for an even more general problem where machines are unrelated). We prove this algorithm is essentially the best possible in the sense that a $(1/\epsilon)^{O(m^{1-\delta})}+n^{O(1)}$ time FPTAS for any $\delta>0$ implies that ETH fails. 2. The scheduling problem on an arbitrary number of identical machines, which is denoted as $P||C_{max}$, is known to admit a polynomial time approximation scheme (PTAS) of running time $2^{O(1/\epsilon^2\log^3(1/\epsilon))}+n^{O(1)}$. We prove this algorithm is nearly optimal in the sense that a $2^{O((1/\epsilon)^{1-\delta})}+n^{O(1)}$ time PTAS for any $\delta>0$ implies that ETH fails, leaving a small room for improvement. To obtain these results we will provide two new reductions from 3SAT, one for $Pm||C_{max}$ and another for $P||C_{max}$. Indeed, the new reductions explore the structure of scheduling problems and can also lead to other interesting results. For example, using the framework of our reduction for $P||C_{max}$, Chen et al. (<a class="link-https" data-arxiv-id="1306.3727" href="https://arxiv.org/abs/1306.3727">arXiv:1306.3727</a>) is able to prove the APX-hardness of the scheduling problem in which the matrix of job processing times $P=(p_{ij})_{m\times n}$ is of rank 3, solving the open problem mentioned by Bhaskara et al. (SODA 2013).

Finding the best root node strategy for the approximation of the time-indexed bound in min-sum scheduling

On the worst-case ratio of algorithm SPT for two uniform machines scheduling with minisum criteria

Online Hierarchical Scheduling: an Approach Using Mathematical Programming

New Upper and Lower Bounds for Online Scheduling with Machine Cost

An Improved Lower Bound For Rank Four Scheduling

Single Machine Batch Scheduling to Minimize the Sum of Total Flow Time and Batch Delivery Cost with an Unavailability Interval

On the Equivalence of the Max-Min Transportation Lower Bound and the Time-Indexed Lower Bound for Single-Machine Scheduling Problems

On the Optimality of Exact and Approximation Algorithms for Scheduling Problems.

A time-indexed LP-based approach for min-sum job-shop problems

Single-machine scheduling to minimize total convex resource consumption with a constraint on total weighted flow time

A Lower Bound Guided Hierarchical Approach for a Two-Stage Scheduling Problem

Several variants of simulated annealing hyper-heuristic for a single-machine scheduling with two-scenario-based dependent processing times

Solving a supply chain scheduling problem with non-identical job sizes and release times by applying a novel effective heuristic algorithm

Single-Machine Scheduling With Decreasing Time-Dependent Processing Times To Minimize Total Absolute Differences In Waiting Times

On-Line Scheduling a Batch Processing System to Minimize Total Weighted Job Completion Time

Single-machine scheduling with periodic maintenance and learning effect

An Exact Epsilon-constraint Algorithm for the Bi-objective Optimization Problem of Scheduling Staple Fiber Production

Hybrid Branch and Bound Algorithms for the Two-Stage Assembly Scheduling Problem with Separated Setup Times

On the optimality of approximation schemes for the classical scheduling problem

AB&B: An Anytime Branch and Bound Algorithm for Scheduling of Deadlock-Prone Flexible Manufacturing Systems

Two-stage Scheduling on Batch and Single Machines with Limited Waiting Time Constraint