Article ID: | iaor20032330 |
Country: | Germany |
Volume: | 93 |
Issue: | 3 |
Start Page Number: | 477 |
End Page Number: | 494 |
Publication Date: | Jan 2002 |
Journal: | Mathematical Programming |
Authors: | Savelsbergh M.W.P., Johnson E.L., Waterer H., Nobili P. |
Keywords: | programming: linear |
The relation of time indexed formulations of nonpreemptive single machine scheduling problems to the node packing problem is established and then used to provide simple and intuitive alternate proofs of validity and maximality for previously known results on the facial structure of the scheduling problem. Previous work on the facial structure has focused on describing the convex hull of the set of feasible partial schedules, i.e. schedules in which not all jobs have to be started. The equivalence between the characteristic vectors of this set and those of the set of feasible node packings in a graph whose structure is determined by the parameters of the scheduling problem is established. The main contribution of this paper is to show that the facet inducing inequalities for the convex hull of the set of feasible partial schedules that have integral coefficients and right hand side 1 or 2 are the maximal clique inequalities and the maximally and sequentially lifted 5-hole inequalities of the convex hull of the set of feasible node packings in this graph respectively.