Abstract
The master equality polyhedron (MEP) is a canonical set that generalizes the master cyclic group polyhedron (MCGP) of Gomory. We recently characterized a nontrivial polar for the MEP, i.e., a polyhedron T such that an inequality defines a nontrivial facet of the MEP if and only if its coefficient vector forms a vertex of T. In this paper, we study the MEP when it is defined by m > 1 rows. We define the notion of a polaroid, a set containing all nontrivial facet defining inequalities. We show how to use linear programming (LP) to efficiently solve the separation problem for the MEP when the polaroid has a compact polyhedral description. We obtain such descriptions via subadditivity conditions when m = 2 or m = 3 and, using LP duality, show how to efficiently optimize over the MEP. These results yield a pseudo-polynomial time LP-based algorithm to solve the problem min\({\{cx : Ax = b, x \geq {\bf 0}, x \in \mathbb{Z}^n\}}\) when A has at most three constraints. For the MCGP and the MEP defined by a single constraint, the notions of two-term subadditivity and valid inequalities for MEP are essentially equivalent. We show this is not true in the case of the MEP when m ≥ 3; In fact, we prove that subadditivity conditions with a sub-exponential number of terms do not imply validity. In particular, when m = 3, we show that four-term subadditivity conditions are necessary and sufficient for validity.
Similar content being viewed by others
References
Andersen, K., Louveaux, Q., Weismantel, R., Wolsey, L.A.: Inequalities from Two Rows of a Simplex Tableau, IPCO 1–15 (2007)
Araóz, J.: Polyhedral Neopolarities, Ph.D. Thesis. Department of Computer Sciences, University of Waterloo (1974)
Araóz J., Gomory R.E., Johnson E.L., Evans L.: Cyclic group and knapsack facets. Math. Program. 96, 377–408 (2003)
Borozan V., Cornuéjols G.: Minimal valid inequalities for integer constraints. Math. Oper. Res. 34, 538–546 (2009)
Cornuéjols G., Margot F.: On the facets of mixed integer programs with two integer variables and two constraints. Math. Program. 120, 429–456 (2009)
Dash, S., Fukasawa, R., Günlük, O.: On a generalization of the master cyclic group polyhedron. Math. Program. (2010, to appear)
Dash S., Günlük O.: Valid inequalities based on simple mixed-integer sets. Math. Program. 105, 29–53 (2006)
Dey S.S., Richard J.-P.P.: Facets of two-dimensional infinite group problems. Math. Oper. Res. 33, 140–166 (2008)
Dey, S.S., Richard, J.-P.P.: Sequential merge facets for two-dimensional group problems. IPCO 30–42 (2007)
Dey S.S., Richard J.-P.P., Li Y., Miller L.A.: On the extreme inequalities of infinite group problems. Math. Program. 121, 145–170 (2010)
Gomory R.E.: Some polyhedra related to combinatorial problems. J. Linear Algebra Appl. 2, 451– 558 (1969)
Gomory R.E., Johnson E.L.: Some continuous functions related to corner polyhedra I. Math. Program. 3, 23–85 (1972)
Gomory R.E., Johnson E.L.: T-space and cutting planes. Math. Program. 96, 341–375 (2003)
Grötschel M., Lovász L., Schrijver A.: The ellipsoid method and its consequences in combinatorial optimization. Combinatorica 1, 169–197 (1981)
Johnson E.L.: On the group problem for mixed integer programming. Math. Program. Study 2, 137–179 (1974)
Kianfar K., Fathi Y.: Generalized mixed integer rounding inequalities: facets for infinite group polyhedra. Math. Program. 120, 313–346 (2009)
Papadimitriou C.H.: On the complexity of integer programming. J. Assoc. Comput. Mach. 28, 765–768 (1981)
Richard J.-P.P., Li Y., Miller L.A.: Valid inequalities for mips and group polyhedra from approximate liftings. Math. Program. 118, 253–277 (2009)
Swirszcz, G.M.: Personal communication (2008)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Dash, S., Fukasawa, R. & Günlük, O. The master equality polyhedron with multiple rows. Math. Program. 132, 125–151 (2012). https://doi.org/10.1007/s10107-010-0384-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-010-0384-4