[gecode-users] Implementing No-goods

[Christian Schulte]

Hi Kish,

Yes, the default master() function should do the trick and, yes, you have to
set the nogoods_limit accordingly.

Please re-read MPG on how restart-based search works: the no-goods are
posted in the master space (that's why the master() function does it) and
are hence re-used for each restart (as it starts from the master).

If you do nothing extra (such as randomization or BAB where the constrain()
function is called on the master etc) restarting after having found a
solution will produce the same solution again.

Cheers
Christian

--
Christian Schulte, Professor of Computer Science, KTH,
www.ict.kth.se/~cschulte/



-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kish Shen
Sent: Wednesday, September 11, 2013 9:36 PM
To: users at gecode.org
Subject: Re: [gecode-users] Implementing No-goods

On 11/09/2013 20:14, Kish Shen wrote:

> There is one more issue: are the no-goods remembered after the search 
> (I

I guess I should clarify what I mean by this: are the no-goods remembered as
no-goods (rather than the posted constraint constructed from the no-goods)
after the search, i.e. if I do another search, will these old no-goods be
used to construct any new no-goods for the new search?

Cheers,

Kish


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