26 Commits

Author SHA1 Message Date
f52849c43f build: add Main-Class attribute to JAR manifest 2025-02-09 19:43:14 +01:00
7308d45671 Squash commit: Mise à jour de main à l'état de merge/multidoku/GwendalJavaDoc 2025-02-09 16:41:13 +01:00
411e37951f refactor: clean up test output and improve code formatting 2025-02-09 16:02:48 +01:00
7968d5fede refactor: enhance code documentation and remove unnecessary greeting outputs in tests 2025-02-09 15:57:52 +01:00
86fe45c358 refactor: update ContrainteBloc to handle rectangle bloc, update tests, and improve code comments 2025-02-09 11:57:24 +01:00
ea868017ee Squashed commit of the following:
commit 41f1be6be7
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Tue Feb 4 16:18:24 2025 +0100

    04/02/2025 : Ajout de Console.errorln pour les remontée d'erreurs

commit ef3506c4eb
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Tue Feb 4 16:07:59 2025 +0100

    04/02/2025 : Ajout de la JavaDoc

commit f57aa34d36
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Mon Feb 3 11:37:12 2025 +0100

    Squashed commit of the following:

    commit 60c1634e1a159bf992b2ed1cdff632490294c48b
    Author: Morph01 <thibaut6969delastreet@gmail.com>
    Date:   Mon Feb 3 11:36:25 2025 +0100

        fix: remove .idea et .vscode
2025-02-09 10:23:09 +01:00
a060cde5b2 feat: implement main menu for Sudoku and Multidoku selection (basic for multidoku) 2025-02-09 10:09:32 +01:00
a3e60c1c93 refactor: improve code comments and app menu 2025-02-09 09:45:45 +01:00
09776489fa refactor: remove unused classes and methods, improve code clarity 2025-02-09 08:52:30 +01:00
436967da03 feat: add tests for Sudoku with emojis, letters, and strings 2025-02-08 19:09:44 +01:00
0f72113d67 feat: add error handling for unsolvable Sudoku and rename test class for clarity 2025-02-08 18:44:59 +01:00
690be279bd feat: add tests for multidoku functionality 2025-02-08 18:35:54 +01:00
b836670cda refactor: fix warnings 2025-02-08 17:39:20 +01:00
f002667e54 feat: better shared contraints and backtrace working ! 2025-02-08 17:34:46 +01:00
bf9bfc8323 feat: implement multidoku resolution with shared constraints (without case propagation) 2025-02-07 18:25:02 +01:00
dd21b9a13a fix: better padding for console rendering 2025-02-07 17:56:27 +01:00
a36960c57a feat: colors in multidokus ! 2025-02-07 10:16:34 +01:00
1c1da09e1f feat: multidoku rendu seems to work 2025-02-07 10:19:42 +01:00
7e068d0910 feat: one different color for every bloc 2025-02-06 18:32:01 +01:00
909219a8f8 feat: update test of app 2025-02-06 18:28:36 +01:00
1ad9c0500e feat: rename test names 2025-02-06 18:10:35 +01:00
b0b4152ec4 feat: enhance menu, colors, sudoku, all is working, now multidoku ^^ 2025-02-06 17:54:17 +01:00
7bc99258ec Squashed commit of the following:
commit 1791846882ffc30b5fb052b1619093a5a74a409c
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Mon Feb 3 10:23:53 2025 +0100

    03/02/2025 : Ajout d'un mecanisme pour la création de bloc mannuels

commit 39892a169561e4827a9e14fdb52cdf870ef30013
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Mon Feb 3 10:21:06 2025 +0100

    03/02/2025 : Ajout d'un mecanisme pour la création de bloc mannuels

commit ec5101a213c6a5fc24997eab3375def7595a637a
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Thu Jan 30 10:57:46 2025 +0100

    30/01/2025 : Ajout d'un menu utilisateur + ajout de système de vérification des saisies

commit 8d77fd725f65ba946c46b344186aa56d53448b1a
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Mon Jan 20 13:01:12 2025 +0100

    20/01/2025 : Ajout de test + création d'un menu utilisateur

