[gecode-users] How to set an arbitrary RandomGenerator for randomized branching?!?

[Christian Schulte]

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: users-bounces at gecode.org [mailto:users-bounces at gecode.org] 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
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users