Abstract:Message-passing algorithms based on belief-propagation (BP) are successfully used in many applications including decoding error correcting codes and solving constraint satisfaction and inference problems. BP-based algorithms operate over graph representations, called factor graphs, that are used to model the input. Although in many cases BP-based algorithms exhibit impressive empirical results, not much has been proved when the factor graphs have cycles. This work deals with packing and covering integer programs in which the constraint matrix is zero-one, the constraint vector is integral, and the variables are subject to box constraints. We study the performance of the min-sum algorithm when applied to the corresponding factor graph models of packing and covering LPs. We compare the solutions computed by the min-sum algorithm for packing and covering problems to the optimal solutions of the corresponding linear programming (LP) relaxations. In particular, we prove that if the LP has an optimal fractional solution, then for each fractional component, the min-sum algorithm either computes multiple solutions or the solution oscillates below and above the fraction. This implies that the min-sum algorithm computes the optimal integral solution only if the LP has a unique optimal solution that is integral. The converse is not true in general. For a special case of packing and covering problems, we prove that if the LP has a unique optimal solution that is integral and on the boundary of the box constraints, then the min-sum algorithm computes the optimal solution in pseudo-polynomial time. Our results unify and extend recent results for the maximum weight matching problem by [Sanghavi et al.,'2011] and [Bayati et al., 2011] and for the maximum weight independent set problem [Sanghavi et al.'2009].

Heuristic Methods For Computing The Minimal Multi-Homogeneous Bezout Number

Minimizing multi-homogeneous Bézout numbers by a local search method

Optimization problem in multi-homogeneous homotopy method

A hybrid algorithm for multi-homogeneous Bézout number

Computing the Optimal Partition of Variables in Multi-Homogeneous Homotopy Methods

Minimization of differential equations and algebraic values of $E$-functions

Computing The Minimum Distance Between Two Ellipsoids

The Polynomlial Algorithm Finding a Basic Feasible Solution in the Sense of Probability

Lower Estimate of Milnor Number and Characterization of Isolated Homogeneous Hypersurface Singularities

Five Guidelines for Partition Analysis with Applications to Lecture Hall-type Theorems

A Single-Variable Method for Solving the Min–Max Programming Problem with Addition–Overlap Function Composition

On the Computing of the Minimum Distance of Linear Block Codes by Heuristic Methods

Analysis of the Min-Sum Algorithm for Packing and Covering Problems via Linear Programming

3-Partitioning Problems for Maximizing the Minimum Load

Alternately linearized implicit iteration methods for the minimal nonnegative solutions of the nonsymmetric algebraic Riccati equations

An algorithm for computing bidirectional minimal polynomials for multisequences

NON-CONVEX COMBINATION ALGORITHM FOR A FAMILY OF SPLIT PSEUDOMONOTONE EQUILIBRIUM PROBLEMS IN HILBERT SPACE

Accelerated iterative splitting methods on Hadamard manifolds

On a problem of Nathanson related to minimal asymptotic bases of order $h$

A heuristic method for the minimum toll booth problem

Iterative Thresholding Methods for Longest Minimal Length Partitions