Abstract:In this paper, we develop a semidefinite relaxation-based branch-and-bound algorithm that exploits the chordal sparsity patterns of the max-cut problem. We first study how the chordal sparsity pattern affects the hardness of a max-cut problem. To do this, we derive a polyhedral relaxation based on the clique decomposition of the chordal sparsity patterns and prove some sufficient conditions for the tightness of this polyhedral relaxation. The theoretical results show that the max-cut problem is easy to solve when the sparsity pattern embedded in the problem has a small treewidth and the number of vertices in the intersection of maximal cliques is small. Based on the theoretical results, we propose a new branching rule called hierarchy branching rule, which utilizes the tree decomposition of the sparsity patterns. We also analyze how the proposed branching rule affects the chordal sparsity patterns embedded in the problem, and explain why it can be effective. The numerical experiments show that the proposed algorithm is superior to those known algorithms using classical branching rules and the state-of-the-art solver BiqCrunch on most instances with sparsity patterns arisen in practical applications.

Canonical Dual Approach to Solving the Maximum Cut Problem

A Canonical Dual Approach for Solving Linearly Constrained Quadratic Programs

Canonical Dual Solutions to Quadratic Optimization over One Quadratic Constraint.

Global Solutions to Large-Scale Spherical Constrained Quadratic Minimization via Canonical Dual Approach

Canonical Solutions to Nonconvex Minimization Problems over Lorentz Cone

A simple algorithm for Max Cut

An approximation algorithm for Maximum DiCut vs. Cut

Extended canonical duality and conic programming for solving 0-1 quadratic programming problems

O C ] 1 7 M ar 2 01 8 A simple algorithm for Max Cut

A New Approach to Constructing a Minimum Edge Cut Set Based on Maximum Flow.

A splitting primal-dual proximity algorithm for solving composite optimization problems

MADAM: A parallel exact solver for Max-Cut based on semidefinite programming and ADMM

Improved Approximation Algorithms for MAX

A New Global Algorithm for Max-Cut Problem with Chordal Sparsity

Solving Maximum Cut Problems in the Adleman-Lipton Model

A Minimization Approach for Minimax Optimization with Coupled Constraints

Stabilizer Approximation III: Maximum Cut

Optimal solutions to a class of nonconvex minimization problems with linear inequality constraints

Applying the canonical dual theory in optimal control problems

Solving Euclidean Max-Sum problems exactly with cutting planes

A Minimizing Algorithm for Complex Nonconvex Nondifferentiable Functions