Thank you sir,
I have an other question in the same context :
A/ So, if i have understand, i can do the same thing with reflection of columns
in Matrix model as follow:
Symmetries s;
BoolVarArgs a; for (int i = 0 ; i < (opt.cols/2-1); i++) { a << p.col(i); } for
(int i = (opt.col-1) ; i >= opt.col/2 ; i--) { a << p.col(i); } s <<
VariableSequenceSymmetry(a, opt.cols*opt.rows);
if this part of code is correct so his effect is aquivalent to this function of
Gecode: columns_reflect(): to specify that a matrix's columns can be reflected.
B/ an other question please about combination of symmetries:
suppose th probleme have the symmetric groupe Gn = Dn*Z2 /
- Dn: Consist on n rotation of rows of the Matrix ( the second form of
symmetry described in my first question (first email)) and n permutations of
specified rows or specified columns of the Matrix (the first form of symmetry
described in my first email).
- Z2 = {id, rev}= {+1, -1}. id = +1, rev = -1./ rev represent the possibility
of reflection of columns of the Matrix. ( it is the form of symmetry described
in this email in A.
So my question is: How to do this combinaition ? how to post the combinaition
of this 3 forms of symmetries in the branch function, i must post eatch one
independently or in the same time. it means in general, hox post this forms of
combinaition: example:
Combination 1 = Sym a + Sym b.
Combination 2 = Sym a * Sym b.
I hope that my question was clear.
Thank you.
Best regards.
Sabrina. _______________________________________________
Gecode users mailing list
users@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users
