Even that is not enough! It also needs to work with recomputation, that's why each branching actually needs to store the entire state of a random number generator.
Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ -----Original Message----- From: [email protected] [mailto:[email protected]] On Behalf Of Guido Tack Sent: Tuesday, May 19, 2009 3:30 AM To: Martin Mann Cc: gecode user list Subject: Re: [gecode-users] How to set an arbitrary RandomGenerator for randomized branching?!? Martin Mann wrote: > Is there a possibility to support user defined generators? e.g. in > coming versions? > > If not available right now, maybe you like the following suggestion: [...] A problem with your approach is that a global random number generator doesn't work in a multi-threaded setting (you don't want to lock access to it, I think). One would at least have to have it per thread. Cheers, Guido _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
