Efficient Semidefinite Branch-and-Cut for MAP-MRF Inference

04/20/2014
by   Peng Wang, et al.
0

We propose a Branch-and-Cut (B&C) method for solving general MAP-MRF inference problems. The core of our method is a very efficient bounding procedure, which combines scalable semidefinite programming (SDP) and a cutting-plane method for seeking violated constraints. In order to further speed up the computation, several strategies have been exploited, including model reduction, warm start and removal of inactive constraints. We analyze the performance of the proposed method under different settings, and demonstrate that our method either outperforms or performs on par with state-of-the-art approaches. Especially when the connectivities are dense or when the relative magnitudes of the unary costs are low, we achieve the best reported results. Experiments show that the proposed algorithm achieves better approximation than the state-of-the-art methods within a variety of time budgets on challenging non-submodular MAP-MRF inference problems.

READ FULL TEXT
research
04/26/2019

An efficient branch-and-cut algorithm for approximately submodular function maximization

When approaching to problems in computer science, we often encounter sit...
research
06/01/2017

The Mixing method: coordinate descent for low-rank semidefinite programming

In this paper, we propose a coordinate descent approach to low-rank stru...
research
11/11/2020

Complexity of branch-and-bound and cutting planes in mixed-integer optimization – II

We study the complexity of cutting planes and branching schemes from a t...
research
09/19/2022

Global Optimization for Cardinality-constrained Minimum Sum-of-Squares Clustering via Semidefinite Programming

The minimum sum-of-squares clustering (MSSC), or k-means type clustering...
research
07/14/2021

Zeroth and First Order Stochastic Frank-Wolfe Algorithms for Constrained Optimization

This paper considers stochastic convex optimization problems with two se...
research
10/08/2019

On Polyhedral and Second-Order-Cone Decompositions of Semidefinite Optimization Problems

We study a cutting-plane method for semidefinite optimization problems (...
research
08/14/2018

Finding Minimal Cost Herbrand Models with Branch-Cut-and-Price

Given (1) a set of clauses T in some first-order language L and (2) a c...

Please sign up or login with your details

Forgot password? Click here to reset