commit af2dcfe2c46eefa0e49e3bf88ea51327690c660d
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Mon Jan 20 12:57:32 2025 +0100

    Squashed commit of the following:

    commit 3586ae4c15
    Author: Morph01 <thibaut6969delastreet@gmail.com>
    Date:   Mon Jan 20 12:53:23 2025 +0100

        Squashed commit of the following:

        commit 862ff6e08d
        Author: Morph01 <thibaut6969delastreet@gmail.com>
        Date:   Mon Jan 20 12:49:38 2025 +0100

            feat: affichage de la grille colorée et vérification de tt les contraintes

        commit b1dde68ec1
        Author: Morph01 <thibaut6969delastreet@gmail.com>
        Date:   Sun Jan 5 11:16:34 2025 +0100

            feat: add constraint management and validation to Sudoku class

        commit d8486a3bd7
        Author: Morph01 <thibaut6969delastreet@gmail.com>
        Date:   Sun Jan 5 11:13:19 2025 +0100

            feat: implement constraint classes for Sudoku (row, column, block)

        commit 8945072074
        Author: Morph01 <thibaut6969delastreet@gmail.com>
        Date:   Sun Jan 5 11:12:59 2025 +0100

            refactor: rename methods to French for consistency in the Sudoku application

        commit e35123e9fe
        Author: Morph01 <thibaut6969delastreet@gmail.com>
        Date:   Sun Jan 5 11:11:40 2025 +0100

            fix: update build.gradle to use testRuntimeOnly for JUnit Jupiter engine

    commit 22e88a899f
    Author: Morph01 <thibaut6969delastreet@gmail.com>
    Date:   Sat Jan 4 15:56:23 2025 +0000

        Gwendal in main : add test on futur constraints and enhance input symbol method (#1)

        Co-authored-by: ROGER <gwendal.roger@etu.univ-lyon1.fr>
        Reviewed-on: #1

commit 3e6aa821fc
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sat Jan 4 16:51:12 2025 +0100

    feat: enhance symbol input validation and improve console messaging

commit 7c4fa8cbe8
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sat Jan 4 16:49:41 2025 +0100

    chore: update Gradle wrapper to version 8.3

commit c226eeebae
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Fri Jan 3 22:58:54 2025 +0100

    03/01/2025 : Intégration d'un mécanisme permettant de contrôler que le symbole choisi ne figure pas déjà dans la liste de symboles possibles. Permet d'éviter les doublons

commit b553fd2be9
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Fri Jan 3 17:12:10 2025 +0100

    03/01/2025 : Création d'un second sudoku avec intégration automatique des symboles

commit a1b130b968
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Fri Jan 3 16:35:02 2025 +0100

    03/01/2025 : Ajout des tests lignes, colonne et bloc

commit 7c29041ca4
Author: ROGER <gwendal.roger@etu.univ-lyon1.fr>
Date:   Thu Dec 26 20:27:49 2024 +0100

    Création de branche / 1er COMMIT de test
2025-02-03 11:03:11 +01:00
b63584e650 feat: add bloc particuliers 2025-02-03 10:17:29 +01:00
12d3e24bf8 feat: resolver backtrace simple 2025-01-30 16:55:26 +01:00
3586ae4c15 Squashed commit of the following:
commit 862ff6e08d
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Mon Jan 20 12:49:38 2025 +0100

    feat: affichage de la grille colorée et vérification de tt les contraintes

commit b1dde68ec1
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sun Jan 5 11:16:34 2025 +0100

    feat: add constraint management and validation to Sudoku class

commit d8486a3bd7
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sun Jan 5 11:13:19 2025 +0100

    feat: implement constraint classes for Sudoku (row, column, block)

commit 8945072074
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sun Jan 5 11:12:59 2025 +0100

    refactor: rename methods to French for consistency in the Sudoku application

commit e35123e9fe
Author: Morph01 <thibaut6969delastreet@gmail.com>
Date:   Sun Jan 5 11:11:40 2025 +0100

    fix: update build.gradle to use testRuntimeOnly for JUnit Jupiter engine
2025-01-20 12:53:23 +01:00
40 changed files with 2976 additions and 332 deletions

3
.gitignore vendored
View File

@@ -30,3 +30,6 @@ replay_pid*
# Ignore Gradle build output directory # Ignore Gradle build output directory
build build
.idea
.vscode

View File

@@ -1,3 +0,0 @@
{
"java.configuration.updateBuildConfiguration": "automatic"
}

BIN
Sudoku_menuGrille.jpg Normal file

Binary file not shown.

After

Width:  |  Height:  |  Size: 184 KiB

View File

@@ -27,6 +27,14 @@ application {
mainClass = 'sudoku.App' mainClass = 'sudoku.App'
} }
jar {
manifest {
attributes(
'Main-Class': 'sudoku.App'
)
}
}
test { test {
testLogging { testLogging {
// Affiche les événements de passage, échec, saut et sortie standard/erreur // Affiche les événements de passage, échec, saut et sortie standard/erreur

View File

@@ -1,57 +1,31 @@
package sudoku; package sudoku;
import java.util.ArrayList; import java.util.logging.Level;
import java.util.Arrays; import java.util.logging.Logger;
/**
* Classe principale de l'application sudoku.
*/
public class App { public class App {
public String getGreeting() { private static final Logger logger = Logger.getLogger(App.class.getName());
return "Hello World!";
/**
* Constructeur privé pour empêcher l'instanciation de la classe App.
*/
private App() {
} }
/**
* Méthode main permettant de lancer l'application sudoku et d'afficher les
* erreurs s'il y en a.
*
* @param args : arguments passés en paramètre
*/
public static void main(String[] args) { public static void main(String[] args) {
System.out.println(new App().getGreeting()); try {
Sudoku.menu();
// Create a new Sudoku } catch (Exception e) {
Sudoku sudoku = new Sudoku(9); logger.log(Level.SEVERE, "Une erreur fatale est survenue : " + e.getMessage(), e);
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))));
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().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();
//Création d'un second sudoku
System.out.println("Création d'un second SUDOKU");
Sudoku sudoku2 = new Sudoku(9);
sudoku2.getGrille().askSetSymbolesPossibles();
System.out.println("Symboles possibles :");
sudoku2.getGrille().printSymbolesPossibles();
} }
} }

View File

@@ -3,46 +3,60 @@ package sudoku;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.List; import java.util.List;
/**
* Classe permettant de créer un bloc de couleur.
*/
public class Bloc { public class Bloc {
private final List<Case> cases; private final List<Case> cases;
private final String couleur; private final String couleur;
private final int couleurIndex; private final int couleurIndex;
/**
* Constructeur permettant de créer un bloc de couleur
*
* @param couleur : couleur du bloc
* @param couleurIndex : index de la couleur
*/
public Bloc(String couleur, int couleurIndex) { public Bloc(String couleur, int couleurIndex) {
this.cases = new ArrayList<>(); this.cases = new ArrayList<>();
this.couleur = couleur; this.couleur = couleur;
this.couleurIndex = couleurIndex; this.couleurIndex = couleurIndex;
} }
/**
* Méthode permettant d'ajouter une case à un bloc
*
* @param c : case à ajouter
*/
public void ajouterCase(Case c) { public void ajouterCase(Case c) {
cases.add(c); cases.add(c);
} }
public boolean contains(Symbole s) { /**
for (Case c : cases) { * Méthode permettant de renvoyer la couleur d'un bloc
if (c.getSymbole().equals(s)) { *
return true; * @return couleur du bloc
} */
}
return false;
}
public String getCouleur() { public String getCouleur() {
return couleur; return couleur;
} }
public int getCouleurIndex() { /**
return couleurIndex; * Méthode permettant de renvoyer une liste de cases associée à un bloc
} *
* @return liste de cases
*/
public List<Case> getCases() { public List<Case> getCases() {
return cases; return cases;
} }
/**
* Méthode permettant d'afficher un bloc complet avec les cases qui le composent
*
* @return bloc complet avec les cases, la couleur et l'index de la couleur
*/
@Override @Override
public String toString() { public String toString() {
return "Bloc{" + return "Bloc [cases=" + cases + ", couleur=" + couleur + ", couleurIndex=" + couleurIndex + " \u001B[0m]";
"cases=" + cases +
'}';
} }
} }

View File

@@ -1,32 +1,69 @@
package sudoku; package sudoku;
/**
* Classe permettant de créer une case.
*/
public class Case { public class Case {
private final int ligne; private final int ligne;
private final int colonne; private final int colonne;
private Symbole symbole; private Symbole symbole;
/**
* Constructeur permettant de créer une case grace aux paramètres suivants :
*
* @param ligne : coordonnée de la ligne
* @param colonne : coordonnée de la colonne
* @param symbole : symbole de la case
*/
public Case(int ligne, int colonne, Symbole symbole) { public Case(int ligne, int colonne, Symbole symbole) {
this.ligne = ligne; this.ligne = ligne;
this.colonne = colonne; this.colonne = colonne;
this.symbole = symbole; this.symbole = symbole;
} }
/**
* Méthode permettant de renvoyer la coordonnée de la ligne qui compose la case
*
* @return ligne
*/
public int getLigne() { public int getLigne() {
return ligne; return ligne;
} }
/**
* Méthode permettant de renvoyer la coordonnée de la colonne qui compose la
* case
*
* @return colonne
*/
public int getColonne() { public int getColonne() {
return colonne; return colonne;
} }
/**
* Méthode permettant de renvoyer le symbole qui compose la case
*
* @return symbole
*/
public Symbole getSymbole() { public Symbole getSymbole() {
return symbole; return symbole;
} }
/**
* Méthode permettant de modifier le symbole qui compose la case
*
* @param symbole : symbole de la case
*/
public void setSymbole(Symbole symbole) { public void setSymbole(Symbole symbole) {
this.symbole = symbole; this.symbole = symbole;
} }
/**
* Méthode qui permet d'afficher le symbole de la case ou "-" si la case est
* vide
*
* @return symbole de la case
*/
@Override @Override
public String toString() { public String toString() {
return (symbole == null) ? "-" : symbole.toString(); return (symbole == null) ? "-" : symbole.toString();

View File

@@ -1,5 +1,17 @@
package sudoku; package sudoku;
/**
* Interface permettant d'évaluer toutes les contraintes et de retourner un
* boolean indiquant si elles ont étés respectées.
*/
public interface Contrainte { public interface Contrainte {
/**
* Méthode permettant de savoir si l'ensemble des contraintes concernant une
* case sont respectées.
*
* @param grille : Grille
* @param c : Case
* @return boolean : true si toutes les contraintes sont respectées, false sinon
*/
boolean estRespectee(Grille grille, Case c); boolean estRespectee(Grille grille, Case c);
} }

View File

@@ -1,20 +1,43 @@
package sudoku; package sudoku;
import sudoku.core.Console; /**
* Implémentation de l'interface Contrainte sur les blocs.
* Cette classe permet de vérifier si les contraintes sur les blocs sont
* respectées.
*/
public class ContrainteBloc implements Contrainte { public class ContrainteBloc implements Contrainte {
private final int blocRows;
private final int blocCols;
/**
* Constructeur permettant de créer une contrainte de bloc
*
* @param blocRows : nombre de lignes du bloc
* @param blocCols : nombre de colonnes du bloc
*/
public ContrainteBloc(int blocRows, int blocCols) {
this.blocRows = blocRows;
this.blocCols = blocCols;
}
/**
* Méthode permettant de savoir pour une case donnée si l'ensemble des
* contraintes concernant le bloc sont respectées.<br />
*
* @param grille : Grille
* @param c : Case
* @return boolean : true si toutes les contraintes sont respectées, false sinon
*/
@Override @Override
public boolean estRespectee(Grille grille, Case c) { public boolean estRespectee(Grille grille, Case c) {
int blocSize = (int) Math.sqrt(grille.getTaille()); int startRow = (c.getLigne() / blocRows) * blocRows;
int startRow = (c.getLigne() / blocSize) * blocSize; int startCol = (c.getColonne() / blocCols) * blocCols;
int startCol = (c.getColonne() / blocSize) * blocSize;
Symbole symbole = c.getSymbole(); Symbole symbole = c.getSymbole();
for (int i = 0; i < blocSize; i++) { for (int i = 0; i < blocRows; i++) {
for (int j = 0; j < blocSize; j++) { for (int j = 0; j < blocCols; j++) {
Case currentCase = grille.getCase(startRow + i, startCol + j); Case currentCase = grille.getCase(startRow + i, startCol + j);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) { if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
Console.errorln("La contrainte de bloc n'est pas respectee: ligne=" + (startRow + i) + ", col=" + (startCol + j) + ", symbole=" + symbole);
return false; return false;
} }
} }

View File

@@ -1,8 +1,26 @@
package sudoku; package sudoku;
import sudoku.core.Console; /**
* Implémentation de l'interface Contrainte sur les colonnes.
* Cette classe permet de vérifier si les contraintes sur les colonnes sont
* respectées.
*/
public class ContrainteColonne implements Contrainte { public class ContrainteColonne implements Contrainte {
/**
* Constructeur de la classe ContrainteColonne
*/
public ContrainteColonne() {
}
/**
* Méthode permettant de savoir pour une case donnée si l'ensemble des
* contraintes concernant la colonne sont respectées.<br />
*
* @param grille : Grille
* @param c : Case
* @return boolean : true si toutes les contraintes sont respectées, false sinon
*/
@Override @Override
public boolean estRespectee(Grille grille, Case c) { public boolean estRespectee(Grille grille, Case c) {
int colonne = c.getColonne(); int colonne = c.getColonne();
@@ -10,7 +28,6 @@ public class ContrainteColonne implements Contrainte {
for (int ligne = 0; ligne < grille.getTaille(); ligne++) { for (int ligne = 0; ligne < grille.getTaille(); ligne++) {
Case currentCase = grille.getCase(ligne, colonne); Case currentCase = grille.getCase(ligne, colonne);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) { if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
Console.errorln("La contrainte de colonne n'est pas respectee: ligne=" + ligne + ", col=" + colonne + ", symbole=" + symbole);
return false; return false;
} }
} }

View File

@@ -1,8 +1,28 @@
package sudoku; package sudoku;
import sudoku.core.Console; /**
* Implémentation de l'interface Contrainte sur les lignes.
* Cette classe permet de vérifier si les contraintes sur les lignes sont
* respectées.
*/
public class ContrainteLigne implements Contrainte { public class ContrainteLigne implements Contrainte {
/**
* Constructeur de la classe ContrainteLigne
*/
public ContrainteLigne() {
}
/**
* Méthode permettant de savoir si l'ensemble des contraintes concernant la
* ligne sont respectées.<br />
* Renvoie 0 si au moins l'une des contraintes n'est pas respectée<br />
* Renvoie 1 si toutes les contraintes sont respectées
*
* @param grille : Grille
* @param c : Case
* @return boolean : true si toutes les contraintes sont respectées, false sinon
*/
@Override @Override
public boolean estRespectee(Grille grille, Case c) { public boolean estRespectee(Grille grille, Case c) {
int ligne = c.getLigne(); int ligne = c.getLigne();
@@ -10,7 +30,6 @@ public class ContrainteLigne implements Contrainte {
for (int col = 0; col < grille.getTaille(); col++) { for (int col = 0; col < grille.getTaille(); col++) {
Case currentCase = grille.getCase(ligne, col); Case currentCase = grille.getCase(ligne, col);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) { if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
Console.errorln("La contrainte de ligne n'est pas respectee: ligne=" + ligne + ", col=" + col + ", symbole=" + symbole);
return false; return false;
} }
} }

View File

@@ -2,21 +2,38 @@ package sudoku;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.List; import java.util.List;
import java.util.Objects;
import java.util.Scanner; import java.util.Scanner;
import sudoku.core.Console; import sudoku.core.Console;
import sudoku.core.GenerateurCouleur;
/**
* Classe Grille permettant de créer une grille de sudoku.
*/
public class Grille { public class Grille {
private final int taille; private final int taille;
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; // Référence à Sudoku
private Multidoku multidoku; // Référence à Multidoku
private List<String> generatedColors;
public Grille(int taille) { /**
* Constructeur permettant d'initialiser une grille grace aux paramètres
* suivants :
*
* @param taille : taille de la grille
* @param sudoku : sudoku
*/
public Grille(int taille, Sudoku sudoku) {
this.taille = taille; this.taille = taille;
this.cases = new Case[taille][taille]; this.cases = new Case[taille][taille];
this.blocs = new ArrayList<>(); this.blocs = new ArrayList<>();
this.symbolesPossibles = new ArrayList<>(); this.symbolesPossibles = new ArrayList<>();
this.sudoku = sudoku;
initColors();
// Initialiser les cases // Initialiser les cases
for (int i = 0; i < taille; i++) { for (int i = 0; i < taille; i++) {
@@ -26,172 +43,258 @@ public class Grille {
} }
} }
/**
* Méthode permettant de mettre à jour la référence au multidoku
*
* @param multidoku : multidoku
* @see Multidoku
*/
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,
* on génère donc 'taille' couleurs.
*/
private void initColors() {
// nombre de couleurs = nombre de blocs (pour sudoku classique)
List<GenerateurCouleur.Couleur> colors = GenerateurCouleur.paletteCouleurEtendue(taille);
generatedColors = new ArrayList<>();
for (GenerateurCouleur.Couleur color : colors) {
generatedColors.add(convertToAnsi(color));
}
}
/**
* Convertit une couleur en format ANSI pour l'affichage en console.
*
* @param color : couleur à convertir
* @return couleur convertie
*/
private String convertToAnsi(GenerateurCouleur.Couleur color) {
int r = Math.round(color.r * 255);
int g = Math.round(color.g * 255);
int b = Math.round(color.b * 255);
return String.format("\u001B[38;2;%d;%d;%dm", r, g, b);
}
/**
* Méthode permettant de définir un symbole dans une case en fonction de sa
* ligne, de sa colonne et du symbole
*
* @param ligne : coordonnée de la ligne
* @param colonne : coordonnée de la colonne
* @param symbole : symbole à placer
*/
public void setCase(int ligne, int colonne, Symbole symbole) { public void setCase(int ligne, int colonne, Symbole symbole) {
try { try {
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);
} }
cases[ligne][colonne].setSymbole(symbole);
Case currentCase = cases[ligne][colonne];
Symbole ancienSymbole = currentCase.getSymbole();
currentCase.setSymbole(symbole);
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) { } catch (Exception e) {
Console.errorln(e.getMessage()); Console.errorln(e.getMessage());
} }
} }
/**
* Méthode permettant de retourner une case en fonction de sa ligne et de sa
* colonne
*
* @param ligne : coordonnée de la ligne
* @param colonne : coordonnée de la colonne
* @return Case
*/
public Case getCase(int ligne, int colonne) { public Case getCase(int ligne, int colonne) {
return cases[ligne][colonne]; return cases[ligne][colonne];
} }
private static final String[] QUATRE_COULEURS = {
"\u001B[31m", // Rouge
"\u001B[32m", // Vert
"\u001B[34m", // Bleu
"\u001B[33m" // Jaune
};
private int getCouleurDisponible(int blocRow, int blocCol) {
List<Integer> couleursUtilisees = new ArrayList<>();
int blocSize = (int) Math.sqrt(taille);
// Parcourir les voisins (haut, bas, gauche, droite, et diagonaux)
for (int dRow = -1; dRow <= 1; dRow++) {
for (int dCol = -1; dCol <= 1; dCol++) {
if (dRow == 0 && dCol == 0)
continue; // Ignorer le bloc courant
int voisinRow = blocRow + dRow;
int voisinCol = blocCol + dCol;
// Vérifier si le voisin est dans les limites
if (voisinRow >= 0 && voisinRow < taille / blocSize &&
voisinCol >= 0 && voisinCol < taille / blocSize) {
int blockIndex = voisinRow * (taille / blocSize) + voisinCol;
if (blockIndex < blocs.size()) {
couleursUtilisees.add(blocs.get(blockIndex).getCouleurIndex());
}
}
}
}
// Trouver une couleur non utilisée
for (int c = 0; c < QUATRE_COULEURS.length; c++) {
if (!couleursUtilisees.contains(c)) {
return c;
}
}
// Retourner une couleur par défaut (ne devrait pas arriver avec 4 couleurs)
return 0;
}
/** /**
* Crée un bloc à partir des positions spécifiées * Méthode permettant de créer un bloc personnalisé en fonction des positions
* * passées en paramètre <br />
* Exemple : * <br />
* sudoku.getGrille().creerBloc(Arrays.asList( *
* new int[] { 0, 0 }, * Exemple de positions pour un sudoku 9x9 : <br />
* new int[] { 0, 1 }, * sudoku.getGrille().creerBlocPersonnalise(Arrays.asList( <br />
* new int[] { 0, 2 }, * new int[] { 0, 0 }, <br />
* new int[] { 1, 0 }, * new int[] { 0, 1 }, <br />
* new int[] { 1, 1 }, * new int[] { 0, 2 }, <br />
* new int[] { 1, 2 }, * new int[] { 1, 0 }, <br />
* new int[] { 2, 0 }, * new int[] { 1, 1 }, <br />
* new int[] { 2, 1 }, * new int[] { 1, 2 }, <br />
* new int[] { 2, 2 })); * new int[] { 2, 0 }, <br />
* * new int[] { 2, 1 }, <br />
* @param positions * new int[] { 2, 2 } <br />
* @return * );
*
* @param positions : liste de positions pour le bloc personnalisé <br />
*/ */
public Bloc creerBloc(List<int[]> positions) { public void creerBlocPersonnalise(List<int[]> positions) {
int i = positions.get(0)[0];
int j = positions.get(0)[1];
int blocSize = (int) Math.sqrt(taille);
int couleurIndex = getCouleurDisponible(i / blocSize, j / blocSize);
Bloc bloc = new Bloc(QUATRE_COULEURS[couleurIndex], couleurIndex);
for (int[] pos : positions) {
bloc.ajouterCase(cases[pos[0]][pos[1]]);
}
blocs.add(bloc);
return bloc;
}
public void creerBlocCarre() {
try { try {
int blocSize = (int) Math.sqrt(taille); // Validation des positions
if (blocSize * blocSize != taille) { for (int[] pos : positions) {
throw new IllegalArgumentException("La taille de la grille doit être un carré parfait."); if (pos[0] < 0 || pos[0] >= taille || pos[1] < 0 || pos[1] >= taille) {
} throw new IllegalArgumentException("Position invalide : (" + pos[0] + ", " + pos[1] + ")");
// Create blocks in 3x3 pattern
for (int blocRow = 0; blocRow < blocSize; blocRow++) {
for (int blocCol = 0; blocCol < blocSize; blocCol++) {
List<int[]> positions = new ArrayList<>();
// Add all positions for current block
for (int i = 0; i < blocSize; i++) {
for (int j = 0; j < blocSize; j++) {
positions.add(new int[] {
blocRow * blocSize + i,
blocCol * blocSize + j
});
}
}
int couleurIndex = getCouleurDisponible(blocRow, blocCol);
Bloc bloc = new Bloc(QUATRE_COULEURS[couleurIndex], couleurIndex);
for (int[] pos : positions) {
bloc.ajouterCase(cases[pos[0]][pos[1]]);
}
blocs.add(bloc);
} }
} }
// Choisir la couleur suivante en fonction du nombre de blocs déjà créés
setCouleurBloc(positions);
} catch (IllegalArgumentException e) { } catch (IllegalArgumentException e) {
Console.errorln(e.getMessage()); Console.errorln(e.getMessage());
} }
} }
private void setCouleurBloc(List<int[]> 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);
}
/**
* Crée des blocs carrés (par exemple pour un sudoku classique).
*/
public void creerBlocCarre() {
int blocSize = (int) Math.sqrt(taille);
if (blocSize * blocSize != taille) {
throw new IllegalArgumentException("La taille de la grille doit être un carré parfait.");
}
// Création des blocs en motif (par exemple 3x3 pour un sudoku 9x9)
for (int blocRow = 0; blocRow < blocSize; blocRow++) {
for (int blocCol = 0; blocCol < blocSize; blocCol++) {
List<int[]> positions = new ArrayList<>();
// Ajouter toutes les positions pour le bloc courant
for (int i = 0; i < blocSize; i++) {
for (int j = 0; j < blocSize; j++) {
positions.add(new int[] {
blocRow * blocSize + i,
blocCol * blocSize + j
});
}
}
setCouleurBloc(positions);
}
}
}
/**
* Crée des blocs rectangulaires.
*
* @param blocHeight : hauteur du bloc
* @param blocWidth : largeur du bloc
*/
public void creerBlocRectangulaire(int blocHeight, int blocWidth) {
if (taille % blocHeight != 0 || taille % blocWidth != 0) {
throw new IllegalArgumentException(
"La taille de la grille doit être divisible par les dimensions des blocs.");
}
int blocsParLigne = taille / blocWidth;
int blocsParColonne = taille / blocHeight;
// Création des blocs en motif rectangulaire
for (int blocRow = 0; blocRow < blocsParColonne; blocRow++) {
for (int blocCol = 0; blocCol < blocsParLigne; blocCol++) {
List<int[]> positions = new ArrayList<>();
// Ajouter toutes les positions pour le bloc courant
for (int i = 0; i < blocHeight; i++) {
for (int j = 0; j < blocWidth; j++) {
positions.add(new int[] {
blocRow * blocHeight + i,
blocCol * blocWidth + j
});
}
}
setCouleurBloc(positions);
}
}
}
/**
* Méthode permettant d'afficher les blocs de la grille à l'aide de la méthode
* toString de la classe Bloc.
*/
public void printBlocs() { public void printBlocs() {
for (Bloc bloc : blocs) { for (Bloc bloc : blocs) {
System.out.println(bloc.toString()); System.out.println(bloc.toString());
} }
} }
public void askSetSymbolesPossibles() { /**
Scanner scanner = new Scanner(System.in); * Méthode utilisée pour le menu princial.
try { * Méthode permettant de choisir le type de symbole à utiliser pour la grille
Console.infoln("Choisissez le type de symboles :"); *
Console.infoln("1. Nombres"); * @param scanner : scanner pour lire l'entrée utilisateur
Console.infoln("2. Lettres"); * @return int : choix de l'utilisateur
Console.infoln("3. Texte/Emoji"); */
public static int choisirTypeSymbole(Scanner scanner) {
while (true) {
System.out.println("Choisissez le type de symbole :");
System.out.println("1 : Entiers");
System.out.println("2 : Lettres");
System.out.println("3 : Chaînes de caractères / Emoji");
int choix = 0; String input = scanner.nextLine();
try { try {
choix = Integer.parseInt(scanner.nextLine()); int choix = Integer.parseInt(input);
if (choix < 1 || choix > 3) { if (choix >= 1 && choix <= 3) {
throw new NumberFormatException("Choix invalide"); return choix;
} else {
System.out.println("Choix invalide. Veuillez entrer 1, 2 ou 3.");
} }
} catch (NumberFormatException e) { } catch (NumberFormatException e) {
Console.errorln("Choix invalide"); System.out.println("Entrée invalide. Veuillez entrer un nombre.");
return;
} }
}
}
/**
* Méthode utilisée pour le menu principal.
* Méthode permettant de demander à l'utilisateur de saisir les symboles
* possibles pour la grille.
*
* @param choix : choix de l'utilisateur
* @param scanner : scanner pour lire l'entrée utilisateur
*/
public void askSetSymbolesPossibles(int choix, Scanner scanner) {
try {
for (int i = 0; i < taille; i++) { for (int i = 0; i < taille; i++) {
System.out.println(("Entrez le symbole " + (i + 1) + "/" + taille + " :")); System.out.println("Entrez le symbole " + (i + 1) + "/" + taille + " :");
String input = scanner.nextLine(); String input = scanner.nextLine();
switch (choix) { switch (choix) {
case 1: // Nombres case 1: // Nombres
Symbole intTemp = Symbole.of(input); try {
if (intTemp.isInt()) { Symbole intTemp = Symbole.of(Integer.parseInt(input));
if (symbolesPossibles.contains(intTemp)) { if (symbolesPossibles.contains(intTemp)) {
Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole"); Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole");
i--; i--;
} else { } else {
symbolesPossibles.add(intTemp); symbolesPossibles.add(intTemp);
} }
} else { } catch (NumberFormatException e) {
Console.errorln("Veuillez entrer un nombre valide"); Console.errorln("Veuillez entrer un nombre valide");
i--; i--;
} }
@@ -217,6 +320,9 @@ public class Grille {
if (symbolesPossibles.contains(stringTemp)) { if (symbolesPossibles.contains(stringTemp)) {
Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole"); Console.errorln("Ce symbole existe déjà, veuillez entrer un autre symbole");
i--; i--;
} else if (Objects.equals(input, "ESC")) {
Console.errorln("Ce symbole est interdit, veuillez entrer un autre symbole");
i--;
} else { } else {
symbolesPossibles.add(stringTemp); symbolesPossibles.add(stringTemp);
} }
@@ -228,46 +334,67 @@ public class Grille {
} }
} }
} catch (Exception e) { } catch (Exception e) {
System.out.println("Une erreur est survenue : " + e.getMessage()); Console.errorln("Une erreur est survenue : " + e.getMessage());
} finally { Console.errorln("Une erreur est survenue : " + e.getMessage());
scanner.close();
} }
} }
/**
* Méthode permettant de retourner la liste des symboles possible.
* Cela dépend de ce que saisit l'utilisateur dans la méthode
* askSetSymbolesPossibles
*
* @return List la liste des symboles possibles
* @see Symbole
*/
public List<Symbole> getSymbolesPossibles() { public List<Symbole> getSymbolesPossibles() {
return symbolesPossibles; return symbolesPossibles;
} }
/**
* Méthode permettant d'ajouter un symbole à la liste des symboles possibles
*
* @param symbolesPossibles : liste des symboles possibles
*/
public void setSymbolesPossibles(ArrayList<Symbole> symbolesPossibles) { public void setSymbolesPossibles(ArrayList<Symbole> symbolesPossibles) {
this.symbolesPossibles = symbolesPossibles; this.symbolesPossibles = symbolesPossibles;
} }
/**
* Méthode permettant d'afficher la liste des symboles possibles
*/
public void printSymbolesPossibles() { public void printSymbolesPossibles() {
StringBuilder sb = new StringBuilder(); StringBuilder sb = new StringBuilder();
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);
} }
/**
* Méthode permettant de retourner la taille de la grille
*
* @return taille
*/
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;
} }
} }
return null; // Ne devrait jamais arriver si la grille est bien construite return null; // Ne dois jamais arriver si la grille est bien construite
} }
/** /**
* Vérifie si toutes les contraintes sont respectées * Vérifie si toutes les contraintes sont respectées.
* S'arrête dès qu'une contrainte n'est pas respectée * S'arrête dès qu'une contrainte n'est pas respectée.
* @param contraintes *
* @return * @param contraintes : liste des contraintes à vérifier
* @return true si toutes les contraintes sont respectées, false sinon
*/ */
public boolean verifierToutesContraintes(List<Contrainte> contraintes) { public boolean verifierToutesContraintes(List<Contrainte> contraintes) {
// Vérifier chaque case de la grille // Vérifier chaque case de la grille
@@ -279,7 +406,8 @@ public class Grille {
// Vérifier toutes les contraintes pour cette case // Vérifier toutes les contraintes pour cette case
for (Contrainte contrainte : contraintes) { for (Contrainte contrainte : contraintes) {
if (!contrainte.estRespectee(this, currentCase)) { if (!contrainte.estRespectee(this, currentCase)) {
Console.errorln("Contrainte non respectée à la position : ligne=" + i + ", colonne=" + j); Console.errorln(
"GRILLE: Contrainte non respectée à la position : ligne=" + i + ", colonne=" + j);
return false; return false;
} }
} }
@@ -289,27 +417,57 @@ public class Grille {
return true; return true;
} }
/**
* Méthode permettant de retourner la longueur du symbole le plus long pour
* dimensionner correctement les cases et la grille en console
*
* @return int
*/
public int getLongueurSymboleLePlusLong() {
int max = 0;
for (Symbole symbole : symbolesPossibles) {
if (symbole.toString().length() > max) {
max = symbole.toString().length();
}
}
return max;
}
/**
* Méthode permettant d'afficher la grille
*
* @return String : représentation de la grille
*/
@Override @Override
public String toString() { public String toString() {
StringBuilder sb = new StringBuilder(); StringBuilder sb = new StringBuilder();
int maxLen = getLongueurSymboleLePlusLong(); // longueur maximale des symboles
for (int i = 0; i < taille; i++) { for (int i = 0; i < taille; i++) {
for (int j = 0; j < taille; j++) { for (int j = 0; j < taille; j++) {
Case currentCase = cases[i][j]; Case currentCase = cases[i][j];
String cellStr = currentCase.toString();
// Calculer le nombre d'espaces à ajouter pour atteindre maxLen
int pad = maxLen - cellStr.length();
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(currentCase.toString()) // Contenu de la case .append(cellStr) // symbole
.append("\u001B[0m ") // Réinitialiser la couleur .append(padding) // padding pour aligner les symboles
.append("\u001B[0m ") // réinitialiser la couleur
.append(" ");
} else { // pas de bloc, afficher normalement
sb.append(cellStr)
.append(padding)
.append(" "); .append(" ");
} else {
sb.append(currentCase.toString()).append(" ");
} }
} }
sb.append("\n"); sb.append("\n"); // nouvelle ligne
} }
return sb.toString(); return sb.toString();
} }
} }

View File

@@ -0,0 +1,479 @@
package sudoku;
import java.util.ArrayList;
import java.util.HashMap;
import java.util.List;
import java.util.Map;
import java.util.Set;
/**
* Classe représentant un Multidoku, c'est-à-dire une grille combinée de
* plusieurs
* sudokus, avec des contraintes de partage entre les cases.
*/
public class Multidoku {
private final List<SudokuPlacement> placements = new ArrayList<>();
private final List<ContrainteCasePartagee> contraintesPartagees;
/**
* Constructeur de la classe Multidoku.
*/
public Multidoku() {
this.contraintesPartagees = new ArrayList<>();
}
/**
* Ajoute un sudoku à la grille combinée, avec un décalage spécifié par rapport
* à l'origine.
*
* @param sudoku : sudoku à ajouter
* @param offsetLigne : décalage de la ligne
* @param offsetColonne : décalage de la colonne
*/
public void ajouterSudoku(Sudoku sudoku, int offsetLigne, int offsetColonne) {
placements.add(new SudokuPlacement(sudoku, offsetLigne, offsetColonne));
sudoku.getGrille().setMultidoku(this);
}
/**
* Ajoute une contrainte de partage entre les cases spécifiées.
*
* @param cases : liste de cases partagées
*/
public void ajouterCasesPartagees(List<Case> cases) {
ContrainteCasePartagee contrainte = new ContrainteCasePartagee(cases);
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");
}
}
/**
* Résout le Multidoku en utilisant un algorithme de backtracking.
*
* @param afficherEtape : true pour afficher les étapes de résolution
* @return true si une solution a été trouvée, false sinon
*/
public boolean resoudreMultidoku(boolean afficherEtape) {
List<GlobalCell> globalCells = collecterCellulesVides();
return resoudreGlobal(globalCells, 0, afficherEtape);
}
/**
* Collecte toutes les cases vides d'abord pour les cases partagées, puis pour
* les cases non partagées de la grille combinée.
*
* @return liste de cases vides
*/
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.sudoku();
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;
}
/**
* Résout récursivement les cases vides de la grille combinée, en utilisant un
* algorithme de backtracking.
*
* @param globalCells : liste de cases vides
* @param index : index de la case actuelle
* @param afficherEtape : true pour afficher les étapes de résolution
* @return true si une solution a été trouvée, false sinon
*/
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); // 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);
}
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);
}
}
return false;
}
/**
* Restaure les cases à leur état précédent en utilisant une sauvegarde.
*
* @param sauvegarde : sauvegarde des cases à restaurer
*/
private void restaurerCases(Map<Case, Symbole> sauvegarde) {
for (Map.Entry<Case, Symbole> entry : sauvegarde.entrySet()) {
entry.getKey().setSymbole(entry.getValue());
}
}
/**
* Affecte un symbole à une case, et propage la valeur dans les cases
* correspondantes des autres sudokus concernés.
*
* @param ligne : ligne de la case
* @param colonne : colonne de la case
* @param symbole : symbole à affecter
* @param s : sudoku actuel
* @return true si l'affectation est valide, false sinon
*/
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;
}
/**
* Trouve le sudoku auquel appartient une case donnée.
*
* @param c : case
* @return sudoku auquel appartient la case, ou null si non trouvé
*/
private Sudoku trouverSudokuPourCase(Case c) {
for (SudokuPlacement sp : placements) {
if (appartientAuSudoku(c, sp.sudoku())) {
return sp.sudoku();
}
}
return null;
}
/**
* Vérifie si une case appartient à un sudoku donné.
*
* @param c : case
* @param s : sudoku
* @return true si la case appartient au sudoku, false sinon
*/
private boolean appartientAuSudoku(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;
}
/**
* Vérifie si la grille combinée est valide.
*
* @return true si la grille est valide, false sinon
*/
private boolean globalValide() {
for (SudokuPlacement sp : placements) {
if (!sp.sudoku().estValide())
return false;
}
for (Contrainte c : contraintesPartagees) {
if (!c.estRespectee(null, null))
return false;
}
return true;
}
/**
* Vérifie si les contraintes partagées sont respectées.
*
* @return true si les contraintes sont respectées, false sinon
*/
public boolean verifierContraintesPartagees() {
return contraintesPartagees.stream()
.allMatch(c -> c.estRespectee(null, null));
}
/**
* Vérifie si une case est partagée.
*
* @param c : case
* @return true si la case est partagée, false sinon
*/
public boolean isSharedCase(Case c) {
for (ContrainteCasePartagee contrainte : contraintesPartagees) {
if (contrainte.getCasesLiees().contains(c)) {
return true;
}
}
return false;
}
/**
* Classe interne pour le placement d'un sudoku dans la grille combinée.
*/
public static class GlobalCell {
/** Référence au sudoku auquel appartient cette cellule */
public Sudoku sudoku;
/** Index de ligne dans la grille du sudoku parent */
public int ligne;
/** Index de colonne dans la grille du sudoku parent */
public int colonne;
/**
* Constructeur de la cellule globale.
*
* @param sudoku : sudoku
* @param ligne : ligne
* @param colonne : 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
/**
* Constructeur de la contrainte de cases partagées.
*
* @param cases : liste de cases partagées
*/
public ContrainteCasePartagee(List<Case> cases) {
this.casesLiees = new HashMap<>();
// 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);
}
// Propager les valeurs initiales
propagerValeursInitiales();
}
/**
* Propage les valeurs initiales des cases partagées.
*/
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());
}
}
}
/**
* Vérifie si la contrainte de cases partagées est respectée.
*
* @param grille : grille
* @param caseActuelle : case actuelle
* @return true si la contrainte est respectée, false sinon
*/
@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;
}
/**
* Récupère la case correspondante à une case donnée.
*
* @param c : case
* @return case correspondante
*/
public Case getCaseCorrespondante(Case c) {
return casesLiees.get(c);
}
/**
* Récupère la liste des cases partagées.
*
* @return liste de cases partagées
*/
public Set<Case> getCasesLiees() {
return casesLiees.keySet();
}
}
/**
* Méthode toString pour l'affichage de la grille combinée.
*
* @return String : représentation de la grille combinée
*/
@Override
public String toString() {
// 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.sudoku().getGrille().getTaille();
maxLigne = Math.max(maxLigne, sp.offsetLigne() + taille);
maxColonne = Math.max(maxColonne, sp.offsetColonne() + taille);
globalMaxLen = Math.max(globalMaxLen, sp.sudoku().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.sudoku().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.offsetLigne() + i;
int globalColonne = sp.offsetColonne() + 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

@@ -0,0 +1,15 @@
package sudoku;
/**
* Interface permettant de résoudre un sudoku
*/
public interface Resolveur {
/**
* Méthode permettant de résoudre un sudoku
*
* @param s : sudoku à résoudre
* @param afficherEtape : afficher les étapes de la résolution
* @return true si le sudoku est résolvable, false sinon
*/
boolean resoudre(Sudoku s, boolean afficherEtape);
}

View File

@@ -0,0 +1,111 @@
package sudoku;
import java.util.List;
import sudoku.core.Console;
/**
* Implémentation d'un résolveur de Sudoku utilisant l'algorithme de
* backtracking.
* Cette classe fournit une solution pour résoudre les grilles de Sudoku
* en testant systématiquement toutes les possibilités valides.
*/
public class ResolveurBacktraceSimple implements Resolveur {
/**
* Constructeur par défaut du résolveur backtracking.
* Initialise un nouveau résolveur sans état initial.
*/
public ResolveurBacktraceSimple() {
// Constructeur par défaut
}
/**
* Méthode permettant de résoudre un sudoku en utilisant la méthode de
* backtracking
*
* @param s : sudoku à résoudre
* @param afficherEtape : afficher les étapes de la résolution
* @return true si le sudoku est résolvable, false sinon
*/
@Override
public boolean resoudre(Sudoku s, boolean afficherEtape) {
EtatResolution etat = new EtatResolution(0, 0);
boolean solved = resoudre(s, afficherEtape, etat);
if (!solved) {
Console.errorln("Ce Sudoku n'a pas de solution");
}
return solved;
}
/**
* Méthode récursive permettant de résoudre un sudoku, utilisant la méthode de
* backtracking.
*
* @param s : sudoku à résoudre
* @param afficherEtape : afficher les étapes de la résolution
* @param etat : état de la résolution
* @return true si le sudoku est résolvable, false sinon
*/
private boolean resoudre(Sudoku s, boolean afficherEtape, EtatResolution etat) {
Grille g = s.getGrille();
List<Symbole> symboles = g.getSymbolesPossibles();
for (int i = 0; i < g.getTaille(); i++) { // Parcours des lignes
for (int j = 0; j < g.getTaille(); j++) { // Parcours des colonnes
Case c = g.getCase(i, j); // Récupération de la case
if (c.getSymbole() == null) { // Si la case est vide
for (Symbole symbole : symboles) { // Parcours des symboles possibles
c.setSymbole(symbole); // Affectation du symbole
etat.compteurGeneral++; // Incrémenter le compteur général
if (afficherEtape) {
afficherEtapeResolution(s, etat.compteur, etat.compteurGeneral);
}
if (s.estValide(c)) { // Si la grille est valide
etat.compteur++;
if (resoudre(s, afficherEtape, etat)) { // Résolution récursive
return true; // Si la grille est résolue
}
etat.compteur--;
}
c.setSymbole(null); // Réinitialisation de la case
}
return false; // Si aucun symbole ne convient
}
}
}
return true; // Si la grille est déjà résolue
}
/**
* Méthode permettant d'afficher le sudoku à chaque étape de sa résolution
*
* @param s : sudoku
* @param compteur : compteur de l'étape en cours
* @param compteurGeneral : compteur général de la résolution du sudoku (nombre
* total de tentatives)
*/
private void afficherEtapeResolution(Sudoku s, int compteur, int compteurGeneral) {
System.out.println("Sudoku, Etape " + compteur + " (Tentative " + compteurGeneral + ")");
System.out.println(s.getGrille().toString());
}
/**
* Classe interne permettant de stocker l'état de la résolution
*/
private static class EtatResolution {
int compteur;
int compteurGeneral;
/**
* Méthode permettant de fixer l'état de la résolution
*
* @param compteur : compteur de l'étape en cours
* @param compteurGeneral : compteur général de la résolution du sudoku (nombre
* total de tentatives)
*/
EtatResolution(int compteur, int compteurGeneral) {
this.compteur = compteur;
this.compteurGeneral = compteurGeneral;
}
}
}

View File

@@ -1,25 +1,67 @@
package sudoku; package sudoku;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays;
import java.util.HashSet;
import java.util.List; import java.util.List;
import java.util.Scanner;
import java.util.Set;
import sudoku.core.Console;
/**
* Classe représentant un sudoku.
*/
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;
/**
* Constructeur permettant d'initialiser un sudoku à partir de la taille de sa
* grille
*
* @param taille : taille de la grille
*/
public Sudoku(int taille) { public Sudoku(int taille) {
this.grille = new Grille(taille); this.grille = new Grille(taille, this);
this.contraintes = new ArrayList<>(); this.contraintes = new ArrayList<>();
} }
/**
* Méthode permettant de modifier le nom du sudoku, utilisé pour l'affichage.
*
* @param nom : nom du sudoku
*/
public void setNom(String nom) {
this.nom = nom;
}
/**
* Méthode permettant de récupérer le nom du sudoku
*
* @return nom du sudoku
*/
public String getNom() {
return this.nom;
}
/**
* Méthode permettant d'ajouter une contrainte à un sudoku
*
* @param contrainte : contrainte à ajouter
*/
public void ajouterContrainte(Contrainte contrainte) { public void ajouterContrainte(Contrainte contrainte) {
contraintes.add(contrainte); contraintes.add(contrainte);
} }
public void creerBloc(List<int[]> positions) { /**
grille.creerBloc(positions); * Méthode permettant de vérifier si une case est valide en fonction des
} * contraintes la concernant
*
* @param c : case à vérifier
* @return boolean : true si la case est valide, false sinon
*/
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)) {
@@ -29,11 +71,522 @@ public class Sudoku {
return true; return true;
} }
/**
* Méthode permettant de vérifier si un sudoku est valide, c'est-à-dire si
* toutes les cases sont valides.
*
* @return boolean : true si le sudoku est valide, false sinon
*/
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;
}
/**
* Méthode utilisée pour verifier toute les contraintes lors d'un ajout de Case
* dans la grille.
*
* @return boolean : true si toutes les contraintes sont respectées, false sinon
*/
public boolean verifierToutesContraintes() { public boolean verifierToutesContraintes() {
return grille.verifierToutesContraintes(contraintes); return grille.verifierToutesContraintes(contraintes);
} }
/**
* Méthode permettant de retourner la grille complète
*
* @return Grille
*/
public Grille getGrille() { public Grille getGrille() {
return grille; return grille;
} }
/**
* Méthode du menu principal du jeu.
*/
public static void menu() {
Scanner scanner = new Scanner(System.in);
System.out.println("BIENVENUE DANS LE JEU DE SUDOKU");
while (true) {
System.out.println("\nChoisissez le type de jeu :");
System.out.println("1 : Sudoku classique");
System.out.println("2 : Multidoku (prérempli)");
System.out.println("0 : Quitter");
try {
int choix = Integer.parseInt(scanner.nextLine());
switch (choix) {
case 0:
System.out.println("Au revoir !");
return;
case 1:
menuSudoku();
break;
case 2:
menuMultidoku();
break;
default:
System.out.println("Choix invalide. Veuillez réessayer.");
}
} catch (NumberFormatException e) {
System.out.println("Entrée invalide. Veuillez entrer un nombre.");
}
}
}
private static void menuMultidoku() {
final int PAUSE_TIME = 3000; // 3 seconds
System.out.println("MULTIDOKU");
System.out.println("\nChoisissez un type de Multidoku :");
System.out.println("1 : Multidoku avec cases partagées");
System.out.println("2 : Multidoku avec bloc partagé");
System.out.println("3 : Multidoku avec ligne partagée");
System.out.println("4 : Multidoku avec colonne partagée");
Scanner scanner = new Scanner(System.in);
try {
int choix = Integer.parseInt(scanner.nextLine());
Multidoku multidoku = creerMultidoku(choix);
if (multidoku != null) {
System.out.println("\nMultidoku initial :");
System.out.println(multidoku);
System.out.println("\nDébut de la résolution dans 3 secondes...");
try {
Thread.sleep(PAUSE_TIME);
} catch (InterruptedException e) {
Thread.currentThread().interrupt();
}
System.out.println("\nRésolution du Multidoku...");
if (multidoku.resoudreMultidoku(true)) {
System.out.println("\nMultidoku résolu :");
System.out.println(multidoku);
} else {
System.out.println("Ce Multidoku n'a pas de solution.");
}
}
} catch (NumberFormatException e) {
System.out.println("Entrée invalide. Veuillez entrer un nombre.");
}
}
private static Multidoku creerMultidoku(int type) {
Multidoku multidoku = new Multidoku();
Sudoku s1 = new Sudoku(9);
Sudoku s2 = new Sudoku(9);
s1.setNom("Sudoku 1");
s2.setNom("Sudoku 2");
// Configuration commune
ArrayList<Symbole> symboles = new ArrayList<>();
for (int i = 1; i <= 9; i++) {
symboles.add(Symbole.of(i));
}
for (Sudoku s : Arrays.asList(s1, s2)) {
s.getGrille().setSymbolesPossibles(symboles);
s.ajouterContrainte(new ContrainteLigne());
s.ajouterContrainte(new ContrainteColonne());
s.ajouterContrainte(new ContrainteBloc(s.getGrille().getTaille(), s.getGrille().getTaille()));
s.getGrille().creerBlocCarre();
}
switch (type) {
case 1: // Cases partagées
multidoku.ajouterSudoku(s1, 0, 0);
multidoku.ajouterSudoku(s2, 8, 8);
multidoku.ajouterCasesPartagees(Arrays.asList(
s1.getGrille().getCase(8, 8),
s2.getGrille().getCase(0, 0)));
break;
case 2: // Bloc partagé
multidoku.ajouterSudoku(s1, 0, 0);
multidoku.ajouterSudoku(s2, 6, 6);
List<Case> casesBloc = new ArrayList<>();
for (int i = 6; i < 9; i++) {
for (int j = 6; j < 9; j++) {
casesBloc.add(s1.getGrille().getCase(i, j));
}
}
for (int i = 0; i < 3; i++) {
for (int j = 0; j < 3; j++) {
casesBloc.add(s2.getGrille().getCase(i, j));
}
}
multidoku.ajouterCasesPartagees(casesBloc);
break;
case 3: // Ligne partagée
multidoku.ajouterSudoku(s1, 0, 0);
multidoku.ajouterSudoku(s2, 8, 1);
multidoku.ajouterCasesPartagees(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)));
break;
case 4: // Colonne partagée
multidoku.ajouterSudoku(s1, 0, 0);
multidoku.ajouterSudoku(s2, 1, 8);
multidoku.ajouterCasesPartagees(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)));
break;
default:
System.out.println("Type de Multidoku non valide");
return null;
}
return multidoku;
}
/**
* Méthode du menu principal du jeu de sudoku.
*/
public static void menuSudoku() {
Scanner scanner = new Scanner(System.in);
// ETAPE 1 : TAILLE GRILLE
System.out.println("ETAPE 1 : Choisir la taille de la grille");
int tailleGrille = setTailleGrille(scanner); // récupère la taille de la grille
Sudoku sudoku = new Sudoku(tailleGrille);
// ETAPE 2 : SYMBOLE POSSIBLE
System.out.println("ETAPE 2 : Choisir les symboles possibles");
int typeSymbole = Grille.choisirTypeSymbole(scanner);
sudoku.getGrille().askSetSymbolesPossibles(typeSymbole, scanner); // demande à l'utilisateur de saisir ses
// symboles
// ETAPE 3 : REMPLIR LA GRILLE
System.out.println("ETAPE 3 : Remplir la grille");
setValeursGrille(sudoku, scanner, tailleGrille, typeSymbole);
System.out.println("Voici votre sudoku rempli :");
System.out.println(sudoku.getGrille().toString());
// ETAPE 4 : CHOIX DES CONTRAINTES
choixContraintes(sudoku, scanner);
// ETAPE 5 : RESOLUTION
System.out.println("ETAPE 5 : Résolution du sudoku");
choixResolution(sudoku, scanner);
}
private static void choixContraintes(Sudoku sudoku, Scanner scanner) {
System.out.println("Choisissez une combinaison entre 0 et 3 contraintes parmi les suivantes :");
System.out.println("1: Contrainte Bloc, 2: Contrainte Ligne, 3: Contrainte Colonne");
System.out.println(
"Entrez les numéros des contraintes séparés par des virgules (par exemple, 1,2,3 pour choisir toute les contraintes) ou appuyez sur Entrée pour aucune contrainte :");
String input = scanner.nextLine();
if (input.trim().isEmpty()) {
System.out.println("Aucune contrainte sélectionnée.");
return;
}
String[] choix = input.split(",");
Set<Integer> contraintesChoisies = new HashSet<>();
for (String choixStr : choix) {
try {
int choixInt = Integer.parseInt(choixStr.trim());
if (choixInt >= 1 && choixInt <= 3) {
contraintesChoisies.add(choixInt);
} else {
System.out.println("Choix invalide : " + choixInt);
}
} catch (NumberFormatException e) {
System.out.println("Entrée invalide : " + choixStr);
}
}
for (int choixContrainte : contraintesChoisies) {
switch (choixContrainte) {
case 1:
sudoku.ajouterContrainte(
new ContrainteBloc(sudoku.getGrille().getTaille(), sudoku.getGrille().getTaille()));
System.out.println("Contrainte Bloc ajoutée.");
break;
case 2:
sudoku.ajouterContrainte(new ContrainteLigne());
System.out.println("Contrainte Ligne ajoutée.");
break;
case 3:
sudoku.ajouterContrainte(new ContrainteColonne());
System.out.println("Contrainte Colonne ajoutée.");
break;
default:
System.out.println("Choix invalide : " + choixContrainte);
}
}
}
private void resolutionSudoku(Sudoku sudoku, boolean afficherEtape) {
ResolveurBacktraceSimple resolveur = new ResolveurBacktraceSimple();
resolveur.resoudre(sudoku, afficherEtape);
System.out.println("Sudoku résolu :");
System.out.println(sudoku.getGrille().toString());
}
private static void choixResolution(Sudoku sudoku, Scanner scanner) {
System.out.println("Voulez-vous résoudre le sudoku ? (O/N)");
String choix = scanner.nextLine();
if (choix.equalsIgnoreCase("O")) {
System.out.println("Voulez-vous afficher les étapes de la résolution ? (O/N)");
String choixAffichageEtapes = scanner.nextLine();
if (choixAffichageEtapes.equalsIgnoreCase("O")) {
sudoku.resolutionSudoku(sudoku, true);
} else if (choixAffichageEtapes.equalsIgnoreCase("N")) {
sudoku.resolutionSudoku(sudoku, false);
} else {
System.err.println("Choix invalide.");
}
} else if (choix.equalsIgnoreCase("N")) {
System.err.println("Fin du jeu.");
} else {
System.out.println("Choix invalide.");
choixResolution(sudoku, scanner);
}
}
private static int setTailleGrille(Scanner scanner) {
int tailleGrille = -1;
while (tailleGrille <= 0) {
try {
tailleGrille = Integer.parseInt(scanner.nextLine());
if (tailleGrille <= 0) {
Console.errorln("Erreur : Veuillez entrer un entier positif.");
}
} catch (NumberFormatException e) {
Console.errorln("Erreur : Entrée invalide. Veuillez entrer un nombre.");
}
}
return tailleGrille;
}
private static void setValeursGrille(Sudoku sudoku, Scanner scanner, int tailleGrille, int typeSymbole) {
while (true) {
try {
System.out.println("Veuillez faire votre choix");
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("3 : Générer des blocs carrés");
int choixGenerationBloc = Integer.parseInt(scanner.nextLine());
switch (choixGenerationBloc) {
case 1:
System.out.println("Entrez les blocs manuellement.");
creationBlocManuel(sudoku, scanner, tailleGrille);
break;
case 2:
try {
System.out.println("Entrez les blocs à l'aide de la longueur et de la largeur.");
System.out.println("Entrez la longueur du bloc : ");
int longueurBloc = Integer.parseInt(scanner.nextLine());
System.out.println("Entrez la largeur du bloc :");
int largeurBloc = Integer.parseInt(scanner.nextLine());
sudoku.getGrille().creerBlocRectangulaire(longueurBloc, largeurBloc);
break;
} catch (IllegalArgumentException e) {
Console.errorln("Erreur : " + e.getMessage());
continue;
}
case 3:
try {
sudoku.getGrille().creerBlocCarre();
break;
} catch (IllegalArgumentException e) {
Console.errorln("Erreur : " + e.getMessage());
continue;
}
default:
Console.errorln("Choix invalide.");
continue;
}
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.");
}
}
// DEBUT DU REMPLISSAGE DU SUDOKU
String input;
while (true) {
// Demander et vérifier la ligne
int ligne = -1;
while (true) {
System.out.println("Pour arrêter la saisie, tapez \"esc\".");
System.out.println(
"Entrez le numéro de ligne :");
input = scanner.nextLine(); // Lire la ligne
if (input.equalsIgnoreCase("ESC")) {
break; // Sortie de la boucle si l'utilisateur tape ESC
}
if (input.isEmpty()) {
Console.errorln("Veuillez entrer un numéro de ligne valide.");
continue; // Recommencer la saisie de la ligne si l'entrée est vide
}
try {
ligne = Integer.parseInt(input); // Convertir la ligne en entier
break; // Sortir de la boucle si la ligne est valide
} catch (NumberFormatException e) {
Console.errorln("Veuillez entrer un numéro de ligne valide (un nombre entier).");
}
}
// ARRET DE LA BOUCLE SI SAISIE DE "ESC"
if (input.equalsIgnoreCase("ESC")) {
break; // Sortie de la boucle principale si l'utilisateur tape ESC
}
// Demander et vérifier la colonne
int colonne;
while (true) {
System.out.println("Entrez le numéro de colonne :");
input = scanner.nextLine(); // Lire la colonne
if (input.isEmpty()) {
Console.errorln("Veuillez entrer un numéro de colonne valide.");
continue; // Recommencer la saisie de la colonne si l'entrée est vide
}
try {
colonne = Integer.parseInt(input); // Convertir la colonne en entier
break; // Sortir de la boucle si la colonne est valide
} catch (NumberFormatException e) {
Console.errorln("Veuillez entrer un numéro de colonne valide (un nombre entier).");
}
}
// Demander et vérifier le symbole
String symbole;
while (true) {
System.out.println("Entrez le symbole :");
symbole = scanner.nextLine(); // Lire le symbole
if (symbole.isEmpty()) {
Console.errorln("Veuillez entrer un symbole valide.");
continue; // Recommencer la saisie du symbole si l'entrée est vide
}
try {
Symbole s;
switch (typeSymbole) {
case 1: // Entiers
if (!Symbole.of(symbole).isInt()) {
throw new IllegalArgumentException("Veuillez entrer un nombre valide.");
}
s = Symbole.of(Integer.parseInt(symbole));
break;
case 2: // Lettres
Symbole tempSymbole = Symbole.of(symbole);
if (!tempSymbole.isLetter()) {
throw new IllegalArgumentException("Veuillez entrer une seule lettre.");
}
s = tempSymbole;
break;
case 3: // Chaînes de caractères
s = Symbole.of(symbole);
break;
default:
throw new IllegalArgumentException("Type de symbole invalide.");
}
sudoku.getGrille().setCase(ligne, colonne, s); // Ajouter le symbole à la grille
System.out.println(sudoku.getGrille().toString());
break; // Sortir de la boucle si le symbole est valide
} catch (IllegalArgumentException e) {
System.out.println("Symbole non valide. " + e.getMessage());
}
}
}
}
private static void creationBlocManuel(Sudoku sudoku, Scanner scanner, int tailleGrille) {
int nombreBloc = tailleGrille; // Nombre de blocs dans la grille
Set<String> toutesLesCoordonnees = new HashSet<>(); // Stocke toutes les coordonnées utilisées
while (nombreBloc != 0) {
List<int[]> listeCases = new ArrayList<>(); // Liste des cases du bloc
System.out.println("Remplissage du bloc " + nombreBloc);
for (int i = 1; i <= tailleGrille; i++) {
int choixLigne, choixColonne;
boolean coordonneesValides;
do {
coordonneesValides = true; // Par défaut, on suppose que la coordonnée est valide
// Demande de saisie
System.out.println("Entrez la ligne de la case " + i + " dans le bloc " + nombreBloc + " (0 à "
+ (tailleGrille - 1) + "):");
choixLigne = scanner.nextInt();
System.out.println("Entrez la colonne de la case " + i + " dans le bloc " + nombreBloc + " (0 à "
+ (tailleGrille - 1) + "):");
choixColonne = scanner.nextInt();
// Vérification des limites
if (choixLigne < 0 || choixLigne >= tailleGrille || choixColonne < 0
|| choixColonne >= tailleGrille) {
Console.errorln("Erreur : Coordonnées hors limites ! Veuillez réessayer.");
coordonneesValides = false;
continue;
}
// Vérification si la coordonnée existe déjà dans TOUTE la grille
String coordonneeStr = choixLigne + "-" + choixColonne;
if (toutesLesCoordonnees.contains(coordonneeStr)) {
Console.errorln(
"Erreur : Ces coordonnées sont déjà utilisées dans un autre bloc ! Veuillez en entrer une nouvelle.");
coordonneesValides = false;
}
} while (!coordonneesValides); // Tant que la saisie est invalide, on redemande
// Ajout des coordonnées validées
listeCases.add(new int[] { choixLigne, choixColonne });
toutesLesCoordonnees.add(choixLigne + "-" + choixColonne); // Ajout dans l'ensemble global
}
// Création du bloc après la saisie complète
try {
sudoku.getGrille().creerBlocPersonnalise(listeCases);
System.out.println("Bloc " + nombreBloc + " enregistré avec succès !");
} catch (IllegalArgumentException e) {
Console.errorln("Erreur lors de la création du bloc : " + e.getMessage());
System.out.println("Veuillez recommencer la saisie de ce bloc.");
continue; // Recommence le bloc en cours
}
nombreBloc--; // Passer au bloc suivant
}
}
} }

