Table of Contents
Fetching ...

Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines

Klaus Heeger, Hendrik Molter

TL;DR

This paper analyzes scheduling with uniform processing times on $m$ identical parallel machines to minimize tardiness, focusing on the parameterized complexity of $P ottomline r_j, p_j=p ottomline ext{sum } w_j U_j$ and its unweighted variant. It establishes NP-hardness and $W[2]$-hardness when parameterized by the number of machines, resolving open problems, and strengthens understanding of the known XP algorithm by showing it remains tight under various parameterizations. The authors also provide new tractability results: XP by processing time, FPT by the combination of machines and processing time, and an MILP-based FPT algorithm parameterized by the number of release (or due) dates. Collectively, the work provides a foundation for systematic parameterized study of these scheduling problems and proposes practical avenues (MILP, structured parameters) for exact solutions in restricted settings.

Abstract

In this work, we study the computational (parameterized) complexity of $P \mid r_j, p_j=p \mid \sum_j w_j U_j$. Here, we are given $m$ identical parallel machines and $n$ jobs with equal processing time, each characterized by a release date, a due date, and a weight. The task is to find a feasible schedule, that is, an assignment of the jobs to starting times on machines, such that no job starts before its release date and no machine processes several jobs at the same time, that minimizes the weighted number of tardy jobs. A job is considered tardy if it finishes after its due date. Our main contribution is showing that $P \mid r_j, p_j=p \mid \sum_j U_j$ (the unweighted version of the problem) is NP-hard and W[2]-hard when parameterized by the number of machines. The former resolves an open problem in Note 2.1.19 by Kravchenko and Werner [Journal of Scheduling, 2011] and Open Problem 2 by Sgall [ESA, 2012], and the latter resolves Open Problem 7 by Mnich and van Bevern [Computers & Operations Research, 2018]. Furthermore, our result shows that the known XP-algorithm for $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ parameterized by the number of machines is optimal from a classification standpoint. On the algorithmic side, we provide alternative running time bounds for the above-mentioned known XP-algorithm. Our analysis shows that $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ is contained in XP when parameterized by the processing time, and that it is contained in FPT when parameterized by the combination of the number of machines and the processing time. Finally, we give an FPT-algorithm for $P \mid r_j, p_j=p \mid \sum_j w_j U_j$ parameterized by the number of release dates or the number of due dates. With this work, we lay out the foundation for a systematic study of the parameterized complexity of $P \mid r_j, p_j=p \mid \sum_j w_j U_j$.

Minimizing the Number of Tardy Jobs with Uniform Processing Times on Parallel Machines

TL;DR

This paper analyzes scheduling with uniform processing times on identical parallel machines to minimize tardiness, focusing on the parameterized complexity of and its unweighted variant. It establishes NP-hardness and -hardness when parameterized by the number of machines, resolving open problems, and strengthens understanding of the known XP algorithm by showing it remains tight under various parameterizations. The authors also provide new tractability results: XP by processing time, FPT by the combination of machines and processing time, and an MILP-based FPT algorithm parameterized by the number of release (or due) dates. Collectively, the work provides a foundation for systematic parameterized study of these scheduling problems and proposes practical avenues (MILP, structured parameters) for exact solutions in restricted settings.

Abstract

In this work, we study the computational (parameterized) complexity of . Here, we are given identical parallel machines and jobs with equal processing time, each characterized by a release date, a due date, and a weight. The task is to find a feasible schedule, that is, an assignment of the jobs to starting times on machines, such that no job starts before its release date and no machine processes several jobs at the same time, that minimizes the weighted number of tardy jobs. A job is considered tardy if it finishes after its due date. Our main contribution is showing that (the unweighted version of the problem) is NP-hard and W[2]-hard when parameterized by the number of machines. The former resolves an open problem in Note 2.1.19 by Kravchenko and Werner [Journal of Scheduling, 2011] and Open Problem 2 by Sgall [ESA, 2012], and the latter resolves Open Problem 7 by Mnich and van Bevern [Computers & Operations Research, 2018]. Furthermore, our result shows that the known XP-algorithm for parameterized by the number of machines is optimal from a classification standpoint. On the algorithmic side, we provide alternative running time bounds for the above-mentioned known XP-algorithm. Our analysis shows that is contained in XP when parameterized by the processing time, and that it is contained in FPT when parameterized by the combination of the number of machines and the processing time. Finally, we give an FPT-algorithm for parameterized by the number of release dates or the number of due dates. With this work, we lay out the foundation for a systematic study of the parameterized complexity of .
Paper Structure (12 sections, 14 theorems, 7 equations, 1 table)

This paper contains 12 sections, 14 theorems, 7 equations, 1 table.

Key Result

Lemma 2

Let $I$ be an instance of $P\mid r_j, p_j = p \mid\sum w_j U_j$. Then there exists a feasible schedule $\sigma$ that maximizes the weighted number of early jobs such that for each job $j$ we have $\sigma(j)=(i,t)$ for some $t\in\mathcal{T}$.

Theorems & Definitions (14)

  • Lemma 2: baptiste2000schedulingbaptiste2004ten
  • Theorem 3
  • Lemma 5
  • Lemma 6
  • Theorem 7: baptiste2000schedulingbaptiste2004ten
  • Theorem 8
  • Lemma 9: baptiste2000schedulingbaptiste2004ten
  • Theorem 10
  • Theorem 11: dadush2011enumerativeLenstra1983Integer
  • Lemma 12: CMZ24
  • ...and 4 more