Abstract
We explore the idea of obtaining valid inequalities for a 0-1 model from a constraint programming formulation of the problem. In particular, we formulate a graph coloring problem as a system of all-different constraints. By analyzing the polyhedral structure of alldiff systems, we obtain facet-defining inequalities that can be mapped to valid cuts in the classical 0-1 model of the problem. We focus on cuts corresponding to cyclic structures and show that they are stronger than known cuts. For example, when an existing separation algorithm identifies odd hole cuts, we can supply stronger cuts with no additional calculation. In addition, we generalize odd hole cuts to odd cycle cuts that are stronger than any collection of odd hole cuts.
Partial support from NSF grant CMMI-1130012 and AFOSR grant FA-95501110180.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Appa, G., Magos, D., Mourtos, I.: Linear Programming Relaxations of Multiple All-Different Predicates. In: Régin, J.-C., Rueher, M. (eds.) CPAIOR 2004. LNCS, vol. 3011, pp. 364–369. Springer, Heidelberg (2004)
Appa, G., Magos, D., Mourtos, I.: On the system of two all-different predicates. Information Processing Letters 94, 99–105 (2004)
Coll, P., Marenco, J., Méndez-DÃaz, I., Zabala, P.: Facets of the graph coloring polytope. Annals of Operations Research 116, 79–90 (2002)
Genç-Kaya, L., Hooker, J.N.: The circuit polytope. Carnegie Mellon University (2010) (manuscript)
Hooker, J.N.: Logic-Based Methods for Optimization: Combining Optimization and Constraint Satisfaction. Wiley, New York (2000)
Hooker, J.N.: Integrated Methods for Optimization. Springer (2007)
Kruk, S., Toma, S.: On the system of the multiple all different predicates. Congressus Numerantium 197, 47–64 (2009)
Kruk, S., Toma, S.: On the facets of the multiple alldifferent constraint. Congressus Numerantium 204, 5–32 (2010)
Magos, D., Mourtos, I.: On the facial structure of the alldifferent system. SIAM Journal on Discrete Mathematics, 130–158 (2011)
Magos, D., Mourtos, I., Appa, G.: A polyhedral approach to the alldifferent system. Mathematical Programming (to appear)
Méndez-DÃaz, I., Zabala, P.: A polyhedral approach for graph coloring. Electronic Notes in Discrete Mathematics 7, 178–181 (2001)
Méndez-DÃaz, I., Zabala, P.: A cutting plane algorithm for graph coloring. Discrete Applied Mathematics 156, 159–179 (2008)
Palubeckis, G.: On the graph coloring polytope. Information Technology and Control 37, 7–11 (2008)
Williams, H.P., Yan, H.: Representations of the alldifferent predicate of constraint satisfaction in integer programming. INFORMS Journal on Computing 13, 96–103 (2001)
Yan, H., Hooker, J.N.: Tight representations of logical constraints as cardinality rules. Mathematical Programming 85, 363–377 (1995)
Yunes, T.H.: On the Sum Constraint:Relaxation and Applications. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 80–92. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bergman, D., Hooker, J.N. (2012). Graph Coloring Facets from All-Different Systems. In: Beldiceanu, N., Jussien, N., Pinson, É. (eds) Integration of AI and OR Techniques in Contraint Programming for Combinatorial Optimzation Problems. CPAIOR 2012. Lecture Notes in Computer Science, vol 7298. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29828-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-642-29828-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29827-1
Online ISBN: 978-3-642-29828-8
eBook Packages: Computer ScienceComputer Science (R0)