[gecode-users] Activity-based search and nondeterministic behaviour

[Christian Schulte]

Dear Andre,

 

Now it is not deterministic when non-detrministic propagators are around.

 

Moreover, changing the recomputation distance will also (slightly) change
the activity information recorded.

 

Cheers

Christian

 

--

Christian Schulte, www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Andre Augusto Cire
Sent: Monday, February 10, 2014 6:43 PM
To: users at gecode.org
Subject: [gecode-users] Activity-based search and nondeterministic behaviour

 

Dear all,

 

I wonder if you could kindly help me with a very quick question. From a
previous forum post and the manual, we know that nonmonotonic propagators
and AFC-based search may result in a nondeterministic behaviour (post here:
https://www.mail-archive.com/users@gecode.org/msg00916.html). 

 

Just to confirm: is activity-based search deterministic?

 

Thank you very much,

Andre

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20140210/4b9ef9e5/attachment.html>