View File

@@ -0,0 +1,12 @@
package sudoku;
/**
* Classe permettant de stocker un placement de symbole dans une grille de
* multidoku.
*
* @param sudoku : le sudoku associé
* @param offsetLigne : décalage de la ligne
* @param offsetColonne : décalage de la colonne
*/
public record SudokuPlacement(Sudoku sudoku, int offsetLigne, int offsetColonne) {
}

View File

@@ -1,25 +1,57 @@
package sudoku; package sudoku;
/**
* Classe permettant de créer et gérer un symbole.
*/
public class Symbole { public class Symbole {
private final String valeur; private final String valeur;
/**
* Constructeur permettant de créer un symbole
*
* @param symbole : symbole
*/
public Symbole(String symbole) { public Symbole(String symbole) {
this.valeur = symbole; this.valeur = symbole;
} }
// Factory methods pour différents types // Factory methods pour différents types de symboles
/**
* Méthode permettant de créer un symbole de type String
*
* @param s : symbole
* @return symbole
*/
public static Symbole of(String s) { public static Symbole of(String s) {
return new Symbole(s); return new Symbole(s);
} }
/**
* Méthode permettant de créer un symbole de type int
*
* @param n : entier
* @return symbole
*/
public static Symbole of(int n) { public static Symbole of(int n) {
return new Symbole(String.valueOf(n)); return new Symbole(String.valueOf(n));
} }
/**
* Méthode permettant de créer un symbole de type char
*
* @param c : caractère
* @return symbole
*/
public static Symbole of(char c) { public static Symbole of(char c) {
return new Symbole(String.valueOf(c)); return new Symbole(String.valueOf(c));
} }
/**
* Méthode permettant de vérifier si un symbole est de type int
*
* @return boolean
*/
public boolean isInt() { public boolean isInt() {
try { try {
Integer.parseInt(valeur); Integer.parseInt(valeur);
@@ -29,15 +61,31 @@ public class Symbole {
} }
} }
/**
* Méthode permettant de vérifier si un symbole est de type letter (char)
*
* @return boolean
*/
public boolean isLetter() { public boolean isLetter() {
return valeur.length() == 1 && Character.isLetter(valeur.charAt(0)); return valeur.length() == 1 && Character.isLetter(valeur.charAt(0));
} }
/**
* Méthode permettant de vérifier si un symbole est de type string
*
* @return boolean
*/
@Override @Override
public String toString() { public String toString() {
return valeur; return valeur;
} }
/**
* Méthode permettant de retourner un booléen si 2 objets sont identiques
*
* @param obj : objet
* @return boolean
*/
@Override @Override
public boolean equals(Object obj) { public boolean equals(Object obj) {
if (this == obj) if (this == obj)

View File

@@ -1,27 +1,55 @@
package sudoku.core; package sudoku.core;
/** /**
* Console classe pour afficher des messages en couleur dans la console * Console classe pour afficher des messages en couleur dans la console.
*/ */
public class Console { public class Console {
/**
* Constructeur privé pour empêcher l'instanciation de la classe Console.
*/
private Console() {
}
// Codes ANSI pour les couleurs
private static final String ANSI_RESET = "\u001B[0m"; private static final String ANSI_RESET = "\u001B[0m";
private static final String ANSI_RED = "\u001B[31m"; private static final String ANSI_RED = "\u001B[31m";
private static final String ANSI_GREEN = "\u001B[32m"; private static final String ANSI_GREEN = "\u001B[32m";
private static final String ANSI_YELLOW = "\u001B[33m"; private static final String ANSI_YELLOW = "\u001B[33m";
static final String ANSI_BOLD = "\u001B[1m"; static final String ANSI_BOLD = "\u001B[1m";
/**
* Affiche un message en rouge
*
* @param message : String
*/
public static void errorln(String message) { public static void errorln(String message) {
System.err.println(ANSI_RED + ANSI_BOLD + message + ANSI_RESET + "\n"); System.err.println(ANSI_RED + ANSI_BOLD + message + ANSI_RESET + "\n");
} }
/**
* Affiche un message en vert
*
* @param message : String
*/
public static void successln(String message) { public static void successln(String message) {
System.out.println(ANSI_GREEN + ANSI_BOLD + message + ANSI_RESET + "\n"); System.out.println(ANSI_GREEN + ANSI_BOLD + message + ANSI_RESET + "\n");
} }
/**
* Affiche un message en jaune
*
* @param message : String
*/
public static void warnln(String message) { public static void warnln(String message) {
System.out.println(ANSI_YELLOW + ANSI_BOLD + message + ANSI_RESET + "\n"); System.out.println(ANSI_YELLOW + ANSI_BOLD + message + ANSI_RESET + "\n");
} }
/**
* Affiche un message en blanc (par défaut)
*
* @param message : String
*/
public static void infoln(String message) { public static void infoln(String message) {
System.out.println(message + "\n"); System.out.println(message + "\n");
} }

View File

@@ -0,0 +1,123 @@
package sudoku.core;
import java.util.ArrayList;
import java.util.List;
/**
* Classe permettant de générer des couleurs pour les cases de la grille.
*/
public class GenerateurCouleur {
/**
* Constructeur privé pour empêcher l'instanciation de la classe
* GenerateurCouleur.
*/
private GenerateurCouleur() {
}
/**
* Classe interne Couleur représentant une couleur avec des composantes rouge,
* vert et bleu.
*/
public static class Couleur {
/** Composant rouge de la couleur, valeur entre 0 et 1 */
public float r;
/** Composant vert de la couleur, valeur entre 0 et 1 */
public float g;
/** Composant bleu de la couleur, valeur entre 0 et 1 */
public float b;
/**
* Constructeur de la classe Couleur.
*
* @param r Composant rouge (valeur entre 0 et 1)
* @param g Composant vert (valeur entre 0 et 1)
* @param b Composant bleu (valeur entre 0 et 1)
*/
public Couleur(float r, float g, float b) {
this.r = r;
this.g = g;
this.b = b;
}
}
/**
* Génère une palette de couleurs pour les cases de la grille.
*
* @param colorCount Nombre de couleurs à générer
* @return {@code List<Couleur>} Liste de couleurs générées
*/
public static List<Couleur> paletteCouleur(int colorCount) {
List<Couleur> colors = paletteCouleurEtendue(colorCount);
List<Couleur> newOrder = new ArrayList<>();
int newIndex = 0;
while (!colors.isEmpty()) {
int randomIndex = newIndex % colors.size();
newOrder.add(colors.get(randomIndex));
colors.remove(randomIndex);
newIndex += Math.sqrt(colorCount) + 1;
}
return newOrder;
}
/**
* Génère une palette de couleurs étendue pour les cases de la grille.
*
* @param colorCount Nombre de couleurs à générer
* @return {@code List<Couleur>} Liste de couleurs générées
*/
public static List<Couleur> paletteCouleurEtendue(int colorCount) {
List<Couleur> colors = new ArrayList<>();
for (int i = 0; i < colorCount; i++) {
colors.add(hslToRgb((float) (i) / (float) colorCount, 0.9f, 0.4f));
}
return colors;
}
/**
* Convertit une couleur HSL en RGB
*
* @param h : float : Hue
* @param s : float : Saturation
* @param l : float : Lightness
* @return Couleur : couleur RGB
*/
public static Couleur hslToRgb(float h, float s, float l) {
float r, g, b;
if (s == 0f) {
r = g = b = l; // achromatic
} else {
float q = l < 0.5f ? l * (1 + s) : l + s - l * s;
float p = 2 * l - q;
r = hueToRgb(p, q, h + 1f / 3f);
g = hueToRgb(p, q, h);
b = hueToRgb(p, q, h - 1f / 3f);
}
return new Couleur(r, g, b);
}
/**
* Convertit une couleur hue en RGB
*
* @param p : float
* @param q : float
* @param t : float
* @return float
*/
public static float hueToRgb(float p, float q, float t) {
if (t < 0f)
t += 1f;
if (t > 1f)
t -= 1f;
if (t < 1f / 6f)
return p + (q - p) * 6f * t;
if (t < 1f / 2f)
return q;
if (t < 2f / 3f)
return p + (q - p) * (2f / 3f - t) * 6f;
return p;
}
}

View File

@@ -1,30 +1,27 @@
package sudoku; package sudoku;
import org.junit.jupiter.api.Test; import static org.junit.jupiter.api.Assertions.assertEquals;
import sudoku.core.Console;
import java.io.ByteArrayInputStream; import java.io.ByteArrayInputStream;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays; import java.util.Arrays;
import java.util.Scanner;
import static org.junit.jupiter.api.Assertions.assertEquals; import org.junit.jupiter.api.Test;
public class AppTest { public class AppTest {
/**
* Test the creation of a Sudoku grid with a size of 16
*/
@Test @Test
public void testExample() { public void testExample() {
// Simulate user input with proper line endings // Simulate user input with proper line endings
// First 1 is to select the int type of Symboles and after, Symboles are entered (1 to 16) // First 1 is to select the int type of Symboles and after, Symboles are entered
String simulatedInput = "1\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n"; // (1 to 16)
String simulatedInput = "1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n";
System.setIn(new ByteArrayInputStream(simulatedInput.getBytes())); System.setIn(new ByteArrayInputStream(simulatedInput.getBytes()));
// Create a new Sudoku // Create a new Sudoku
Sudoku sudoku = new Sudoku(16); Sudoku sudoku = new Sudoku(16);
sudoku.getGrille().askSetSymbolesPossibles(); sudoku.getGrille().askSetSymbolesPossibles(1, new Scanner(System.in)); // Pass the type of symbol and scanner
// Verify the symbols // Verify the symbols
ArrayList<Symbole> expectedSymbols = new ArrayList<>(Arrays.asList( ArrayList<Symbole> expectedSymbols = new ArrayList<>(Arrays.asList(
@@ -48,79 +45,24 @@ public class AppTest {
// Cleanup // Cleanup
System.setIn(System.in); System.setIn(System.in);
}
@Test int taille = 16;
public void testContraintes() { for (int i = 0; i < taille; i++) {
// Create a new Sudoku sudoku.getGrille().setCase(i, i, expectedSymbols.get(i));
Sudoku sudoku = new Sudoku(16); }
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
Symbole.of(1), sudoku.getGrille().creerBlocCarre();
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(11),
Symbole.of(12),
Symbole.of(13),
Symbole.of(14),
Symbole.of(15),
Symbole.of(16))));
// Add constraints
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().getTaille() / 4, sudoku.getGrille().getTaille() / 4));
// Fill the grid with valid symbols
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
sudoku.getGrille().setCase(0, 1, Symbole.of(2));
sudoku.getGrille().setCase(0, 2, Symbole.of(3));
sudoku.getGrille().setCase(1, 0, Symbole.of(4));
sudoku.getGrille().setCase(1, 1, Symbole.of(5));
sudoku.getGrille().setCase(1, 2, Symbole.of(6));
sudoku.getGrille().setCase(2, 0, Symbole.of(7));
sudoku.getGrille().setCase(2, 1, Symbole.of(8));
sudoku.getGrille().setCase(2, 2, Symbole.of(9));
sudoku.getGrille().setCase(2, 8, Symbole.of(9));
sudoku.getGrille().setCase(14, 2, Symbole.of(6));
sudoku.getGrille().setCase(3, 3, Symbole.of(5));
// sudoku.getGrille().setCase(2, 2, Symbole.of(13));
// sudoku.getGrille().setCase(2, 2, Symbole.of(14));
// sudoku.getGrille().setCase(2, 2, Symbole.of(15));
// Create square blocks
sudoku.getGrille().creerBlocCarre();
System.out.println(sudoku.getGrille().toString()); System.out.println(sudoku.getGrille().toString());
// Verify that the constraints are respected Resolveur resolveur = new ResolveurBacktraceSimple();
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(0, 0))); resolveur.resoudre(sudoku, false);
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(1, 1))); System.out.println("Sudoku résolu :");
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(2, 2))); System.out.println(sudoku.getGrille().toString());
if (sudoku.verifierToutesContraintes()) {
Console.successln("Toutes les contraintes sont respectées !");
} else {
Console.errorln("Au moins une contrainte n'est pas respectée.");
}
// Add a duplicate symbol in the same row
// sudoku.getGrille().setCase(0, 3, Symbole.of(1));
// assertFalse(sudoku.estValide(sudoku.getGrille().getCase(0, 3)));
// Add a duplicate symbol in the same column
// sudoku.getGrille().setCase(3, 0, Symbole.of(1));
// assertFalse(sudoku.estValide(sudoku.getGrille().getCase(3, 0)));
// Add a duplicate symbol in the same block
// sudoku.getGrille().setCase(1, 1, Symbole.of(1));
// assertFalse(sudoku.estValide(sudoku.getGrille().getCase(1, 1)));
} }
} }

View File

@@ -0,0 +1,70 @@
package sudoku;
import java.util.ArrayList;
import java.util.Arrays;
import org.junit.jupiter.api.Test;
public class TestBlocParticuliers {
@Test
public void blocParticuliers() {
System.out.println("TEST BLOC PARTICULIERS : ");
// Create a new Sudoku
Sudoku sudoku = new Sudoku(4);
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
Symbole.of(1),
Symbole.of(2),
Symbole.of(3),
Symbole.of(4))));
sudoku.ajouterContrainte(new ContrainteBloc(sudoku.getGrille().getTaille() / 2,
sudoku.getGrille().getTaille() / 2));
sudoku.ajouterContrainte(new ContrainteLigne());
sudoku.ajouterContrainte(new ContrainteColonne());
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
sudoku.getGrille().setCase(3, 1, Symbole.of(2));
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
sudoku.getGrille().creerBlocPersonnalise(Arrays.asList(
new int[] { 0, 0 },
new int[] { 3, 3 },
new int[] { 0, 1 },
new int[] { 2, 3 }));
sudoku.getGrille().creerBlocPersonnalise(Arrays.asList(
new int[] { 0, 2 },
new int[] { 1, 3 },
new int[] { 1, 2 },
new int[] { 3, 1 }));
sudoku.getGrille().creerBlocPersonnalise(Arrays.asList(
new int[] { 1, 1 },
new int[] { 1, 0 },
new int[] { 0, 3 },
new int[] { 3, 0 }));
sudoku.getGrille().creerBlocPersonnalise(Arrays.asList(
new int[] { 2, 0 },
new int[] { 2, 1 },
new int[] { 2, 2 },
new int[] { 3, 2 }));
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, true);
System.out.println("Sudoku résolu :");
System.out.println(sudoku.getGrille().toString());
System.out.println("FIN TEST BLOC PARTICULIERS");
}
}

