Advertisement

Mathematical Programming

, Volume 175, Issue 1–2, pp 197–240 | Cite as

Polytopes associated with symmetry handling

  • Christopher HojnyEmail author
  • Marc E. Pfetsch
Full Length Paper Series A

Abstract

This paper investigates a polyhedral approach to handle symmetries in mixed-binary programs. We study symretopes, i.e., the convex hulls of all binary vectors that are lexicographically maximal in their orbit with respect to the symmetry group. These polytopes turn out to be quite complex. For practical use, we therefore develop an integer programming formulation with ternary coefficients, based on knapsack polytopes arising from a single lexicographic order enforcing inequality. We show that for these polytopes, the optimization as well as the separation problem of minimal cover inequalities can be solved in almost linear time. We demonstrate the usefulness of this approach by computational experiments, showing that it is competitive with state-of-the-art methods and is considerably faster for specific problem classes.

Mathematics Subject Classification

90C09 90C11 90C57 

Notes

Acknowledgements

We thank Andreas Paffenholz for helpful discussions. Moreover, we thank two anonymous referees for their valuable suggestions that helped to improve this paper. In particular, we thank one referee for an idea to improve the running time of the algorithm in Theorem 23.

Supplementary material

References

  1. 1.
    Achterberg, T.: SCIP: solving constraint integer programs. Math. Program. Comput. 1(1), 1–41 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  2. 2.
    Achterberg, T., Koch, T., Martin, A.: MIPLIB 2003. Oper. Res. Lett. 34(4), 361–372 (2006)MathSciNetzbMATHCrossRefGoogle Scholar
  3. 3.
    Babai, L., Luks, E.M.: Canonical labeling of graphs. In: Proceedings of the Fifteenth Annual ACM Symposium on Theory of Computing, STOC ’83, pp. 171–183, New York, NY, USA, ACM (1983)Google Scholar
  4. 4.
    Balas, E.: Facets of the knapsack polytope. Math. Program. 8(1), 146–164 (1975)MathSciNetzbMATHCrossRefGoogle Scholar
  5. 5.
    Balas, E.: Projection, lifting and extended formulation in integer and combinatorial optimization. Ann. Oper. Res. 140(1), 125–161 (2005)MathSciNetzbMATHCrossRefGoogle Scholar
  6. 6.
    Balas, E., Jeroslow, R.: Canonical cuts on the unit hypercube. SIAM J. Appl. Math. 23(1), 61–69 (1972)MathSciNetzbMATHCrossRefGoogle Scholar
  7. 7.
    Chen, K.T., Fox, R.H., Lyndon, R.C.: Free differential calculus, IV. The quotient groups of the lower central series. Ann. Math. 68, 81–95 (1958)MathSciNetzbMATHCrossRefGoogle Scholar
  8. 8.
    Conforti, M., Cornuéjols, G., Zambelli, G.: Extended formulations in combinatorial optimization. Ann. Oper. Res. 204(1), 97–143 (2013)MathSciNetzbMATHCrossRefGoogle Scholar
  9. 9.
    Cormen, T.H., Leiserson, C.E., Rivest, R.L., Stein, C.: Introduction to Algorithms, 2nd edn. MIT press, Cambridge (2007)zbMATHGoogle Scholar
  10. 10.
    Coxeter, H.S.M.: Discrete groups generated by reflections. Ann. Math. 35(3), 588–621 (1934)MathSciNetzbMATHCrossRefGoogle Scholar
  11. 11.
    Crowder, H., Johnson, E.L., Padberg, M.: Solving large-scale zero-one linear programming problems. Oper. Res. 31(5), 803–834 (1983)zbMATHCrossRefGoogle Scholar
  12. 12.
    Dias, G., Liberti, L.: Orbital Independence in Symmetric Mathematical Programs, pp. 467–480. Springer, Berlin (2015)zbMATHGoogle Scholar
  13. 13.
    Dixon, J.D., Mortimer, B.: Permutation Groups. Graduate Texts in Mathematics, vol. 163. Springer, New York (1996)zbMATHCrossRefGoogle Scholar
  14. 14.
    Faenza, Y., Kaibel, V.: Extended formulations for packing and partitioning orbitopes. Math. Oper. Res. 34(3), 686–697 (2009)MathSciNetzbMATHCrossRefGoogle Scholar
  15. 15.
    Fischetti, M., Liberti, L.: Orbital shrinking. In: Mahjoub, A.R., Markakis, V., Milis, I., Paschos, V.T. (eds.) Combinatorial Optimization. Lecture Notes in Computer Science, vol. 7422, pp. 48–58. Springer, Berlin (2012)CrossRefGoogle Scholar
  16. 16.
    Friedman, E.J.: Fundamental domains for integer programs with symmetries. In: Dress, A., Xu, Y., Zhu, B. (eds.) Combinatorial Optimization and Applications. LNCS, vol. 4616, pp. 146–153. Springer, Berlin (2007)CrossRefGoogle Scholar
  17. 17.
    Ghoniem, A., Sherali, H.D.: Defeating symmetry in combinatorial optimization via objective perturbations and hierarchical constraints. IIE Trans. 43(8), 575–588 (2011)CrossRefGoogle Scholar
  18. 18.
    Grötschel, M., Lovász, L., Schrijver, A.: Geometric Algorithms and Combinatorial Optimization, vol. 2. Springer, Berlin (1988)zbMATHCrossRefGoogle Scholar
  19. 19.
    Hammer, P., Johnson, E., Peled, U.: Facet of regular 0–1 polytopes. Math. Program. 8(1), 179–206 (1975)MathSciNetzbMATHCrossRefGoogle Scholar
  20. 20.
    Harary, F.: On the group of the composition of two graphs. Duke Math. J. 26(1), 29–34 (1959)MathSciNetzbMATHCrossRefGoogle Scholar
  21. 21.
    Harvey, W.: The fully social golfer problem. In: Smith, B.M., and Gent, I.P. (eds.) Proceedings of SymCom’03: The Third International Workshop on Symmetry in Constraint Satisfaction Problems, pp. 75–85 (2003)Google Scholar
  22. 22.
    Herr, K.: Core Sets and Symmetric Convex Optimization. Ph.D. thesis, Technische Universität Darmstadt (2013)Google Scholar
  23. 23.
    Herr, K., Rehn, T., Schürmann, A.: Exploiting symmetry in integer convex optimization using core points. Oper. Res. Lett. 41(3), 298–304 (2013)MathSciNetzbMATHCrossRefGoogle Scholar
  24. 24.
    Herr, K., Rehn, T., Schürmann, A.: On lattice-free orbit polytopes. Discrete Comput. Geom. 53(1), 144–172 (2015)MathSciNetzbMATHCrossRefGoogle Scholar
  25. 25.
    Hojny, C., Lüthen, H., Pfetsch, M.E.: On the size of integer programs with bounded coefficients or sparse constraints. Technical report, Optimization Online (2017). http://www.optimization-online.org/DB_HTML/2017/06/6056.html
  26. 26.
  27. 27.
    Januschowski, T., Pfetsch, M.E.: The maximum-colorable subgraph problem and orbitopes. Discrete Optim. 8(3), 478–494 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  28. 28.
    Kaibel, V.: Extended formulations in combinatorial optimization. Optima 85, 2–7 (2011)Google Scholar
  29. 29.
    Kaibel, V., Loos, A.: Branched polyhedral systems. In Eisenbrand, F., Shepherd, F.B. (eds.) Proceedings of the 14th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2010, Lausanne, Switzerland, 9–11 June 2010. LNCS, vol. 6080, pp. 177–190. Springer, Berlin (2010)Google Scholar
  30. 30.
    Kaibel, V., Loos, A.: Finding descriptions of polytopes via extended formulations and liftings. In: Mahjoub, A.R. (ed.) Progress in Combinatorial Optimization. Wiley, New York (2011)Google Scholar
  31. 31.
    Kaibel, V., Peinhardt, M., Pfetsch, M.E.: Orbitopal fixing. Discrete Optim. 8(4), 595–610 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  32. 32.
    Kaibel, V., Pfetsch, M.E.: Packing and partitioning orbitopes. Math. Program. 114(1), 1–36 (2008)MathSciNetzbMATHCrossRefGoogle Scholar
  33. 33.
    Koch, T., Achterberg, T., Andersen, E., Bastert, O., Berthold, T., Bixby, R.E., Danna, E., Gamrath, G., Gleixner, A.M., Heinz, S., Lodi, A., Mittelmann, H., Ralphs, T., Salvagnin, D., Steffy, D.E., Wolter, K.: MIPLIB 2010. Math. Program. Comput. 3(2), 103–163 (2011)MathSciNetCrossRefGoogle Scholar
  34. 34.
    Liberti, L.: Automatic generation of symmetry-breaking constraints. In: Yang, B., Du, D.-Z., Wang, C. (eds.) Combinatorial Optimization and Applications. Lecture Notes in Computer Science, vol. 5165, pp. 328–338. Springer, Berlin (2008)Google Scholar
  35. 35.
    Liberti, L.: Reformulations in mathematical programming: automatic symmetry detection and exploitation. Math. Program. 131(1–2), 273–304 (2012)MathSciNetzbMATHCrossRefGoogle Scholar
  36. 36.
    Liberti, L., Ostrowski, J.: Stabilizer-based symmetry breaking constraints for mathematical programs. J. Glob. Optim. 60, 183–194 (2014)MathSciNetzbMATHCrossRefGoogle Scholar
  37. 37.
    Loos, A.: Describing Orbitopes by Linear Inequalities and Projection Based Tools. Ph.D. thesis, University of Magdeburg (2010)Google Scholar
  38. 38.
    Maher, S.J., Fischer, T., Gally, T., Gamrath, G., Gleixner, A., Gottwald, R.L., Hendel, G., Koch, T., Lübbecke, M.E., Miltenberger, M., Müller, B., Pfetsch, M.E., Puchert, C., Rehfeldt, D., Schenker, S., Schwarz, R., Serrano, F., Shinano, Y., Weninger, D., Witt, J.T., Witzig, J.: The SCIP optimization suite 4.0. Technical report, Optimization Online (2017). http://www.optimization-online.org/DB_HTML/2017/03/5895.html
  39. 39.
    Margot, F.: Pruning by isomorphism in branch-and-cut. Math. Program. 94(1), 71–90 (2002)MathSciNetzbMATHCrossRefGoogle Scholar
  40. 40.
    Margot, F.: Exploiting orbits in symmetric ILP. Math. Program. 98(1–3), 3–21 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  41. 41.
    Margot, F.: Small covering designs by branch-and-cut. Math. Program. 94(2), 207–220 (2003)MathSciNetzbMATHCrossRefGoogle Scholar
  42. 42.
    Margot, F.: Symmetric ILP: coloring and small integers. Discrete Optim. 4(1), 40–62 (2007)MathSciNetzbMATHCrossRefGoogle Scholar
  43. 43.
    Margot, F.: Symmetry in integer linear programming. In: Jünger, M., Liebling, T.M., Naddef, D., Nemhauser, G.L., Pulleyblank, W.R., Reinelt, G., Rinaldi, G., Wolsey, L.A. (eds.) 50 Years of Integer Programming, pp. 647–686. Springer, Berlin (2010)zbMATHGoogle Scholar
  44. 44.
    Ostrowski, J., Anjos, M.F., Vannelli, A.: Symmetry in Scheduling Problems. Cahier du GERAD G-2010-69, GERAD, Montreal, QC, Canada (2010)Google Scholar
  45. 45.
    Ostrowski, J., Anjos, M.F., Vannelli, A.: Modified orbital branching for structured symmetry with an application to unit commitment. Math. Program. 150(1), 99–129 (2015)MathSciNetzbMATHCrossRefGoogle Scholar
  46. 46.
    Ostrowski, J., Linderoth, J., Rossi, F., Smriglio, S.: Orbital branching. Math. Program. 126(1), 147–178 (2011)MathSciNetzbMATHCrossRefGoogle Scholar
  47. 47.
    Pfetsch, M.E., Rehn, T.: A computational comparison of symmetry handling methods for mixed integer programs. Technical report, Optimization Online (2015). http://www.optimization-online.org/DB_FILE/2015/11/5209.pdf
  48. 48.
    Rehn, T.: Exploring Core Points for Fun and Profit—a Study of Lattice-Free Orbit Polytopes. Ph.D. thesis, Universität Rostock (2013)Google Scholar
  49. 49.
    Sawada, J., Williams, A.: A gray code for fixed-density necklaces and lyndon words in constant amortized time. Theor. Comput. Sci. 502, 46–54 (2013)MathSciNetzbMATHCrossRefGoogle Scholar
  50. 50.
    Schrijver, A.: Theory of Linear and Integer Programming. Wiley Interscience Series in Discrete Mathematics and Optimization. Wiley, New York (1986)Google Scholar
  51. 51.
    Sherali, H.D., Smith, J.C.: Improving discrete model representations via symmetry considerations. Manag. Sci. 47(10), 1396–1407 (2001)zbMATHCrossRefGoogle Scholar
  52. 52.
    Tarjan, R.E.: A class of algorithms which require nonlinear time to maintain disjoint sets. J. Comput. Syst. Sci. 18(2), 110–127 (1979)MathSciNetzbMATHCrossRefGoogle Scholar
  53. 53.
    Tarjan, R.E., van Leeuwen, J.: Worst-case analysis of set union algorithms. J. ACM 31(2), 245–281 (1984)MathSciNetzbMATHCrossRefGoogle Scholar
  54. 54.
    van Lint, J.H., Wilson, R.M.: A Course in Combinatorics, 2nd edn. Cambridge University Press, Cambridge (1993)Google Scholar
  55. 55.
    Vande Vate, J.H.: The path set polytope of an acyclic, directed graph with an application to machine sequencing. Networks 19(5), 607–614 (1989)MathSciNetzbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature and Mathematical Optimization Society 2018

Authors and Affiliations

  1. 1.Department of Mathematics, Research Group OptimizationTU DarmstadtDarmstadtGermany

Personalised recommendations