Number Partitioning with Splitting
Authors:
Samuel Bismuth,
Vladislav Makarov,
Erel Segal-Halevi,
Dana Shapira
Abstract:
We consider the classic problem of makespan minimization on a fixed number $n$ of machines with possibly different speeds (``uniform machines''). In an attempt to improve the makespan, we allow a fixed number $s$ of jobs to be split between two or more machines. We show that makespan minimization on $n\geq 3$ uniform machines with $s$ split jobs can be solved in polynomial time whenever…
▽ More
We consider the classic problem of makespan minimization on a fixed number $n$ of machines with possibly different speeds (``uniform machines''). In an attempt to improve the makespan, we allow a fixed number $s$ of jobs to be split between two or more machines. We show that makespan minimization on $n\geq 3$ uniform machines with $s$ split jobs can be solved in polynomial time whenever $s\geq n-2$, while it is {\sf NP}-complete otherwise even for identical machines. We provide a {\it Fully Polynomial-Time Approximation Scheme} ({\sf FPTAS}) to deal with the case $s < n-2$.
The main technique we use is a two-way polynomial-time reduction between makespan-minimization with splitting and a second variant, which may be of independent interest, in which the makespan must be within a pre-specified interval. We prove that, for any fixed integer $n\geq 3$, the second variant can be solved in polynomial time if the length of the allowed interval is at least $(n-2)/n$ times the maximum job size, and it is {\sf NP}-complete otherwise even for identical machines.
Using the same reduction, we implement a state-space-search algorithm for makespan minimization with any number $s$ of split jobs, and use it in computerized simulations to evaluate the effect of $s$ on the makespan.
△ Less
Submitted 8 November, 2023; v1 submitted 25 April, 2022;
originally announced April 2022.