View File

@@ -0,0 +1,51 @@
package sudoku;
import java.util.ArrayList;
import org.junit.jupiter.api.Test;
public class TestBlocRectangle {
@Test
public void blocRectangle() {
System.out.println("TEST BLOC RECTANGLE : ");
// Create a new Sudoku
Sudoku sudoku = new Sudoku(15);
ArrayList<Symbole> symboles = new ArrayList<>();
for (int i = 1; i <= 15; i++) {
symboles.add(Symbole.of(i));
}
sudoku.getGrille().setSymbolesPossibles(symboles);
sudoku.ajouterContrainte(new ContrainteLigne());
sudoku.ajouterContrainte(new ContrainteColonne());
sudoku.ajouterContrainte(
new ContrainteBloc(sudoku.getGrille().getTaille() / 5, sudoku.getGrille().getTaille() / 3));
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, 3, Symbole.of(9));
sudoku.getGrille().setCase(3, 0, Symbole.of(4));
sudoku.getGrille().creerBlocRectangulaire(3, 5);
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();
System.out.println("FIN TEST BLOC RECTANGLE");
}
}

View File

@@ -0,0 +1,110 @@
package sudoku;
import org.junit.jupiter.api.Test;
import java.util.ArrayList;
import java.util.Arrays;
public class TestCreationGrilleRectangulaireSansSolution {
@Test
public void testCreationGrilleSansSolution() {
// CREATION D'UN SUDOKU SIMPLE 12*12
Sudoku sudoku = new Sudoku(12);
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))));
sudoku.getGrille().setCase(0, 1, Symbole.of(12));
sudoku.getGrille().setCase(0, 6, Symbole.of(3));
sudoku.getGrille().setCase(0, 7, Symbole.of(8));
sudoku.getGrille().setCase(0, 8, Symbole.of(2));
sudoku.getGrille().setCase(0, 9, Symbole.of(6));
sudoku.getGrille().setCase(1, 0, Symbole.of(7));
sudoku.getGrille().setCase(1, 1, Symbole.of(2));
sudoku.getGrille().setCase(1, 2, Symbole.of(1));
sudoku.getGrille().setCase(1, 5, Symbole.of(4));
sudoku.getGrille().setCase(1, 7, Symbole.of(5));
sudoku.getGrille().setCase(1, 9, Symbole.of(10));
sudoku.getGrille().setCase(1, 11, Symbole.of(9));
sudoku.getGrille().setCase(2, 1, Symbole.of(5));
sudoku.getGrille().setCase(2, 2, Symbole.of(10));
sudoku.getGrille().setCase(2, 5, Symbole.of(2));
sudoku.getGrille().setCase(2, 6, Symbole.of(7));
sudoku.getGrille().setCase(2, 10, Symbole.of(4));
sudoku.getGrille().setCase(3, 5, Symbole.of(12));
sudoku.getGrille().setCase(3, 11, Symbole.of(7));
sudoku.getGrille().setCase(4, 1, Symbole.of(1));
sudoku.getGrille().setCase(4, 3, Symbole.of(2));
sudoku.getGrille().setCase(4, 4, Symbole.of(6));
sudoku.getGrille().setCase(4, 5, Symbole.of(9));
sudoku.getGrille().setCase(4, 6, Symbole.of(5));
sudoku.getGrille().setCase(4, 9, Symbole.of(12));
sudoku.getGrille().setCase(4, 10, Symbole.of(3));
sudoku.getGrille().setCase(4, 11, Symbole.of(8));
sudoku.getGrille().setCase(5, 1, Symbole.of(4));
sudoku.getGrille().setCase(5, 2, Symbole.of(6));
sudoku.getGrille().setCase(5, 3, Symbole.of(12));
sudoku.getGrille().setCase(5, 5, Symbole.of(7));
sudoku.getGrille().setCase(5, 6, Symbole.of(10));
sudoku.getGrille().setCase(5, 9, Symbole.of(5));
sudoku.getGrille().setCase(5, 11, Symbole.of(11));
sudoku.getGrille().setCase(6, 0, Symbole.of(1));
sudoku.getGrille().setCase(6, 1, Symbole.of(8));
sudoku.getGrille().setCase(6, 2, Symbole.of(12));
sudoku.getGrille().setCase(6, 11, Symbole.of(6));
sudoku.getGrille().setCase(7, 2, Symbole.of(2));
sudoku.getGrille().setCase(7, 3, Symbole.of(5));
sudoku.getGrille().setCase(7, 5, Symbole.of(11));
sudoku.getGrille().setCase(7, 6, Symbole.of(8));
sudoku.getGrille().setCase(7, 7, Symbole.of(6));
sudoku.getGrille().setCase(7, 8, Symbole.of(7));
sudoku.getGrille().setCase(7, 10, Symbole.of(1));
sudoku.getGrille().setCase(7, 11, Symbole.of(12));
sudoku.getGrille().setCase(8, 4, Symbole.of(1));
sudoku.getGrille().setCase(8, 7, Symbole.of(10));
sudoku.getGrille().setCase(8, 8, Symbole.of(8));
sudoku.getGrille().setCase(8, 9, Symbole.of(11));
sudoku.getGrille().setCase(9, 5, Symbole.of(8));
sudoku.getGrille().setCase(9, 10, Symbole.of(9));
sudoku.getGrille().setCase(9, 11, Symbole.of(4));
sudoku.getGrille().setCase(10, 0, Symbole.of(2));
sudoku.getGrille().setCase(10, 2, Symbole.of(3));
sudoku.getGrille().setCase(10, 4, Symbole.of(9));
sudoku.getGrille().setCase(11, 0, Symbole.of(4));
sudoku.getGrille().setCase(11, 3, Symbole.of(9));
sudoku.getGrille().setCase(11, 4, Symbole.of(5));
sudoku.getGrille().setCase(11, 6, Symbole.of(11));
sudoku.getGrille().setCase(11, 8, Symbole.of(6));
sudoku.getGrille().setCase(11, 11, Symbole.of(3));
sudoku.getGrille().creerBlocRectangulaire(3, 4);
sudoku.ajouterContrainte(
new ContrainteBloc(sudoku.getGrille().getTaille() / 4, sudoku.getGrille().getTaille() / 3));
sudoku.ajouterContrainte(new ContrainteColonne());
sudoku.ajouterContrainte(new ContrainteLigne());
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 LIGNE");
}
}

