Statistical and algebraic analysis of a family of random Boolean equations

DOI10.1088/1742-5468/2009/02/P02010zbMath1456.82387MaRDI QIDQ5220530

Wei Wei, Zhi Ming Zheng, Bing-Hui Guo

Publication date: 27 March 2020

Published in: Journal of Statistical Mechanics: Theory and Experiment (Search for Journal in Brave)

zbMATH Keywords

disordered systems (theory)cavity and replica methodclassical phase transitions (theory)phase diagrams (theory)

Mathematics Subject Classification ID

Disordered systems (random Ising models, random Schrödinger operators, etc.) in equilibrium statistical mechanics (82B44) Phase transitions (general) in equilibrium statistical mechanics (82B26)

Related Items (2)

Graphical representation and hierarchical decomposition mechanism for vertex-cover solution space ⋮ Core influence mechanism on vertex-cover problem through leaf-removal-core breaking

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Stochastic coupling of two random Boolean networks
• Relationships between probabilistic Boolean networks and dynamic Bayesian networks as models of gene regulatory networks
• Two solutions to diluted \(p\)-spin models and XORSAT problems
• The cavity method at zero temperature
• A sharp threshold in proof complexity yields lower bounds for satisfiability search
• Threshold properties of random Boolean constraint satisfaction problems
• Coloring Random Graphs
• LARGE DEVIATIONS AND THE RANDOM ENERGY MODEL
• Instability of one-step replica-symmetry-broken phase in satisfiability problems
• Entropy of theK-Satisfiability Problem
• Phase Transition in the Number Partitioning Problem
• Survey propagation: An algorithm for satisfiability
• Determining computational complexity from characteristic ‘phase transitions’
• Gibbs states and the set of solutions of random constraint satisfaction problems
• On the solution-space geometry of random constraint satisfaction problems
• Rigorous results for random (\(2+p)\)-SAT

This page was built for publication: Statistical and algebraic analysis of a family of random Boolean equations