FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2149108377> ?p ?o ?g. }

• W2149108377 abstract "We analyze the efficiency of the random walk algorithm on random 3-CNF instances, and prove linear upper bounds on the running time of this algorithm for small clause density, less than 1.63. Our upper bound matches the observed running time to within a multiplicative factor. This is the first sub-exponential upper bound on the running time of a local improvement algorithm on random instances. Our proof introduces a simple, yet powerful tool for analyzing such algorithms, which may be of further use. This object, called a terminator, is a weighted satisfying assignment. We show that any CNF having a good (small weight) terminator is assured to be solved quickly by the random walk algorithm. This raises the natural question of the terminator threshold which is the maximal clause density for which such assignments exist (with high probability). We use the analysis of the pure literal heuristic presented by Broder, Frieze and Upfal and show that for small clause densities good terminators exist. Thus we show that the pure literal threshold (/spl ap/ 1.63) is a lower bound on the terminator threshold. One nice property of terminators is that they can be found efficiently, via linear programming. This makes tractable the future investigation of the terminator threshold, and also provides an efficiently computable certificate for short running time of the simple random-walk heuristic." @default.
• W2149108377 created "2016-06-24" @default.
• W2149108377 creator A5058111762 @default.
• W2149108377 creator A5062653940 @default.
• W2149108377 date "2004-03-02" @default.
• W2149108377 modified "2023-09-25" @default.
• W2149108377 title "Linear upper bounds for random walk on small density random 3-CNFs" @default.
• W2149108377 cites W1508924483 @default.
• W2149108377 cites W1518885151 @default.
• W2149108377 cites W1534497489 @default.
• W2149108377 cites W1534832769 @default.
• W2149108377 cites W1559492868 @default.
• W2149108377 cites W1585372881 @default.
• W2149108377 cites W1667614912 @default.
• W2149108377 cites W1820801893 @default.
• W2149108377 cites W1823551964 @default.
• W2149108377 cites W1963913579 @default.
• W2149108377 cites W1969966778 @default.
• W2149108377 cites W1978732816 @default.
• W2149108377 cites W1994098212 @default.
• W2149108377 cites W1997338813 @default.
• W2149108377 cites W1999678910 @default.
• W2149108377 cites W2017127020 @default.
• W2149108377 cites W2024060531 @default.
• W2149108377 cites W2029268759 @default.
• W2149108377 cites W2051580875 @default.
• W2149108377 cites W2054387247 @default.
• W2149108377 cites W2055758906 @default.
• W2149108377 cites W2063292248 @default.
• W2149108377 cites W2066749637 @default.
• W2149108377 cites W2068871408 @default.
• W2149108377 cites W2072802070 @default.
• W2149108377 cites W2078758709 @default.
• W2149108377 cites W2103012681 @default.
• W2149108377 cites W2112263772 @default.
• W2149108377 cites W2126420408 @default.
• W2149108377 cites W2126442135 @default.
• W2149108377 cites W2128782263 @default.
• W2149108377 cites W2131459042 @default.
• W2149108377 cites W2136558174 @default.
• W2149108377 cites W2138778293 @default.
• W2149108377 cites W2143404729 @default.
• W2149108377 cites W2155218845 @default.
• W2149108377 cites W2164346692 @default.
• W2149108377 cites W2166602562 @default.
• W2149108377 cites W2171680292 @default.
• W2149108377 cites W2295428206 @default.
• W2149108377 cites W2404266688 @default.
• W2149108377 cites W322155389 @default.
• W2149108377 cites W41551012 @default.
• W2149108377 cites W67367170 @default.
• W2149108377 doi "https://doi.org/10.1109/sfcs.2003.1238209" @default.
• W2149108377 hasPublicationYear "2004" @default.
• W2149108377 type Work @default.
• W2149108377 sameAs 2149108377 @default.
• W2149108377 citedByCount "3" @default.
• W2149108377 crossrefType "proceedings-article" @default.
• W2149108377 hasAuthorship W2149108377A5058111762 @default.
• W2149108377 hasAuthorship W2149108377A5062653940 @default.
• W2149108377 hasConcept C105795698 @default.
• W2149108377 hasConcept C11413529 @default.
• W2149108377 hasConcept C114614502 @default.
• W2149108377 hasConcept C118615104 @default.
• W2149108377 hasConcept C121194460 @default.
• W2149108377 hasConcept C134306372 @default.
• W2149108377 hasConcept C2780882242 @default.
• W2149108377 hasConcept C33923547 @default.
• W2149108377 hasConcept C41008148 @default.
• W2149108377 hasConcept C42747912 @default.
• W2149108377 hasConcept C77553402 @default.
• W2149108377 hasConceptScore W2149108377C105795698 @default.
• W2149108377 hasConceptScore W2149108377C11413529 @default.
• W2149108377 hasConceptScore W2149108377C114614502 @default.
• W2149108377 hasConceptScore W2149108377C118615104 @default.
• W2149108377 hasConceptScore W2149108377C121194460 @default.
• W2149108377 hasConceptScore W2149108377C134306372 @default.
• W2149108377 hasConceptScore W2149108377C2780882242 @default.
• W2149108377 hasConceptScore W2149108377C33923547 @default.
• W2149108377 hasConceptScore W2149108377C41008148 @default.
• W2149108377 hasConceptScore W2149108377C42747912 @default.
• W2149108377 hasConceptScore W2149108377C77553402 @default.
• W2149108377 hasLocation W21491083771 @default.
• W2149108377 hasOpenAccess W2149108377 @default.
• W2149108377 hasPrimaryLocation W21491083771 @default.
• W2149108377 hasRelatedWork W1510643131 @default.
• W2149108377 hasRelatedWork W1572383262 @default.
• W2149108377 hasRelatedWork W1994408504 @default.
• W2149108377 hasRelatedWork W2006642081 @default.
• W2149108377 hasRelatedWork W2045438907 @default.
• W2149108377 hasRelatedWork W2069679810 @default.
• W2149108377 hasRelatedWork W2100527215 @default.
• W2149108377 hasRelatedWork W2130515279 @default.
• W2149108377 hasRelatedWork W2139937532 @default.
• W2149108377 hasRelatedWork W2143594377 @default.
• W2149108377 hasRelatedWork W2165126939 @default.
• W2149108377 hasRelatedWork W2165654745 @default.
• W2149108377 hasRelatedWork W2275013643 @default.
• W2149108377 hasRelatedWork W2404448755 @default.
• W2149108377 hasRelatedWork W2929835774 @default.
• W2149108377 hasRelatedWork W2950503629 @default.

• next