View File

@@ -2,16 +2,14 @@ package sudoku;
import org.junit.jupiter.api.Test; import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertFalse;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays; import java.util.Arrays;
public class TestBloc { public class TestDoublonBloc {
@Test @Test
public void testBloc() { public void testDoublonBloc() {
System.out.println("TEST BLOC : "); System.out.println("TEST DOUBLON BLOC : ");
System.out.println(new App().getGreeting());
// Create a new Sudoku // Create a new Sudoku
Sudoku sudoku = new Sudoku(9); Sudoku sudoku = new Sudoku(9);
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList( sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
@@ -26,7 +24,8 @@ public class TestBloc {
Symbole.of(9)))); Symbole.of(9))));
// Add constraints // Add constraints
sudoku.ajouterContrainte(new ContrainteBloc()); sudoku.ajouterContrainte(
new ContrainteBloc(sudoku.getGrille().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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));
@@ -37,9 +36,8 @@ public class TestBloc {
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));
//doublon bloc // doublon bloc
sudoku.getGrille().setCase(1, 1, Symbole.of(1)); sudoku.getGrille().setCase(1, 1, Symbole.of(1));
assertFalse(sudoku.estValide(sudoku.getGrille().getCase(1, 1)));
sudoku.getGrille().creerBlocCarre(); sudoku.getGrille().creerBlocCarre();
@@ -51,6 +49,6 @@ public class TestBloc {
System.out.println("Symboles possibles :"); System.out.println("Symboles possibles :");
sudoku.getGrille().printSymbolesPossibles(); sudoku.getGrille().printSymbolesPossibles();
System.out.println("FIN TEST BLOC"); System.out.println("FIN TEST DOUBLON BLOC");
} }
} }

