Abstract:By concisely representing a joint function of many variables as the combination of small functions, discrete graphical models (GMs) provide a powerful framework to analyze stochastic and deterministic systems of interacting variables. One of the main queries on such models is to identify the extremum of this joint function. This is known as the Weighted Constraint Satisfaction Problem (WCSP) on deterministic Cost Function Networks and as Maximum a Posteriori (MAP) inference on stochastic Markov Random Fields. Algorithms for approximate WCSP inference typically rely on local consistency algorithms or belief propagation. These methods are intimately related to linear programming (LP) relaxations and often coupled with reparametrizations defined by the dual solution of the associated LP. Since the seminal work of Goemans and Williamson, it is well understood that convex SDP relaxations can provide superior guarantees to LP. But the inherent computational cost of interior point methods has limited their application. The situation has improved with the introduction of non-convex Burer-Monteiro style methods which are well suited to handle the SDP relaxation of combinatorial problems with binary variables (such as MAXCUT, MaxSAT or MAP/Ising). We compute low rank SDP upper and lower bounds for discrete pairwise graphical models with arbitrary number of values and arbitrary binary cost functions by extending a Burer-Monteiro style method based on row-by-row updates. We consider a traditional dualized constraint approach and a dedicated Block Coordinate Descent approach which avoids introducing large penalty coefficients to the formulation. On increasingly hard and dense WCSP/CFN instances, we observe that the BCD approach can outperform the dualized approach and provide tighter bounds than local consistencies/convergent message passing approaches.

Towards Efficient and Exact MAP-Inference for Large Scale Discrete Computer Vision Problems via Combinatorial Optimization

Accelerating Globally Optimal Consensus Maximization in Geometric Vision

Efficient Large Scale Inlier Voting for Geometric Vision Problems

Efficient Message Passing Methods With Fully Connected Models for Early Vision

Coordinate Discrete Optimization for Efficient Cross-View Image Retrieval.

Toward an Over-parameterized Direct-Fit Model of Visual Perception

Efficient Learning of Discrete Graphical Models

Efficient semidefinite bounds for multi-label discrete graphical models

Inference in Graphical Models via Semidefinite Programming Hierarchies

VN-Solver: Vision-based Neural Solver for Combinatorial Optimization over Graphs

VICAN: Very Efficient Calibration Algorithm for Large Camera Networks

Efficient Sdp Inference For Fully-Connected Crfs Based On Low-Rank Decomposition

Optimization of Graph Total Variation via Active-Set-based Combinatorial Reconditioning

VisionGraph: Leveraging Large Multimodal Models for Graph Theory Problems in Visual Context

Rethinking the Inception Architecture for Computer Vision

Approximate labeling via graph cuts based on linear programming

Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper

Permutation Picture of Graph Combinatorial Optimization Problems

Efficient Learning of Discrete-Continuous Computation Graphs

Compact Projection: Simple and Efficient Near Neighbor Search with Practical Memory Requirements