Formulações matemáticas para o problema de sequenciamento de tarefas com manutenções periódicas e tempos de setup

The single-machine scheduling problem with periodic maintenances and sequencedependent setup times aims at scheduling jobs on a single machine in which periodic maintenances and setups are required. The objective is the minimization of the makespan. We propose an exact algorithm based on the iterative solution of three alternative arc-time-indexed models. Extensive computational experiments are carried out on 420 benchmark instances with up to 50 jobs, and on 360 newly proposed instances involving up to 125 jobs. We compare the results found by all formulations with those obtained by the best available mathematical formulation. All instances from the existing dataset are solved to optimality for the first time.O problema de sequenciamento em uma m´aquina estudado neste trabalho tem como objetivo ordenar tarefas em apenas uma m´aquina com per´ıodos de indisponibilidade fixos, levando em considera¸c˜ao tempos de setup dependentes da sequˆencia. O objetivo ´e minimizar o makespan. Neste trabalho ´e proposto um algoritmo exato que resolve, iterativamente, uma de trˆes formula¸c˜ao matem´aticas de arcos indexados no tempo apresentadas. Experimentos computacionais extensivos s˜ao conduzidos em 420 instˆancias da literatura de at´e 50 tarefas, e em 360 instˆancias, envolvendo at´e 125 tarefas, propostas neste trabalho. Os resultados s˜ao comparados com aqueles obtidos pela melhor formula¸c˜ao matem´atica dispon´ıvel na literatura. Pela primeira vez, todas as instˆancias do conjunto existente foram resolvidas na otimalidade