Discrete Geometry and Optimization pp 17-32

Part of the Fields Institute Communications book series (FIC, volume 69) | Cite as

Engineering Branch-and-Cut Algorithms for the Equicut Problem

  • Miguel F. Anjos
  • Frauke Liers
  • Gregor Pardella
  • Andreas Schmutzer
Chapter

Abstract

A minimum equicut of an edge-weighted graph is a partition of the nodes of the graph into two sets of equal size such that the sum of the weights of edges joining nodes in different partitions is minimum. We compare basic linear and semidefinite relaxations for the equicut problem, and find that linear bounds are competitive with the corresponding semidefinite ones but can be computed much faster. Motivated by an application of equicut in theoretical physics, we revisit an approach by Brunetta et al. and present an enhanced branch-and-cut algorithm. Our computational results suggest that the proposed branch-and-cut algorithm has a better performance than the algorithm of Brunetta et al. Further, it is able to solve to optimality in reasonable time several instances with more than 200 nodes from the physics application.

Key words

Equicut Maximum-Cut Bisection Graph partitioning Linear programming Semidefinite programming Branch-and-cut 

Subject Classifications

90C57 90C22 90C05 90C27 

References

  1. 1.
    Applegate, D., Bixby, R.E., Chvátal, V., Cook, W.J. et al.: TSP cuts which do not conform to the template paradigm. Comput. Comb. Optim. 2241, 261–303 (2001)Google Scholar
  2. 2.
    Armbruster, M., Fügenschuh, M., Helmberg, C., Martin, A.: A comparative study of linear and semidefinite branch-and-cut methods for solving the minimum graph bisection problem. In: Integer Programming and Combinatorial Optimization, IPCO’08, Bertinoro, pp. 112–124 (2008)Google Scholar
  3. 3.
    Armbruster, M., Fügenschuh, M., Helmberg, C., Martin, A.: LP and SDP branch-and-cut algorithms for the minimum graph bisection problem: a computational comparison. Math. Program. Comput. 4, 275–306 (2012)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Barahona, F., Grötschel, M., Mahjoub, A.R.: Facets of the bipartite subgraph polytope. Math. Oper. Res. 10(2), 340–358 (1985)MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Barahona, F., Grötschel, M., Jünger, M., Reinelt, G.: An application of combinatorial optimization to statistical physics and circuit layout design. Oper. Res. 36(3), 493–513 (1988)MATHCrossRefGoogle Scholar
  6. 6.
    Billionnet, A., Elloumi, S., Plateau, M.C.: Quadratic convex reformulation: a computational study of the graph bisection problem. Technical report, Laboratoire CEDRIC (2005)Google Scholar
  7. 7.
    Borchers, B.: CSDP, A C library for semidefinite programming. Optim. Methods Softw. 11(1–4), 613–623 (1999). Special Issue: Interior Point MethodsGoogle Scholar
  8. 8.
    Brunetta, L., Conforti, M., Rinaldi, G.: A branch-and-cut algorithm for the equicut problem. Math. Program. B 78(2), 243–263 (1997)MathSciNetMATHCrossRefGoogle Scholar
  9. 9.
    Buchheim, C., Liers, F., Oswald, M.: Local cuts revisited. Oper. Res. Lett. 36(4), 430–433 (2008)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Conforti, M., Rao, M.R., Sassano, A.: The equipartition polytope. I: formulations, dimension and basic facets. Math. Program. A 49, 49–70 (1990)MathSciNetMATHGoogle Scholar
  11. 11.
    Conforti, M., Rao, M.R., Sassano, A.: The equipartition polytope. II: valid inequalities and facets. Math. Program. A 49, 71–90 (1990)MathSciNetMATHCrossRefGoogle Scholar
  12. 12.
    CPLEX®; Callable Library version 12.1 – C API Reference Manual. ftp://ftp.software.ibm.com/software/websphere/ilog/docs/optimization/cplex/refcallablelibrary.pdf (2009)
  13. 13.
    de Simone, C.: The cut polytope and the boolean quadric polytope. Discret. Math. 79(1), 71–75 (1990)MATHCrossRefGoogle Scholar
  14. 14.
    de Souza, C.C., Laurent, M.: Some new classes of facets for the equicut polytope. Discret. Appl. Math. 62(1–3), 167–191 (1995)MATHCrossRefGoogle Scholar
  15. 15.
    Deza, M.M., Laurent, M.: Geometry of Cuts and Metrics, 1st edn. Springer, New York (1997)MATHGoogle Scholar
  16. 16.
    Edmonds, J., Johnson, E.L.: Matching: a well-solved class of integer linear programs. In: Guy, R. (ed.) Combinatorial Structures and Their Applications, pp. 89–92. Gordon and Breach, New York (1970)Google Scholar
  17. 17.
    Ferreira, C., Martin, A., de Souza, C., Weismantel, R., Wolsey, L.: Formulations and valid inequalities for the node capacitated graph partitioning problem. Math. Program. 74, 247–266 (1996)MATHGoogle Scholar
  18. 18.
    Ferreira, C.E., Martin, A., de Souza, C.C., Weismantel, R., Wolsey, L.A.: The node capacitated graph partitioning problem: a computational study. Math. Program. 81, 229–256 (1998)MATHGoogle Scholar
  19. 19.
    Frieze, A.M., Jerrum, M.: Improved approximation algorithms for max k-cut and max bisection. In: Proceedings of the 4th International IPCO Conference on Integer Programming and Combinatorial Optimization, Copenhagen, pp. 1–13. Springer, London (1995)Google Scholar
  20. 20.
    Anjos, M.F., Liers, F., Pardella, G., and Schmutzer, A.: Instances and computational results. (2012) http://cophy.informatik.uni-koeln.de/eng_eq_ref.html
  21. 21.
    Ibarra, O.H., Kim, C.E.: Fast approximation algorithms for the knapsack and sum of subset problems. J. ACM 22, 463–468 (1975)MathSciNetMATHCrossRefGoogle Scholar
  22. 22.
    Johnson, E.L., Mehrotra, A., Nemhauser, G.L.: Min-cut clustering. Math. Program. 62, 133–151 (1993)MathSciNetMATHCrossRefGoogle Scholar
  23. 23.
    Jünger, M., Reinelt, G., Rinaldi, G.: Lifting and separation procedures for the cut polytope. Technical report, IASI-CNR, R. 11–14 (2011)Google Scholar
  24. 24.
    Karisch, S.E., Rendl, F.: Semidefinite programming and graph equipartition. In: Pardalos, P.M., Wolkowicz, H. (eds.) Topics in Semidefinite and Interior-Point Methods, pp. 77–95. AMS, Providence (1998)Google Scholar
  25. 25.
    Karisch, S.E., Rendl, F., Clausen, J.: Solving graph bisection problems with semidefinite programming. INFORMS J. Comput. 12(3), 177–191 (2000)MathSciNetMATHCrossRefGoogle Scholar
  26. 26.
    Kernighan, B., Lin, S.: An efficient heuristic procedure for partitioning graphs. Bell Syst. Tech. J. 49, 291–307 (1970)MATHGoogle Scholar
  27. 27.
    Klerk, E., Pasechnik, D., Sotirov, R., Dobre, C.: On semidefinite programming relaxations of maximum k-section. Math. Program. 136(2):1–26 (2012)MathSciNetCrossRefGoogle Scholar
  28. 28.
    Letchford, A.N., Reinelt, G., Theis, D.O.: A faster exact separation algorithm for blossom inequalities. In: IPCO’04, New York, pp. 196–205 (2004)Google Scholar
  29. 29.
    Mehrotra, A.: Cardinality constrained boolean quadratic polytope. Discret. Appl. Math. 79(1–3), 137–154 (1997)MathSciNetMATHCrossRefGoogle Scholar
  30. 30.
    Prim, R.C.: Shortest connection networks and some generalizations. Bell Syst. Tech. J. 36, 1389–1401 (1957)Google Scholar
  31. 31.
    Rendl, F., Rinaldi, G., Wiegele, A.: Solving max-cut to optimality by intersecting semidefinite and polyhedral relaxations. Math. Program. 121(2), 307–355 (2010)MathSciNetMATHCrossRefGoogle Scholar
  32. 32.
    Sotirov, R.: An Efficient Semidefinite Programming Relaxation for the Graph Partition Problem. INFORMS J. Comput. (to appear)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Miguel F. Anjos
    • 1
  • Frauke Liers
    • 2
  • Gregor Pardella
    • 3
  • Andreas Schmutzer
    • 3
  1. 1.Canada Research Chair in Discrete Nonlinear Optimization in EngineeringGERAD & École Polytechnique de MontréalMontrealCanada
  2. 2.Department MathematikFriedrich-Alexander-Universität Erlangen-NürnbergErlangenGermany
  3. 3.Institut für InformatikUniversität zu KölnKölnGermany

Personalised recommendations