This paper is the first of a series of two devoted to the polyhedral study of a strongly NP-hard resource-constrained scheduling problem, referred to as the process move programming problem. This problem arises in relation to the operability of certain high-availability real time distributed systems. After a brief introduction to the problem as well as a summary of previous results, we formulate it as an integer linear program using linear ordering variables. We then drop the capacity constraints and introduce the partial linear ordering polytope, defined as the convex hull of all incidence vectors of arc sets of linear orderings of a node subset of the complete digraph on n nodes (the nodes not in the subset being looped), study its basic properties as well as show several classes of inequalities to be facet-defining. The companion paper is devoted to the study of the process move program polytope which is obtained when the capacity constraints are put back into the picture.
Citation
Technical report Nortel GSM Access R&D PE/BSC/INF/017912 V01/EN. Submitted to Mathematical Programming.