This breaks a symmetry (a classic technique in CP) by ordering the first and second node on the route: the circle could either start forward or backwards but that does not matter. It might reduce the search space.
Christian -- Christian Schulte, KTH, web.it.kth.se/~cschulte/ From: [email protected] [mailto:[email protected]] On Behalf Of Jonathan Skovhus Andersen Sent: Sunday, April 10, 2011 9:42 AM To: [email protected] Subject: [gecode-users] TSP example Hi, I don't understand what this snippet of code from the TSP example does - can anyone explain? // Just assume that the circle starts forwards { IntVar p0(*this, 0, n-1); element(*this, succ, p0, 0); rel(*this, p0, IRT_LE, succ[0]); } It doesn't seem to affect my results if I remove it. Regards, Jonathan Skovhus Andersen.
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
