9 Commits

20 changed files with 1035 additions and 84 deletions

View 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;
}
}

View File

@@ -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;

View 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();
}
}

View File

@@ -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) {

View File

@@ -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());

View 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;
}
}

View File

@@ -0,0 +1,5 @@
package sudoku;
public class TestSudokuEmojis {
}

View File

@@ -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());

View File

@@ -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 :");

View File

@@ -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");
}
}

View 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());
}
}

View 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());
}
}

View 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());
}
}

View 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());
}
}

View File

@@ -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");
}
}

View File

@@ -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());

View File

@@ -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());

View 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");
}
}

View 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");
}
}

View 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");
}
}