A Branch and Bound Algorithm for Max-Cut Based on Combining Semidefinite and Polyhedral Relaxations

  • Franz Rendl
  • Giovanni Rinaldi
  • Angelika Wiegele
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4513)

Abstract

In this paper we present a method for finding exact solutions of the Max-Cut problem max xTLx such that x ∈ { − 1,1}n. We use a semidefinite relaxation combined with triangle inequalities, which we solve with the bundle method. This approach is due to [12] and uses Lagrangian duality to get upper bounds with reasonable computational effort. The expensive part of our bounding procedure is solving the basic semidefinite programming relaxation of the Max-Cut problem.

We review other solution approaches and compare the numerical results with our method. We also extend our experiments to unconstrained quadratic 0-1 problems and to instances of the graph bisection problem.

The experiments show, that our method nearly always outperforms all other approaches. Our algorithm, which is publicly accessible through the Internet, can solve virtually any instance with about 100 variables in a routine way.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Barahona, F., Ladányi, L.: Branch and cut based on the volume algorithm: Steiner trees in graphs and max-cut. RAIRO Oper. Res. 40(1), 53–73 (2006)MATHCrossRefMathSciNetGoogle Scholar
  2. 2.
    Barahona, F., Grötschel, M., Jünger, M., Reinelt, G.: An application of combinatorial optimization to statistical physics and circuit layout design. Operations Research 36, 493–513 (1988)MATHGoogle Scholar
  3. 3.
    Barahona, F., Jünger, M., Reinelt, G.: Experiments in quadratic 0-1 programming. Math. Programming, Ser. A 44(2), 127–137 (1989)MATHCrossRefGoogle Scholar
  4. 4.
    Beasley, J.E.: Or-library: distributing test problems by electronic mail. J. Oper. Res. Soc. 41(11), 1069–1072 (1990)CrossRefGoogle Scholar
  5. 5.
    Beasley, J.E.: Or-library (1990), http://people.brunel.ac.uk/~mastjjb/jeb/info.html
  6. 6.
    Beasley, J.E.: Heuristic algorithms for the unconstrained binary quadratic programming problem. Technical report, The Management School, Imperial College, London, England (1998)Google Scholar
  7. 7.
    Billionnet, A., Elloumi, S.: Using a mixed integer quadratic programming solver for the unconstrained quadratic 0-1 problem. Math. Programming, Ser. A 109(1), 55–68 (2007)MATHCrossRefMathSciNetGoogle Scholar
  8. 8.
    Boros, E., Hammer, P.L., Tavares, G.: The pseudo-boolean optimization website (2005), http://rutcor.rutgers.edu/~pbo/
  9. 9.
    De Simone, C., Diehl, M., Jünger, M., Mutzel, P., Reinelt, G., Rinaldi, G.: Exact ground states of Ising spin glasses: New experimental results with a branch-and-cut algorithm. J. Statist. Phys. 80(1-2), 487–496 (1995)MATHCrossRefGoogle Scholar
  10. 10.
    Delorme, C., Poljak, S.: Laplacian eigenvalues and the maximum cut problem. Math. Programming, Ser. A 62(3), 557–574 (1993)CrossRefMathSciNetGoogle Scholar
  11. 11.
    Elf, M., Jünger, M., Rinaldi, G.: Minimizing breaks by maximizing cuts. Operations Research Letters 31, 343–349 (2003)MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    Fischer, I., Gruber, G., Rendl, F., Sotirov, R.: Computational experience with a bundle approach for semidefinite cutting plane relaxations of Max-Cut and equipartition. Math. Programming, Ser. B 105(2-3), 451–469 (2006)MATHCrossRefMathSciNetGoogle Scholar
  13. 13.
    Frangioni, A., Lodi, A., Rinaldi, G.: New approaches for optimizing over the semimetric polytope. Math. Program., Ser. B 104(2-3), 375–388 (2005)MATHCrossRefMathSciNetGoogle Scholar
  14. 14.
    Glover, F., Kochenberger, G., Alidaee, B.: Adaptative memory tabu search for binary quadratic programs. Management Sci 44(3), 336–345 (1998)MATHGoogle Scholar
  15. 15.
    Goemans, M.X., Williamson, D.P.: 878-approximation algorithms for max cut and max 2sat. In: Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing, Montreal, Quebec, Canada, pp. 422–431 (1994)Google Scholar
  16. 16.
    Goemans, M.X., Williamson, D.P.: Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming. J. Assoc. Comput. Mach. 42(6), 1115–1145 (1995), preliminary version see: Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing, Montreal, Quebec, Canada, pp. 422–431 (1994) MATHMathSciNetGoogle Scholar
  17. 17.
    Helmberg, C.: Fixing variables in semidefinite relaxations. SIAM J. Matrix Anal. Appl. (electronic) 21(3), 952–969 (2000)MATHCrossRefMathSciNetGoogle Scholar
  18. 18.
    Helmberg, C., Rendl, F.: Solving quadratic (0,1)-problems by semidefinite programs and cutting planes. Math. Programming, Ser. A 82(3), 291–315 (1998)CrossRefMathSciNetGoogle Scholar
  19. 19.
    Johnson, D.S., Aragon, C.R., McGeoch, L.A., Schevon, C.: Optimization by simulated annealing: an experimental evaluation. part i, graph partitioning. Oper. Res. 37(6), 865–892 (1989)MATHCrossRefGoogle Scholar
  20. 20.
    Karisch, S.E., Rendl, F.: Semidefinite programming and graph equipartition. In: Topics in semidefinite and interior-point methods, Toronto, ON, 1996. Fields Inst. Commun, vol. 18, pp. 77–95. Amer. Math. Soc., Providence (1998)Google Scholar
  21. 21.
    Kim, S., Kojima, M.: Second order cone programming relaxation of nonconvex quadratic optimization problems. Optim. Methods Softw. 15(3-4), 201–224 (2001)MATHCrossRefMathSciNetGoogle Scholar
  22. 22.
    Liers, F.: Contributions to Determining Exact Ground-States of Ising Spin-Glasses and to their Physics. PhD thesis, Universität zu Köln (2004)Google Scholar
  23. 23.
    Liers, F., Jünger, M., Reinelt, G., Rinaldi, G.: Computing exact ground states of hard ising spin glass problems by branch-and-cut. In: Hartmann, A., Rieger, H. (eds.) New Optimization Algorithms in Physics, pp. 47–68. Wiley, Chichester (2004)CrossRefGoogle Scholar
  24. 24.
    Muramatsu, M., Suzuki, T.: A new second-order cone programming relaxation for MAX-CUT problems. J. Oper. Res. Soc. Japan 46(2), 164–177 (2003)MATHMathSciNetGoogle Scholar
  25. 25.
    Pardalos, P.M., Rodgers, G.P.: Computational aspects of a branch and bound algorithm for quadratic zero-one programming. Computing 45(2), 131–144 (1990)MATHCrossRefMathSciNetGoogle Scholar
  26. 26.
    Pardalos, P.M., Rodgers, G.P.: Parallel branch and bound algorithms for quadratic zero-one programs on the hypercube architecture. Ann. Oper. Res. 22(1-4), 271–292 (1990)MATHCrossRefMathSciNetGoogle Scholar
  27. 27.
    Poljak, S., Rendl, F.: Solving the max-cut problem using eigenvalues. Discrete Appl. Math. 62(1-3), 249–278 (1995)MATHCrossRefMathSciNetGoogle Scholar
  28. 28.
    Poljak, S., Rendl, F.: Nonpolyhedral relaxations of graph-bisection problems. SIAM J. Optim. 5(3), 467–487 (1995)MATHCrossRefMathSciNetGoogle Scholar
  29. 29.
    Rendl, F., Rinaldi, G., Wiegele, A.: Biq Mac – a solver for binary quadratic and max-cut problems (2006), http://BiqMac.uni-klu.ac.at/
  30. 30.
  31. 31.
    Wiegele, A.: Nonlinear optimization techniques applied to combinatorial optimization problems. PhD thesis, Alpen-Adria-Universität Klagenfurt (2006)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Franz Rendl
    • 1
  • Giovanni Rinaldi
    • 2
  • Angelika Wiegele
    • 1
  1. 1.Alpen-Adria-Universität Klagenfurt, Institut für Mathematik, Universitätsstr. 65-67, 9020 KlagenfurtAustria
  2. 2.Istituto di Analisi dei Sistemi ed Informatica “Antonio Ruberti” – CNR, Viale Manzoni, 30, 00185 RomaItaly

Personalised recommendations