Matches in SemOpenAlex for { <https://semopenalex.org/work/W1649851044> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W1649851044 abstract "The distribution of overlaps of solutions of a random CSP is an indicator of the overall geometry of its solution space. For random $k$-SAT, nonrigorous methods from Statistical Physics support the validity of the ``one step replica symmetry breaking'' approach. Some of these predictions were rigorously confirmed in cite{cond-mat/0504070/prl} cite{cond-mat/0506053}. There it is proved that the overlap distribution of random $k$-SAT, $kgeq 9$, has discontinuous support. Furthermore, Achlioptas and Ricci-Tersenghi proved that, for random $k$-SAT, $kgeq 8$. and constraint densities close enough to the phase transition there exists an exponential number of clusters of satisfying assignments; moreover, the distance between satisfying assignments in different clusters is linear. We aim to understand the structural properties of random CSP that lead to solution clustering. To this end, we prove two results on the cluster structure of solutions for binary CSP under the random model from Molloy (STOC 2002) 1. For all constraint sets $S$ (described explicitly in Creignou and Daude (2004), Istrate (2005)) s.t. $SAT(S)$ has a sharp threshold and all $qin (0,1]$, $q$-overlap-$SAT(S)$ has a sharp threshold (i.e. the first step of the approach in Mora et al. works in all nontrivial cases). 2. For any constraint density value $c<1$, the set of solutions of a random instance of 2-SAT form, w.h.p., a single cluster. Also, for and any $qin (0,1]$ such an instance has w.h.p. two satisfying assignment of overlap $sim q$. Thus, as expected from Statistical Physics predictions, the second step of the approach in Mora et al. fails for 2-SAT." @default.
- W1649851044 created "2016-06-24" @default.
- W1649851044 creator A5028188667 @default.
- W1649851044 date "2007-03-13" @default.
- W1649851044 modified "2023-09-27" @default.
- W1649851044 title "Satisfying assignments of Random Boolean CSP: Clusters and Overlaps" @default.
- W1649851044 cites W1537769454 @default.
- W1649851044 cites W1650993530 @default.
- W1649851044 cites W1978761262 @default.
- W1649851044 cites W1980276492 @default.
- W1649851044 cites W1988522098 @default.
- W1649851044 cites W2004472922 @default.
- W1649851044 cites W2006424894 @default.
- W1649851044 cites W2018277172 @default.
- W1649851044 cites W2063428816 @default.
- W1649851044 cites W2089667959 @default.
- W1649851044 cites W2097532582 @default.
- W1649851044 cites W2147012241 @default.
- W1649851044 cites W2905110430 @default.
- W1649851044 cites W3140660692 @default.
- W1649851044 hasPublicationYear "2007" @default.
- W1649851044 type Work @default.
- W1649851044 sameAs 1649851044 @default.
- W1649851044 citedByCount "0" @default.
- W1649851044 crossrefType "posted-content" @default.
- W1649851044 hasAuthorship W1649851044A5028188667 @default.
- W1649851044 hasConcept C105795698 @default.
- W1649851044 hasConcept C110121322 @default.
- W1649851044 hasConcept C114614502 @default.
- W1649851044 hasConcept C118615104 @default.
- W1649851044 hasConcept C122123141 @default.
- W1649851044 hasConcept C134306372 @default.
- W1649851044 hasConcept C164866538 @default.
- W1649851044 hasConcept C168773769 @default.
- W1649851044 hasConcept C199360897 @default.
- W1649851044 hasConcept C199622910 @default.
- W1649851044 hasConcept C2524010 @default.
- W1649851044 hasConcept C2776036281 @default.
- W1649851044 hasConcept C33923547 @default.
- W1649851044 hasConcept C41008148 @default.
- W1649851044 hasConcept C49937458 @default.
- W1649851044 hasConcept C52386014 @default.
- W1649851044 hasConceptScore W1649851044C105795698 @default.
- W1649851044 hasConceptScore W1649851044C110121322 @default.
- W1649851044 hasConceptScore W1649851044C114614502 @default.
- W1649851044 hasConceptScore W1649851044C118615104 @default.
- W1649851044 hasConceptScore W1649851044C122123141 @default.
- W1649851044 hasConceptScore W1649851044C134306372 @default.
- W1649851044 hasConceptScore W1649851044C164866538 @default.
- W1649851044 hasConceptScore W1649851044C168773769 @default.
- W1649851044 hasConceptScore W1649851044C199360897 @default.
- W1649851044 hasConceptScore W1649851044C199622910 @default.
- W1649851044 hasConceptScore W1649851044C2524010 @default.
- W1649851044 hasConceptScore W1649851044C2776036281 @default.
- W1649851044 hasConceptScore W1649851044C33923547 @default.
- W1649851044 hasConceptScore W1649851044C41008148 @default.
- W1649851044 hasConceptScore W1649851044C49937458 @default.
- W1649851044 hasConceptScore W1649851044C52386014 @default.
- W1649851044 hasLocation W16498510441 @default.
- W1649851044 hasOpenAccess W1649851044 @default.
- W1649851044 hasPrimaryLocation W16498510441 @default.
- W1649851044 hasRelatedWork W1798337851 @default.
- W1649851044 hasRelatedWork W2105860081 @default.
- W1649851044 hasRelatedWork W2148015778 @default.
- W1649851044 hasRelatedWork W2529988950 @default.
- W1649851044 hasRelatedWork W259494073 @default.
- W1649851044 hasRelatedWork W2787973168 @default.
- W1649851044 hasRelatedWork W2888885403 @default.
- W1649851044 hasRelatedWork W2895641460 @default.
- W1649851044 hasRelatedWork W2937819376 @default.
- W1649851044 hasRelatedWork W2939431538 @default.
- W1649851044 hasRelatedWork W2950299193 @default.
- W1649851044 hasRelatedWork W2953007955 @default.
- W1649851044 hasRelatedWork W3003218164 @default.
- W1649851044 hasRelatedWork W3006476916 @default.
- W1649851044 hasRelatedWork W3041151068 @default.
- W1649851044 hasRelatedWork W3083750962 @default.
- W1649851044 hasRelatedWork W3095889816 @default.
- W1649851044 hasRelatedWork W3111617893 @default.
- W1649851044 hasRelatedWork W3194668626 @default.
- W1649851044 hasRelatedWork W3212291031 @default.
- W1649851044 isParatext "false" @default.
- W1649851044 isRetracted "false" @default.
- W1649851044 magId "1649851044" @default.
- W1649851044 workType "article" @default.