TY - JOUR

T1 - Faster Minimization of Tardy Processing Time on a Single Machine

AU - Bringmann, Karl

AU - Fischer, Nick

AU - Hermelin, Danny

AU - Shabtay, Dvir

AU - Wellnitz, Philip

N1 - Funding Information:
This work is part of the project TIPEA that has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 850979). This research was also supported by THE ISRAEL SCIENCE FOUNDATION (Grant no. 1070/20). A preliminary version of the paper appeared in the proceedings of ICALP 2020: 4:1-4:15.
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.

PY - 2022/5/1

Y1 - 2022/5/1

N2 - This paper is concerned with the 1 | | ∑ pjUj problem, the problem of minimizing the total processing time of tardy jobs on a single machine. This is not only a fundamental scheduling problem, but also an important problem from a theoretical point of view as it generalizes the Subset Sum problem and is closely related to the 0/1-Knapsack problem. The problem is well-known to be NP-hard, but only in a weak sense, meaning it admits pseudo-polynomial time algorithms. The best known running time follows from the famous Lawler and Moore algorithm that solves a more general weighted version in O(P· n) time, where P is the total processing time of all n jobs in the input. This algorithm has been developed in the late 60s, and has yet to be improved to date. In this paper we develop two new algorithms for problem, each improving on Lawler and Moore’s algorithm in a different scenario.Our first algorithm runs in O~ (P7 / 4) time, and outperforms Lawler and Moore’s algorithm in instances where n= ω~ (P3 / 4).Our second algorithm runs in O~ (min { P· D#, P+ D}) time, where D# is the number of different due dates in the instance, and D is the sum of all different due dates. This algorithm improves on Lawler and Moore’s algorithm when n= ω~ (D#) or n= ω~ (D/ P). Further, it extends the known O~ (P) algorithm for the single due date special case of 1 | | ∑ pjUj in a natural way. Both algorithms rely on basic primitive operations between sets of integers and vectors of integers for the speedup in their running times. The second algorithm relies on fast polynomial multiplication as its main engine, and can be easily extended to the case of a fixed number of machines. For the first algorithm we define a new “skewed” version of (max , min) -Convolution which is interesting in its own right.

AB - This paper is concerned with the 1 | | ∑ pjUj problem, the problem of minimizing the total processing time of tardy jobs on a single machine. This is not only a fundamental scheduling problem, but also an important problem from a theoretical point of view as it generalizes the Subset Sum problem and is closely related to the 0/1-Knapsack problem. The problem is well-known to be NP-hard, but only in a weak sense, meaning it admits pseudo-polynomial time algorithms. The best known running time follows from the famous Lawler and Moore algorithm that solves a more general weighted version in O(P· n) time, where P is the total processing time of all n jobs in the input. This algorithm has been developed in the late 60s, and has yet to be improved to date. In this paper we develop two new algorithms for problem, each improving on Lawler and Moore’s algorithm in a different scenario.Our first algorithm runs in O~ (P7 / 4) time, and outperforms Lawler and Moore’s algorithm in instances where n= ω~ (P3 / 4).Our second algorithm runs in O~ (min { P· D#, P+ D}) time, where D# is the number of different due dates in the instance, and D is the sum of all different due dates. This algorithm improves on Lawler and Moore’s algorithm when n= ω~ (D#) or n= ω~ (D/ P). Further, it extends the known O~ (P) algorithm for the single due date special case of 1 | | ∑ pjUj in a natural way. Both algorithms rely on basic primitive operations between sets of integers and vectors of integers for the speedup in their running times. The second algorithm relies on fast polynomial multiplication as its main engine, and can be easily extended to the case of a fixed number of machines. For the first algorithm we define a new “skewed” version of (max , min) -Convolution which is interesting in its own right.

KW - (max

KW - Fast polynomial multiplication

KW - Pseudo-polynomial time algorithm

KW - Single machine scheduling

KW - Tardy processing time

KW - min)-Convolution

UR - http://www.scopus.com/inward/record.url?scp=85123921961&partnerID=8YFLogxK

U2 - 10.1007/s00453-022-00928-w

DO - 10.1007/s00453-022-00928-w

M3 - Article

AN - SCOPUS:85123921961

SN - 0178-4617

VL - 84

SP - 1341

EP - 1356

JO - Algorithmica

JF - Algorithmica

IS - 5

ER -