Matches in SemOpenAlex for { <https://semopenalex.org/work/W1987851683> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1987851683 endingPage "200" @default.
- W1987851683 startingPage "181" @default.
- W1987851683 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 $${user1{mathcal{E}}}_{n} $$ hold with high probability if Pr $${left( {{user1{mathcal{E}}}_{n} } right)} to 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.
- W1987851683 created "2016-06-24" @default.
- W1987851683 creator A5011203418 @default.
- W1987851683 creator A5014482317 @default.
- W1987851683 creator A5027455541 @default.
- W1987851683 creator A5084928583 @default.
- W1987851683 date "2006-08-03" @default.
- W1987851683 modified "2023-10-14" @default.
- W1987851683 title "Regular Random k-SAT: Properties of Balanced Formulas" @default.
- W1987851683 cites W1534832769 @default.
- W1987851683 cites W1559492868 @default.
- W1987851683 cites W1979720612 @default.
- W1987851683 cites W2000931246 @default.
- W1987851683 cites W2018251959 @default.
- W1987851683 cites W2023622935 @default.
- W1987851683 cites W2067490780 @default.
- W1987851683 cites W2076963921 @default.
- W1987851683 cites W2078137578 @default.
- W1987851683 cites W2108446739 @default.
- W1987851683 cites W2126420408 @default.
- W1987851683 cites W2136558174 @default.
- W1987851683 cites W2145098470 @default.
- W1987851683 cites W2153096231 @default.
- W1987851683 cites W2478722229 @default.
- W1987851683 cites W390146837 @default.
- W1987851683 doi "https://doi.org/10.1007/s10817-005-9012-z" @default.
- W1987851683 hasPublicationYear "2006" @default.
- W1987851683 type Work @default.
- W1987851683 sameAs 1987851683 @default.
- W1987851683 citedByCount "33" @default.
- W1987851683 countsByYear W19878516832012 @default.
- W1987851683 countsByYear W19878516832013 @default.
- W1987851683 countsByYear W19878516832014 @default.
- W1987851683 countsByYear W19878516832015 @default.
- W1987851683 countsByYear W19878516832017 @default.
- W1987851683 countsByYear W19878516832019 @default.
- W1987851683 countsByYear W19878516832021 @default.
- W1987851683 countsByYear W19878516832022 @default.
- W1987851683 crossrefType "journal-article" @default.
- W1987851683 hasAuthorship W1987851683A5011203418 @default.
- W1987851683 hasAuthorship W1987851683A5014482317 @default.
- W1987851683 hasAuthorship W1987851683A5027455541 @default.
- W1987851683 hasAuthorship W1987851683A5084928583 @default.
- W1987851683 hasBestOaLocation W19878516834 @default.
- W1987851683 hasConcept C105795698 @default.
- W1987851683 hasConcept C111797529 @default.
- W1987851683 hasConcept C114614502 @default.
- W1987851683 hasConcept C118615104 @default.
- W1987851683 hasConcept C122123141 @default.
- W1987851683 hasConcept C13929819 @default.
- W1987851683 hasConcept C14036430 @default.
- W1987851683 hasConcept C168773769 @default.
- W1987851683 hasConcept C187455244 @default.
- W1987851683 hasConcept C33923547 @default.
- W1987851683 hasConcept C78458016 @default.
- W1987851683 hasConcept C86803240 @default.
- W1987851683 hasConceptScore W1987851683C105795698 @default.
- W1987851683 hasConceptScore W1987851683C111797529 @default.
- W1987851683 hasConceptScore W1987851683C114614502 @default.
- W1987851683 hasConceptScore W1987851683C118615104 @default.
- W1987851683 hasConceptScore W1987851683C122123141 @default.
- W1987851683 hasConceptScore W1987851683C13929819 @default.
- W1987851683 hasConceptScore W1987851683C14036430 @default.
- W1987851683 hasConceptScore W1987851683C168773769 @default.
- W1987851683 hasConceptScore W1987851683C187455244 @default.
- W1987851683 hasConceptScore W1987851683C33923547 @default.
- W1987851683 hasConceptScore W1987851683C78458016 @default.
- W1987851683 hasConceptScore W1987851683C86803240 @default.
- W1987851683 hasIssue "1-3" @default.
- W1987851683 hasLocation W19878516831 @default.
- W1987851683 hasLocation W19878516832 @default.
- W1987851683 hasLocation W19878516833 @default.
- W1987851683 hasLocation W19878516834 @default.
- W1987851683 hasOpenAccess W1987851683 @default.
- W1987851683 hasPrimaryLocation W19878516831 @default.
- W1987851683 hasRelatedWork W1678664543 @default.
- W1987851683 hasRelatedWork W2011371124 @default.
- W1987851683 hasRelatedWork W2394616262 @default.
- W1987851683 hasRelatedWork W2406837904 @default.
- W1987851683 hasRelatedWork W2408080066 @default.
- W1987851683 hasRelatedWork W2805224814 @default.
- W1987851683 hasRelatedWork W2901463378 @default.
- W1987851683 hasRelatedWork W3152212242 @default.
- W1987851683 hasRelatedWork W4382240227 @default.
- W1987851683 hasRelatedWork W44982509 @default.
- W1987851683 hasVolume "35" @default.
- W1987851683 isParatext "false" @default.
- W1987851683 isRetracted "false" @default.
- W1987851683 magId "1987851683" @default.
- W1987851683 workType "article" @default.