We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Condensed Matter > Disordered Systems and Neural Networks

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

Authors: Wei Xu, Zhe Zhang
Abstract: Planting a solution into the random RB model, which is a prototype of random constraint satisfaction problem (CSP) with growing domains, can generate very hard satisfiable CSP benchmarks. We study the solution space structure of the planted RB model. With constraint density growing, we find that this model goes through four phase transitions. In the replica symmetric phase, what we call the independent phase transition occurs, after which the planted cluster (cluster containing the planted solution) is separated from the giant cluster. Then the solutions except that in the planted cluster go through the same clustering phase transition and the same satisfiability phase transition as the random RB model. The planted cluster goes through the isolated phase transition, after which the planted cluster contains only one solution. This phase diagram provides strong evidence that this model can generate very hard satisfiable CSP benchmarks. For over constraint instances (where the constraint density is very large), we find that the configuration space has only a single energy valley, which makes the instances tractable. Experiments using Belief Propagation confirm the locations of the clustering, satisfiability (by configurations outside the planted cluster), and isolated phase transition points.
Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn)
DOI: 10.1088/1742-5468/ac4e86
Cite as: arXiv:2108.01761 [cond-mat.dis-nn]
  (or arXiv:2108.01761v1 [cond-mat.dis-nn] for this version)

Submission history

From: Wei Xu [view email]
[v1] Tue, 3 Aug 2021 21:46:09 GMT (129kb)

Link back to: arXiv, form interface, contact.