Random 2-SAT solution components and a fitness landscape

MaRDI QIDQ5403060zbMATH OpenFDO

Authors Damien Pitman

Publication date 25 March 2014

Full work available at URL https://www.dmtcs.org/dmtcs-ojs/index.php/dmtcs/article/view/1024/0.html

zbMATH Keywords

2-SATclusterscomponentsfitness landscapeincompatibilitiiesrandom graphs

Mathematics Subject Classification ID

Random graphs (graph-theoretic aspects) (05C80) Analysis of algorithms and problem complexity (68Q25) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Random 2-SAT: Results and problems
• On the solution-space geometry of random constraint satisfaction problems
• The number of satisfying assignments of random 2‐SAT formulas
• Solution clustering in random satisfiability
• On the solution-space geometry of random constraint satisfaction problems

This page was built for publication: Random 2-SAT solution components and a fitness landscape

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5403060)