Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980276492> ?p ?o ?g. }
- W1980276492 abstract "For a number of random constraint satisfaction problems, such as random k-SAT and random graph/hypergraph coloring, there are very good estimates of the largest constraint density for which solutions exist. Yet, all known polynomial-time algorithms for these problems fail to find solutions even at much lower densities. To understand the origin of this gap we study how the structure of the space of solutions evolves in such problems as constraints are added. In particular, we prove that much before solutions disappear, they organize into an exponential number of clusters, each of which is relatively small and far apart from all other clusters. Moreover, inside each cluster most variables are frozen, i.e., take only one value. The existence of such frozen variables gives a satisfying intuitive explanation for the failure of the polynomial-time algorithms analyzed so far. At the same time, our results establish rigorously one of the two main hypotheses underlying Survey Propagation, a heuristic introduced by physicists in recent years that appears to perform extraordinarily well on random constraint satisfaction problems." @default.
- W1980276492 created "2016-06-24" @default.
- W1980276492 creator A5021300666 @default.
- W1980276492 creator A5056141397 @default.
- W1980276492 date "2006-05-21" @default.
- W1980276492 modified "2023-09-23" @default.
- W1980276492 title "On the solution-space geometry of random constraint satisfaction problems" @default.
- W1980276492 cites W1518885151 @default.
- W1980276492 cites W1978113428 @default.
- W1980276492 cites W1979720612 @default.
- W1980276492 cites W1985250014 @default.
- W1980276492 cites W2008310023 @default.
- W1980276492 cites W2023622935 @default.
- W1980276492 cites W2026129786 @default.
- W1980276492 cites W2051580875 @default.
- W1980276492 cites W2063428816 @default.
- W1980276492 cites W2078137578 @default.
- W1980276492 cites W2145098470 @default.
- W1980276492 cites W2164346692 @default.
- W1980276492 doi "https://doi.org/10.1145/1132516.1132537" @default.
- W1980276492 hasPublicationYear "2006" @default.
- W1980276492 type Work @default.
- W1980276492 sameAs 1980276492 @default.
- W1980276492 citedByCount "132" @default.
- W1980276492 countsByYear W19802764922012 @default.
- W1980276492 countsByYear W19802764922013 @default.
- W1980276492 countsByYear W19802764922014 @default.
- W1980276492 countsByYear W19802764922015 @default.
- W1980276492 countsByYear W19802764922016 @default.
- W1980276492 countsByYear W19802764922017 @default.
- W1980276492 countsByYear W19802764922018 @default.
- W1980276492 countsByYear W19802764922019 @default.
- W1980276492 countsByYear W19802764922020 @default.
- W1980276492 countsByYear W19802764922021 @default.
- W1980276492 countsByYear W19802764922022 @default.
- W1980276492 countsByYear W19802764922023 @default.
- W1980276492 crossrefType "proceedings-article" @default.
- W1980276492 hasAuthorship W1980276492A5021300666 @default.
- W1980276492 hasAuthorship W1980276492A5056141397 @default.
- W1980276492 hasBestOaLocation W19802764922 @default.
- W1980276492 hasConcept C105795698 @default.
- W1980276492 hasConcept C111919701 @default.
- W1980276492 hasConcept C118615104 @default.
- W1980276492 hasConcept C122123141 @default.
- W1980276492 hasConcept C126255220 @default.
- W1980276492 hasConcept C132180345 @default.
- W1980276492 hasConcept C132525143 @default.
- W1980276492 hasConcept C137105694 @default.
- W1980276492 hasConcept C173801870 @default.
- W1980276492 hasConcept C178481205 @default.
- W1980276492 hasConcept C183046576 @default.
- W1980276492 hasConcept C199622910 @default.
- W1980276492 hasConcept C2524010 @default.
- W1980276492 hasConcept C2776036281 @default.
- W1980276492 hasConcept C2778572836 @default.
- W1980276492 hasConcept C2781221856 @default.
- W1980276492 hasConcept C311688 @default.
- W1980276492 hasConcept C33923547 @default.
- W1980276492 hasConcept C41008148 @default.
- W1980276492 hasConcept C44616089 @default.
- W1980276492 hasConcept C47458327 @default.
- W1980276492 hasConcept C49937458 @default.
- W1980276492 hasConceptScore W1980276492C105795698 @default.
- W1980276492 hasConceptScore W1980276492C111919701 @default.
- W1980276492 hasConceptScore W1980276492C118615104 @default.
- W1980276492 hasConceptScore W1980276492C122123141 @default.
- W1980276492 hasConceptScore W1980276492C126255220 @default.
- W1980276492 hasConceptScore W1980276492C132180345 @default.
- W1980276492 hasConceptScore W1980276492C132525143 @default.
- W1980276492 hasConceptScore W1980276492C137105694 @default.
- W1980276492 hasConceptScore W1980276492C173801870 @default.
- W1980276492 hasConceptScore W1980276492C178481205 @default.
- W1980276492 hasConceptScore W1980276492C183046576 @default.
- W1980276492 hasConceptScore W1980276492C199622910 @default.
- W1980276492 hasConceptScore W1980276492C2524010 @default.
- W1980276492 hasConceptScore W1980276492C2776036281 @default.
- W1980276492 hasConceptScore W1980276492C2778572836 @default.
- W1980276492 hasConceptScore W1980276492C2781221856 @default.
- W1980276492 hasConceptScore W1980276492C311688 @default.
- W1980276492 hasConceptScore W1980276492C33923547 @default.
- W1980276492 hasConceptScore W1980276492C41008148 @default.
- W1980276492 hasConceptScore W1980276492C44616089 @default.
- W1980276492 hasConceptScore W1980276492C47458327 @default.
- W1980276492 hasConceptScore W1980276492C49937458 @default.
- W1980276492 hasLocation W19802764921 @default.
- W1980276492 hasLocation W19802764922 @default.
- W1980276492 hasLocation W19802764923 @default.
- W1980276492 hasOpenAccess W1980276492 @default.
- W1980276492 hasPrimaryLocation W19802764921 @default.
- W1980276492 hasRelatedWork W1603456671 @default.
- W1980276492 hasRelatedWork W2011384810 @default.
- W1980276492 hasRelatedWork W2012141606 @default.
- W1980276492 hasRelatedWork W2045729033 @default.
- W1980276492 hasRelatedWork W2049421765 @default.
- W1980276492 hasRelatedWork W2131358503 @default.
- W1980276492 hasRelatedWork W2178160012 @default.
- W1980276492 hasRelatedWork W2784687883 @default.
- W1980276492 hasRelatedWork W2137855809 @default.
- W1980276492 hasRelatedWork W2183565733 @default.
- W1980276492 isParatext "false" @default.