View File

@@ -2,16 +2,14 @@ package sudoku;
import org.junit.jupiter.api.Test; import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertFalse;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays; import java.util.Arrays;
public class TestColonne { public class TestDoublonColonne {
@Test @Test
public void testColonne() { public void testDoublonColonne() {
System.out.println("TEST COL : "); System.out.println("TEST DOUBLON COLONNE : ");
System.out.println(new App().getGreeting());
// Create a new Sudoku // Create a new Sudoku
Sudoku sudoku = new Sudoku(9); Sudoku sudoku = new Sudoku(9);
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList( sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
@@ -38,7 +36,6 @@ public class TestColonne {
sudoku.getGrille().setCase(4, 8, Symbole.of(9)); sudoku.getGrille().setCase(4, 8, Symbole.of(9));
// doublon colonne // doublon colonne
sudoku.getGrille().setCase(4, 0, Symbole.of(1)); sudoku.getGrille().setCase(4, 0, Symbole.of(1));
assertFalse(sudoku.estValide(sudoku.getGrille().getCase(4, 0)));
sudoku.getGrille().creerBlocCarre(); sudoku.getGrille().creerBlocCarre();
@@ -50,6 +47,6 @@ public class TestColonne {
System.out.println("Symboles possibles :"); System.out.println("Symboles possibles :");
sudoku.getGrille().printSymbolesPossibles(); sudoku.getGrille().printSymbolesPossibles();
System.out.println("FIN TEST COL"); System.out.println("FIN TEST DOUBLON COLONNE");
} }
} }

View File

@@ -2,16 +2,14 @@ package sudoku;
import org.junit.jupiter.api.Test; import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertFalse;
import java.util.ArrayList; import java.util.ArrayList;
import java.util.Arrays; import java.util.Arrays;
public class TestLigne { public class TestDoublonLigne {
@Test @Test
public void testLigne() { public void testDoublonLigne() {
System.out.println("TEST LIGNE : "); System.out.println("TEST DOUBLON LIGNE : ");
System.out.println(new App().getGreeting());
// Create a new Sudoku // Create a new Sudoku
Sudoku sudoku = new Sudoku(9); Sudoku sudoku = new Sudoku(9);
sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList( sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
@@ -36,9 +34,8 @@ public class TestLigne {
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));
//doublon ligne // doublon ligne
sudoku.getGrille().setCase(0, 4, Symbole.of(1)); sudoku.getGrille().setCase(0, 4, Symbole.of(1));
assertFalse(sudoku.estValide(sudoku.getGrille().getCase(0, 4)));
sudoku.getGrille().creerBlocCarre(); sudoku.getGrille().creerBlocCarre();
@@ -50,6 +47,6 @@ public class TestLigne {
System.out.println("Symboles possibles :"); System.out.println("Symboles possibles :");
sudoku.getGrille().printSymbolesPossibles(); sudoku.getGrille().printSymbolesPossibles();
System.out.println("FIN TEST LIGNE"); System.out.println("FIN TEST DOUBLON LIGNE");
} }
} }

View File

@@ -0,0 +1,92 @@
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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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.toString());
if (multidoku.resoudreMultidoku(false)) {
System.out.println("Multidoku résolu :");
System.out.println(multidoku.toString());
} 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,74 @@
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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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.toString());
if (multidoku.resoudreMultidoku(false)) {
System.out.println("Multidoku résolu !");
System.out.println(multidoku.toString());
} 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,87 @@
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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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.toString());
if (multidoku.resoudreMultidoku(false)) {
System.out.println("Multidoku résolu :");
System.out.println(multidoku.toString());
} 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,87 @@
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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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.toString());
if (multidoku.resoudreMultidoku(false)) {
System.out.println("Multidoku résolu :");
System.out.println(multidoku.toString());
} 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,71 @@
package sudoku;
import java.util.ArrayList;
import java.util.Arrays;
import org.junit.jupiter.api.Test;
public class TestResolveurBacktraceSimpleSudoku16 {
@Test
public void testResolution() {
System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
// 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.getGrille().getTaille() / 4, sudoku.getGrille().getTaille() / 4));
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();
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 RESOLVEUR BACKTRACE SIMPLE");
}
}

