Matches in SemOpenAlex for { <https://semopenalex.org/work/W4295117034> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4295117034 abstract "Bessiere et al. (AAAI'08) showed that several intractable global constraints can be efficiently propagated when certain natural problem parameters are small. In particular, the complete propagation of a global constraint is fixed-parameter tractable in k - the number of holes in domains - whenever bound consistency can be enforced in polynomial time; this applies to the global constraints AtMost-NValue and Extended Global Cardinality (EGC). In this paper we extend this line of research and introduce the concept of reduction to a problem kernel, a key concept of parameterized complexity, to the field of global constraints. In particular, we show that the consistency problem for AtMost-NValue constraints admits a linear time reduction to an equivalent instance on O(k^2) variables and domain values. This small kernel can be used to speed up the complete propagation of NValue constraints. We contrast this result by showing that the consistency problem for EGC constraints does not admit a reduction to a polynomial problem kernel unless the polynomial hierarchy collapses." @default.
- W4295117034 created "2022-09-10" @default.
- W4295117034 creator A5037092803 @default.
- W4295117034 creator A5048738368 @default.
- W4295117034 date "2011-04-13" @default.
- W4295117034 modified "2023-09-25" @default.
- W4295117034 title "Kernels for Global Constraints" @default.
- W4295117034 doi "https://doi.org/10.48550/arxiv.1104.2541" @default.
- W4295117034 hasPublicationYear "2011" @default.
- W4295117034 type Work @default.
- W4295117034 citedByCount "0" @default.
- W4295117034 crossrefType "posted-content" @default.
- W4295117034 hasAuthorship W4295117034A5037092803 @default.
- W4295117034 hasAuthorship W4295117034A5048738368 @default.
- W4295117034 hasBestOaLocation W42951170341 @default.
- W4295117034 hasConcept C105795698 @default.
- W4295117034 hasConcept C111335779 @default.
- W4295117034 hasConcept C11413529 @default.
- W4295117034 hasConcept C118615104 @default.
- W4295117034 hasConcept C124101348 @default.
- W4295117034 hasConcept C126255220 @default.
- W4295117034 hasConcept C134306372 @default.
- W4295117034 hasConcept C137105694 @default.
- W4295117034 hasConcept C165464430 @default.
- W4295117034 hasConcept C199622910 @default.
- W4295117034 hasConcept C2524010 @default.
- W4295117034 hasConcept C2776013622 @default.
- W4295117034 hasConcept C2776036281 @default.
- W4295117034 hasConcept C2776436953 @default.
- W4295117034 hasConcept C311688 @default.
- W4295117034 hasConcept C33923547 @default.
- W4295117034 hasConcept C41008148 @default.
- W4295117034 hasConcept C49937458 @default.
- W4295117034 hasConcept C74193536 @default.
- W4295117034 hasConcept C87117476 @default.
- W4295117034 hasConcept C90119067 @default.
- W4295117034 hasConceptScore W4295117034C105795698 @default.
- W4295117034 hasConceptScore W4295117034C111335779 @default.
- W4295117034 hasConceptScore W4295117034C11413529 @default.
- W4295117034 hasConceptScore W4295117034C118615104 @default.
- W4295117034 hasConceptScore W4295117034C124101348 @default.
- W4295117034 hasConceptScore W4295117034C126255220 @default.
- W4295117034 hasConceptScore W4295117034C134306372 @default.
- W4295117034 hasConceptScore W4295117034C137105694 @default.
- W4295117034 hasConceptScore W4295117034C165464430 @default.
- W4295117034 hasConceptScore W4295117034C199622910 @default.
- W4295117034 hasConceptScore W4295117034C2524010 @default.
- W4295117034 hasConceptScore W4295117034C2776013622 @default.
- W4295117034 hasConceptScore W4295117034C2776036281 @default.
- W4295117034 hasConceptScore W4295117034C2776436953 @default.
- W4295117034 hasConceptScore W4295117034C311688 @default.
- W4295117034 hasConceptScore W4295117034C33923547 @default.
- W4295117034 hasConceptScore W4295117034C41008148 @default.
- W4295117034 hasConceptScore W4295117034C49937458 @default.
- W4295117034 hasConceptScore W4295117034C74193536 @default.
- W4295117034 hasConceptScore W4295117034C87117476 @default.
- W4295117034 hasConceptScore W4295117034C90119067 @default.
- W4295117034 hasLocation W42951170341 @default.
- W4295117034 hasOpenAccess W4295117034 @default.
- W4295117034 hasPrimaryLocation W42951170341 @default.
- W4295117034 hasRelatedWork W1530466006 @default.
- W4295117034 hasRelatedWork W1561749771 @default.
- W4295117034 hasRelatedWork W1674261159 @default.
- W4295117034 hasRelatedWork W1871992796 @default.
- W4295117034 hasRelatedWork W2131140696 @default.
- W4295117034 hasRelatedWork W2167200416 @default.
- W4295117034 hasRelatedWork W2254328923 @default.
- W4295117034 hasRelatedWork W2963055415 @default.
- W4295117034 hasRelatedWork W2964317093 @default.
- W4295117034 hasRelatedWork W4295117034 @default.
- W4295117034 isParatext "false" @default.
- W4295117034 isRetracted "false" @default.
- W4295117034 workType "article" @default.