private static Grille Recursive_Backtracking_Search(Grille grille)
{
nbRep++;
//Test d'objectif
if (grille.IsComplete())
{
return(grille);
}
//On créé une copie de la grille de départ
Grille tempGrille = new Grille(grille);
//On détecte la case vide ayant le moins de valeurs possibles
int indexLeastMRV = -1;
int MRV = int.MaxValue;
int compteur = 0;
foreach (Case box in tempGrille.cases)
{
if (box.Value == 0)
{
int tempMRV = box.PossibleValues.Count;
if (tempMRV < MRV)
{
indexLeastMRV = compteur;
MRV = tempMRV;
}
}
compteur++;
}
//Si aucune valeur ne mène à une solution satisfaisante, on
//arrête d'explorer la branche.
if (MRV == 0)
{
return(null);
}
//On créé les noeuds enfants
Dictionary <Grille, int> dic = new Dictionary <Grille, int>();
List <Grille> grilles = new List <Grille>();
//Pour chaque valeur possible de la case, on calcule le nombre de contraintes ajoutées
foreach (int valeur in tempGrille.cases[indexLeastMRV].PossibleValues)
{
Grille nextGrille = new Grille(tempGrille);
nextGrille.cases[indexLeastMRV].Value = valeur;
nextGrille.DefinePossibleValuesAllBoxes();
int nbConstraintsAdded = tempGrille.GetNbOfPossibleValues() - nextGrille.GetNbOfPossibleValues();
dic.Add(nextGrille, nbConstraintsAdded);
}
//On les trie en fonction du nombre de contraintes ajoutées
sortDictionary(dic);
//Création des noeuds enfants
foreach (KeyValuePair <Grille, int> pair in dic)
{
Grille result = Recursive_Backtracking_Search(pair.Key);
if (result != null)
{
return(result);
}
}
return(null);
}
/// <summary>
/// Tries to resolve the grid in parameter. Returns the solution (or 'null' if no solution is found)
/// </summary>
/// <param name="grille"></param>
public static Grille BackTrackingSearch(Grille grille)
{
nbRep = 0;
grille.DefinePossibleValuesAllBoxes();
return(Recursive_Backtracking_Search(grille));
}