View File

@@ -0,0 +1,63 @@
/**
* 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;
// import org.junit.jupiter.api.Test;
// public class TestResolveurBacktraceSimpleSudoku25 {
// @Test
// public void testResolution() {
// System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
//
// // Create a new Sudoku
// Sudoku sudoku = new Sudoku(25);
// ArrayList<Symbole> symboles = new ArrayList<>();
// for (int i = 1; i <= 25; i++) {
// symboles.add(Symbole.of(i));
// }
// sudoku.getGrille().setSymbolesPossibles(symboles);
// sudoku.ajouterContrainte(new ContrainteLigne());
// sudoku.ajouterContrainte(new ContrainteColonne());
// sudoku.ajouterContrainte(new ContrainteBloc(sudoku.getGrille().getTaille() /
// 5, sudoku.getGrille().getTaille() / 5));
// 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(25));
// 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();
// 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 RESOLVEUR BACKTRACE SIMPLE");
// }
// }

View File

@@ -0,0 +1,58 @@
package sudoku;
import java.util.ArrayList;
import java.util.Arrays;
import org.junit.jupiter.api.Test;
public class TestResolveurBacktraceSimpleSudoku9 {
@Test
public void testResolution() {
System.out.println("TEST RESOLVEUR BACKTRACE SIMPLE : ");
// Create a new Sudoku
Sudoku sudoku = new Sudoku(9);
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))));
sudoku.ajouterContrainte(new ContrainteLigne());
sudoku.ajouterContrainte(new ContrainteColonne());
sudoku.ajouterContrainte(
new ContrainteBloc(sudoku.getGrille().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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().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 RESOLVEUR BACKTRACE SIMPLE");
}
}

View File

@@ -0,0 +1,62 @@
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 : ");
// 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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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,61 @@
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 : ");
// 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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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,60 @@
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 : ");
// 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().getTaille() / 3, sudoku.getGrille().getTaille() / 3));
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");
}
}

File diff suppressed because one or more lines are too long

After

Width:  |  Height:  |  Size: 97 KiB

File diff suppressed because one or more lines are too long

After

Width:  |  Height:  |  Size: 86 KiB

View File

@@ -0,0 +1,131 @@
classDiagram
%% Classes principales
class Sudoku {
+grille : Grille
+blocs : List~Bloc~
+contraintes : List~Contrainte~
+rentrerSudoku() void
+resoudre(resolveur : Resolveur) boolean
+ajouterContrainte(contrainte : Contrainte) void
}
class MultiDoku {
+sudokus : List~Sudoku~
+contraintesPartage : List~ContraintePartage~
+resoudre(resolveur : Resolveur) boolean
+ajouterContraintePartage(contrainte : ContraintePartage) void
}
class Grille {
+taille : int // N×N
+cases : Symbole[taille][taille]
+afficherGrille() void
+estValide() boolean
+getValeursPossibles(x : int, y : int) List~Symbole~
}
class Bloc {
+cases : List~Case~
+estValide() boolean
}
%% Contraintes classiques
class Contrainte {
<<interface>>
+estRespectee(grille : Grille, case : Case) boolean
}
class ContrainteLigne {
+estRespectee(grille : Grille: case : Case) boolean
}
class ContrainteColonne {
+estRespectee(grille : Grille: case : Case) boolean
}
class ContrainteBloc {
+estRespectee(grille : Grille: case : Case) boolean
}
%% Contraintes Partagées
class ContraintePartage {
<<interface>>
+estRespectee(case : Case) boolean
}
class ContrainteLignePartage {
-casesPartagees : List~Case~
+estRespectee(case : Case) boolean
}
class ContrainteColonnePartage {
-casesPartagees : List~Case~
+estRespectee(case : Case) boolean
}
class ContrainteBlocPartage {
-casesPartagees : List~Case~
+estRespectee(case : Case) boolean
}
%% Résolution
class Resolveur {
<<interface>>
+resoudre(sudoku : Sudoku) boolean
+resoudre(multidoku : MultiDoku) boolean
}
class ResolveurRegles {
+resoudre(sudoku : Sudoku) boolean
+resoudre(multidoku : MultiDoku) boolean
}
class ResolveurBacktrace {
+backtrace : Backtrace
+resoudre(sudoku : Sudoku) boolean
+resoudre(multidoku : MultiDoku) boolean
}
%% Classes annexes
class Case {
+valeur : Symbole
+x : int
+y : int
}
class Symbole {
+valeur : char
+equals(symbole : Symbole) boolean
}
class Backtrace {
+pile : Stack~Case~
+explorer(cases : List~Case~) boolean
}
%% Relations entre classes
Sudoku "1" --> "1" Grille : contient
Sudoku "1" --> "N" Bloc : contient
Sudoku "1" --> "*" Contrainte : utilise
MultiDoku "1" --> "*" Sudoku : contient
MultiDoku "1" --> "*" ContraintePartage : utilise
Grille "1" --> "N*N" Case : contient
Bloc "1" --> "N" Case : contient
Case "1" --> "1" Symbole : contient
%% Lien entre Resolveur et Sudoku/MultiDoku
Resolveur "1" --> "1" Sudoku : agit_sur
Resolveur "1" --> "1" MultiDoku : agit_sur
%% Héritages et implémentations
ResolveurRegles --> Resolveur : implémente
ResolveurBacktrace --> Resolveur : implémente
ResolveurBacktrace --> "1" Backtrace : utilise
ContrainteLigne --> Contrainte : implémente
ContrainteColonne --> Contrainte : implémente
ContrainteBloc --> Contrainte : implémente
ContrainteLignePartage --> ContraintePartage : implémente
ContrainteColonnePartage --> ContraintePartage : implémente
ContrainteBlocPartage --> ContraintePartage : implémente