[gecode-users] Using IntActivity with space
kisshen at cisco.com
Tue Jul 16 18:10:45 CEST 2013
On 16/07/2013 10:09, Christian Schulte wrote:
> 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...
To me, changing the amount of recomputation is somewhat different from
running on different hardware/software platforms. Am I correct that
besides activity, changing the amount of recomputation will only affect
Is it not possible to turn off the gathering of activity information
during recomputation? I assume that (like in our interface code), you
know when you are performing recomputation, and if so, can the gathering
of activity information be turned off for the duration?
> 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.
This sound like a good idea!
More information about the users