General implementation of value selection criterion.
Value selection criterion is based on weighted sum of various criteria. It
also allows random walk technique and tabu search.
Parameters:
Related Solver Parameters
Parameter |
Type |
Comment |
General.MPP |
Boolean |
if true, MPP is being solved |
Value.MPPLimit |
Integer |
MPP: limitation of the number of allowed perturbations. If a solution
within this limit is gound, it is decreased. |
Value.InitialSelectionProb |
Double |
MPP: probability of selection of the initial value |
Value.RandomWalkProb |
Double |
Random Walk: probability of selection of a value randomly among all the
values |
Value.Tabu |
Integer |
Tabu Search: length of the tabu-list |
Value.GoodSelectionProb |
Double |
In case of MacPropagation , with this probability (1.0 means
always), the selection is made only among good values (not removed from the
domain). |
Following weights are used in the weighted sum (computed for all values). The
value with the lowest weighted sum is selected. If there are more than one of
such values, one of them is selected randomly.
Related Solver Parameters
Parameter |
Type |
Comment |
Value.WeightDeltaInitialAssignments |
Double |
MPP: Difference in the number of assigned initial values if the value is
assigned to the variable (weighted by this
Value.WeightDeltaInitialAssignments): -1 if the value is initial, 0
otherwise, increased by the number of initial values assigned to variables
with hard conflicts with the value |
Value.WeightWeightedConflicts |
Double |
When ConflictStatistics is used: weighted number of conflicting
variables |
Value.WeightPotentialConflicts |
Double |
When ConflictStatistics is used: weighted number of potentially
conflicting variables |
Value.WeightConflicts |
Double |
Number of conflicting variables Model.conflictValues(Assignment, Value) . |
Value.WeightValue |
Double |
Value Value.toDouble(Assignment) |