Matches in SemOpenAlex for { <https://semopenalex.org/work/W2120161009> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2120161009 endingPage "77" @default.
- W2120161009 startingPage "55" @default.
- W2120161009 abstract "This paper presents the analysis of three revision algorithms for 2-variable Constraint Satisfaction Problems (CSPs). The revision algorithms under consideration are called L, L 0 , and L 00 . For 2variable CSPs L models an optimal arc consistency algorithm which exploits multi-directionality. However, L 0 and L 00 do not exploit multi-directionality. For 2-variable CSPs L 0 is equivalent to the arc consistency algorithm AC-3. The expected number and the variance of the checks are presented for L, L 0 , and L 00 . Writing A B if the expected number of checks for A is less than for B, we have L L 0 L 00 . The results are parametrised over the probability p that a random check succeeds and probability q = 1 p that it fails. It is proved that the difference between the expected number of checks of any two algorithms is bounded by min(b,1 + dln(a)/ln(1/q)e)/p. Using a variance analysis, it is proved that, as the domain sizes a and b become large, the number of checks which are required by the revision algorithms is sharply concentrated about their expected number of checks. Finally, our analysis allows us to find an upper bound of 2ed/p + (2e n)d(d 1)/2p for the expected time complexity of AC-3, where e is the number of constraints, n is the umber of variables, and d is the maximum domain size. These results are novel and encouraging. First they provide the first non-trivial upper bound on the expected time complexity of AC-3. Second, they demonstrate that on average there is a small margin separating L, L 0 , and L 00 . Finally, they present the first results about the variance of the checks required by revision algorithms." @default.
- W2120161009 created "2016-06-24" @default.
- W2120161009 creator A5020667922 @default.
- W2120161009 creator A5049487565 @default.
- W2120161009 creator A5085824996 @default.
- W2120161009 date "2008-01-01" @default.
- W2120161009 modified "2023-09-27" @default.
- W2120161009 title "The expected value and the variance of the checks required by revision algorithms" @default.
- W2120161009 cites W144136056 @default.
- W2120161009 cites W1490489754 @default.
- W2120161009 cites W1491961545 @default.
- W2120161009 cites W1530466006 @default.
- W2120161009 cites W1541781200 @default.
- W2120161009 cites W1586530600 @default.
- W2120161009 cites W1960236202 @default.
- W2120161009 cites W2029948740 @default.
- W2120161009 cites W2069683773 @default.
- W2120161009 cites W2071706116 @default.
- W2120161009 cites W2091984336 @default.
- W2120161009 cites W2122765794 @default.
- W2120161009 cites W2135432705 @default.
- W2120161009 cites W2138037655 @default.
- W2120161009 cites W2167359257 @default.
- W2120161009 cites W2329095262 @default.
- W2120161009 cites W29451325 @default.
- W2120161009 cites W2460130329 @default.
- W2120161009 hasPublicationYear "2008" @default.
- W2120161009 type Work @default.
- W2120161009 sameAs 2120161009 @default.
- W2120161009 citedByCount "3" @default.
- W2120161009 crossrefType "journal-article" @default.
- W2120161009 hasAuthorship W2120161009A5020667922 @default.
- W2120161009 hasAuthorship W2120161009A5049487565 @default.
- W2120161009 hasAuthorship W2120161009A5085824996 @default.
- W2120161009 hasConcept C105795698 @default.
- W2120161009 hasConcept C11413529 @default.
- W2120161009 hasConcept C114614502 @default.
- W2120161009 hasConcept C118615104 @default.
- W2120161009 hasConcept C122123141 @default.
- W2120161009 hasConcept C134306372 @default.
- W2120161009 hasConcept C141042865 @default.
- W2120161009 hasConcept C182365436 @default.
- W2120161009 hasConcept C2776436953 @default.
- W2120161009 hasConcept C33923547 @default.
- W2120161009 hasConcept C34388435 @default.
- W2120161009 hasConcept C36503486 @default.
- W2120161009 hasConcept C77553402 @default.
- W2120161009 hasConceptScore W2120161009C105795698 @default.
- W2120161009 hasConceptScore W2120161009C11413529 @default.
- W2120161009 hasConceptScore W2120161009C114614502 @default.
- W2120161009 hasConceptScore W2120161009C118615104 @default.
- W2120161009 hasConceptScore W2120161009C122123141 @default.
- W2120161009 hasConceptScore W2120161009C134306372 @default.
- W2120161009 hasConceptScore W2120161009C141042865 @default.
- W2120161009 hasConceptScore W2120161009C182365436 @default.
- W2120161009 hasConceptScore W2120161009C2776436953 @default.
- W2120161009 hasConceptScore W2120161009C33923547 @default.
- W2120161009 hasConceptScore W2120161009C34388435 @default.
- W2120161009 hasConceptScore W2120161009C36503486 @default.
- W2120161009 hasConceptScore W2120161009C77553402 @default.
- W2120161009 hasLocation W21201610091 @default.
- W2120161009 hasOpenAccess W2120161009 @default.
- W2120161009 hasPrimaryLocation W21201610091 @default.
- W2120161009 hasRelatedWork W1483114294 @default.
- W2120161009 hasRelatedWork W1495321461 @default.
- W2120161009 hasRelatedWork W1496944401 @default.
- W2120161009 hasRelatedWork W1521901688 @default.
- W2120161009 hasRelatedWork W1602658616 @default.
- W2120161009 hasRelatedWork W1926117152 @default.
- W2120161009 hasRelatedWork W1966596479 @default.
- W2120161009 hasRelatedWork W1967550908 @default.
- W2120161009 hasRelatedWork W1970041563 @default.
- W2120161009 hasRelatedWork W2032297021 @default.
- W2120161009 hasRelatedWork W2126442135 @default.
- W2120161009 hasRelatedWork W2163545694 @default.
- W2120161009 hasRelatedWork W2171200367 @default.
- W2120161009 hasRelatedWork W2622704750 @default.
- W2120161009 hasRelatedWork W2810395196 @default.
- W2120161009 hasRelatedWork W2963725033 @default.
- W2120161009 hasRelatedWork W3046684513 @default.
- W2120161009 hasRelatedWork W3201688216 @default.
- W2120161009 hasRelatedWork W57574355 @default.
- W2120161009 hasRelatedWork W2460130329 @default.
- W2120161009 hasVolume "2" @default.
- W2120161009 isParatext "false" @default.
- W2120161009 isRetracted "false" @default.
- W2120161009 magId "2120161009" @default.
- W2120161009 workType "article" @default.