Biq Mac

Solving Max-cut to optimality by intersecting semidefinite and polyhedral relaxations. We present a method for finding exact solutions of Max-Cut, the problem of finding a cut of maximum weight in a weighted graph. We use a Branch-and-Bound setting that applies a dynamic version of the bundle method as bounding procedure. This approach uses Lagrangian duality to obtain a “nearly optimal” solution of the basic semidefinite Max-Cut relaxation, strengthened by triangle inequalities. The expensive part of our bounding procedure is solving the basic semidefinite relaxation of the Max-Cut problem, which has to be done several times during the bounding process. We review other solution approaches and compare the numerical results with our method. We also extend our experiments to instances of unconstrained quadratic 0-1 optimization and to instances of the graph equipartition problem. The experiments show that our method nearly always outperforms all other approaches. In particular, for dense graphs, where linear programming-based methods fail, our method performs very well. Exact solutions are obtained in a reasonable time for any instance of size up to $n = 100$, independent of the density. For some problems of special structure, we can solve even larger problem classes. We could prove optimality for several problems of the literature where, to the best of our knowledge, no other method is able to do so.


References in zbMATH (referenced in 88 articles , 1 standard article )

Showing results 1 to 20 of 88.
Sorted by year (citations)

1 2 3 4 5 next

  1. de Souza, Marcelo; Ritt, Marcus; López-Ibáñez, Manuel: Capping methods for the automatic configuration of optimization algorithms (2022)
  2. Kaparis, Konstantinos; Letchford, Adam N.; Mourtos, Ioannis: Generalised 2-circulant inequalities for the max-cut problem (2022)
  3. Bertsimas, Dimitris; Cory-Wright, Ryan; Pauphilet, Jean: A unified approach to mixed-integer optimization problems with logical constraints (2021)
  4. Chen, Liang; Li, Xudong; Sun, Defeng; Toh, Kim-Chuan: On the equivalence of inexact proximal ALM and ADMM for a class of convex composite programming (2021)
  5. Hrga, Timotej; Povh, Janez: \textttMADAM: a parallel exact solver for max-cut based on semidefinite programming and ADMM (2021)
  6. Kim, Sunyoung; Kojima, Masakazu; Toh, Kim-Chuan: A Newton-bracketing method for a simple conic optimization problem (2021)
  7. Lu, Cheng; Deng, Zhibin: A branch-and-bound algorithm for solving max-(k)-cut problem (2021)
  8. Nguyen, Viet Hung; Minoux, Michel: Linear size MIP formulation of max-cut: new properties, links with cycle inequalities and computational results (2021)
  9. Anjos, Miguel F.; Neto, José: A class of spectral bounds for max (k)-cut (2020)
  10. Bertsimas, Dimitris; Lamperski, Jourdain; Pauphilet, Jean: Certifiably optimal sparse inverse covariance estimation (2020)
  11. Gaar, Elisabeth; Rendl, Franz: A computational study of exact subgraph based SDP bounds for max-cut, stable set and coloring (2020)
  12. Jarre, Florian; Lieder, Felix; Liu, Ya-Feng; Lu, Cheng: Set-completely-positive representations and cuts for the max-cut polytope and the unit modulus lifting (2020)
  13. Kobayashi, Ken; Takano, Yuich: A branch-and-cut algorithm for solving mixed-integer semidefinite optimization problems (2020)
  14. Lee, Jon; Skipper, Daphne: Volume computation for sparse Boolean quadric relaxations (2020)
  15. Sharifov, F.; Hulianytskyi, L.: Cuts in undirected graphs. II (2020)
  16. Sharifov, F.; Hulianytskyi, L.: Cuts in undirected graphs. I (2020)
  17. Sun, Defeng; Toh, Kim-Chuan; Yuan, Yancheng; Zhao, Xin-Yuan: SDPNAL+: A Matlab software for semidefinite programming with bound constraints (version 1.0) (2020)
  18. Zhang, Junyu; Ma, Shiqian; Zhang, Shuzhong: Primal-dual optimization algorithms over Riemannian manifolds: an iteration complexity analysis (2020)
  19. Anjos, Miguel F.; Neto, José: Spectral bounds for graph partitioning with prescribed partition sizes (2019)
  20. Campos, Juan S.; Misener, Ruth; Parpas, Panos: A multilevel analysis of the Lasserre hierarchy (2019)

1 2 3 4 5 next