Lot-sizing with constant batches: Formulation and valid inequalities

The authors consider the classical lot-sizing problem with constant production capacities (LCC) and a variant in which the capacity in each period is an integer multiple of some basic batch size (LCB). They first show that the classical dynamic program for LCc simplifies for LCB leading to an O(n²min{n,C}) algorithm (where n is the number of periods and C the batch size). Using this new algorithm, the authors show how to formulate both problems as linear programs with O(n³) variables and constraints. A class of so-called (k,l,S,I) inequalities are described for LCB which capture both the dynamic nature of the problem as well as the capacity aspects. For LCB, they prove that these inequalities are the only facet-defining inequalities of a certain form. For LCC, the authors show that these inequalities include all the known classes of valid inequalities. Finally, they discuss several open questions and possible extensions.