Facets of the three-index assignment polytope

Abstract Given three disjoint n-sets and the family of all weighted triplets that contain exactly one element of each set, the 3-index assignment (or 3-dimensional matching) problem asks for a minimum-weight subcollection of triplets that covers exactly (i.e., partitions) the union of the three sets. Unlike the common (2-index) assignment problem, the 3-index problem is NP-complete. In this paper we examine the facial structure of the 3-index assignment polytope (the convex hull of feasible solutions to the problem) with the aid of the intersection graph of the coefficient matrix of the problem's constraint set. In particular, we describe the cliques of the intersection graph as belonging to three distinct classes, and show that cliques in two of three classes induce inequalities that define facets of our polytope. Furthermore, we give an O(n4) procedure (note that the number of variables is n3) for finding a facet-defining clique-inequality violated by a given noninteger solution to the linear programming relaxation of the 3-index assignment problem, or showing that no such inequality exists. We then describe the odd holes of the intersection graph and identify two classes of facets associated with odd holes that are easy to generate. One class has coefficients of 0 or 1, the other class coefficients of 0, 1 or 2. No odd hole inequality has left-hand side coefficients greater than two.

[1]  Egon Balas,et al.  Traffic assignment in communication satellites , 1983 .

[2]  Vasek Chvátal,et al.  Edmonds polytopes and a hierarchy of combinatorial problems , 1973, Discret. Math..

[3]  E Balas,et al.  Some Facets of the Tri-Index Assignment Polytope. , 1984 .

[4]  Egon Balas,et al.  A restricted Lagrangean approach to the traveling salesman problem , 1981, Math. Program..

[5]  H. Crowder,et al.  Solving Large-Scale Symmetric Travelling Salesman Problems to Optimality , 1980 .

[6]  A. Frieze Complexity of a 3-dimensional assignment problem , 1983 .

[7]  Gérard Cornuéjols,et al.  The Travelling Salesman Polytope and {0, 2}-Matchings , 1982 .

[8]  K. Haley The Multi-Index Problem , 1963 .

[9]  E. Balas,et al.  Set Partitioning: A survey , 1976 .

[10]  David S. Johnson,et al.  Computers and In stractability: A Guide to the Theory of NP-Completeness. W. H Freeman, San Fran , 1979 .

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[12]  Calvin C. Gotlieb,et al.  The Construction of Class-Teacher Time-Tables , 1962, IFIP Congress.

[13]  K. B. Haley,et al.  New Methods in Mathematical Programming---The Solid Transportation Problem , 1962 .

[14]  Manfred W. Padberg,et al.  On the facial structure of set packing polyhedra , 1973, Math. Program..

[15]  R. Euler Odd cycles and a class of facets of the axial 3-index assignment polytope , 1987 .

[16]  William P. Pierskalla,et al.  Letter to the Editor - The Multidimensional Assignment Problem , 1968, Oper. Res..

[17]  Alan Frieze,et al.  An Algorithm for Solving 3-Dimensional Assignment Problems with Application to Scheduling a Teaching Practice , 1981 .

[18]  Gérard Cornuéjols,et al.  Some facets of the simple plant location polytope , 1982, Math. Program..