[gecode-users] Reified Distinct Constraint

[Christian Schulte]

No, there is no reified version. The best you can do at emulating is use
excessive reification: Create O(n^2) reified disequality constraints for all
variable-variable pairs, and then the reified control variable is the
conjunction of all the control variables from the disequalities. As said,
not very good.

Christian

--
Christian Schulte, www.it.kth.se/~cschulte/

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Max Ostrowski
Sent: Monday, February 16, 2009 2:21 PM
To: gecode list
Subject: [gecode-users] Reified Distinct Constraint

I just found the distinct constraint, that hopefully makes all variables
distinct. This could greatly reduce the number of constraints, as i am
translating from a logic program.
But i would need a reified version of the distinct constraint.
I there any or can i at least emulate thie behaviour?

Thank you in advance,
Max
-- 
Jetzt 1 Monat kostenlos! GMX FreeDSL - Telefonanschluss + DSL 
für nur 17,95 Euro/mtl.!* http://dsl.gmx.de/?ac=OM.AD.PD003K11308T4569a

_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users