Compare commits
9 Commits
7e068d0910
...
436967da03
| Author | SHA1 | Date | |
|---|---|---|---|
| 436967da03 | |||
| 0f72113d67 | |||
| 690be279bd | |||
| b836670cda | |||
| f002667e54 | |||
| bf9bfc8323 | |||
| dd21b9a13a | |||
| a36960c57a | |||
| 1c1da09e1f |
31
app/src/main/java/sudoku/ContrainteCasePartagee.java
Normal file
31
app/src/main/java/sudoku/ContrainteCasePartagee.java
Normal file
@@ -0,0 +1,31 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.Collection;
|
||||
import java.util.HashSet;
|
||||
import java.util.Set;
|
||||
|
||||
public class ContrainteCasePartagee implements Contrainte {
|
||||
private Set<Case> casesLiees;
|
||||
|
||||
public ContrainteCasePartagee(Collection<Case> cases) {
|
||||
this.casesLiees = new HashSet<>(cases);
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean estRespectee(Grille grille, Case caseActuelle) {
|
||||
if (!casesLiees.contains(caseActuelle))
|
||||
return true;
|
||||
|
||||
Symbole reference = null;
|
||||
for (Case c : casesLiees) {
|
||||
if (c.getSymbole() == null)
|
||||
continue;
|
||||
if (reference == null) {
|
||||
reference = c.getSymbole();
|
||||
} else if (!c.getSymbole().equals(reference)) {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
return true;
|
||||
}
|
||||
}
|
||||
@@ -14,6 +14,7 @@ public class Grille {
|
||||
private final ArrayList<Bloc> blocs;
|
||||
private ArrayList<Symbole> symbolesPossibles;
|
||||
private final Sudoku sudoku;
|
||||
private Multidoku multidoku; // Référence à Multidoku
|
||||
private List<String> generatedColors;
|
||||
|
||||
public Grille(int taille, Sudoku sudoku) {
|
||||
@@ -34,6 +35,10 @@ public class Grille {
|
||||
}
|
||||
}
|
||||
|
||||
public void setMultidoku(Multidoku multidoku) {
|
||||
this.multidoku = multidoku;
|
||||
}
|
||||
|
||||
/**
|
||||
* Génère une palette de couleurs en fonction du nombre de blocs attendus.
|
||||
* Pour un sudoku classique, la grille est de taille n², et il y a n² blocs,
|
||||
@@ -60,24 +65,34 @@ public class Grille {
|
||||
if (symbole != null && !symbolesPossibles.contains(symbole)) {
|
||||
throw new IllegalArgumentException("Symbole non autorisé : " + symbole);
|
||||
}
|
||||
// Sauvegarder l'ancien symbole
|
||||
Symbole ancienSymbole = cases[ligne][colonne].getSymbole();
|
||||
|
||||
// Affecter le nouveau symbole
|
||||
cases[ligne][colonne].setSymbole(symbole);
|
||||
Case currentCase = cases[ligne][colonne];
|
||||
Symbole ancienSymbole = currentCase.getSymbole();
|
||||
currentCase.setSymbole(symbole);
|
||||
|
||||
// Vérifier les contraintes
|
||||
if (!sudoku.verifierToutesContraintes()) {
|
||||
// Revenir sur le changement
|
||||
cases[ligne][colonne].setSymbole(ancienSymbole);
|
||||
throw new IllegalArgumentException("SET CASE: Les contraintes ne sont pas respectées pour la case ("
|
||||
+ ligne + ", " + colonne + ")");
|
||||
// Verify constraints including shared cases
|
||||
if (!sudoku.verifierToutesContraintes() ||
|
||||
(multidoku != null && !multidoku.verifierContraintesPartagees())) {
|
||||
currentCase.setSymbole(ancienSymbole);
|
||||
throw new IllegalArgumentException(
|
||||
"Les contraintes ne sont pas respectées pour la case (" + ligne + ", " + colonne + ")");
|
||||
}
|
||||
} catch (Exception e) {
|
||||
Console.errorln(e.getMessage());
|
||||
}
|
||||
}
|
||||
|
||||
// public void setCaseAvecPropagation(int ligne, int colonne, Symbole symbole) {
|
||||
// // Affecte la valeur dans la grille courante
|
||||
// setCase(ligne, colonne, symbole);
|
||||
|
||||
// // Si cette case est partagée et qu'il y a un multidoku, on propage
|
||||
// // immédiatement la valeur
|
||||
// if (multidoku != null && multidoku.isSharedCase(getCase(ligne, colonne))) {
|
||||
// multidoku.propagateSharedCase(getCase(ligne, colonne), symbole);
|
||||
// }
|
||||
// }
|
||||
|
||||
public Case getCase(int ligne, int colonne) {
|
||||
return cases[ligne][colonne];
|
||||
}
|
||||
@@ -313,7 +328,7 @@ public class Grille {
|
||||
return taille;
|
||||
}
|
||||
|
||||
private Bloc findBlocForCase(Case target) {
|
||||
Bloc findBlocForCase(Case target) {
|
||||
for (Bloc bloc : blocs) {
|
||||
if (bloc.getCases().contains(target)) {
|
||||
return bloc;
|
||||
|
||||
350
app/src/main/java/sudoku/Multidoku.java
Normal file
350
app/src/main/java/sudoku/Multidoku.java
Normal file
@@ -0,0 +1,350 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.*;
|
||||
|
||||
public class Multidoku {
|
||||
private List<SudokuPlacement> placements = new ArrayList<>();
|
||||
private List<ContrainteCasePartagee> contraintesPartagees;
|
||||
|
||||
public Multidoku() {
|
||||
this.contraintesPartagees = new ArrayList<>();
|
||||
}
|
||||
|
||||
public void ajouterSudoku(Sudoku sudoku, int offsetLigne, int offsetColonne) {
|
||||
placements.add(new SudokuPlacement(sudoku, offsetLigne, offsetColonne));
|
||||
sudoku.getGrille().setMultidoku(this); // Passer la référence de Multidoku à Grille
|
||||
}
|
||||
|
||||
// Dans la classe Multidoku, modifier la méthode ajouterCasesPartagees :
|
||||
public void ajouterCasesPartagees(List<Case> cases) {
|
||||
ContrainteCasePartagee contrainte = new ContrainteCasePartagee(cases, this);
|
||||
contraintesPartagees.add(contrainte);
|
||||
|
||||
// Vérifier immédiatement la validité après l'ajout
|
||||
if (!contrainte.estRespectee(null, null)) {
|
||||
throw new IllegalStateException(
|
||||
"La contrainte de partage n'est pas respectée après l'ajout des cases partagées");
|
||||
}
|
||||
}
|
||||
|
||||
public boolean resoudreMultidoku(boolean afficherEtape) {
|
||||
List<GlobalCell> globalCells = collecterCellulesVides();
|
||||
return resoudreGlobal(globalCells, 0, afficherEtape);
|
||||
}
|
||||
|
||||
private List<GlobalCell> collecterCellulesVides() {
|
||||
List<GlobalCell> cells = new ArrayList<>();
|
||||
// Ajouter d'abord les cases partagées
|
||||
for (ContrainteCasePartagee contrainte : contraintesPartagees) {
|
||||
for (Case c : contrainte.getCasesLiees()) {
|
||||
if (c.getSymbole() == null) {
|
||||
Sudoku s = trouverSudokuPourCase(c);
|
||||
cells.add(new GlobalCell(s, c.getLigne(), c.getColonne()));
|
||||
}
|
||||
}
|
||||
}
|
||||
// Ajouter ensuite les cases non partagées
|
||||
for (SudokuPlacement sp : placements) {
|
||||
Sudoku s = sp.getSudoku();
|
||||
Grille g = s.getGrille();
|
||||
int taille = g.getTaille();
|
||||
for (int i = 0; i < taille; i++) {
|
||||
for (int j = 0; j < taille; j++) {
|
||||
Case c = g.getCase(i, j);
|
||||
if (c.getSymbole() == null && !isSharedCase(c)) {
|
||||
cells.add(new GlobalCell(s, i, j));
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
return cells;
|
||||
}
|
||||
|
||||
private boolean resoudreGlobal(List<GlobalCell> globalCells, int index, boolean afficherEtape) {
|
||||
if (index == globalCells.size()) {
|
||||
return true;
|
||||
}
|
||||
GlobalCell gc = globalCells.get(index);
|
||||
Sudoku s = gc.sudoku;
|
||||
Grille g = s.getGrille();
|
||||
Case c = g.getCase(gc.ligne, gc.colonne);
|
||||
List<Symbole> symboles = g.getSymbolesPossibles();
|
||||
|
||||
Symbole symboleOriginal = c.getSymbole();
|
||||
Map<Case, Symbole> sauvegarde = new HashMap<>();
|
||||
sauvegarde.put(c, symboleOriginal);
|
||||
|
||||
for (Symbole symbole : symboles) {
|
||||
// Affichage AVANT la tentative d'assignation
|
||||
if (afficherEtape) {
|
||||
System.out.println("\nTentative symbole " + symbole + " sur " + gc.sudoku.getNom() + " [" + gc.ligne
|
||||
+ "," + gc.colonne + "]");
|
||||
System.out.println(this.toStringCombined()); // Afficher l'état actuel
|
||||
}
|
||||
|
||||
boolean ok;
|
||||
if (isSharedCase(c)) {
|
||||
ok = setCaseAvecPropagation(gc.ligne, gc.colonne, symbole, s);
|
||||
} else {
|
||||
c.setSymbole(symbole);
|
||||
ok = s.estValide(c);
|
||||
if (!ok) {
|
||||
c.setSymbole(null);
|
||||
}
|
||||
}
|
||||
|
||||
if (ok) {
|
||||
if (afficherEtape) {
|
||||
System.out.println("-> Affectation réussie pour " + symbole);
|
||||
System.out.println(this.toStringCombined());
|
||||
}
|
||||
if (globalValide() && resoudreGlobal(globalCells, index + 1, afficherEtape)) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
// Backtracking : restauration de l'état sauvegardé
|
||||
restaurerCases(sauvegarde);
|
||||
if (afficherEtape) {
|
||||
System.out.println("Backtracking sur " + gc.sudoku.getNom() + " [" + gc.ligne + "," + gc.colonne + "]");
|
||||
System.out.println(this.toStringCombined());
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
private void restaurerCases(Map<Case, Symbole> sauvegarde) {
|
||||
for (Map.Entry<Case, Symbole> entry : sauvegarde.entrySet()) {
|
||||
entry.getKey().setSymbole(entry.getValue());
|
||||
}
|
||||
}
|
||||
|
||||
private boolean setCaseAvecPropagation(int ligne, int colonne, Symbole symbole, Sudoku s) {
|
||||
Grille g = s.getGrille();
|
||||
Case c = g.getCase(ligne, colonne);
|
||||
Map<Case, Symbole> sauvegarde = new HashMap<>();
|
||||
|
||||
// Sauvegarde et définition de la case actuelle
|
||||
sauvegarde.put(c, c.getSymbole());
|
||||
c.setSymbole(symbole);
|
||||
|
||||
if (!s.estValide(c)) {
|
||||
restaurerCases(sauvegarde);
|
||||
return false;
|
||||
}
|
||||
|
||||
// Propagation à la case correspondante uniquement
|
||||
for (ContrainteCasePartagee contrainte : contraintesPartagees) {
|
||||
if (contrainte.getCasesLiees().contains(c)) {
|
||||
Case caseCorrespondante = contrainte.getCaseCorrespondante(c);
|
||||
if (caseCorrespondante != null) {
|
||||
sauvegarde.put(caseCorrespondante, caseCorrespondante.getSymbole());
|
||||
caseCorrespondante.setSymbole(symbole);
|
||||
|
||||
Sudoku autreSudoku = trouverSudokuPourCase(caseCorrespondante);
|
||||
if (!autreSudoku.estValide(caseCorrespondante)) {
|
||||
restaurerCases(sauvegarde);
|
||||
return false;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
|
||||
private Sudoku trouverSudokuPourCase(Case c) {
|
||||
for (SudokuPlacement sp : placements) {
|
||||
if (belongsToSudoku(c, sp.getSudoku())) {
|
||||
return sp.getSudoku();
|
||||
}
|
||||
}
|
||||
return null;
|
||||
}
|
||||
|
||||
private boolean belongsToSudoku(Case c, Sudoku s) {
|
||||
Grille g = s.getGrille();
|
||||
int taille = g.getTaille();
|
||||
for (int i = 0; i < taille; i++) {
|
||||
for (int j = 0; j < taille; j++) {
|
||||
if (g.getCase(i, j) == c) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
private boolean globalValide() {
|
||||
for (SudokuPlacement sp : placements) {
|
||||
if (!sp.getSudoku().estValide())
|
||||
return false;
|
||||
}
|
||||
for (Contrainte c : contraintesPartagees) {
|
||||
if (!c.estRespectee(null, null))
|
||||
return false;
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
public boolean verifierContraintesPartagees() {
|
||||
return contraintesPartagees.stream()
|
||||
.allMatch(c -> c.estRespectee(null, null)); // Adaptation nécessaire selon votre logique
|
||||
}
|
||||
|
||||
public boolean isSharedCase(Case c) {
|
||||
for (ContrainteCasePartagee contrainte : contraintesPartagees) {
|
||||
if (contrainte.getCasesLiees().contains(c)) {
|
||||
return true;
|
||||
}
|
||||
}
|
||||
return false;
|
||||
}
|
||||
|
||||
// Classe utilitaire pour représenter une case vide dans un sudoku particulier
|
||||
public static class GlobalCell {
|
||||
public Sudoku sudoku;
|
||||
public int ligne;
|
||||
public int colonne;
|
||||
|
||||
public GlobalCell(Sudoku sudoku, int ligne, int colonne) {
|
||||
this.sudoku = sudoku;
|
||||
this.ligne = ligne;
|
||||
this.colonne = colonne;
|
||||
}
|
||||
}
|
||||
|
||||
// Classe interne pour la contrainte de cases partagées
|
||||
public class ContrainteCasePartagee implements Contrainte {
|
||||
private Map<Case, Case> casesLiees; // Map associant chaque case à sa correspondante
|
||||
private Set<Sudoku> sudokusLies;
|
||||
|
||||
public ContrainteCasePartagee(List<Case> cases, Multidoku multidoku) {
|
||||
this.casesLiees = new HashMap<>();
|
||||
this.sudokusLies = new HashSet<>();
|
||||
|
||||
// Les cases sont données dans l'ordre : d'abord celles du premier sudoku,
|
||||
// puis celles du second dans le même ordre
|
||||
int size = cases.size() / 2;
|
||||
for (int i = 0; i < size; i++) {
|
||||
Case c1 = cases.get(i);
|
||||
Case c2 = cases.get(i + size);
|
||||
casesLiees.put(c1, c2);
|
||||
casesLiees.put(c2, c1);
|
||||
|
||||
Sudoku s1 = multidoku.trouverSudokuPourCase(c1);
|
||||
Sudoku s2 = multidoku.trouverSudokuPourCase(c2);
|
||||
if (s1 != null)
|
||||
sudokusLies.add(s1);
|
||||
if (s2 != null)
|
||||
sudokusLies.add(s2);
|
||||
}
|
||||
|
||||
// Propager les valeurs initiales
|
||||
propagerValeursInitiales();
|
||||
}
|
||||
|
||||
private void propagerValeursInitiales() {
|
||||
for (Map.Entry<Case, Case> entry : casesLiees.entrySet()) {
|
||||
Case c1 = entry.getKey();
|
||||
Case c2 = entry.getValue();
|
||||
|
||||
if (c1.getSymbole() != null && c2.getSymbole() == null) {
|
||||
c2.setSymbole(c1.getSymbole());
|
||||
} else if (c2.getSymbole() != null && c1.getSymbole() == null) {
|
||||
c1.setSymbole(c2.getSymbole());
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean estRespectee(Grille grille, Case caseActuelle) {
|
||||
for (Map.Entry<Case, Case> entry : casesLiees.entrySet()) {
|
||||
Case c1 = entry.getKey();
|
||||
Case c2 = entry.getValue();
|
||||
|
||||
if (c1.getSymbole() != null && c2.getSymbole() != null
|
||||
&& !c1.getSymbole().equals(c2.getSymbole())) {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
public Case getCaseCorrespondante(Case c) {
|
||||
return casesLiees.get(c);
|
||||
}
|
||||
|
||||
public Set<Case> getCasesLiees() {
|
||||
return casesLiees.keySet();
|
||||
}
|
||||
}
|
||||
|
||||
public String toStringCombined() {
|
||||
// 1. Déterminer la taille globale de la grille combinée et la largeur maximale
|
||||
int maxLigne = 0, maxColonne = 0;
|
||||
int globalMaxLen = 0;
|
||||
for (SudokuPlacement sp : placements) {
|
||||
int taille = sp.getSudoku().getGrille().getTaille();
|
||||
maxLigne = Math.max(maxLigne, sp.getOffsetLigne() + taille);
|
||||
maxColonne = Math.max(maxColonne, sp.getOffsetColonne() + taille);
|
||||
globalMaxLen = Math.max(globalMaxLen, sp.getSudoku().getGrille().getLongueurSymboleLePlusLong());
|
||||
}
|
||||
|
||||
// On ajoute un espace supplémentaire pour séparer les colonnes
|
||||
int cellWidth = globalMaxLen + 1;
|
||||
|
||||
// 2. Création et initialisation de la matrice globale
|
||||
String[][] global = new String[maxLigne][maxColonne];
|
||||
for (int i = 0; i < maxLigne; i++) {
|
||||
for (int j = 0; j < maxColonne; j++) {
|
||||
global[i][j] = " ".repeat(cellWidth); // case vide affichée par défaut
|
||||
}
|
||||
}
|
||||
|
||||
// 3. Pour chaque sudoku, placer l'affichage de chacune de ses cases dans la
|
||||
// grille globale
|
||||
for (SudokuPlacement sp : placements) {
|
||||
Grille grille = sp.getSudoku().getGrille();
|
||||
int taille = grille.getTaille();
|
||||
for (int i = 0; i < taille; i++) {
|
||||
for (int j = 0; j < taille; j++) {
|
||||
// Coordonnées globales calculées à partir de l'offset
|
||||
int globalLigne = sp.getOffsetLigne() + i;
|
||||
int globalColonne = sp.getOffsetColonne() + j;
|
||||
|
||||
Case currentCase = grille.getCase(i, j);
|
||||
String cellStr = currentCase.toString();
|
||||
int pad = globalMaxLen - cellStr.length();
|
||||
String padding = " ".repeat(pad);
|
||||
|
||||
// Récupérer le bloc associé à la case afin d'obtenir sa couleur
|
||||
Bloc bloc = grille.findBlocForCase(currentCase);
|
||||
String cellDisplay;
|
||||
// Si la case est partagée, on force l'affichage en blanc
|
||||
if (isSharedCase(currentCase)) {
|
||||
cellDisplay = "\u001B[37m" + cellStr + padding + "\u001B[0m";
|
||||
} else {
|
||||
if (bloc != null) {
|
||||
cellDisplay = bloc.getCouleur() + cellStr + padding + "\u001B[0m";
|
||||
} else {
|
||||
cellDisplay = cellStr + padding;
|
||||
}
|
||||
}
|
||||
// Insertion dans la matrice globale (ajout d'un espace pour séparer les
|
||||
// colonnes)
|
||||
global[globalLigne][globalColonne] = cellDisplay + " ";
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
// 4. Construction de la chaîne d'affichage finale
|
||||
StringBuilder sb = new StringBuilder();
|
||||
for (int i = 0; i < maxLigne; i++) {
|
||||
for (int j = 0; j < maxColonne; j++) {
|
||||
sb.append(global[i][j]);
|
||||
}
|
||||
sb.append("\n");
|
||||
}
|
||||
return sb.toString();
|
||||
}
|
||||
}
|
||||
@@ -2,18 +2,18 @@ package sudoku;
|
||||
|
||||
import java.util.List;
|
||||
|
||||
import sudoku.core.Console;
|
||||
|
||||
public class ResolveurBacktraceSimple implements Resolveur {
|
||||
|
||||
private final Sudoku sudoku;
|
||||
|
||||
public ResolveurBacktraceSimple(Sudoku sudoku) {
|
||||
this.sudoku = sudoku;
|
||||
}
|
||||
|
||||
@Override
|
||||
public boolean resoudre(Sudoku s, boolean afficherEtape) {
|
||||
EtatResolution etat = new EtatResolution(0, 0);
|
||||
return resoudre(s, afficherEtape, etat);
|
||||
boolean solved = resoudre(s, afficherEtape, etat);
|
||||
if (!solved) {
|
||||
Console.errorln("Ce Sudoku n'a pas de solution");
|
||||
}
|
||||
return solved;
|
||||
}
|
||||
|
||||
private boolean resoudre(Sudoku s, boolean afficherEtape, EtatResolution etat) {
|
||||
|
||||
@@ -11,12 +11,21 @@ import sudoku.core.Console;
|
||||
public class Sudoku {
|
||||
private final Grille grille;
|
||||
private final List<Contrainte> contraintes;
|
||||
private String nom;
|
||||
|
||||
public Sudoku(int taille) {
|
||||
this.grille = new Grille(taille, this);
|
||||
this.contraintes = new ArrayList<>();
|
||||
}
|
||||
|
||||
public void setNom(String nom) {
|
||||
this.nom = nom;
|
||||
}
|
||||
|
||||
public String getNom() {
|
||||
return this.nom;
|
||||
}
|
||||
|
||||
public void ajouterContrainte(Contrainte contrainte) {
|
||||
contraintes.add(contrainte);
|
||||
}
|
||||
@@ -34,6 +43,18 @@ public class Sudoku {
|
||||
return true;
|
||||
}
|
||||
|
||||
public boolean estValide() {
|
||||
for (int i = 0; i < this.getGrille().getTaille(); i++) {
|
||||
for (int j = 0; j < this.getGrille().getTaille(); j++) {
|
||||
Case c = this.getGrille().getCase(i, j);
|
||||
if (c.getSymbole() != null && !this.estValide(c)) {
|
||||
return false;
|
||||
}
|
||||
}
|
||||
}
|
||||
return true;
|
||||
}
|
||||
|
||||
public boolean verifierToutesContraintes() {
|
||||
return grille.verifierToutesContraintes(contraintes);
|
||||
}
|
||||
@@ -115,7 +136,7 @@ public class Sudoku {
|
||||
}
|
||||
|
||||
private void resolutionSudoku(Sudoku sudoku, boolean afficherEtape) {
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, afficherEtape);
|
||||
System.out.println("Sudoku résolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
25
app/src/main/java/sudoku/SudokuPlacement.java
Normal file
25
app/src/main/java/sudoku/SudokuPlacement.java
Normal file
@@ -0,0 +1,25 @@
|
||||
package sudoku;
|
||||
|
||||
public class SudokuPlacement {
|
||||
private Sudoku sudoku;
|
||||
private int offsetLigne;
|
||||
private int offsetColonne;
|
||||
|
||||
public SudokuPlacement(Sudoku sudoku, int offsetLigne, int offsetColonne) {
|
||||
this.sudoku = sudoku;
|
||||
this.offsetLigne = offsetLigne;
|
||||
this.offsetColonne = offsetColonne;
|
||||
}
|
||||
|
||||
public Sudoku getSudoku() {
|
||||
return sudoku;
|
||||
}
|
||||
|
||||
public int getOffsetLigne() {
|
||||
return offsetLigne;
|
||||
}
|
||||
|
||||
public int getOffsetColonne() {
|
||||
return offsetColonne;
|
||||
}
|
||||
}
|
||||
5
app/src/main/java/sudoku/TestSudokuEmojis.java
Normal file
5
app/src/main/java/sudoku/TestSudokuEmojis.java
Normal file
@@ -0,0 +1,5 @@
|
||||
package sudoku;
|
||||
|
||||
public class TestSudokuEmojis {
|
||||
|
||||
}
|
||||
@@ -59,7 +59,7 @@ public class AppTest {
|
||||
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
Resolveur resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
Resolveur resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku résolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
@@ -58,7 +58,7 @@ public class TestBlocParticuliers {
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, true);
|
||||
|
||||
System.out.println("Sudoku résolu :");
|
||||
|
||||
@@ -5,9 +5,9 @@ import org.junit.jupiter.api.Test;
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
|
||||
public class TestCreationGrille {
|
||||
public class TestCreationGrilleRectangulaireSansSolution {
|
||||
@Test
|
||||
public void testLigne() {
|
||||
public void testCreationGrilleSansSolution() {
|
||||
// CREATION D'UN SUDOKU SIMPLE 12*12
|
||||
Sudoku sudoku = new Sudoku(12);
|
||||
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
||||
@@ -98,6 +98,12 @@ public class TestCreationGrille {
|
||||
sudoku.getGrille().printBlocs();
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
boolean solved = resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku " + (solved ? "résolu" : "non résolu") + " :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("FIN TEST LIGNE");
|
||||
}
|
||||
}
|
||||
91
app/src/test/java/sudoku/TestMultidokuBloc.java
Normal file
91
app/src/test/java/sudoku/TestMultidokuBloc.java
Normal file
@@ -0,0 +1,91 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestMultidokuBloc {
|
||||
|
||||
@Test
|
||||
public void testMultidokuBloc() {
|
||||
Multidoku multidoku = new Multidoku();
|
||||
Sudoku s1 = new Sudoku(9);
|
||||
Sudoku s2 = new Sudoku(9);
|
||||
|
||||
s1.setNom("Sudoku 1");
|
||||
s2.setNom("Sudoku 2");
|
||||
|
||||
// Placer sudoku1 en haut à gauche (offset (0,0))
|
||||
multidoku.ajouterSudoku(s1, 0, 0);
|
||||
|
||||
// Placer sudoku2 de façon à ce que sa case (0,0) se retrouve en (6,6) de la
|
||||
// grille globale
|
||||
multidoku.ajouterSudoku(s2, 6, 6);
|
||||
|
||||
ArrayList<Symbole> symboles = new ArrayList<>();
|
||||
for (int i = 10; i <= 19; i++) {
|
||||
symboles.add(Symbole.of(i));
|
||||
}
|
||||
|
||||
s1.getGrille().setSymbolesPossibles(symboles);
|
||||
List<Sudoku> sudokus = Arrays.asList(s1, s2);
|
||||
for (Sudoku sudoku : sudokus) {
|
||||
sudoku.getGrille().setSymbolesPossibles(symboles);
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
}
|
||||
|
||||
for (int i = 0; i < s1.getGrille().getTaille(); i++) {
|
||||
s1.getGrille().setCase(i, i, symboles.get(i));
|
||||
}
|
||||
|
||||
// Créer un lien entre la case (6,6) de s1 et (0,0) de s2
|
||||
List<Case> casesPartagees = Arrays.asList(
|
||||
s1.getGrille().getCase(6, 6),
|
||||
s1.getGrille().getCase(6, 7),
|
||||
s1.getGrille().getCase(6, 8),
|
||||
s1.getGrille().getCase(7, 6),
|
||||
s1.getGrille().getCase(7, 7),
|
||||
s1.getGrille().getCase(7, 8),
|
||||
s1.getGrille().getCase(8, 6),
|
||||
s1.getGrille().getCase(8, 7),
|
||||
s1.getGrille().getCase(8, 8),
|
||||
|
||||
s2.getGrille().getCase(0, 0),
|
||||
s2.getGrille().getCase(0, 1),
|
||||
s2.getGrille().getCase(0, 2),
|
||||
s2.getGrille().getCase(1, 0),
|
||||
s2.getGrille().getCase(1, 1),
|
||||
s2.getGrille().getCase(1, 2),
|
||||
s2.getGrille().getCase(2, 0),
|
||||
s2.getGrille().getCase(2, 1),
|
||||
s2.getGrille().getCase(2, 2));
|
||||
multidoku.ajouterCasesPartagees(casesPartagees);
|
||||
|
||||
System.out.println("Sudoku 1 :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
|
||||
System.out.println("\nAffichage Multidoku combiné :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
|
||||
if (multidoku.resoudreMultidoku(false)) {
|
||||
System.out.println("Multidoku résolu :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
} else {
|
||||
System.out.println("Multidoku non résolu");
|
||||
}
|
||||
|
||||
System.out.println("Sudoku 1 résolu :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 résolu :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
}
|
||||
}
|
||||
73
app/src/test/java/sudoku/TestMultidokuCase.java
Normal file
73
app/src/test/java/sudoku/TestMultidokuCase.java
Normal file
@@ -0,0 +1,73 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestMultidokuCase {
|
||||
|
||||
@Test
|
||||
public void testMultidokuCase() {
|
||||
Multidoku multidoku = new Multidoku();
|
||||
Sudoku s1 = new Sudoku(9);
|
||||
Sudoku s2 = new Sudoku(9);
|
||||
|
||||
s1.setNom("Sudoku 1");
|
||||
s2.setNom("Sudoku 2");
|
||||
|
||||
// Placer sudoku1 en haut à gauche (offset (0,0))
|
||||
multidoku.ajouterSudoku(s1, 0, 0);
|
||||
// Placer sudoku2 de façon à ce que sa case (0,0) se retrouve en (8,8) de la
|
||||
// grille globale
|
||||
multidoku.ajouterSudoku(s2, 8, 8);
|
||||
|
||||
// Créer un lien entre la case (8,8) de s1 et (0,0) de s2
|
||||
List<Case> casesPartagees = Arrays.asList(
|
||||
s1.getGrille().getCase(8, 8),
|
||||
s2.getGrille().getCase(0, 0));
|
||||
multidoku.ajouterCasesPartagees(casesPartagees);
|
||||
|
||||
ArrayList<Symbole> symboles = new ArrayList<>();
|
||||
for (int i = 10; i <= 19; i++) {
|
||||
symboles.add(Symbole.of(i));
|
||||
}
|
||||
|
||||
s1.getGrille().setSymbolesPossibles(symboles);
|
||||
List<Sudoku> sudokus = Arrays.asList(s1, s2);
|
||||
for (Sudoku sudoku : sudokus) {
|
||||
sudoku.getGrille().setSymbolesPossibles(symboles);
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
}
|
||||
|
||||
for (int i = 0; i < s1.getGrille().getTaille(); i++) {
|
||||
s1.getGrille().setCase(i, i, symboles.get(i));
|
||||
}
|
||||
|
||||
System.out.println("Sudoku 1 :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
|
||||
System.out.println("\nAffichage Multidoku combiné :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
|
||||
if (multidoku.resoudreMultidoku(false)) {
|
||||
System.out.println("Multidoku résolu !");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
} else {
|
||||
System.out.println("Échec de la résolution du multidoku.");
|
||||
}
|
||||
|
||||
System.out.println("Sudoku 1 résolu :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 résolu :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
}
|
||||
}
|
||||
86
app/src/test/java/sudoku/TestMultidokuColonne.java
Normal file
86
app/src/test/java/sudoku/TestMultidokuColonne.java
Normal file
@@ -0,0 +1,86 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestMultidokuColonne {
|
||||
@Test
|
||||
public void testMultidokuColonne() {
|
||||
Multidoku multidoku = new Multidoku();
|
||||
Sudoku s1 = new Sudoku(9);
|
||||
Sudoku s2 = new Sudoku(9);
|
||||
|
||||
s1.setNom("Sudoku 1");
|
||||
s2.setNom("Sudoku 2");
|
||||
|
||||
// Placer sudoku1 en haut à gauche (offset (0,0))
|
||||
multidoku.ajouterSudoku(s1, 0, 0);
|
||||
|
||||
multidoku.ajouterSudoku(s2, 1, 8);
|
||||
|
||||
ArrayList<Symbole> symboles = new ArrayList<>();
|
||||
for (int i = 10; i <= 19; i++) {
|
||||
symboles.add(Symbole.of(i));
|
||||
}
|
||||
|
||||
s1.getGrille().setSymbolesPossibles(symboles);
|
||||
List<Sudoku> sudokus = Arrays.asList(s1, s2);
|
||||
for (Sudoku sudoku : sudokus) {
|
||||
sudoku.getGrille().setSymbolesPossibles(symboles);
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
}
|
||||
|
||||
for (int i = 0; i < s1.getGrille().getTaille(); i++) {
|
||||
s1.getGrille().setCase(i, i, symboles.get(i));
|
||||
}
|
||||
|
||||
List<Case> casesPartagees = Arrays.asList(
|
||||
s1.getGrille().getCase(1, 8),
|
||||
s1.getGrille().getCase(2, 8),
|
||||
s1.getGrille().getCase(3, 8),
|
||||
s1.getGrille().getCase(4, 8),
|
||||
s1.getGrille().getCase(5, 8),
|
||||
s1.getGrille().getCase(6, 8),
|
||||
s1.getGrille().getCase(7, 8),
|
||||
s1.getGrille().getCase(8, 8),
|
||||
|
||||
s2.getGrille().getCase(0, 0),
|
||||
s2.getGrille().getCase(1, 0),
|
||||
s2.getGrille().getCase(2, 0),
|
||||
s2.getGrille().getCase(3, 0),
|
||||
s2.getGrille().getCase(4, 0),
|
||||
s2.getGrille().getCase(5, 0),
|
||||
s2.getGrille().getCase(6, 0),
|
||||
s2.getGrille().getCase(7, 0));
|
||||
|
||||
multidoku.ajouterCasesPartagees(casesPartagees);
|
||||
|
||||
System.out.println("Sudoku 1 :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
|
||||
System.out.println("\nAffichage Multidoku combiné :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
|
||||
if (multidoku.resoudreMultidoku(false)) {
|
||||
System.out.println("Multidoku résolu :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
} else {
|
||||
System.out.println("Multidoku non résolu");
|
||||
}
|
||||
|
||||
System.out.println("Sudoku 1 résolu :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 résolu :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
}
|
||||
}
|
||||
86
app/src/test/java/sudoku/TestMultidokuLigne.java
Normal file
86
app/src/test/java/sudoku/TestMultidokuLigne.java
Normal file
@@ -0,0 +1,86 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestMultidokuLigne {
|
||||
@Test
|
||||
public void testMultidokuLigne() {
|
||||
Multidoku multidoku = new Multidoku();
|
||||
Sudoku s1 = new Sudoku(9);
|
||||
Sudoku s2 = new Sudoku(9);
|
||||
|
||||
s1.setNom("Sudoku 1");
|
||||
s2.setNom("Sudoku 2");
|
||||
|
||||
// Placer sudoku1 en haut à gauche (offset (0,0))
|
||||
multidoku.ajouterSudoku(s1, 0, 0);
|
||||
|
||||
multidoku.ajouterSudoku(s2, 8, 1);
|
||||
|
||||
ArrayList<Symbole> symboles = new ArrayList<>();
|
||||
for (int i = 10; i <= 19; i++) {
|
||||
symboles.add(Symbole.of(i));
|
||||
}
|
||||
|
||||
s1.getGrille().setSymbolesPossibles(symboles);
|
||||
List<Sudoku> sudokus = Arrays.asList(s1, s2);
|
||||
for (Sudoku sudoku : sudokus) {
|
||||
sudoku.getGrille().setSymbolesPossibles(symboles);
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
}
|
||||
|
||||
for (int i = 0; i < s1.getGrille().getTaille(); i++) {
|
||||
s1.getGrille().setCase(i, i, symboles.get(i));
|
||||
}
|
||||
|
||||
List<Case> casesPartagees = Arrays.asList(
|
||||
s1.getGrille().getCase(8, 1),
|
||||
s1.getGrille().getCase(8, 2),
|
||||
s1.getGrille().getCase(8, 3),
|
||||
s1.getGrille().getCase(8, 4),
|
||||
s1.getGrille().getCase(8, 5),
|
||||
s1.getGrille().getCase(8, 6),
|
||||
s1.getGrille().getCase(8, 7),
|
||||
s1.getGrille().getCase(8, 8),
|
||||
|
||||
s2.getGrille().getCase(0, 0),
|
||||
s2.getGrille().getCase(0, 1),
|
||||
s2.getGrille().getCase(0, 2),
|
||||
s2.getGrille().getCase(0, 3),
|
||||
s2.getGrille().getCase(0, 4),
|
||||
s2.getGrille().getCase(0, 5),
|
||||
s2.getGrille().getCase(0, 6),
|
||||
s2.getGrille().getCase(0, 7));
|
||||
|
||||
multidoku.ajouterCasesPartagees(casesPartagees);
|
||||
|
||||
System.out.println("Sudoku 1 :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
|
||||
System.out.println("\nAffichage Multidoku combiné :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
|
||||
if (multidoku.resoudreMultidoku(false)) {
|
||||
System.out.println("Multidoku résolu :");
|
||||
System.out.println(multidoku.toStringCombined());
|
||||
} else {
|
||||
System.out.println("Multidoku non résolu");
|
||||
}
|
||||
|
||||
System.out.println("Sudoku 1 résolu :");
|
||||
System.out.println(s1.getGrille().toString());
|
||||
|
||||
System.out.println("Sudoku 2 résolu :");
|
||||
System.out.println(s2.getGrille().toString());
|
||||
}
|
||||
}
|
||||
@@ -1,70 +1,70 @@
|
||||
// package sudoku;
|
||||
package sudoku;
|
||||
|
||||
// import java.util.ArrayList;
|
||||
// import java.util.Arrays;
|
||||
import java.util.ArrayList;
|
||||
import java.util.Arrays;
|
||||
|
||||
// import org.junit.jupiter.api.Test;
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
// public class TestResolveurBacktraceSimpleSudoku16 {
|
||||
// @Test
|
||||
// public void testResolution() {
|
||||
// System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
|
||||
// System.out.println(new App().getGreeting());
|
||||
// // Create a new Sudoku
|
||||
// Sudoku sudoku = new Sudoku(16);
|
||||
// sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
||||
// Symbole.of(1),
|
||||
// Symbole.of(2),
|
||||
// Symbole.of(3),
|
||||
// Symbole.of(4),
|
||||
// Symbole.of(5),
|
||||
// Symbole.of(6),
|
||||
// Symbole.of(7),
|
||||
// Symbole.of(8),
|
||||
// Symbole.of(9),
|
||||
// Symbole.of(10),
|
||||
// Symbole.of(11),
|
||||
// Symbole.of(12),
|
||||
// Symbole.of(13),
|
||||
// Symbole.of(14),
|
||||
// Symbole.of(15),
|
||||
// Symbole.of(16)
|
||||
public class TestResolveurBacktraceSimpleSudoku16 {
|
||||
@Test
|
||||
public void testResolution() {
|
||||
System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
|
||||
System.out.println(new App().getGreeting());
|
||||
// Create a new Sudoku
|
||||
Sudoku sudoku = new Sudoku(16);
|
||||
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
||||
Symbole.of(1),
|
||||
Symbole.of(2),
|
||||
Symbole.of(3),
|
||||
Symbole.of(4),
|
||||
Symbole.of(5),
|
||||
Symbole.of(6),
|
||||
Symbole.of(7),
|
||||
Symbole.of(8),
|
||||
Symbole.of(9),
|
||||
Symbole.of(10),
|
||||
Symbole.of(11),
|
||||
Symbole.of(12),
|
||||
Symbole.of(13),
|
||||
Symbole.of(14),
|
||||
Symbole.of(15),
|
||||
Symbole.of(16)
|
||||
|
||||
// )));
|
||||
)));
|
||||
|
||||
// sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
// sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
// sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
|
||||
// sudoku.getGrille().setCase(0, 0, Symbole.of(1));
|
||||
// sudoku.getGrille().setCase(6, 1, Symbole.of(2));
|
||||
// sudoku.getGrille().setCase(2, 2, Symbole.of(3));
|
||||
// sudoku.getGrille().setCase(0, 3, Symbole.of(4));
|
||||
// sudoku.getGrille().setCase(4, 4, Symbole.of(5));
|
||||
// sudoku.getGrille().setCase(0, 5, Symbole.of(6));
|
||||
// sudoku.getGrille().setCase(5, 6, Symbole.of(7));
|
||||
// sudoku.getGrille().setCase(0, 7, Symbole.of(8));
|
||||
// sudoku.getGrille().setCase(4, 8, Symbole.of(9));
|
||||
// sudoku.getGrille().setCase(0, 9, Symbole.of(10));
|
||||
// sudoku.getGrille().setCase(6, 10, Symbole.of(11));
|
||||
// sudoku.getGrille().setCase(2, 11, Symbole.of(12));
|
||||
// sudoku.getGrille().setCase(0, 12, Symbole.of(13));
|
||||
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
|
||||
sudoku.getGrille().setCase(6, 1, Symbole.of(2));
|
||||
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
|
||||
sudoku.getGrille().setCase(0, 3, Symbole.of(4));
|
||||
sudoku.getGrille().setCase(4, 4, Symbole.of(5));
|
||||
sudoku.getGrille().setCase(0, 5, Symbole.of(6));
|
||||
sudoku.getGrille().setCase(5, 6, Symbole.of(7));
|
||||
sudoku.getGrille().setCase(0, 7, Symbole.of(8));
|
||||
sudoku.getGrille().setCase(4, 8, Symbole.of(9));
|
||||
sudoku.getGrille().setCase(0, 9, Symbole.of(10));
|
||||
sudoku.getGrille().setCase(6, 10, Symbole.of(11));
|
||||
sudoku.getGrille().setCase(2, 11, Symbole.of(12));
|
||||
sudoku.getGrille().setCase(0, 12, Symbole.of(13));
|
||||
|
||||
// sudoku.getGrille().creerBlocCarre();
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
|
||||
// System.out.println("Sudoku :");
|
||||
// System.out.println(sudoku.getGrille().toString());
|
||||
System.out.println("Sudoku :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
// System.out.println("Blocs :");
|
||||
// sudoku.getGrille().printBlocs();
|
||||
System.out.println("Blocs :");
|
||||
sudoku.getGrille().printBlocs();
|
||||
|
||||
// System.out.println("Symboles possibles :");
|
||||
// sudoku.getGrille().printSymbolesPossibles();
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
// resolveur.resoudre(sudoku, false);
|
||||
// System.out.println("Sudoku resolu :");
|
||||
// System.out.println(sudoku.getGrille().toString());
|
||||
// System.out.println("FIN TEST RESOLVEUR BACKTRACE SIMPLE");
|
||||
// }
|
||||
// }
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku resolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
System.out.println("FIN TEST RESOLVEUR BACKTRACE SIMPLE");
|
||||
}
|
||||
}
|
||||
|
||||
@@ -1,3 +1,9 @@
|
||||
/**
|
||||
* TestResolveurBacktraceSimpleSudoku25
|
||||
* Tentative de résolution d'un sudoku 25x25 avec le resolveur backtrace simple
|
||||
* Commenté car la résolution avec le resolveur backtrace simple est trop longue
|
||||
*/
|
||||
|
||||
// package sudoku;
|
||||
|
||||
// import java.util.ArrayList;
|
||||
@@ -47,7 +53,7 @@
|
||||
// System.out.println("Symboles possibles :");
|
||||
// sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
// resolveur.resoudre(sudoku, false);
|
||||
// System.out.println("Sudoku resolu :");
|
||||
// System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
@@ -48,7 +48,7 @@ public class TestResolveurBacktraceSimpleSudoku9 {
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku resolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
53
app/src/test/java/sudoku/TestSudokuEmojis.java
Normal file
53
app/src/test/java/sudoku/TestSudokuEmojis.java
Normal file
@@ -0,0 +1,53 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestSudokuEmojis {
|
||||
@Test
|
||||
public void sudokuEmojis() {
|
||||
System.out.println("TEST SUDOKU EMOJIS : ");
|
||||
System.out.println(new App().getGreeting());
|
||||
// Create a new Sudoku
|
||||
Sudoku sudoku = new Sudoku(9);
|
||||
|
||||
sudoku.getGrille()
|
||||
.setSymbolesPossibles(new ArrayList<>(List.of(Symbole.of("😎"), Symbole.of("😂"), Symbole.of("😍"),
|
||||
Symbole.of("😜"), Symbole.of("😇"), Symbole.of("😘"), Symbole.of("😋"), Symbole.of("😊"),
|
||||
Symbole.of("😉"))));
|
||||
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
|
||||
sudoku.getGrille().setCase(0, 0, Symbole.of("😎"));
|
||||
sudoku.getGrille().setCase(6, 1, Symbole.of("😂"));
|
||||
sudoku.getGrille().setCase(2, 2, Symbole.of("😍"));
|
||||
sudoku.getGrille().setCase(0, 3, Symbole.of("😜"));
|
||||
sudoku.getGrille().setCase(4, 4, Symbole.of("😇"));
|
||||
sudoku.getGrille().setCase(0, 5, Symbole.of("😘"));
|
||||
sudoku.getGrille().setCase(5, 6, Symbole.of("😋"));
|
||||
sudoku.getGrille().setCase(0, 7, Symbole.of("😊"));
|
||||
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
|
||||
System.out.println("Sudoku :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("Blocs :");
|
||||
sudoku.getGrille().printBlocs();
|
||||
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, false);
|
||||
|
||||
System.out.println("Sudoku resolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("FIN TEST SUDOKU EMOJIS");
|
||||
}
|
||||
}
|
||||
52
app/src/test/java/sudoku/TestSudokuLettres.java
Normal file
52
app/src/test/java/sudoku/TestSudokuLettres.java
Normal file
@@ -0,0 +1,52 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestSudokuLettres {
|
||||
@Test
|
||||
public void sudokuLettres() {
|
||||
System.out.println("TEST SUDOKU LETTRES : ");
|
||||
System.out.println(new App().getGreeting());
|
||||
// Create a new Sudoku
|
||||
Sudoku sudoku = new Sudoku(9);
|
||||
|
||||
sudoku.getGrille()
|
||||
.setSymbolesPossibles(new ArrayList<>(List.of(Symbole.of("L"), Symbole.of("E"), Symbole.of("T"),
|
||||
Symbole.of("T"), Symbole.of("R"), Symbole.of("E"), Symbole.of("S"), Symbole.of("O"),
|
||||
Symbole.of("H"))));
|
||||
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
|
||||
sudoku.getGrille().setCase(0, 0, Symbole.of("L"));
|
||||
sudoku.getGrille().setCase(6, 1, Symbole.of("E"));
|
||||
sudoku.getGrille().setCase(2, 2, Symbole.of("T"));
|
||||
sudoku.getGrille().setCase(0, 3, Symbole.of("T"));
|
||||
sudoku.getGrille().setCase(4, 4, Symbole.of("R"));
|
||||
sudoku.getGrille().setCase(0, 5, Symbole.of("E"));
|
||||
sudoku.getGrille().setCase(5, 6, Symbole.of("S"));
|
||||
sudoku.getGrille().setCase(0, 7, Symbole.of("O"));
|
||||
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
|
||||
System.out.println("Sudoku :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("Blocs :");
|
||||
sudoku.getGrille().printBlocs();
|
||||
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
boolean solved = resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku " + (solved ? "résolu" : "non résolu") + " :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("FIN TEST SUDOKU LETTRES");
|
||||
}
|
||||
}
|
||||
51
app/src/test/java/sudoku/TestSudokusString.java
Normal file
51
app/src/test/java/sudoku/TestSudokusString.java
Normal file
@@ -0,0 +1,51 @@
|
||||
package sudoku;
|
||||
|
||||
import java.util.ArrayList;
|
||||
import java.util.List;
|
||||
|
||||
import org.junit.jupiter.api.Test;
|
||||
|
||||
public class TestSudokusString {
|
||||
@Test
|
||||
public void sudokuString() {
|
||||
System.out.println("TEST SUDOKU STRING : ");
|
||||
System.out.println(new App().getGreeting());
|
||||
// Create a new Sudoku
|
||||
Sudoku sudoku = new Sudoku(9);
|
||||
|
||||
sudoku.getGrille()
|
||||
.setSymbolesPossibles(
|
||||
new ArrayList<>(List.of(Symbole.of("Sudoku"), Symbole.of("🗿"), Symbole.of("Test"),
|
||||
Symbole.of("😂"), Symbole.of("1"), Symbole.of("woW"), Symbole.of("😎"),
|
||||
Symbole.of("42"), Symbole.of("π"))));
|
||||
|
||||
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||
|
||||
sudoku.getGrille().setCase(0, 0, Symbole.of("Sudoku"));
|
||||
sudoku.getGrille().setCase(6, 1, Symbole.of("String"));
|
||||
sudoku.getGrille().setCase(2, 2, Symbole.of("Test"));
|
||||
sudoku.getGrille().setCase(0, 3, Symbole.of("😂"));
|
||||
sudoku.getGrille().setCase(4, 4, Symbole.of("1"));
|
||||
sudoku.getGrille().setCase(0, 5, Symbole.of("woW"));
|
||||
|
||||
sudoku.getGrille().creerBlocCarre();
|
||||
|
||||
System.out.println("Sudoku :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("Blocs :");
|
||||
sudoku.getGrille().printBlocs();
|
||||
|
||||
System.out.println("Symboles possibles :");
|
||||
sudoku.getGrille().printSymbolesPossibles();
|
||||
|
||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||
resolveur.resoudre(sudoku, false);
|
||||
System.out.println("Sudoku résolu :");
|
||||
System.out.println(sudoku.getGrille().toString());
|
||||
|
||||
System.out.println("FIN TEST SUDOKU STRING");
|
||||
}
|
||||
}
|
||||
Reference in New Issue
Block a user