Publication Date: 2017.
In  an algorithm is proposed for solving the job-shop scheduling problem optimally using a dynamic programming strategy. This is, according to our knowledge, the first exact algorithm for the Job Shop problem which is not based on integer linear programming and branch and bound. Despite the correctness of the dynamic programming algorithm presented in , the proof of correctness given there is unfortunately flawed. The contribution of the present note is to point out that flaw, and refer the reader to , where the flaw is corrected. Particularly, in , we recall the main idea of the proof proposed in  and present a counterexample that shows where the problem of that proof lies. Taking into account the nature of the problem, we propose a new approach for proving the correctness of the algorithm. This requires the introduction of new concepts and notation. It is important to remark that the new proof modifies our understanding of the algorithm that, in fact, works in a different way than the one explained in the original article. We also recommend , where all the elements for understanding the algorithm, the new proof of its correctness and the estimations of its complexity are fully developed.
Author affiliation: van Hoorn, Jelke J.. Vrije Universiteit Amsterdam; Países Bajos
Author affiliation: Nogueira, Agustín. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Departamento de Matemática; Argentina
Author affiliation: Ojea, Ignacio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigaciones Matemáticas ; Argentina
Author affiliation: Gromicho, Joaquim A. S.. Vrije Universiteit Amsterdam; Países Bajos
Repository: CONICET Digital (CONICET). Consejo Nacional de Investigaciones Científicas y Técnicas