Computational study of valid inequalities for the maximum k-cut problem

We consider the maximum k-cut problem that consists in partitioning the vertex set of a graph into k subsets such that the sum of the weights of edges joining vertices in different subsets is maximized. We focus on identifying effective classes of inequalities to tighten the semidefinite programming relaxation. We carry out an experimental study of four classes of inequalities from the literature: clique, general clique, wheel and bicycle wheel. We considered 10 combinations of these classes and tested them on both dense and sparse instances for $$ k \in \{3,4,5,7\} $$k∈{3,4,5,7}. Our computational results suggest that the bicycle wheel and wheel are the strongest inequalities for $$ k=3 $$k=3, and that for $$ k \in \{4,5,7\} $$k∈{4,5,7} the wheel inequalities are the strongest by far. Furthermore, we observe an improvement in the performance for all choices of k when both bicycle wheel and wheel are used, at the cost of 72% more CPU time on average when compared with using only one of them.

[1]  Cristopher Moore,et al.  MAX k‐CUT and approximating the chromatic number of random graphs , 2003, Random Struct. Algorithms.

[2]  Andreas Eisenblätter,et al.  The Semidefinite Relaxation of the k -Partition Polytope Is Strong , 2002, IPCO.

[3]  Franz Rendl,et al.  Solving Max-Cut to optimality by intersecting semidefinite and polyhedral relaxations , 2009, Math. Program..

[4]  Adam N. Letchford,et al.  Projection results for the -partition problem , 2017, Discret. Optim..

[5]  Omid Motlagh,et al.  A genetic algorithm for optimization of integrated scheduling of cranes, vehicles, and storage platforms at automated container terminals , 2014, J. Comput. Appl. Math..

[6]  V. Nikiforov Max k-cut and the smallest eigenvalue , 2016 .

[7]  Martin Grötschel,et al.  An Application of Combinatorial Optimization to Statistical Physics and Circuit Layout Design , 1988, Oper. Res..

[8]  Mihalis Yannakakis,et al.  Optimization, approximation, and complexity classes , 1991, STOC '88.

[9]  Miguel F. Anjos,et al.  A branch-and-cut algorithm based on semidefinite programming for the minimum k-partition problem , 2011, Ann. Oper. Res..

[10]  Jorge J. Moré,et al.  Digital Object Identifier (DOI) 10.1007/s101070100263 , 2001 .

[11]  Renata Sotirov,et al.  An Efficient Semidefinite Programming Relaxation for the Graph Partition Problem , 2014, INFORMS J. Comput..

[12]  Martin Grötschel,et al.  Clique-Web Facets for Multicut Polytopes , 1992, Math. Oper. Res..

[13]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[14]  J. Mitchell Realignment in the National Football League: Did they do it right? , 2003 .

[15]  Mauricio G. C. Resende,et al.  Greedy Randomized Adaptive Search Procedures , 1995, J. Glob. Optim..

[16]  Renata Sotirov,et al.  Semidefinite programming and eigenvalue bounds for the graph partition problem , 2013, Math. Program..

[17]  D. V. Pasechnik,et al.  On approximate graph colouring and MAX-k-CUT algorithms based on the theta-function , 2002 .

[18]  R. Sotirov,et al.  New bounds for the max-k-cut and chromatic number of a graph , 2015, 1503.06595.

[19]  Rajeev Kohli,et al.  The capacitated max k-cut problem , 2005, Math. Program..

[20]  Ernest S. Kuh,et al.  Simultaneous Floor Planning and Global Routing for Hierarchical Building-Block Layout , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[21]  M. R. Rao,et al.  The partition problem , 1993, Math. Program..

[22]  Bert Gerards Testing the Odd Bicycle Wheel Inequalities for the Bipartite Subgraph Polytope , 1985, Math. Oper. Res..

[23]  Michel Deza,et al.  Geometry of cuts and metrics , 2009, Algorithms and combinatorics.

[24]  G. Rinaldi,et al.  Computational approaches to Max-Cut , 2012 .

[25]  Jin-Kao Hao,et al.  A multiple search operator heuristic for the max-k-cut problem , 2015, Ann. Oper. Res..

[26]  Stefan M. Wild,et al.  Benchmarking Derivative-Free Optimization Algorithms , 2009, SIAM J. Optim..

[27]  Frédéric Roupin,et al.  Improved semidefinite bounding procedure for solving Max-Cut problems to optimality , 2014, Math. Program..

[28]  Miguel F. Anjos,et al.  Solving k -way Graph Partitioning Problems to Optimality: The Impact of Semidefinite Relaxations and the Bundle Method , 2013 .

[29]  Alan M. Frieze,et al.  Improved approximation algorithms for MAXk-CUT and MAX BISECTION , 1995, Algorithmica.

[30]  G. Reinelt,et al.  2 Computing Exact Ground Statesof Hard Ising Spin Glass Problemsby Branch-and-Cut , 2005 .

[31]  M. R. Rao,et al.  Facets of the K-partition Polytope , 1995, Discret. Appl. Math..