Abstract
The lexicographic order can be used to force a collection of decision vectors to be all different, i.e., to take on different values in some coordinates. We consider the set of fixed-size matrices with bounded integer entries and rows in lexicographic order. We present a dynamic program to optimize a linear function over this set, from which we obtain a compact extended formulation for its convex hull.
Similar content being viewed by others
References
Angulo, G., Ahmed, S., Dey, S.S., Kaibel, V.: Forbidden vertices. Math. Oper. Res. 40(2), 350–360 (2014)
Barbato, M., Grappe, R., Lacroix, M., Pira, C.: Lexicographical polytopes. Discret. Appl. Math. 240, 3–7 (2018)
Di Summa, M.: A short convex-hull proof for the all-different system with the inclusion property. Oper. Res. Lett. 43(1), 69–73 (2015)
Gupte, A.: Convex hulls of superincreasing knapsacks and lexicographic orderings. Discret. Appl. Math. 201, 150–163 (2016)
Hojny, C., Pfetsch, M.E.: Polytopes associated with symmetry handling. Math. Program. (2018). https://doi.org/10.1007/s10107-018-1239-7
Kaibel, V., Loos, A.: Branched Polyhedral Systems, Integer Programming and Combinatorial Optimization, pp. 177–190. Springer, Berlin (2010)
Kaibel, V., Pfetsch, M.E.: Packing and partitioning orbitopes. Math. Program. 114(1), 1–36 (2008)
Lee, J.: All-different polytopes. J. Comb. Optim. 6(3), 335–352 (2002)
Lee, J., Margot, F.: On a binary-encoded ILP coloring formulation. INFORMS J. Comput. 19(3), 406–415 (2007)
Loos, A.: Describing Orbitopes by Linear Inequalities and Projection Based Tools, Ph.D. thesis (2011)
Magos, D., Mourtos, I., Appa, G.: A polyhedral approach to the all different system. Math. Program. 132(1–2), 209–260 (2012)
Martin, R.K., Rardin, R.L., Campbell, B.A.: Polyhedral characterization of discrete dynamic programming. Oper. Res. 38(1), 127–138 (1990)
Schrijver, A.: Theory of Linear and Integer Programming. Wiley, New York (1998)
Williams, H.P., Yan, H.: Representations of the all\_different predicate of constraint satisfaction in integer programming. INFORMS J. Comput. 13(2), 96–103 (2001)
Acknowledgements
The author thanks an anonymous referee whose comments and suggestions greatly helped to improve the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Funded by Conicyt Fondecyt 11150689.
Rights and permissions
About this article
Cite this article
Angulo, G. Matrices with lexicographically-ordered rows. Optim Lett 13, 235–248 (2019). https://doi.org/10.1007/s11590-018-1369-0
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11590-018-1369-0