A computationally efficient Branch-and-Bound algorithm for the permutation flow-shop scheduling problem

• Published in: European journal of operational research 2020-08, Vol.284 (3), p.814-833
• Main Authors: Gmys, Jan, Mezmaz, Mohand, Melab, Nouredine, Tuyttens, Daniel
• Format: Article
• Language: English
• Subjects: Branch-and-Bound; Computer Science; Flowshop; Makespan; Operations Research; Parallel computing
• ISSN: 0377-2217; 1872-6860
• DOI: 10.1016/j.ejor.2020.01.039

•An efficient exact algorithm for the permutation flow-shop scheduling problem.•Dynamic branching and parallel tree exploration are key ingredients.•Proposes a novel lower bound, based on the online learning of bottleneck machines.•New optimal solutions for two Taillard instances with 500 jobs and 20 machines.•218 proofs of optimality and 89 improved upper bounds for a new hard benchmark. In this work we propose an efficient branch-and-bound (B&B) algorithm for the permutation flow-shop problem (PFSP) with makespan objective. We present a new node decomposition scheme that combines dynamic branching and lower bound refinement strategies in a computationally efficient way. To alleviate the computational burden of the two-machine bound used in the refinement stage, we propose an online learning-inspired mechanism to predict promising couples of bottleneck machines. The algorithm offers multiple choices for branching and bounding operators and can explore the search tree either sequentially or in parallel on multi-core CPUs. In order to empirically determine the most efficient combination of these components, a series of computational experiments with 600 benchmark instances is performed. A main insight is that the problem size, as well as interactions between branching and bounding operators substantially modify the trade-off between the computational requirements of a lower bound and the achieved tree size reduction. Moreover, we demonstrate that parallel tree search is a key ingredient for the resolution of large problem instances, as strong super-linear speedups can be observed. An overall evaluation using two well-known benchmarks indicates that the proposed approach is superior to previously published B&B algorithms. For the first benchmark we report the exact resolution – within less than 20 minutes – of two instances defined by 500 jobs and 20 machines that remained open for more than 25 years, and for the second a total of 89 improved best-known upper bounds, including proofs of optimality for 74 of them.