Sökning: onr:"swepub:oai:DiVA.org:ri-24092" >
An O(n log n) Bound...
-
Beldiceanu, Nicolas
(författare)
An O(n log n) Bound Consistency Algorithm for the Conjunction of an alldifferent and an Inequality between a Sum of Variables and a Constant, and its Generalization
- Artikel/kapitelEngelska2012
Förlag, utgivningsår, omfång ...
-
IOS Press,2012
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:ri-24092
-
https://urn.kb.se/resolve?urn=urn:nbn:se:ri:diva-24092URI
-
https://doi.org/10.3233/978-1-61499-098-7-145DOI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
This paper gives an O(n log n) bound-consistency filtering algorithm for the conjunction alldifferent(V0,V1,…,Vn−1)∧ f(V0)⌖f(V1)⌖…⌖f(Vn−1) ≤ cst, (V0,V1,…,Vn−1,cst ∊ N+), where (N,⌖) is a commutative group, f is a unary function, and both ⌖ and f are monotone increasing. This complexity is equal to the complexity of the bound-consistency algorithm of the alldifferent constraint.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Carlsson, MatsRISE,Computer Systems Laboratory(Swepub:ri)MatsCa@ri.se
(författare)
-
Petit, Thierry
(författare)
-
Régin, Jean-Charles
(författare)
-
RISEComputer Systems Laboratory
(creator_code:org_t)
Internetlänk