Ejemplo n.º 1
0
            public IEnumerable <Var> Apply(CSP <Var, Val> csp, IEnumerable <Var> vars)
            {
                var result = new List <Var>();

                var maxDegree = -1;

                foreach (var var in vars)
                {
                    var degree = csp.GetConstraints(var).Count();
                    if (degree > maxDegree)
                    {
                        result.Clear();
                        maxDegree = degree;
                    }

                    if (degree == maxDegree)
                    {
                        result.Add(var);
                    }
                }

                return(result);
            }
Ejemplo n.º 2
0
            public virtual IEnumerable <Var> Apply(CSP <Var, Val> csp, IEnumerable <Var> vars)
            {
                var result = new List <Var>();

                var minValues = int.MaxValue;

                foreach (var var in vars)
                {
                    var values = csp.GetDomain(var).Count();
                    if (values < minValues)
                    {
                        result.Clear();
                        minValues = values;
                    }

                    if (values == minValues)
                    {
                        result.Add(var);
                    }
                }

                return(result);
            }
Ejemplo n.º 3
0
 public bool IsSolution(CSP <Var, Val> csp)
 {
     return(IsConsistent(csp.Constraints) && IsComplete(csp.Variables));
 }
Ejemplo n.º 4
0
 private IInferenceLog <Var, Val> Inference(CSP <Var, Val> csp, Assignment <Var, Val> assignment, Var var)
 {
     return((InferenceStrategy != null)
         ? InferenceStrategy.Apply(csp, assignment, var)
         : new EmptyLog <Var, Val>());
 }
Ejemplo n.º 5
0
 private IEnumerable <Val> OrderDomainValues(CSP <Var, Val> csp, Assignment <Var, Val> assignment, Var var)
 {
     return((ValueOrderingStrategy != null)
         ? ValueOrderingStrategy.Apply(csp, assignment, var)
         : csp.GetDomain(var));
 }
Ejemplo n.º 6
0
 public override IEnumerable <Var> Apply(CSP <Var, Val> csp, IEnumerable <Var> vars)
 {
     return(_deg.Apply(csp, _mrv.Apply(csp, vars)));
 }
Ejemplo n.º 7
0
 public static IVariableSelectionStrategy <Var, Val> MrvDeg <Var, Val>(CSP <Var, Val> csp, List <Var> vars) where Var : Variable
 {
     return(new MrvDegHeuristic <Var, Val>());
 }