Matches in SemOpenAlex for { <https://semopenalex.org/work/W1996338626> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1996338626 endingPage "280" @default.
- W1996338626 startingPage "260" @default.
- W1996338626 abstract "For a large number of random constraint satisfaction problems, such as random k-SAT and random graph and hypergraph coloring, there exist very good estimates of the largest constraint density for which solutions exist. All known polynomial-time algorithms for these problems, though, fail to find solutions even at much lower densities. To understand the origin of this gap one can study how the structure of the space of solutions evolves in such problems as constraints are added. In particular, it is known 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. Here we further prove that inside every cluster the vast majority of 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 lend support to 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.
- W1996338626 created "2016-06-24" @default.
- W1996338626 creator A5021300666 @default.
- W1996338626 creator A5056141397 @default.
- W1996338626 date "2009-01-01" @default.
- W1996338626 modified "2023-09-23" @default.
- W1996338626 title "Random Formulas Have Frozen Variables" @default.
- W1996338626 cites W1518885151 @default.
- W1996338626 cites W1978113428 @default.
- W1996338626 cites W1979720612 @default.
- W1996338626 cites W1985250014 @default.
- W1996338626 cites W2000931246 @default.
- W1996338626 cites W2023622935 @default.
- W1996338626 cites W2026129786 @default.
- W1996338626 cites W2051580875 @default.
- W1996338626 cites W2078137578 @default.
- W1996338626 cites W2088419249 @default.
- W1996338626 cites W2145098470 @default.
- W1996338626 cites W2146667376 @default.
- W1996338626 cites W2152182443 @default.
- W1996338626 cites W2164346692 @default.
- W1996338626 cites W2168290833 @default.
- W1996338626 doi "https://doi.org/10.1137/070680382" @default.
- W1996338626 hasPublicationYear "2009" @default.
- W1996338626 type Work @default.
- W1996338626 sameAs 1996338626 @default.
- W1996338626 citedByCount "27" @default.
- W1996338626 countsByYear W19963386262012 @default.
- W1996338626 countsByYear W19963386262013 @default.
- W1996338626 countsByYear W19963386262014 @default.
- W1996338626 countsByYear W19963386262015 @default.
- W1996338626 countsByYear W19963386262016 @default.
- W1996338626 countsByYear W19963386262017 @default.
- W1996338626 countsByYear W19963386262018 @default.
- W1996338626 countsByYear W19963386262019 @default.
- W1996338626 countsByYear W19963386262020 @default.
- W1996338626 countsByYear W19963386262021 @default.
- W1996338626 crossrefType "journal-article" @default.
- W1996338626 hasAuthorship W1996338626A5021300666 @default.
- W1996338626 hasAuthorship W1996338626A5056141397 @default.
- W1996338626 hasConcept C105795698 @default.
- W1996338626 hasConcept C114614502 @default.
- W1996338626 hasConcept C118615104 @default.
- W1996338626 hasConcept C122123141 @default.
- W1996338626 hasConcept C126255220 @default.
- W1996338626 hasConcept C132525143 @default.
- W1996338626 hasConcept C173801870 @default.
- W1996338626 hasConcept C199622910 @default.
- W1996338626 hasConcept C2524010 @default.
- W1996338626 hasConcept C2776036281 @default.
- W1996338626 hasConcept C2781221856 @default.
- W1996338626 hasConcept C311688 @default.
- W1996338626 hasConcept C33923547 @default.
- W1996338626 hasConcept C47458327 @default.
- W1996338626 hasConcept C49937458 @default.
- W1996338626 hasConceptScore W1996338626C105795698 @default.
- W1996338626 hasConceptScore W1996338626C114614502 @default.
- W1996338626 hasConceptScore W1996338626C118615104 @default.
- W1996338626 hasConceptScore W1996338626C122123141 @default.
- W1996338626 hasConceptScore W1996338626C126255220 @default.
- W1996338626 hasConceptScore W1996338626C132525143 @default.
- W1996338626 hasConceptScore W1996338626C173801870 @default.
- W1996338626 hasConceptScore W1996338626C199622910 @default.
- W1996338626 hasConceptScore W1996338626C2524010 @default.
- W1996338626 hasConceptScore W1996338626C2776036281 @default.
- W1996338626 hasConceptScore W1996338626C2781221856 @default.
- W1996338626 hasConceptScore W1996338626C311688 @default.
- W1996338626 hasConceptScore W1996338626C33923547 @default.
- W1996338626 hasConceptScore W1996338626C47458327 @default.
- W1996338626 hasConceptScore W1996338626C49937458 @default.
- W1996338626 hasIssue "1" @default.
- W1996338626 hasLocation W19963386261 @default.
- W1996338626 hasOpenAccess W1996338626 @default.
- W1996338626 hasPrimaryLocation W19963386261 @default.
- W1996338626 hasRelatedWork W207698748 @default.
- W1996338626 hasRelatedWork W2181694489 @default.
- W1996338626 hasRelatedWork W2549678560 @default.
- W1996338626 hasRelatedWork W2952818128 @default.
- W1996338626 hasRelatedWork W2963168358 @default.
- W1996338626 hasRelatedWork W3006382266 @default.
- W1996338626 hasRelatedWork W3104448694 @default.
- W1996338626 hasRelatedWork W3211008162 @default.
- W1996338626 hasRelatedWork W4286889298 @default.
- W1996338626 hasRelatedWork W4287867392 @default.
- W1996338626 hasVolume "39" @default.
- W1996338626 isParatext "false" @default.
- W1996338626 isRetracted "false" @default.
- W1996338626 magId "1996338626" @default.
- W1996338626 workType "article" @default.