Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952623436> ?p ?o ?g. }
- W2952623436 abstract "Many NP-complete constraint satisfaction problems appear to undergo a phase transition'' from solubility to insolubility when the constraint density passes through a critical threshold. In all such cases it is easy to derive upper bounds on the location of the threshold by showing that above a certain density the first moment (expectation) of the number of solutions tends to zero. We show that in the case of certain symmetric constraints, considering the second moment of the number of solutions yields nearly matching lower bounds for the location of the threshold. Specifically, we prove that the threshold for both random hypergraph 2-colorability (Property B) and random Not-All-Equal k-SAT is 2^{k-1} ln 2 -O(1). As a corollary, we establish that the threshold for random k-SAT is of order Theta(2^k), resolving a long-standing open problem." @default.
- W2952623436 created "2019-06-27" @default.
- W2952623436 creator A5008033989 @default.
- W2952623436 creator A5021300666 @default.
- W2952623436 date "2003-10-09" @default.
- W2952623436 modified "2023-09-27" @default.
- W2952623436 title "Random k-SAT: Two Moments Suffice to Cross a Sharp Threshold" @default.
- W2952623436 cites W1510846731 @default.
- W2952623436 cites W1518885151 @default.
- W2952623436 cites W1534497489 @default.
- W2952623436 cites W1620410031 @default.
- W2952623436 cites W1963913579 @default.
- W2952623436 cites W1970818149 @default.
- W2952623436 cites W1975058386 @default.
- W2952623436 cites W1977676492 @default.
- W2952623436 cites W1978732816 @default.
- W2952623436 cites W1988533413 @default.
- W2952623436 cites W2000931246 @default.
- W2952623436 cites W2022695609 @default.
- W2952623436 cites W2023622935 @default.
- W2952623436 cites W2036265926 @default.
- W2952623436 cites W2039241885 @default.
- W2952623436 cites W2051580875 @default.
- W2952623436 cites W2054387247 @default.
- W2952623436 cites W2068871408 @default.
- W2952623436 cites W2069767473 @default.
- W2952623436 cites W2078137578 @default.
- W2952623436 cites W2098022011 @default.
- W2952623436 cites W2108446739 @default.
- W2952623436 cites W2126420408 @default.
- W2952623436 cites W2131459042 @default.
- W2952623436 cites W2138778293 @default.
- W2952623436 cites W2143404729 @default.
- W2952623436 cites W2164346692 @default.
- W2952623436 cites W3144881883 @default.
- W2952623436 cites W4983232 @default.
- W2952623436 hasPublicationYear "2003" @default.
- W2952623436 type Work @default.
- W2952623436 sameAs 2952623436 @default.
- W2952623436 citedByCount "0" @default.
- W2952623436 crossrefType "posted-content" @default.
- W2952623436 hasAuthorship W2952623436A5008033989 @default.
- W2952623436 hasAuthorship W2952623436A5021300666 @default.
- W2952623436 hasConcept C10138342 @default.
- W2952623436 hasConcept C105795698 @default.
- W2952623436 hasConcept C114614502 @default.
- W2952623436 hasConcept C118615104 @default.
- W2952623436 hasConcept C121332964 @default.
- W2952623436 hasConcept C134306372 @default.
- W2952623436 hasConcept C162324750 @default.
- W2952623436 hasConcept C165064840 @default.
- W2952623436 hasConcept C179254644 @default.
- W2952623436 hasConcept C182306322 @default.
- W2952623436 hasConcept C199622910 @default.
- W2952623436 hasConcept C2524010 @default.
- W2952623436 hasConcept C2776036281 @default.
- W2952623436 hasConcept C2780012671 @default.
- W2952623436 hasConcept C2781221856 @default.
- W2952623436 hasConcept C33923547 @default.
- W2952623436 hasConcept C49937458 @default.
- W2952623436 hasConcept C61062188 @default.
- W2952623436 hasConcept C62520636 @default.
- W2952623436 hasConcept C77553402 @default.
- W2952623436 hasConceptScore W2952623436C10138342 @default.
- W2952623436 hasConceptScore W2952623436C105795698 @default.
- W2952623436 hasConceptScore W2952623436C114614502 @default.
- W2952623436 hasConceptScore W2952623436C118615104 @default.
- W2952623436 hasConceptScore W2952623436C121332964 @default.
- W2952623436 hasConceptScore W2952623436C134306372 @default.
- W2952623436 hasConceptScore W2952623436C162324750 @default.
- W2952623436 hasConceptScore W2952623436C165064840 @default.
- W2952623436 hasConceptScore W2952623436C179254644 @default.
- W2952623436 hasConceptScore W2952623436C182306322 @default.
- W2952623436 hasConceptScore W2952623436C199622910 @default.
- W2952623436 hasConceptScore W2952623436C2524010 @default.
- W2952623436 hasConceptScore W2952623436C2776036281 @default.
- W2952623436 hasConceptScore W2952623436C2780012671 @default.
- W2952623436 hasConceptScore W2952623436C2781221856 @default.
- W2952623436 hasConceptScore W2952623436C33923547 @default.
- W2952623436 hasConceptScore W2952623436C49937458 @default.
- W2952623436 hasConceptScore W2952623436C61062188 @default.
- W2952623436 hasConceptScore W2952623436C62520636 @default.
- W2952623436 hasConceptScore W2952623436C77553402 @default.
- W2952623436 hasLocation W29526234361 @default.
- W2952623436 hasOpenAccess W2952623436 @default.
- W2952623436 hasPrimaryLocation W29526234361 @default.
- W2952623436 hasRelatedWork W1558607651 @default.
- W2952623436 hasRelatedWork W1580386959 @default.
- W2952623436 hasRelatedWork W1802686415 @default.
- W2952623436 hasRelatedWork W1975999171 @default.
- W2952623436 hasRelatedWork W2016398075 @default.
- W2952623436 hasRelatedWork W2088419249 @default.
- W2952623436 hasRelatedWork W2130083422 @default.
- W2952623436 hasRelatedWork W2158528727 @default.
- W2952623436 hasRelatedWork W2746629507 @default.
- W2952623436 hasRelatedWork W2753774456 @default.
- W2952623436 hasRelatedWork W2897858341 @default.
- W2952623436 hasRelatedWork W2952240532 @default.
- W2952623436 hasRelatedWork W2952978171 @default.
- W2952623436 hasRelatedWork W3014604786 @default.