English
Related papers

Related papers: On the freezing of variables in random constraint …

200 papers

Random constraint satisfaction problems undergo several phase transitions as the ratio between the number of constraints and the number of variables is varied. When this ratio exceeds the satisfiability threshold no more solutions exist;…

Disordered Systems and Neural Networks · Physics 2017-06-22 Alfredo Braunstein , Luca Dall'Asta , Guilhem Semerjian , Lenka Zdeborova

We determine the exact freezing threshold, r^f, for a family of models of random boolean constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the constraint size is sufficiently large. If the…

Discrete Mathematics · Computer Science 2012-09-24 Michael Molloy , Ricardo Restrepo

We review the understanding of the random constraint satisfaction problems, focusing on the q-coloring of large random graphs, that has been achieved using the cavity method of the physicists. We also discuss the properties of the phase…

Computational Complexity · Computer Science 2008-02-04 Florent Krzakala , Lenka Zdeborová

An instance of a random constraint satisfaction problem defines a random subset S (the set of solutions) of a large product space (the set of assignments). We consider two prototypical problem ensembles (random k-satisfiability and…

We study constraint satisfaction problems on the so-called 'planted' random ensemble. We show that for a certain class of problems, e.g. graph coloring, many of the properties of the usual random ensemble are quantitatively identical in the…

Statistical Mechanics · Physics 2009-06-13 Florent Krzakala , Lenka Zdeborová

In this paper we study the solution space structure of model RB, a standard prototype of Constraint Satisfaction Problem (CSPs) with growing domains. Using rigorous the first and the second moment method, we show that in the solvable phase…

Disordered Systems and Neural Networks · Physics 2016-01-20 Wei Xu , Pan Zhang , Tian Liu , Fuzhou Gong

For a large number of random constraint satisfaction problems, such as random k-SAT and random graph and hypergraph coloring, there are very good estimates of the largest constraint density for which solutions exist. Yet, all known…

Computational Complexity · Computer Science 2007-05-23 Dimitris Achlioptas , Federico Ricci-Tersenghi

Random Constraint Satisfaction Problems exhibit several phase transitions when their density of constraints is varied. One of these threshold phenomena, known as the clustering or dynamic transition, corresponds to a transition for an…

Disordered Systems and Neural Networks · Physics 2020-11-19 Louise Budzynski , Guilhem Semerjian

Random constraint satisfaction problems are interesting model systems for spin-glasses and glassy dynamics studies. As the constraint density of such a system reaches certain threshold value, its solution space may split into extremely many…

Disordered Systems and Neural Networks · Physics 2015-05-14 Haijun Zhou

We study the phase diagram and the algorithmic hardness of the random `locked' constraint satisfaction problems, and compare them to the commonly studied 'non-locked' problems like satisfiability of boolean formulas or graph coloring. The…

Disordered Systems and Neural Networks · Physics 2008-12-09 Lenka Zdeborová , Marc Mézard

We study a simple and exactly solvable model for the generation of random satisfiability problems. These consist of $\gamma N$ random boolean constraints which are to be satisfied simultaneously by $N$ logical variables. In…

Disordered Systems and Neural Networks · Physics 2009-10-31 F. Ricci-Tersenghi , M. Weigt , R. Zecchina

We study geometrical properties of the complete set of solutions of the random 3-satisfiability problem. We show that even for moderate system sizes the number of clusters corresponds surprisingly well with the theoretic asymptotic…

Statistical Mechanics · Physics 2008-10-02 John Ardelius , Lenka Zdeborová

The typical complexity of Constraint Satisfaction Problems (CSPs) can be investigated by means of random ensembles of instances. The latter exhibit many threshold phenomena besides their satisfiability phase transition, in particular a…

Disordered Systems and Neural Networks · Physics 2019-03-29 Louise Budzynski , Federico Ricci-Tersenghi , Guilhem Semerjian

A variational approach to finite connectivity spin-glass-like models is developed and applied to describe the structure of optimal solutions in random satisfiability problems. Our variational scheme accurately reproduces the known replica…

Disordered Systems and Neural Networks · Physics 2009-10-31 Giulio Biroli , Remi Monasson , Martin Weigt

We study secondary structures of random RNA molecules by means of a renormalized field theory based on an expansion in the sequence disorder. We show that there is a continuous phase transition from a molten phase at higher temperatures to…

Biomolecules · Quantitative Biology 2009-11-11 Michael Lässig , Kay Joerg Wiese

Many difficult computational problems involve the simultaneous satisfaction of multiple constraints which are individually easy to satisfy. Such problems occur in diffractive imaging, protein folding, constrained optimization (e.g., spin…

Computational Physics · Physics 2008-10-01 Simon Gravel , Veit Elser

We study the entropy landscape of solutions for the bicoloring problem in random graphs, a representative difficult constraint satisfaction problem. Our goal is to classify which type of clusters of solutions are addressed by different…

Statistical Mechanics · Physics 2009-11-13 L. Dall'Asta , A. Ramezanpour , R. Zecchina

In many interesting physical settings, such as the vulcanization of rubber, the introduction of permanent random constraints between the constituents of a homogeneous fluid can cause a phase transition to a random solid state. In this…

Disordered Systems and Neural Networks · Physics 2009-10-31 Paul M. Goldbart

Many complex systems satisfy a set of constraints on their degrees of freedom, and at the same time, they are able to work and adapt to different conditions. Here, we describe the emergence of this ability in a simplified model in which the…

Disordered Systems and Neural Networks · Physics 2007-05-23 Ginestra Bianconi , Roberto Mulet

We demonstrate through two case studies, one on the p-spin interaction model and the other on the random K-satisfiability problem, that a heterogeneity transition occurs to the ground-state configuration space of a random…

Disordered Systems and Neural Networks · Physics 2010-10-12 Haijun Zhou , Chuang Wang
‹ Prev 1 2 3 10 Next ›