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

Truthful Approximation Schemes for Single-Parameter Agents

Approximate Composable Truthful Mechanism Design

Scheduling to Minimize the Maximum Total Completion Time Per Machine.

Parameterized and Approximation Results for Scheduling with a Low Rank Processing Time Matrix.

An Efficient PTAS for Parallel Machine Scheduling with Capacity Constraints.

Approximate Truthful Mechanism Design For Two-Dimensional Orthogonal Knapsack Problem

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

Approximation algorithms for scheduling parallel machines with capacity constraints ∗

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

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

On the optimality of approximation schemes for the classical scheduling problem

Two-Agent Makespan Minimization Problem on Parallel Machines

Approximation schemes for two-agent scheduling on parallel machines

Fixed-Parameter and Approximation Algorithms: A New Look

A PTAS for a Class of Stochastic Dynamic Programs.

Efficient approximation schemes for scheduling on a stochastic number of machines

Two Approximation Algorithms for Two-Agent Scheduling on Parallel Machines to Minimize Makespan

Randomized approximation schemes for minimizing the weighted makespan on identical parallel machines

Polynomial-Time Approximation Schemes for Scheduling Problems with Time Lags

An Approximation Algorithm for Multi-Agent Scheduling on Two Uniform Parallel Machines

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