Abstract:Our model is a generalized linear programming relaxation of a much studied random K-SAT problem. Specifically, a set of linear constraints C on K variables is fixed. From a pool of n variables, K variables are chosen uniformly at random and a constraint is chosen from C also uniformly at random. This procedure is repeated m times independently. We ask the following question: is the resulting linear programming problem feasible? We show that the feasibility property experiences a linear phase transition, when n diverges to infinity and m=cn for some constant c. Namely, there exists a critical value c* such that, when c<c*, the system is feasible or is asymptotically almost feasible, as n increases, but, when c>c*, the "distance" from feasibility is at least a positive constant independent of n. Our results are obtained using powerful local weak convergence methods developed by Aldous and Steele. By exploiting a linear programming duality, our theorem implies the following result in the context of sparse random graphs G(n, cn) on n nodes with cn edges, where edges are equipped with randomly generated weights. Let M(n,c) denote maximum weight matching in G(n, cn). We prove that when c is a constant and n\to\infty, the limit \lim_n M(n,c)/n exists, with high probability. We further extend this result to maximum weight b-matchings also in G(n,cn).

Exact Phase Transitions in Random Constraint Satisfaction Problems

Balanced Random Constraint Satisfaction: Phase Transition and Hardness.

Counting Solutions of Constraint Satisfiability Problems:Exact Phase Transitions and Approximate Algorithm

The solution space structure of planted constraint satisfaction problems with growing domains

Threshold behaviors of a random constraint satisfaction problem with exact phase transitions

Solution space structure of random constraint satisfaction problems with growing domains

Consistency and Random Constraint Satisfaction Models

Analytical And Belief-Propagation Studies Of Random Constraint Satisfaction Problems With Growing Domains

Variable-Centered Consistency in Model RB

A Message-Passing Approach to Random Constraint Satisfaction Problems with Growing Domains

Fractional Edge Cover Number of Model RB.

Exact Phase Transition of Backtrack-Free Search with Implications on the Power of Greedy Algorithms

Linear Phase Transition in Random Linear Constraint Satisfaction Problem

A belief-propagation algorithm based on variable entropy for constraint satisfaction problems

The Satisfiability Threshold for a Seemingly Intractable Random Constraint Satisfaction Problem

General Bounds on Satisfiability Thresholds for Random CSPs via Fourier Analysis

On the Scaling Window of Model RB

The SAT Phase Transition

One-step replica symmetry breaking of random regular NAE-SAT I

Proof of the Satisfiability Conjecture for Large K

Biased landscapes for random Constraint Satisfaction Problems