[gecode-users] Using IntActivity with space

Christian Schulte cschulte at kth.se
Tue Jul 16 11:09:28 CEST 2013

Yes, changes to recomputation can change the variable ordering but that's
the best we can do.I think quite some variable selection strategies will
also work differently on different hardware/software platforms due to
different rounding...

How about one can give an initialization function for Activity such that the
activity value will be initialized for each variable. That should be easy.


Christian Schulte, Professor of Computer Science, KTH,

-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Kish Shen
Sent: Monday, July 15, 2013 5:13 AM
Cc: users at gecode.org
Subject: Re: [gecode-users] Using IntActivity with space

On 11/07/2013 11:25, Christian Schulte wrote:
> Hi Kish,
> As said, don't wait up for Activity with dynamically adding variables...
> Yes, activity information must be initialized (either by restarts or 
> even better by randomized probing) to be useful.

Could the initial value be the degree like in AFC?

> Yes, recomputation has an effect on activity. But that's okay, 
> activity is just a measure and does not need to be 100% accurate.

I know it is just a heuristic measurement, but counting recomputation seem
to introduce some bias, but more importantly, doesn't this mean that the
values will change with different amount of recomputation, which can then
lead to different variable selection?



Gecode users mailing list
users at gecode.org

More information about the users mailing list