4.2.4.1. Additional Gecode search annotations

In this section: activity_max, activity_min, activity_size_max, activity_size_min, afc_max, afc_min, afc_size_max, afc_size_min, bool_default_search, float_default_search, int_default_search, random, relax_and_reconstruct, set_default_search.

activity_max

annotation activity_max
Select variable with largest activity count

activity_min

annotation activity_min
Select variable with smallest activity count

activity_size_max

annotation activity_size_max
Select variable with largest activity count divided by domain size

activity_size_min

annotation activity_size_min
Select variable with smallest activity count divided by domain size

afc_max

annotation afc_max
Select variable with largest accumulated failure count

afc_min

annotation afc_min
Select variable with smallest accumulated failure count

afc_size_max

annotation afc_size_max
Select variable with largest accumulated failure count divided by domain size

afc_size_min

annotation afc_size_min
Select variable with smallest accumulated failure count divided by domain size

random

annotation random
Select random variable

relax_and_reconstruct

1.  annotation relax_and_reconstruct(array [int] of var int: x,
                                     int: percentage)

2.  annotation relax_and_reconstruct(array [int] of var int: x,
                                     int: percentage,
                                     array [int] of int: y)
  1. Simple large neighbourhood search strategy: upon restart, for each variable in x, the probability of it being fixed to the previous solution is percentage (out of 100).

  2. Simple large neighbourhood search strategy: upon restart, for each variable in x, the probability of it being fixed to the previous solution is percentage (out of 100). Start from an initial solution y.