Compare commits
11 Commits
multidoku
...
a3e60c1c93
| Author | SHA1 | Date | |
|---|---|---|---|
| a3e60c1c93 | |||
| 09776489fa | |||
| 436967da03 | |||
| 0f72113d67 | |||
| 690be279bd | |||
| b836670cda | |||
| f002667e54 | |||
| bf9bfc8323 | |||
| dd21b9a13a | |||
| a36960c57a | |||
| 1c1da09e1f |
@@ -18,23 +18,10 @@ public class Bloc {
|
|||||||
cases.add(c);
|
cases.add(c);
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean contains(Symbole s) {
|
|
||||||
for (Case c : cases) {
|
|
||||||
if (c.getSymbole().equals(s)) {
|
|
||||||
return true;
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
|
|
||||||
public String getCouleur() {
|
public String getCouleur() {
|
||||||
return couleur;
|
return couleur;
|
||||||
}
|
}
|
||||||
|
|
||||||
public int getCouleurIndex() {
|
|
||||||
return couleurIndex;
|
|
||||||
}
|
|
||||||
|
|
||||||
public List<Case> getCases() {
|
public List<Case> getCases() {
|
||||||
return cases;
|
return cases;
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -13,7 +13,8 @@ public class Grille {
|
|||||||
private final Case[][] cases;
|
private final Case[][] cases;
|
||||||
private final ArrayList<Bloc> blocs;
|
private final ArrayList<Bloc> blocs;
|
||||||
private ArrayList<Symbole> symbolesPossibles;
|
private ArrayList<Symbole> symbolesPossibles;
|
||||||
private final Sudoku sudoku;
|
private final Sudoku sudoku; // Référence à Sudoku
|
||||||
|
private Multidoku multidoku; // Référence à Multidoku
|
||||||
private List<String> generatedColors;
|
private List<String> generatedColors;
|
||||||
|
|
||||||
public Grille(int taille, Sudoku sudoku) {
|
public Grille(int taille, Sudoku sudoku) {
|
||||||
@@ -22,8 +23,6 @@ public class Grille {
|
|||||||
this.blocs = new ArrayList<>();
|
this.blocs = new ArrayList<>();
|
||||||
this.symbolesPossibles = new ArrayList<>();
|
this.symbolesPossibles = new ArrayList<>();
|
||||||
this.sudoku = sudoku;
|
this.sudoku = sudoku;
|
||||||
// Pour un sudoku classique, on attend "taille" blocs, donc on génère "taille"
|
|
||||||
// couleurs.
|
|
||||||
initColors();
|
initColors();
|
||||||
|
|
||||||
// Initialiser les cases
|
// Initialiser les cases
|
||||||
@@ -34,14 +33,18 @@ 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.
|
* 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,
|
* Pour un sudoku classique, la grille est de taille n², et il y a n² blocs,
|
||||||
* on génère donc 'taille' couleurs.
|
* on génère donc 'taille' couleurs.
|
||||||
*/
|
*/
|
||||||
private void initColors() {
|
private void initColors() {
|
||||||
int numberOfColors = taille; // nombre de couleurs = nombre de blocs (pour sudoku classique)
|
// nombre de couleurs = nombre de blocs (pour sudoku classique)
|
||||||
List<ColorGenerator.Color> colors = ColorGenerator.greatScheme(numberOfColors);
|
List<ColorGenerator.Color> colors = ColorGenerator.greatScheme(taille);
|
||||||
generatedColors = new ArrayList<>();
|
generatedColors = new ArrayList<>();
|
||||||
for (ColorGenerator.Color color : colors) {
|
for (ColorGenerator.Color color : colors) {
|
||||||
generatedColors.add(convertToAnsi(color));
|
generatedColors.add(convertToAnsi(color));
|
||||||
@@ -60,18 +63,16 @@ public class Grille {
|
|||||||
if (symbole != null && !symbolesPossibles.contains(symbole)) {
|
if (symbole != null && !symbolesPossibles.contains(symbole)) {
|
||||||
throw new IllegalArgumentException("Symbole non autorisé : " + symbole);
|
throw new IllegalArgumentException("Symbole non autorisé : " + symbole);
|
||||||
}
|
}
|
||||||
// Sauvegarder l'ancien symbole
|
|
||||||
Symbole ancienSymbole = cases[ligne][colonne].getSymbole();
|
|
||||||
|
|
||||||
// Affecter le nouveau symbole
|
Case currentCase = cases[ligne][colonne];
|
||||||
cases[ligne][colonne].setSymbole(symbole);
|
Symbole ancienSymbole = currentCase.getSymbole();
|
||||||
|
currentCase.setSymbole(symbole);
|
||||||
|
|
||||||
// Vérifier les contraintes
|
if (!sudoku.verifierToutesContraintes() ||
|
||||||
if (!sudoku.verifierToutesContraintes()) {
|
(multidoku != null && !multidoku.verifierContraintesPartagees())) {
|
||||||
// Revenir sur le changement
|
currentCase.setSymbole(ancienSymbole);
|
||||||
cases[ligne][colonne].setSymbole(ancienSymbole);
|
throw new IllegalArgumentException(
|
||||||
throw new IllegalArgumentException("SET CASE: Les contraintes ne sont pas respectées pour la case ("
|
"Les contraintes ne sont pas respectées pour la case (" + ligne + ", " + colonne + ")");
|
||||||
+ ligne + ", " + colonne + ")");
|
|
||||||
}
|
}
|
||||||
} catch (Exception e) {
|
} catch (Exception e) {
|
||||||
Console.errorln(e.getMessage());
|
Console.errorln(e.getMessage());
|
||||||
@@ -109,6 +110,14 @@ public class Grille {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Choisir la couleur suivante en fonction du nombre de blocs déjà créés
|
// Choisir la couleur suivante en fonction du nombre de blocs déjà créés
|
||||||
|
setCouleurBloc(positions);
|
||||||
|
|
||||||
|
} catch (IllegalArgumentException e) {
|
||||||
|
Console.errorln(e.getMessage());
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
private void setCouleurBloc(List<int[]> positions) {
|
||||||
int couleurIndex = blocs.size() % generatedColors.size();
|
int couleurIndex = blocs.size() % generatedColors.size();
|
||||||
Bloc bloc = new Bloc(generatedColors.get(couleurIndex), couleurIndex);
|
Bloc bloc = new Bloc(generatedColors.get(couleurIndex), couleurIndex);
|
||||||
|
|
||||||
@@ -116,17 +125,12 @@ public class Grille {
|
|||||||
bloc.ajouterCase(cases[pos[0]][pos[1]]);
|
bloc.ajouterCase(cases[pos[0]][pos[1]]);
|
||||||
}
|
}
|
||||||
blocs.add(bloc);
|
blocs.add(bloc);
|
||||||
|
|
||||||
} catch (IllegalArgumentException e) {
|
|
||||||
Console.errorln(e.getMessage());
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Crée des blocs carrés (par exemple pour un sudoku classique).
|
* Crée des blocs carrés (par exemple pour un sudoku classique).
|
||||||
*/
|
*/
|
||||||
public void creerBlocCarre() {
|
public void creerBlocCarre() {
|
||||||
try {
|
|
||||||
int blocSize = (int) Math.sqrt(taille);
|
int blocSize = (int) Math.sqrt(taille);
|
||||||
if (blocSize * blocSize != taille) {
|
if (blocSize * blocSize != taille) {
|
||||||
throw new IllegalArgumentException("La taille de la grille doit être un carré parfait.");
|
throw new IllegalArgumentException("La taille de la grille doit être un carré parfait.");
|
||||||
@@ -147,18 +151,8 @@ public class Grille {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
// Affectation cyclique d'une couleur issue de la palette générée
|
setCouleurBloc(positions);
|
||||||
int couleurIndex = blocs.size() % generatedColors.size();
|
|
||||||
Bloc bloc = new Bloc(generatedColors.get(couleurIndex), couleurIndex);
|
|
||||||
|
|
||||||
for (int[] pos : positions) {
|
|
||||||
bloc.ajouterCase(cases[pos[0]][pos[1]]);
|
|
||||||
}
|
}
|
||||||
blocs.add(bloc);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} catch (IllegalArgumentException e) {
|
|
||||||
Console.errorln(e.getMessage());
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -168,7 +162,6 @@ public class Grille {
|
|||||||
* Ne fonctionne pas pour les grilles dont la taille est un carré parfait.
|
* Ne fonctionne pas pour les grilles dont la taille est un carré parfait.
|
||||||
*/
|
*/
|
||||||
public void creerBlocRectangulaire(int blocHeight, int blocWidth) {
|
public void creerBlocRectangulaire(int blocHeight, int blocWidth) {
|
||||||
try {
|
|
||||||
if (taille % blocHeight != 0 || taille % blocWidth != 0) {
|
if (taille % blocHeight != 0 || taille % blocWidth != 0) {
|
||||||
throw new IllegalArgumentException(
|
throw new IllegalArgumentException(
|
||||||
"La taille de la grille doit être divisible par les dimensions des blocs.");
|
"La taille de la grille doit être divisible par les dimensions des blocs.");
|
||||||
@@ -192,17 +185,8 @@ public class Grille {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
int couleurIndex = blocs.size() % generatedColors.size();
|
setCouleurBloc(positions);
|
||||||
Bloc bloc = new Bloc(generatedColors.get(couleurIndex), couleurIndex);
|
|
||||||
|
|
||||||
for (int[] pos : positions) {
|
|
||||||
bloc.ajouterCase(cases[pos[0]][pos[1]]);
|
|
||||||
}
|
}
|
||||||
blocs.add(bloc);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
} catch (IllegalArgumentException e) {
|
|
||||||
Console.errorln(e.getMessage());
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -256,7 +240,7 @@ public class Grille {
|
|||||||
break;
|
break;
|
||||||
|
|
||||||
case 2: // Lettres
|
case 2: // Lettres
|
||||||
if (input.length() == 1 && Character.isLetter(input.charAt(0))) {
|
if (input.length() == 1 && Symbole.of(input.charAt(0)).isLetter()) {
|
||||||
Symbole charTemp = Symbole.of(input.charAt(0));
|
Symbole charTemp = Symbole.of(input.charAt(0));
|
||||||
if (symbolesPossibles.contains(charTemp)) {
|
if (symbolesPossibles.contains(charTemp)) {
|
||||||
Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole");
|
Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole");
|
||||||
@@ -306,14 +290,14 @@ public class Grille {
|
|||||||
for (Symbole symbole : symbolesPossibles) {
|
for (Symbole symbole : symbolesPossibles) {
|
||||||
sb.append(symbole.toString()).append(" ");
|
sb.append(symbole.toString()).append(" ");
|
||||||
}
|
}
|
||||||
System.out.println(sb.toString());
|
System.out.println(sb);
|
||||||
}
|
}
|
||||||
|
|
||||||
public int getTaille() {
|
public int getTaille() {
|
||||||
return taille;
|
return taille;
|
||||||
}
|
}
|
||||||
|
|
||||||
private Bloc findBlocForCase(Case target) {
|
Bloc findBlocForCase(Case target) {
|
||||||
for (Bloc bloc : blocs) {
|
for (Bloc bloc : blocs) {
|
||||||
if (bloc.getCases().contains(target)) {
|
if (bloc.getCases().contains(target)) {
|
||||||
return bloc;
|
return bloc;
|
||||||
@@ -350,17 +334,6 @@ public class Grille {
|
|||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
public Case getCaseLibre() {
|
|
||||||
for (int i = 0; i < taille; i++) {
|
|
||||||
for (int j = 0; j < taille; j++) {
|
|
||||||
if (cases[i][j].getSymbole() == null) {
|
|
||||||
return cases[i][j];
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
return null;
|
|
||||||
}
|
|
||||||
|
|
||||||
public int getLongueurSymboleLePlusLong() {
|
public int getLongueurSymboleLePlusLong() {
|
||||||
int max = 0;
|
int max = 0;
|
||||||
for (Symbole symbole : symbolesPossibles) {
|
for (Symbole symbole : symbolesPossibles) {
|
||||||
@@ -382,23 +355,23 @@ public class Grille {
|
|||||||
String cellStr = currentCase.toString();
|
String cellStr = currentCase.toString();
|
||||||
// Calculer le nombre d'espaces à ajouter pour atteindre maxLen
|
// Calculer le nombre d'espaces à ajouter pour atteindre maxLen
|
||||||
int pad = maxLen - cellStr.length();
|
int pad = maxLen - cellStr.length();
|
||||||
String padding = " ".repeat(pad); // nécessite Java 11 ou ultérieur
|
String padding = " ".repeat(pad);
|
||||||
|
|
||||||
Bloc bloc = findBlocForCase(currentCase);
|
Bloc bloc = findBlocForCase(currentCase);
|
||||||
|
|
||||||
if (bloc != null) {
|
if (bloc != null) {
|
||||||
sb.append(bloc.getCouleur()) // couleur du bloc
|
sb.append(bloc.getCouleur()) // couleur du bloc
|
||||||
.append(cellStr)
|
.append(cellStr) // symbole
|
||||||
.append(padding)
|
.append(padding) // padding pour aligner les symboles
|
||||||
.append("\u001B[0m ") // réinitialiser la couleur
|
.append("\u001B[0m ") // réinitialiser la couleur
|
||||||
.append(" ");
|
.append(" ");
|
||||||
} else {
|
} else { // pas de bloc, afficher normalement
|
||||||
sb.append(cellStr)
|
sb.append(cellStr)
|
||||||
.append(padding)
|
.append(padding)
|
||||||
.append(" ");
|
.append(" ");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
sb.append("\n");
|
sb.append("\n"); // nouvelle ligne
|
||||||
}
|
}
|
||||||
return sb.toString();
|
return sb.toString();
|
||||||
}
|
}
|
||||||
|
|||||||
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 final List<SudokuPlacement> placements = new ArrayList<>();
|
||||||
|
private final 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);
|
||||||
|
}
|
||||||
|
|
||||||
|
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<>();
|
||||||
|
// Ajout d'abord des 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()));
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
// Ajout ensuite des 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)) { // Si la case est partagée, on doit propager la valeur dans les cases
|
||||||
|
// correspondantes des autres sudokus concernés
|
||||||
|
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 dans les autres sudokus concernés
|
||||||
|
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 != null && !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));
|
||||||
|
}
|
||||||
|
|
||||||
|
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 static class ContrainteCasePartagee implements Contrainte {
|
||||||
|
private final Map<Case, Case> casesLiees; // Map associant chaque case à sa correspondante
|
||||||
|
private final 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 java.util.List;
|
||||||
|
|
||||||
|
import sudoku.core.Console;
|
||||||
|
|
||||||
public class ResolveurBacktraceSimple implements Resolveur {
|
public class ResolveurBacktraceSimple implements Resolveur {
|
||||||
|
|
||||||
private final Sudoku sudoku;
|
|
||||||
|
|
||||||
public ResolveurBacktraceSimple(Sudoku sudoku) {
|
|
||||||
this.sudoku = sudoku;
|
|
||||||
}
|
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public boolean resoudre(Sudoku s, boolean afficherEtape) {
|
public boolean resoudre(Sudoku s, boolean afficherEtape) {
|
||||||
EtatResolution etat = new EtatResolution(0, 0);
|
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) {
|
private boolean resoudre(Sudoku s, boolean afficherEtape, EtatResolution etat) {
|
||||||
|
|||||||
@@ -11,20 +11,25 @@ import sudoku.core.Console;
|
|||||||
public class Sudoku {
|
public class Sudoku {
|
||||||
private final Grille grille;
|
private final Grille grille;
|
||||||
private final List<Contrainte> contraintes;
|
private final List<Contrainte> contraintes;
|
||||||
|
private String nom;
|
||||||
|
|
||||||
public Sudoku(int taille) {
|
public Sudoku(int taille) {
|
||||||
this.grille = new Grille(taille, this);
|
this.grille = new Grille(taille, this);
|
||||||
this.contraintes = new ArrayList<>();
|
this.contraintes = new ArrayList<>();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public void setNom(String nom) {
|
||||||
|
this.nom = nom;
|
||||||
|
}
|
||||||
|
|
||||||
|
public String getNom() {
|
||||||
|
return this.nom;
|
||||||
|
}
|
||||||
|
|
||||||
public void ajouterContrainte(Contrainte contrainte) {
|
public void ajouterContrainte(Contrainte contrainte) {
|
||||||
contraintes.add(contrainte);
|
contraintes.add(contrainte);
|
||||||
}
|
}
|
||||||
|
|
||||||
// public void creerBloc(List<int[]> positions, int blocHeight, int blocWidth) {
|
|
||||||
// grille.creerBloc(positions, blocHeight, blocWidth);
|
|
||||||
// }
|
|
||||||
|
|
||||||
public boolean estValide(Case c) {
|
public boolean estValide(Case c) {
|
||||||
for (Contrainte contrainte : contraintes) {
|
for (Contrainte contrainte : contraintes) {
|
||||||
if (!contrainte.estRespectee(grille, c)) {
|
if (!contrainte.estRespectee(grille, c)) {
|
||||||
@@ -34,6 +39,18 @@ public class Sudoku {
|
|||||||
return true;
|
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() {
|
public boolean verifierToutesContraintes() {
|
||||||
return grille.verifierToutesContraintes(contraintes);
|
return grille.verifierToutesContraintes(contraintes);
|
||||||
}
|
}
|
||||||
@@ -42,11 +59,11 @@ public class Sudoku {
|
|||||||
return grille;
|
return grille;
|
||||||
}
|
}
|
||||||
|
|
||||||
public static Sudoku menuGrille() {
|
public static void menuGrille() {
|
||||||
Scanner scanner = new Scanner(System.in);
|
Scanner scanner = new Scanner(System.in);
|
||||||
// ETAPE 1 : TAILLE GRILLE
|
// ETAPE 1 : TAILLE GRILLE
|
||||||
System.out.println("ETAPE 1 : Choisir la taille de la grille");
|
System.out.println("ETAPE 1 : Choisir la taille de la grille");
|
||||||
int tailleGrille = setTailleGrille(scanner); // récpère la taille de la grille
|
int tailleGrille = setTailleGrille(scanner); // récupère la taille de la grille
|
||||||
Sudoku sudoku = new Sudoku(tailleGrille);
|
Sudoku sudoku = new Sudoku(tailleGrille);
|
||||||
// ETAPE 2 : SYMBOLE POSSIBLE
|
// ETAPE 2 : SYMBOLE POSSIBLE
|
||||||
System.out.println("ETAPE 2 : Choisir les symboles possibles");
|
System.out.println("ETAPE 2 : Choisir les symboles possibles");
|
||||||
@@ -63,8 +80,6 @@ public class Sudoku {
|
|||||||
// ETAPE 5 : RESOLUTION
|
// ETAPE 5 : RESOLUTION
|
||||||
System.out.println("ETAPE 5 : Résolution du sudoku");
|
System.out.println("ETAPE 5 : Résolution du sudoku");
|
||||||
choixResolution(sudoku, scanner);
|
choixResolution(sudoku, scanner);
|
||||||
|
|
||||||
return sudoku;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
private static void choixContraintes(Sudoku sudoku, Scanner scanner) {
|
private static void choixContraintes(Sudoku sudoku, Scanner scanner) {
|
||||||
@@ -115,7 +130,7 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
private void resolutionSudoku(Sudoku sudoku, boolean afficherEtape) {
|
private void resolutionSudoku(Sudoku sudoku, boolean afficherEtape) {
|
||||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||||
resolveur.resoudre(sudoku, afficherEtape);
|
resolveur.resoudre(sudoku, afficherEtape);
|
||||||
System.out.println("Sudoku résolu :");
|
System.out.println("Sudoku résolu :");
|
||||||
System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
@@ -125,8 +140,6 @@ public class Sudoku {
|
|||||||
System.out.println("Voulez-vous résoudre le sudoku ? (O/N)");
|
System.out.println("Voulez-vous résoudre le sudoku ? (O/N)");
|
||||||
String choix = scanner.nextLine();
|
String choix = scanner.nextLine();
|
||||||
if (choix.equalsIgnoreCase("O")) {
|
if (choix.equalsIgnoreCase("O")) {
|
||||||
System.out.println("Résolution du sudoku.");
|
|
||||||
// resolutionSudoku(sudoku);
|
|
||||||
System.out.println("Voulez-vous afficher les étapes de la résolution ? (O/N)");
|
System.out.println("Voulez-vous afficher les étapes de la résolution ? (O/N)");
|
||||||
String choixAffichageEtapes = scanner.nextLine();
|
String choixAffichageEtapes = scanner.nextLine();
|
||||||
|
|
||||||
@@ -160,29 +173,22 @@ public class Sudoku {
|
|||||||
return tailleGrille;
|
return tailleGrille;
|
||||||
}
|
}
|
||||||
|
|
||||||
private static Sudoku setValeursGrille(Sudoku sudoku, Scanner scanner, int tailleGrille, int typeSymbole) {
|
private static void setValeursGrille(Sudoku sudoku, Scanner scanner, int tailleGrille, int typeSymbole) {
|
||||||
// Etude de la taille de la grille pour choisir le type de génération
|
|
||||||
if (carreParfait(tailleGrille)) {
|
|
||||||
System.out.println(tailleGrille + " est un carré parfait.");
|
|
||||||
sudoku.getGrille().creerBlocCarre();
|
|
||||||
} else {
|
|
||||||
while (true) {
|
while (true) {
|
||||||
|
try {
|
||||||
System.out.println("Veuillez faire votre choix");
|
System.out.println("Veuillez faire votre choix");
|
||||||
System.out.println("1 : Entrer les blocs manuellement");
|
System.out.println("1 : Entrer les blocs manuellement");
|
||||||
System.out.println("2 : Entrer les blocs à l'aide de la longueur et de la largeur");
|
System.out.println("2 : Entrer les blocs à l'aide de la longueur et de la largeur");
|
||||||
|
System.out.println("3 : Générer des blocs carrés");
|
||||||
|
|
||||||
int choixGenerationBloc = Integer.parseInt(scanner.nextLine());
|
int choixGenerationBloc = Integer.parseInt(scanner.nextLine());
|
||||||
|
|
||||||
switch (choixGenerationBloc) {
|
switch (choixGenerationBloc) {
|
||||||
case 1:
|
case 1:
|
||||||
// Entrer les blocs manuellement
|
|
||||||
System.out.println("Entrez les blocs manuellement.");
|
System.out.println("Entrez les blocs manuellement.");
|
||||||
creationBlocMannuel(sudoku, scanner, tailleGrille);
|
creationBlocManuel(sudoku, scanner, tailleGrille);
|
||||||
break;
|
break;
|
||||||
case 2:
|
case 2:
|
||||||
// Entrer les blocs à l'aide de la longueur et de la largeur
|
|
||||||
boolean validDimensions = false;
|
|
||||||
while (!validDimensions) {
|
|
||||||
try {
|
try {
|
||||||
System.out.println("Entrez les blocs à l'aide de la longueur et de la largeur.");
|
System.out.println("Entrez les blocs à l'aide de la longueur et de la largeur.");
|
||||||
System.out.println("Entrez la longueur du bloc : ");
|
System.out.println("Entrez la longueur du bloc : ");
|
||||||
@@ -190,18 +196,26 @@ public class Sudoku {
|
|||||||
System.out.println("Entrez la largeur du bloc :");
|
System.out.println("Entrez la largeur du bloc :");
|
||||||
int largeurBloc = Integer.parseInt(scanner.nextLine());
|
int largeurBloc = Integer.parseInt(scanner.nextLine());
|
||||||
sudoku.getGrille().creerBlocRectangulaire(longueurBloc, largeurBloc);
|
sudoku.getGrille().creerBlocRectangulaire(longueurBloc, largeurBloc);
|
||||||
validDimensions = true; // Sortir de la boucle si aucune exception n'est lancée
|
break;
|
||||||
} catch (IllegalArgumentException e) {
|
} catch (IllegalArgumentException e) {
|
||||||
Console.errorln("Erreur : " + e.getMessage());
|
Console.errorln("Erreur : " + e.getMessage());
|
||||||
Console.errorln("Veuillez entrer des dimensions valides.");
|
continue;
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
case 3:
|
||||||
|
try {
|
||||||
|
sudoku.getGrille().creerBlocCarre();
|
||||||
break;
|
break;
|
||||||
|
} catch (IllegalArgumentException e) {
|
||||||
|
Console.errorln("Erreur : " + e.getMessage());
|
||||||
|
continue;
|
||||||
|
}
|
||||||
default:
|
default:
|
||||||
Console.errorln("Choix invalide.");
|
Console.errorln("Choix invalide.");
|
||||||
continue;
|
continue;
|
||||||
}
|
}
|
||||||
break;
|
break; // Sort de la boucle si la création des blocs a réussi
|
||||||
|
} catch (NumberFormatException e) {
|
||||||
|
Console.errorln("Erreur : Veuillez entrer un nombre valide.");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -235,7 +249,7 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Demander et vérifier la colonne
|
// Demander et vérifier la colonne
|
||||||
int colonne = -1;
|
int colonne;
|
||||||
while (true) {
|
while (true) {
|
||||||
System.out.println("Entrez le numéro de colonne :");
|
System.out.println("Entrez le numéro de colonne :");
|
||||||
input = scanner.nextLine(); // Lire la colonne
|
input = scanner.nextLine(); // Lire la colonne
|
||||||
@@ -252,7 +266,7 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
// Demander et vérifier le symbole
|
// Demander et vérifier le symbole
|
||||||
String symbole = "";
|
String symbole;
|
||||||
while (true) {
|
while (true) {
|
||||||
System.out.println("Entrez le symbole :");
|
System.out.println("Entrez le symbole :");
|
||||||
symbole = scanner.nextLine(); // Lire le symbole
|
symbole = scanner.nextLine(); // Lire le symbole
|
||||||
@@ -261,22 +275,22 @@ public class Sudoku {
|
|||||||
continue; // Recommencer la saisie du symbole si l'entrée est vide
|
continue; // Recommencer la saisie du symbole si l'entrée est vide
|
||||||
}
|
}
|
||||||
try {
|
try {
|
||||||
Symbole s = null;
|
Symbole s;
|
||||||
switch (typeSymbole) {
|
switch (typeSymbole) {
|
||||||
case 1:
|
case 1: // Entiers
|
||||||
// Entiers
|
if (!Symbole.of(symbole).isInt()) {
|
||||||
|
throw new IllegalArgumentException("Veuillez entrer un nombre valide.");
|
||||||
|
}
|
||||||
s = Symbole.of(Integer.parseInt(symbole));
|
s = Symbole.of(Integer.parseInt(symbole));
|
||||||
break;
|
break;
|
||||||
case 2:
|
case 2: // Lettres
|
||||||
// Lettres
|
Symbole tempSymbole = Symbole.of(symbole);
|
||||||
if (symbole.length() == 1 && Character.isLetter(symbole.charAt(0))) {
|
if (!tempSymbole.isLetter()) {
|
||||||
s = Symbole.of(symbole.charAt(0));
|
|
||||||
} else {
|
|
||||||
throw new IllegalArgumentException("Veuillez entrer une seule lettre.");
|
throw new IllegalArgumentException("Veuillez entrer une seule lettre.");
|
||||||
}
|
}
|
||||||
|
s = tempSymbole;
|
||||||
break;
|
break;
|
||||||
case 3:
|
case 3: // Chaînes de caractères
|
||||||
// Chaînes de caractères
|
|
||||||
s = Symbole.of(symbole);
|
s = Symbole.of(symbole);
|
||||||
break;
|
break;
|
||||||
default:
|
default:
|
||||||
@@ -291,18 +305,9 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
return sudoku;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
private static boolean carreParfait(int nombre) {
|
private static void creationBlocManuel(Sudoku sudoku, Scanner scanner, int tailleGrille) {
|
||||||
if (nombre < 0) {
|
|
||||||
return false;
|
|
||||||
}
|
|
||||||
int racine = (int) Math.sqrt(nombre);
|
|
||||||
return racine * racine == nombre;
|
|
||||||
}
|
|
||||||
|
|
||||||
private static Sudoku creationBlocMannuel(Sudoku sudoku, Scanner scanner, int tailleGrille) {
|
|
||||||
int nombreBloc = tailleGrille; // Nombre de blocs dans la grille
|
int nombreBloc = tailleGrille; // Nombre de blocs dans la grille
|
||||||
|
|
||||||
Set<String> toutesLesCoordonnees = new HashSet<>(); // Stocke toutes les coordonnées utilisées
|
Set<String> toutesLesCoordonnees = new HashSet<>(); // Stocke toutes les coordonnées utilisées
|
||||||
@@ -340,7 +345,6 @@ public class Sudoku {
|
|||||||
System.out.println(
|
System.out.println(
|
||||||
"Erreur : Ces coordonnées sont déjà utilisées dans un autre bloc ! Veuillez en entrer une nouvelle.");
|
"Erreur : Ces coordonnées sont déjà utilisées dans un autre bloc ! Veuillez en entrer une nouvelle.");
|
||||||
coordonneesValides = false;
|
coordonneesValides = false;
|
||||||
continue;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
} while (!coordonneesValides); // Tant que la saisie est invalide, on redemande
|
} while (!coordonneesValides); // Tant que la saisie est invalide, on redemande
|
||||||
@@ -362,6 +366,5 @@ public class Sudoku {
|
|||||||
|
|
||||||
nombreBloc--; // Passer au bloc suivant
|
nombreBloc--; // Passer au bloc suivant
|
||||||
}
|
}
|
||||||
return sudoku;
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
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 final Sudoku sudoku;
|
||||||
|
private final int offsetLigne;
|
||||||
|
private final 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;
|
||||||
|
}
|
||||||
|
}
|
||||||
@@ -48,8 +48,4 @@ public class Symbole {
|
|||||||
Symbole symbole = (Symbole) obj;
|
Symbole symbole = (Symbole) obj;
|
||||||
return valeur.equals(symbole.valeur);
|
return valeur.equals(symbole.valeur);
|
||||||
}
|
}
|
||||||
|
|
||||||
public int getHashCode() {
|
|
||||||
return valeur.hashCode();
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -59,7 +59,7 @@ public class AppTest {
|
|||||||
|
|
||||||
System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
|
|
||||||
Resolveur resolveur = new ResolveurBacktraceSimple(sudoku);
|
Resolveur resolveur = new ResolveurBacktraceSimple();
|
||||||
resolveur.resoudre(sudoku, false);
|
resolveur.resoudre(sudoku, false);
|
||||||
System.out.println("Sudoku résolu :");
|
System.out.println("Sudoku résolu :");
|
||||||
System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
|
|||||||
@@ -58,7 +58,7 @@ public class TestBlocParticuliers {
|
|||||||
System.out.println("Symboles possibles :");
|
System.out.println("Symboles possibles :");
|
||||||
sudoku.getGrille().printSymbolesPossibles();
|
sudoku.getGrille().printSymbolesPossibles();
|
||||||
|
|
||||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||||
resolveur.resoudre(sudoku, true);
|
resolveur.resoudre(sudoku, true);
|
||||||
|
|
||||||
System.out.println("Sudoku résolu :");
|
System.out.println("Sudoku résolu :");
|
||||||
|
|||||||
@@ -45,9 +45,6 @@ public class TestBlocRectangle {
|
|||||||
System.out.println("Symboles possibles :");
|
System.out.println("Symboles possibles :");
|
||||||
sudoku.getGrille().printSymbolesPossibles();
|
sudoku.getGrille().printSymbolesPossibles();
|
||||||
|
|
||||||
// blocRectangle.resoudre(sudoku, true);
|
|
||||||
// System.out.println("Sudoku resolu :");
|
|
||||||
// System.out.println(sudoku.getGrille().toString());
|
|
||||||
System.out.println("FIN TEST BLOC RECTANGLE");
|
System.out.println("FIN TEST BLOC RECTANGLE");
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -5,9 +5,9 @@ import org.junit.jupiter.api.Test;
|
|||||||
import java.util.ArrayList;
|
import java.util.ArrayList;
|
||||||
import java.util.Arrays;
|
import java.util.Arrays;
|
||||||
|
|
||||||
public class TestCreationGrille {
|
public class TestCreationGrilleRectangulaireSansSolution {
|
||||||
@Test
|
@Test
|
||||||
public void testLigne() {
|
public void testCreationGrilleSansSolution() {
|
||||||
// CREATION D'UN SUDOKU SIMPLE 12*12
|
// CREATION D'UN SUDOKU SIMPLE 12*12
|
||||||
Sudoku sudoku = new Sudoku(12);
|
Sudoku sudoku = new Sudoku(12);
|
||||||
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
||||||
@@ -98,6 +98,12 @@ public class TestCreationGrille {
|
|||||||
sudoku.getGrille().printBlocs();
|
sudoku.getGrille().printBlocs();
|
||||||
System.out.println("Symboles possibles :");
|
System.out.println("Symboles possibles :");
|
||||||
sudoku.getGrille().printSymbolesPossibles();
|
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");
|
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.ArrayList;
|
||||||
// import java.util.Arrays;
|
import java.util.Arrays;
|
||||||
|
|
||||||
// import org.junit.jupiter.api.Test;
|
import org.junit.jupiter.api.Test;
|
||||||
|
|
||||||
// public class TestResolveurBacktraceSimpleSudoku16 {
|
public class TestResolveurBacktraceSimpleSudoku16 {
|
||||||
// @Test
|
@Test
|
||||||
// public void testResolution() {
|
public void testResolution() {
|
||||||
// System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
|
System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
|
||||||
// System.out.println(new App().getGreeting());
|
System.out.println(new App().getGreeting());
|
||||||
// // Create a new Sudoku
|
// Create a new Sudoku
|
||||||
// Sudoku sudoku = new Sudoku(16);
|
Sudoku sudoku = new Sudoku(16);
|
||||||
// sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
|
||||||
// Symbole.of(1),
|
Symbole.of(1),
|
||||||
// Symbole.of(2),
|
Symbole.of(2),
|
||||||
// Symbole.of(3),
|
Symbole.of(3),
|
||||||
// Symbole.of(4),
|
Symbole.of(4),
|
||||||
// Symbole.of(5),
|
Symbole.of(5),
|
||||||
// Symbole.of(6),
|
Symbole.of(6),
|
||||||
// Symbole.of(7),
|
Symbole.of(7),
|
||||||
// Symbole.of(8),
|
Symbole.of(8),
|
||||||
// Symbole.of(9),
|
Symbole.of(9),
|
||||||
// Symbole.of(10),
|
Symbole.of(10),
|
||||||
// Symbole.of(11),
|
Symbole.of(11),
|
||||||
// Symbole.of(12),
|
Symbole.of(12),
|
||||||
// Symbole.of(13),
|
Symbole.of(13),
|
||||||
// Symbole.of(14),
|
Symbole.of(14),
|
||||||
// Symbole.of(15),
|
Symbole.of(15),
|
||||||
// Symbole.of(16)
|
Symbole.of(16)
|
||||||
|
|
||||||
// )));
|
)));
|
||||||
|
|
||||||
// sudoku.ajouterContrainte(new ContrainteLigne());
|
sudoku.ajouterContrainte(new ContrainteLigne());
|
||||||
// sudoku.ajouterContrainte(new ContrainteColonne());
|
sudoku.ajouterContrainte(new ContrainteColonne());
|
||||||
// sudoku.ajouterContrainte(new ContrainteBloc());
|
sudoku.ajouterContrainte(new ContrainteBloc());
|
||||||
|
|
||||||
// sudoku.getGrille().setCase(0, 0, Symbole.of(1));
|
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
|
||||||
// sudoku.getGrille().setCase(6, 1, Symbole.of(2));
|
sudoku.getGrille().setCase(6, 1, Symbole.of(2));
|
||||||
// sudoku.getGrille().setCase(2, 2, Symbole.of(3));
|
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
|
||||||
// sudoku.getGrille().setCase(0, 3, Symbole.of(4));
|
sudoku.getGrille().setCase(0, 3, Symbole.of(4));
|
||||||
// sudoku.getGrille().setCase(4, 4, Symbole.of(5));
|
sudoku.getGrille().setCase(4, 4, Symbole.of(5));
|
||||||
// sudoku.getGrille().setCase(0, 5, Symbole.of(6));
|
sudoku.getGrille().setCase(0, 5, Symbole.of(6));
|
||||||
// sudoku.getGrille().setCase(5, 6, Symbole.of(7));
|
sudoku.getGrille().setCase(5, 6, Symbole.of(7));
|
||||||
// sudoku.getGrille().setCase(0, 7, Symbole.of(8));
|
sudoku.getGrille().setCase(0, 7, Symbole.of(8));
|
||||||
// sudoku.getGrille().setCase(4, 8, Symbole.of(9));
|
sudoku.getGrille().setCase(4, 8, Symbole.of(9));
|
||||||
// sudoku.getGrille().setCase(0, 9, Symbole.of(10));
|
sudoku.getGrille().setCase(0, 9, Symbole.of(10));
|
||||||
// sudoku.getGrille().setCase(6, 10, Symbole.of(11));
|
sudoku.getGrille().setCase(6, 10, Symbole.of(11));
|
||||||
// sudoku.getGrille().setCase(2, 11, Symbole.of(12));
|
sudoku.getGrille().setCase(2, 11, Symbole.of(12));
|
||||||
// sudoku.getGrille().setCase(0, 12, Symbole.of(13));
|
sudoku.getGrille().setCase(0, 12, Symbole.of(13));
|
||||||
|
|
||||||
// sudoku.getGrille().creerBlocCarre();
|
sudoku.getGrille().creerBlocCarre();
|
||||||
|
|
||||||
// System.out.println("Sudoku :");
|
System.out.println("Sudoku :");
|
||||||
// System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
|
|
||||||
// System.out.println("Blocs :");
|
System.out.println("Blocs :");
|
||||||
// sudoku.getGrille().printBlocs();
|
sudoku.getGrille().printBlocs();
|
||||||
|
|
||||||
// System.out.println("Symboles possibles :");
|
System.out.println("Symboles possibles :");
|
||||||
// sudoku.getGrille().printSymbolesPossibles();
|
sudoku.getGrille().printSymbolesPossibles();
|
||||||
|
|
||||||
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||||
// resolveur.resoudre(sudoku, false);
|
resolveur.resoudre(sudoku, false);
|
||||||
// System.out.println("Sudoku resolu :");
|
System.out.println("Sudoku resolu :");
|
||||||
// System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
// System.out.println("FIN TEST RESOLVEUR BACKTRACE SIMPLE");
|
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;
|
// package sudoku;
|
||||||
|
|
||||||
// import java.util.ArrayList;
|
// import java.util.ArrayList;
|
||||||
@@ -47,7 +53,7 @@
|
|||||||
// System.out.println("Symboles possibles :");
|
// System.out.println("Symboles possibles :");
|
||||||
// sudoku.getGrille().printSymbolesPossibles();
|
// sudoku.getGrille().printSymbolesPossibles();
|
||||||
|
|
||||||
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
// ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||||
// resolveur.resoudre(sudoku, false);
|
// resolveur.resoudre(sudoku, false);
|
||||||
// System.out.println("Sudoku resolu :");
|
// System.out.println("Sudoku resolu :");
|
||||||
// System.out.println(sudoku.getGrille().toString());
|
// System.out.println(sudoku.getGrille().toString());
|
||||||
|
|||||||
@@ -48,7 +48,7 @@ public class TestResolveurBacktraceSimpleSudoku9 {
|
|||||||
System.out.println("Symboles possibles :");
|
System.out.println("Symboles possibles :");
|
||||||
sudoku.getGrille().printSymbolesPossibles();
|
sudoku.getGrille().printSymbolesPossibles();
|
||||||
|
|
||||||
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple(sudoku);
|
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
|
||||||
resolveur.resoudre(sudoku, false);
|
resolveur.resoudre(sudoku, false);
|
||||||
System.out.println("Sudoku resolu :");
|
System.out.println("Sudoku resolu :");
|
||||||
System.out.println(sudoku.getGrille().toString());
|
System.out.println(sudoku.getGrille().toString());
|
||||||
|
|||||||
61
app/src/test/java/sudoku/TestSudokuEmojis.java
Normal file
61
app/src/test/java/sudoku/TestSudokuEmojis.java
Normal file
@@ -0,0 +1,61 @@
|
|||||||
|
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);
|
||||||
|
|
||||||
|
List<Symbole> symboles = new ArrayList<>();
|
||||||
|
symboles.add(Symbole.of("😎"));
|
||||||
|
symboles.add(Symbole.of("😂"));
|
||||||
|
symboles.add(Symbole.of("😍"));
|
||||||
|
symboles.add(Symbole.of("😜"));
|
||||||
|
symboles.add(Symbole.of("😇"));
|
||||||
|
symboles.add(Symbole.of("😘"));
|
||||||
|
symboles.add(Symbole.of("😋"));
|
||||||
|
symboles.add(Symbole.of("😊"));
|
||||||
|
symboles.add(Symbole.of("😉"));
|
||||||
|
sudoku.getGrille()
|
||||||
|
.setSymbolesPossibles(new ArrayList<>(symboles));
|
||||||
|
|
||||||
|
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");
|
||||||
|
}
|
||||||
|
}
|
||||||
60
app/src/test/java/sudoku/TestSudokuLettres.java
Normal file
60
app/src/test/java/sudoku/TestSudokuLettres.java
Normal file
@@ -0,0 +1,60 @@
|
|||||||
|
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);
|
||||||
|
|
||||||
|
List<Symbole> symboles = new ArrayList<>();
|
||||||
|
symboles.add(Symbole.of("L"));
|
||||||
|
symboles.add(Symbole.of("E"));
|
||||||
|
symboles.add(Symbole.of("T"));
|
||||||
|
symboles.add(Symbole.of("T"));
|
||||||
|
symboles.add(Symbole.of("R"));
|
||||||
|
symboles.add(Symbole.of("E"));
|
||||||
|
symboles.add(Symbole.of("S"));
|
||||||
|
symboles.add(Symbole.of("O"));
|
||||||
|
symboles.add(Symbole.of("H"));
|
||||||
|
sudoku.getGrille()
|
||||||
|
.setSymbolesPossibles(new ArrayList<>(symboles));
|
||||||
|
|
||||||
|
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");
|
||||||
|
}
|
||||||
|
}
|
||||||
59
app/src/test/java/sudoku/TestSudokusString.java
Normal file
59
app/src/test/java/sudoku/TestSudokusString.java
Normal file
@@ -0,0 +1,59 @@
|
|||||||
|
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);
|
||||||
|
|
||||||
|
List<Symbole> symboles = new ArrayList<>();
|
||||||
|
symboles.add(Symbole.of("Sudoku"));
|
||||||
|
symboles.add(Symbole.of("🗿"));
|
||||||
|
symboles.add(Symbole.of("Test"));
|
||||||
|
symboles.add(Symbole.of("😂"));
|
||||||
|
symboles.add(Symbole.of("1"));
|
||||||
|
symboles.add(Symbole.of("woW"));
|
||||||
|
symboles.add(Symbole.of("😎"));
|
||||||
|
symboles.add(Symbole.of("42"));
|
||||||
|
symboles.add(Symbole.of("π"));
|
||||||
|
sudoku.getGrille()
|
||||||
|
.setSymbolesPossibles(
|
||||||
|
new ArrayList<>(symboles));
|
||||||
|
|
||||||
|
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