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].

Calculating Linear Time Algorithms for Solving Maximum Weightsum Problems

Make It Practical: a Generic Linear-Time Algorithm for Solving Maximum-Weightsum Problems.

Maximum Marking Problems with Accumulative Weight Functions

Linear-Time Approximation for Maximum Weight Matching

Generalized weight approximation by maximal families with applications

Scaling algorithms for approximate and exact maximum weight matching

A Scaling Algorithm for Maximum Weight Matching in Bipartite Graphs

Formal Derivation of Parallel Program for 2-Dimensional Maximum Segment Sum Problem

Solution Algorithms for the Total Weighted Completion Time Minimization Flow Shop Scheduling with Decreasing Linear Deterioration

Approximating Maximum Weight Matching in Near-Linear Time

Derivation of Parallel Programs for Maximum Marking Problems on Lists

Solving more general maximum marking problems on recursive data structures

MmpP: Maximum Marking Problems in Parallel

An Efficient Algorithm For Finding A Maximum Weight 2-Independent Set On Interval-Graphs

Exact Algorithms for Maximizing Lifetime of WSNs Using Integer Linear Programming.

A New Solution Approach to the General Min-Max Sequencing Problem

Some Graph Optimization Problems with Weights Satisfying Linear Constraints

An ADD-based Algorithm for Maximum Weight Matching in Bipartite Graphs

Scheduling to Minimize Total Weighted Completion Time via Time-Indexed Linear Programming Relaxations

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

The Summation and Bottleneck Minimization for Single-Step Searching on Weighted Graphs