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).

A Polynomial Approximation Scheme for a Constrained Flow-Shop Scheduling Problem

A (32+Ε)-Approximation Algorithm for Scheduling on Two Parallel Machines with Job Delivery Coordination.

Approximation Schemes for Two-Machine Flow Shop Scheduling with Two Agents

Improved approximation algorithms for routing shop scheduling

Approximation algorithms for scheduling parallel machines with capacity constraints ∗

Approximability of flow shop scheduling

On Two-machine Flow Shop Scheduling

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

Scheduling Stochastic Jobs - Complexity and Approximation Algorithms.

Approximation algorithms for two-stage flexible flow shop scheduling

Approximation Algorithms for Parallel Machine Scheduling with Speed-up Resources.

Approximation algorithms for the parallel flow shop problem.

A polynomial-time approximation scheme for parallel two-stage flowshops under makespan constraint

Approximation algorithms for two-machine flow-shop scheduling with a conflict graph

Two-stage open-shop scheduling with a two-machine flow shop as a stage: approximation algorithms and empirical experiments

Improved approximation algorithms for two-stage flexible flow shop scheduling

A complexity analysis and algorithms for two-machine shop scheduling problems under linear constraints

Bicriteria two-machine flowshop scheduling: approximation algorithms and their limits

On scheduling multiple parallel two-stage flowshops with Johnson's Rule

On the optimality of approximation schemes for the classical scheduling problem

A -approximation algorithm for scheduling on two parallel machines with job delivery coordination