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 -- Christian Schulte, Professor of Computer Science, KTH, www.ict.kth.se/~cschulte/ -----Original Message----- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Kish Shen Sent: Monday, July 15, 2013 5:13 AM Cc: users@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? Cheers, Kish _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
