Matches in SemOpenAlex for { <https://semopenalex.org/work/W2951522425> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W2951522425 abstract "Establishing arc consistency on two relational structures is one of the most popular heuristics for the constraint satisfaction problem. We aim at determining the time complexity of arc consistency testing. The input structures $G$ and $H$ can be supposed to be connected colored graphs, as the general problem reduces to this particular case. We first observe the upper bound $O(e(G)v(H)+v(G)e(H))$, which implies the bound $O(e(G)e(H))$ in terms of the number of edges and the bound $O((v(G)+v(H))^3)$ in terms of the number of vertices. We then show that both bounds are tight up to a constant factor as long as an arc consistency algorithm is based on constraint propagation (like any algorithm currently known). Our argument for the lower bounds is based on examples of slow constraint propagation. We measure the speed of constraint propagation observed on a pair $G,H$ by the size of a proof, in a natural combinatorial proof system, that Spoiler wins the existential 2-pebble game on $G,H$. The proof size is bounded from below by the game length $D(G,H)$, and a crucial ingredient of our analysis is the existence of $G,H$ with $D(G,H)=Omega(v(G)v(H))$. We find one such example among old benchmark instances for the arc consistency problem and also suggest a new, different construction." @default.
- W2951522425 created "2019-06-27" @default.
- W2951522425 creator A5037918017 @default.
- W2951522425 creator A5064842516 @default.
- W2951522425 date "2013-03-28" @default.
- W2951522425 modified "2023-09-27" @default.
- W2951522425 title "On the speed of constraint propagation and the time complexity of arc consistency testing" @default.
- W2951522425 cites W153181359 @default.
- W2951522425 cites W1586530600 @default.
- W2951522425 cites W1594732291 @default.
- W2951522425 cites W1598289908 @default.
- W2951522425 cites W1603707154 @default.
- W2951522425 cites W1994652641 @default.
- W2951522425 cites W1994748751 @default.
- W2951522425 cites W2025390947 @default.
- W2951522425 cites W2067633747 @default.
- W2951522425 cites W2073227282 @default.
- W2951522425 cites W2090310951 @default.
- W2951522425 cites W2091984336 @default.
- W2951522425 cites W2099980081 @default.
- W2951522425 cites W2112957923 @default.
- W2951522425 cites W2129413084 @default.
- W2951522425 cites W2132457433 @default.
- W2951522425 cites W2135432705 @default.
- W2951522425 cites W2138037655 @default.
- W2951522425 cites W2150339067 @default.
- W2951522425 hasPublicationYear "2013" @default.
- W2951522425 type Work @default.
- W2951522425 sameAs 2951522425 @default.
- W2951522425 citedByCount "0" @default.
- W2951522425 crossrefType "posted-content" @default.
- W2951522425 hasAuthorship W2951522425A5037918017 @default.
- W2951522425 hasAuthorship W2951522425A5064842516 @default.
- W2951522425 hasConcept C105795698 @default.
- W2951522425 hasConcept C114614502 @default.
- W2951522425 hasConcept C118615104 @default.
- W2951522425 hasConcept C134306372 @default.
- W2951522425 hasConcept C137105694 @default.
- W2951522425 hasConcept C199622910 @default.
- W2951522425 hasConcept C2524010 @default.
- W2951522425 hasConcept C2776036281 @default.
- W2951522425 hasConcept C2776436953 @default.
- W2951522425 hasConcept C33923547 @default.
- W2951522425 hasConcept C34388435 @default.
- W2951522425 hasConcept C49937458 @default.
- W2951522425 hasConcept C77553402 @default.
- W2951522425 hasConceptScore W2951522425C105795698 @default.
- W2951522425 hasConceptScore W2951522425C114614502 @default.
- W2951522425 hasConceptScore W2951522425C118615104 @default.
- W2951522425 hasConceptScore W2951522425C134306372 @default.
- W2951522425 hasConceptScore W2951522425C137105694 @default.
- W2951522425 hasConceptScore W2951522425C199622910 @default.
- W2951522425 hasConceptScore W2951522425C2524010 @default.
- W2951522425 hasConceptScore W2951522425C2776036281 @default.
- W2951522425 hasConceptScore W2951522425C2776436953 @default.
- W2951522425 hasConceptScore W2951522425C33923547 @default.
- W2951522425 hasConceptScore W2951522425C34388435 @default.
- W2951522425 hasConceptScore W2951522425C49937458 @default.
- W2951522425 hasConceptScore W2951522425C77553402 @default.
- W2951522425 hasLocation W29515224251 @default.
- W2951522425 hasOpenAccess W2951522425 @default.
- W2951522425 hasPrimaryLocation W29515224251 @default.
- W2951522425 hasRelatedWork W1608872751 @default.
- W2951522425 hasRelatedWork W2071020383 @default.
- W2951522425 hasRelatedWork W2079758416 @default.
- W2951522425 hasRelatedWork W2108633592 @default.
- W2951522425 hasRelatedWork W2115196597 @default.
- W2951522425 hasRelatedWork W2160681854 @default.
- W2951522425 hasRelatedWork W2592574264 @default.
- W2951522425 hasRelatedWork W2757545232 @default.
- W2951522425 hasRelatedWork W2770160826 @default.
- W2951522425 hasRelatedWork W2886112286 @default.
- W2951522425 hasRelatedWork W2917331219 @default.
- W2951522425 hasRelatedWork W2950934591 @default.
- W2951522425 hasRelatedWork W2964301480 @default.
- W2951522425 hasRelatedWork W2969832362 @default.
- W2951522425 hasRelatedWork W3002382727 @default.
- W2951522425 hasRelatedWork W3038344752 @default.
- W2951522425 hasRelatedWork W3080798674 @default.
- W2951522425 hasRelatedWork W3160700943 @default.
- W2951522425 hasRelatedWork W620970122 @default.
- W2951522425 hasRelatedWork W820199756 @default.
- W2951522425 isParatext "false" @default.
- W2951522425 isRetracted "false" @default.
- W2951522425 magId "2951522425" @default.
- W2951522425 workType "article" @default.