Matches in SemOpenAlex for { <https://semopenalex.org/work/W4239360664> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W4239360664 endingPage "200" @default.
- W4239360664 startingPage "181" @default.
- W4239360664 abstract "We consider a model for generating random k-SAT formulas, in which each literal occurs approximately the same number of times in the formula clauses (regular random and k-SAT). Our experimental results show that such regular random k-SAT instances are much harder than the usual uniform random k-SAT problems. This is in agreement with other results that show that more balanced instances of random combinatorial problems are often much more difficult to solve than uniformly random instances, even at phase transition boundaries. There are almost no formal results known for such problem distributions. The balancing constraints add a dependency between variables that complicates a standard analysis. Regular random 3-SAT exhibits a phase transition as a function of the ratio α of clauses to variables. The transition takes place at approximately α = 3.5. We show that for α > 3.78 with high probability (w.h.p.) random regular 3-SAT formulas are unsatisfiable. Specifically, the events En hold with high probability if Pr(ɛn) → 1 when n → ∞. We also show that the analysis of a greedy algorithm proposed by Kaporis et al. for the uniform 3-SAT model can be adapted for regular random 3-SAT. In particular, we show that for formulas with ratio α < 2.46, a greedy algorithm finds a satisfying assignment with positive probability." @default.
- W4239360664 created "2022-05-12" @default.
- W4239360664 creator A5011203418 @default.
- W4239360664 creator A5014482317 @default.
- W4239360664 creator A5027455541 @default.
- W4239360664 creator A5084928583 @default.
- W4239360664 date "2007-01-20" @default.
- W4239360664 modified "2023-10-14" @default.
- W4239360664 title "Regular Random k-SAT: Properties of Balanced Formulas" @default.
- W4239360664 cites W1534832769 @default.
- W4239360664 cites W1559492868 @default.
- W4239360664 cites W1979720612 @default.
- W4239360664 cites W2000931246 @default.
- W4239360664 cites W2018251959 @default.
- W4239360664 cites W2023622935 @default.
- W4239360664 cites W2067490780 @default.
- W4239360664 cites W2076963921 @default.
- W4239360664 cites W2078137578 @default.
- W4239360664 cites W2108446739 @default.
- W4239360664 cites W2126420408 @default.
- W4239360664 cites W2136558174 @default.
- W4239360664 cites W2145098470 @default.
- W4239360664 cites W2153096231 @default.
- W4239360664 cites W390146837 @default.
- W4239360664 doi "https://doi.org/10.1007/978-1-4020-5571-3_9" @default.
- W4239360664 hasPublicationYear "2007" @default.
- W4239360664 type Work @default.
- W4239360664 citedByCount "0" @default.
- W4239360664 crossrefType "book-chapter" @default.
- W4239360664 hasAuthorship W4239360664A5011203418 @default.
- W4239360664 hasAuthorship W4239360664A5014482317 @default.
- W4239360664 hasAuthorship W4239360664A5027455541 @default.
- W4239360664 hasAuthorship W4239360664A5084928583 @default.
- W4239360664 hasBestOaLocation W42393606642 @default.
- W4239360664 hasConcept C105795698 @default.
- W4239360664 hasConcept C114614502 @default.
- W4239360664 hasConcept C118615104 @default.
- W4239360664 hasConcept C122123141 @default.
- W4239360664 hasConcept C13929819 @default.
- W4239360664 hasConcept C14036430 @default.
- W4239360664 hasConcept C33923547 @default.
- W4239360664 hasConcept C78458016 @default.
- W4239360664 hasConcept C86803240 @default.
- W4239360664 hasConceptScore W4239360664C105795698 @default.
- W4239360664 hasConceptScore W4239360664C114614502 @default.
- W4239360664 hasConceptScore W4239360664C118615104 @default.
- W4239360664 hasConceptScore W4239360664C122123141 @default.
- W4239360664 hasConceptScore W4239360664C13929819 @default.
- W4239360664 hasConceptScore W4239360664C14036430 @default.
- W4239360664 hasConceptScore W4239360664C33923547 @default.
- W4239360664 hasConceptScore W4239360664C78458016 @default.
- W4239360664 hasConceptScore W4239360664C86803240 @default.
- W4239360664 hasLocation W42393606641 @default.
- W4239360664 hasLocation W42393606642 @default.
- W4239360664 hasOpenAccess W4239360664 @default.
- W4239360664 hasPrimaryLocation W42393606641 @default.
- W4239360664 hasRelatedWork W1500478428 @default.
- W4239360664 hasRelatedWork W1978042415 @default.
- W4239360664 hasRelatedWork W2017331178 @default.
- W4239360664 hasRelatedWork W2019807548 @default.
- W4239360664 hasRelatedWork W2122379620 @default.
- W4239360664 hasRelatedWork W2131304595 @default.
- W4239360664 hasRelatedWork W2740323009 @default.
- W4239360664 hasRelatedWork W2976797620 @default.
- W4239360664 hasRelatedWork W3086542228 @default.
- W4239360664 hasRelatedWork W4295366840 @default.
- W4239360664 isParatext "false" @default.
- W4239360664 isRetracted "false" @default.
- W4239360664 workType "book-chapter" @default.