import choco.kernel.solver.search.integer.AbstractIntVarSelector; import choco.kernel.solver.variables.integer.IntDomainVar; import choco.kernel.solver.variables.AbstractVar; import choco.kernel.memory.IStateInt; public class MagicHeuristic extends AbstractIntVarSelector { private IntDomainVar[] vars; // 0/1 decision variables private int n; // number of decision variables private IStateInt[] col; // colouring of v[i] in candidate set, reversible private IStateInt[] deg; // degree private ReversibleVector candidateSet; // the uninstantiated variables public MagicHeuristic(IntDomainVar[] vars,IStateInt[] deg,IStateInt[] col,ReversibleVector candidateSet){ this.vars = vars; n = vars.length; this.deg = deg; this.col = col; this.candidateSet = candidateSet; } public IntDomainVar selectIntVar(){ int maxColour = Integer.MIN_VALUE; int minDegree = Integer.MAX_VALUE; IntDomainVar magicVar = null; int colour = 0; int degree = 0; int i = 0; for (int k=0;k maxColour){ magicVar = vars[i]; maxColour = colour; minDegree = degree; } } //System.out.println("selected: "+ magicVar); return magicVar; } // // select the uninstantiated variable withminimum degree // tie-breaking on maximum number of colours remaining! // }