3 Commits

Author SHA1 Message Date
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
31 changed files with 1148 additions and 83 deletions

6
.idea/compiler.xml generated Normal file
View File

@@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="CompilerConfiguration">
<bytecodeTargetLevel target="21" />
</component>
</project>

16
.idea/gradle.xml generated Normal file
View File

@@ -0,0 +1,16 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="GradleSettings">
<option name="linkedExternalProjectsSettings">
<GradleProjectSettings>
<option name="externalProjectPath" value="$PROJECT_DIR$" />
<option name="modules">
<set>
<option value="$PROJECT_DIR$" />
<option value="$PROJECT_DIR$/app" />
</set>
</option>
</GradleProjectSettings>
</option>
</component>
</project>

5
.idea/misc.xml generated Normal file
View File

@@ -0,0 +1,5 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="ExternalStorageConfigurationManager" enabled="true" />
<component name="ProjectRootManager" version="2" languageLevel="JDK_21" default="true" project-jdk-name="21" project-jdk-type="JavaSDK" />
</project>

6
.idea/vcs.xml generated Normal file
View File

@@ -0,0 +1,6 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="VcsDirectoryMappings">
<mapping directory="" vcs="Git" />
</component>
</project>

88
.idea/workspace.xml generated Normal file
View File

@@ -0,0 +1,88 @@
<?xml version="1.0" encoding="UTF-8"?>
<project version="4">
<component name="AutoImportSettings">
<option name="autoReloadType" value="SELECTIVE" />
</component>
<component name="ChangeListManager">
<list default="true" id="78fccc4f-112b-4fb4-8f59-c375aeac8595" name="Changes" comment="">
<change beforePath="$PROJECT_DIR$/app/src/main/java/sudoku/Symbole.java" beforeDir="false" afterPath="$PROJECT_DIR$/app/src/main/java/sudoku/Symbole.java" afterDir="false" />
</list>
<option name="SHOW_DIALOG" value="false" />
<option name="HIGHLIGHT_CONFLICTS" value="true" />
<option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
<option name="LAST_RESOLUTION" value="IGNORE" />
</component>
<component name="ExternalProjectsData">
<projectState path="$PROJECT_DIR$">
<ProjectState />
</projectState>
</component>
<component name="Git.Settings">
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
</component>
<component name="ProjectColorInfo"><![CDATA[{
"associatedIndex": 6
}]]></component>
<component name="ProjectId" id="2rwHskpjH0QskAu0G8vmtPc1Ozz" />
<component name="ProjectViewState">
<option name="hideEmptyMiddlePackages" value="true" />
<option name="showLibraryContents" value="true" />
</component>
<component name="PropertiesComponent"><![CDATA[{
"keyToString": {
"RunOnceActivity.ShowReadmeOnStart": "true",
"RunOnceActivity.git.unshallow": "true",
"git-widget-placeholder": "feature/solveur",
"kotlin-language-version-configured": "true",
"last_opened_file_path": "/usr/lib/jvm/java-21-openjdk",
"node.js.detected.package.eslint": "true",
"node.js.detected.package.tslint": "true",
"node.js.selected.package.eslint": "(autodetect)",
"node.js.selected.package.tslint": "(autodetect)",
"nodejs_package_manager_path": "npm",
"project.structure.last.edited": "Project",
"project.structure.proportion": "0.0",
"project.structure.side.proportion": "0.0",
"settings.editor.selected.configurable": "reference.projectsettings.compiler.javacompiler",
"vue.rearranger.settings.migration": "true"
}
}]]></component>
<component name="RunManager">
<configuration default="true" type="JetRunConfigurationType">
<method v="2">
<option name="Make" enabled="true" />
</method>
</configuration>
<configuration default="true" type="KotlinStandaloneScriptRunConfigurationType">
<option name="filePath" />
<method v="2" />
</configuration>
</component>
<component name="SharedIndexes">
<attachedChunks>
<set>
<option value="bundled-jdk-9823dce3aa75-125ca727e0f0-intellij.indexing.shared.core-IU-243.23654.117" />
<option value="bundled-js-predefined-d6986cc7102b-822845ee3bb5-JavaScript-IU-243.23654.117" />
</set>
</attachedChunks>
</component>
<component name="SpellCheckerSettings" RuntimeDictionaries="0" Folders="0" CustomDictionaries="0" DefaultDictionary="application-level" UseSingleDictionary="true" transferred="true" />
<component name="TaskManager">
<task active="true" id="Default" summary="Default task">
<changelist id="78fccc4f-112b-4fb4-8f59-c375aeac8595" name="Changes" comment="" />
<created>1737463425999</created>
<option name="number" value="Default" />
<option name="presentableId" value="Default" />
<updated>1737463425999</updated>
<workItem from="1737463427147" duration="1086000" />
</task>
<servers />
</component>
<component name="TypeScriptGeneratedFilesManager">
<option name="version" value="3" />
</component>
<component name="XSLT-Support.FileAssociations.UIState">
<expand />
<select />
</component>
</project>

View File

@@ -19,9 +19,7 @@ repositories {
dependencies {
// Use JUnit Jupiter for testing.
testImplementation 'org.junit.jupiter:junit-jupiter:5.9.1'
// This dependency is used by the application.
implementation 'com.google.guava:guava:31.1-jre'
testRuntimeOnly 'org.junit.jupiter:junit-jupiter-engine:5.9.1'
}
application {

View File

@@ -34,7 +34,7 @@ public class App {
sudoku.getGrille().setCase(0, 7, Symbole.of(8));
sudoku.getGrille().setCase(4, 8, Symbole.of(9));
sudoku.getGrille().createSquareBlocs();
sudoku.getGrille().creerBlocCarre();
System.out.println("Sudoku :");
System.out.println(sudoku.getGrille().toString());

View File

@@ -5,12 +5,16 @@ import java.util.List;
public class Bloc {
private final List<Case> cases;
private final String couleur;
private final int couleurIndex;
public Bloc() {
public Bloc(String couleur, int couleurIndex) {
this.cases = new ArrayList<>();
this.couleur = couleur;
this.couleurIndex = couleurIndex;
}
public void addCase(Case c) {
public void ajouterCase(Case c) {
cases.add(c);
}
@@ -23,23 +27,17 @@ public class Bloc {
return false;
}
// TO MOVE TO FUTUR CONSTRAINTS
// /**
// * Check if the bloc is valid
// * A bloc is valid if it contains no duplicate symbols
// *
// * @return
// */
// public boolean isValid() {
// for (int i = 0; i < cases.size(); i++) {
// for (int j = i + 1; j < cases.size(); j++) {
// if (cases.get(i).getSymbole().equals(cases.get(j).getSymbole())) {
// return false;
// }
// }
// }
// return true;
// }
public String getCouleur() {
return couleur;
}
public int getCouleurIndex() {
return couleurIndex;
}
public List<Case> getCases() {
return cases;
}
@Override
public String toString() {

View File

@@ -4,27 +4,27 @@ public class Case {
private final int ligne;
private final int colonne;
private Symbole symbole;
public Case(int ligne, int colonne, Symbole symbole) {
this.ligne = ligne;
this.colonne = colonne;
this.symbole = symbole;
}
public int getLigne() {
return ligne;
}
public int getColonne() {
return colonne;
}
public Symbole getSymbole() {
return symbole;
}
public void setSymbole(Symbole symbole) {
this.symbole = symbole;
public Case(int ligne, int colonne, Symbole symbole) {
this.ligne = ligne;
this.colonne = colonne;
this.symbole = symbole;
}
public int getLigne() {
return ligne;
}
public int getColonne() {
return colonne;
}
public Symbole getSymbole() {
return symbole;
}
public void setSymbole(Symbole symbole) {
this.symbole = symbole;
}
@Override

View File

@@ -0,0 +1,5 @@
package sudoku;
public interface Contrainte {
boolean estRespectee(Grille grille, Case c);
}

View File

@@ -0,0 +1,21 @@
package sudoku;
public class ContrainteBloc implements Contrainte {
@Override
public boolean estRespectee(Grille grille, Case c) {
int blocSize = (int) Math.sqrt(grille.getTaille());
int startRow = (c.getLigne() / blocSize) * blocSize;
int startCol = (c.getColonne() / blocSize) * blocSize;
Symbole symbole = c.getSymbole();
for (int i = 0; i < blocSize; i++) {
for (int j = 0; j < blocSize; j++) {
Case currentCase = grille.getCase(startRow + i, startCol + j);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
return false;
}
}
}
return true;
}
}

View File

@@ -0,0 +1,16 @@
package sudoku;
public class ContrainteColonne implements Contrainte {
@Override
public boolean estRespectee(Grille grille, Case c) {
int colonne = c.getColonne();
Symbole symbole = c.getSymbole();
for (int ligne = 0; ligne < grille.getTaille(); ligne++) {
Case currentCase = grille.getCase(ligne, colonne);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
return false;
}
}
return true;
}
}

View File

@@ -0,0 +1,16 @@
package sudoku;
public class ContrainteLigne implements Contrainte {
@Override
public boolean estRespectee(Grille grille, Case c) {
int ligne = c.getLigne();
Symbole symbole = c.getSymbole();
for (int col = 0; col < grille.getTaille(); col++) {
Case currentCase = grille.getCase(ligne, col);
if (currentCase != c && currentCase.getSymbole() != null && currentCase.getSymbole().equals(symbole)) {
return false;
}
}
return true;
}
}

View File

@@ -11,12 +11,14 @@ public class Grille {
private final Case[][] cases;
private final ArrayList<Bloc> blocs;
private ArrayList<Symbole> symbolesPossibles;
private final Sudoku sudoku;
public Grille(int taille) {
public Grille(int taille, Sudoku sudoku) {
this.taille = taille;
this.cases = new Case[taille][taille];
this.blocs = new ArrayList<>();
this.symbolesPossibles = new ArrayList<>();
this.sudoku = sudoku;
// Initialiser les cases
for (int i = 0; i < taille; i++) {
@@ -31,22 +33,76 @@ public class Grille {
if (symbole != null && !symbolesPossibles.contains(symbole)) {
throw new IllegalArgumentException("Symbole non autorisé : " + symbole);
}
// Save ancien symbole
Symbole ancienSymbole = cases[ligne][colonne].getSymbole();
// Set nouveau symbole
cases[ligne][colonne].setSymbole(symbole);
// Vérifier les contraintes
if (!sudoku.verifierToutesContraintes()) {
// Revert to ancien symbole
cases[ligne][colonne].setSymbole(ancienSymbole);
throw new IllegalArgumentException("SET CASE: Les contraintes ne sont pas respectées pour la case ("
+ ligne + ", " + colonne + ")");
}
} catch (Exception e) {
Console.errorln(e.getMessage());
}
}
public Case getCase(int ligne, int 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, int blocHeight, int blocWidth) {
List<Integer> couleursUtilisees = new ArrayList<>();
int blocsParLigne = taille / blocWidth;
int blocsParColonne = taille / blocHeight;
// 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 < blocsParColonne &&
voisinCol >= 0 && voisinCol < blocsParLigne) {
int blockIndex = voisinRow * blocsParLigne + 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
*
* Exemple :
* sudoku.getGrille().createBloc(Arrays.asList(
* sudoku.getGrille().creerBloc(Arrays.asList(
* new int[] { 0, 0 },
* new int[] { 0, 1 },
* new int[] { 0, 2 },
@@ -60,30 +116,86 @@ public class Grille {
* @param positions
* @return
*/
public Bloc createBloc(List<int[]> positions) {
Bloc bloc = new Bloc();
for (int[] pos : positions) {
bloc.addCase(cases[pos[0]][pos[1]]);
public void creerBlocPersonnalise(List<int[]> positions) {
try {
// Validation des positions
for (int[] pos : positions) {
if (pos[0] < 0 || pos[0] >= taille || pos[1] < 0 || pos[1] >= taille) {
throw new IllegalArgumentException("Position invalide : (" + pos[0] + ", " + pos[1] + ")");
}
}
// Collecter les couleurs des blocs voisins
List<Integer> couleursVoisines = new ArrayList<>();
for (int[] pos : positions) {
// Vérifier les cases adjacentes
int[][] directions = { { -1, 0 }, { 1, 0 }, { 0, -1 }, { 0, 1 } };
for (int[] dir : directions) {
int neighborRow = pos[0] + dir[0];
int neighborCol = pos[1] + dir[1];
if (neighborRow >= 0 && neighborRow < taille && neighborCol >= 0 && neighborCol < taille) {
Case neighborCase = cases[neighborRow][neighborCol];
Bloc neighborBloc = findBlocForCase(neighborCase);
if (neighborBloc != null) {
couleursVoisines.add(neighborBloc.getCouleurIndex());
}
}
}
}
// Trouver une couleur disponible
int couleurIndex = -1;
for (int c = 0; c < QUATRE_COULEURS.length; c++) {
if (!couleursVoisines.contains(c)) {
couleurIndex = c;
break;
}
}
if (couleurIndex == -1) {
couleurIndex = 0; // Fallback
}
// Créer et ajouter le bloc
Bloc bloc = new Bloc(QUATRE_COULEURS[couleurIndex], couleurIndex);
for (int[] pos : positions) {
bloc.ajouterCase(cases[pos[0]][pos[1]]);
}
blocs.add(bloc);
} catch (IllegalArgumentException e) {
Console.errorln(e.getMessage());
}
blocs.add(bloc);
return bloc;
}
public void createSquareBlocs() {
public void creerBlocCarre() {
try {
int blocSize = (int) Math.sqrt(taille);
if (blocSize * blocSize != taille) {
throw new IllegalArgumentException("La taille de la grille doit être un carré parfait.");
}
for (int i = 0; i < taille; i += blocSize) {
for (int j = 0; j < taille; j += blocSize) {
// Create blocks in 3x3 pattern
for (int blocRow = 0; blocRow < blocSize; blocRow++) {
for (int blocCol = 0; blocCol < blocSize; blocCol++) {
List<int[]> positions = new ArrayList<>();
for (int k = 0; k < blocSize; k++) {
for (int l = 0; l < blocSize; l++) {
positions.add(new int[] { i + k, j + l });
// 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
});
}
}
createBloc(positions);
int couleurIndex = getCouleurDisponible(blocRow, blocCol, blocSize, blocSize);
Bloc bloc = new Bloc(QUATRE_COULEURS[couleurIndex], couleurIndex);
for (int[] pos : positions) {
bloc.ajouterCase(cases[pos[0]][pos[1]]);
}
blocs.add(bloc);
}
}
} catch (IllegalArgumentException e) {
@@ -91,15 +203,53 @@ public class Grille {
}
}
// TO MOVE TO FUTUR CONSTRAINTS
// public boolean isValid() {
// for (Bloc bloc : blocs) {
// if (!bloc.isValid()) {
// return false;
// }
// }
// return true;
// }
/**
* Crée des blocs rectangles automatiquement à partir de la taille de la grille
* Ne fonctionne pas pour les tailles de grilles qui sont des carrés parfaits
*
* @param blocRow
* @param blocCol
* @param blocHeight
* @param blocWidth
*/
public void creerBlocRectangulaire(int blocHeight, int blocWidth) {
try {
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;
// Create blocks in rectangular pattern
for (int blocRow = 0; blocRow < blocsParColonne; blocRow++) {
for (int blocCol = 0; blocCol < blocsParLigne; blocCol++) {
List<int[]> positions = new ArrayList<>();
// Add all positions for current block
for (int i = 0; i < blocHeight; i++) {
for (int j = 0; j < blocWidth; j++) {
positions.add(new int[] {
blocRow * blocHeight + i,
blocCol * blocWidth + j
});
}
}
int couleurIndex = getCouleurDisponible(blocRow, blocCol, blocHeight, blocWidth);
Bloc bloc = new Bloc(QUATRE_COULEURS[couleurIndex], couleurIndex);
for (int[] pos : positions) {
bloc.ajouterCase(cases[pos[0]][pos[1]]);
}
blocs.add(bloc);
}
}
} catch (IllegalArgumentException e) {
Console.errorln(e.getMessage());
}
}
public void printBlocs() {
for (Bloc bloc : blocs) {
@@ -199,15 +349,114 @@ public class Grille {
System.out.println(sb.toString());
}
@Override
public String toString() {
StringBuilder sb = new StringBuilder();
public int getTaille() {
return taille;
}
private Bloc findBlocForCase(Case target) {
for (Bloc bloc : blocs) {
if (bloc.getCases().contains(target)) {
return bloc;
}
}
return null; // Ne devrait jamais arriver si la grille est bien construite
}
/**
* Vérifie si toutes les contraintes sont respectées
* S'arrête dès qu'une contrainte n'est pas respectée
*
* @param contraintes
* @return
*/
public boolean verifierToutesContraintes(List<Contrainte> contraintes) {
// Vérifier chaque case de la grille
for (int i = 0; i < taille; i++) {
for (int j = 0; j < taille; j++) {
sb.append(cases[i][j].toString()).append(" ");
Case currentCase = cases[i][j];
// Ne vérifier que les cases qui ont un symbole
if (currentCase.getSymbole() != null) {
// Vérifier toutes les contraintes pour cette case
for (Contrainte contrainte : contraintes) {
if (!contrainte.estRespectee(this, currentCase)) {
Console.errorln(
"GRILLE: Contrainte non respectée à la position : ligne=" + i + ", colonne=" + j);
return false;
}
}
}
}
}
return true;
}
public Case getCaseLibre() {
for (int i = 0; i < taille; i++) {
for (int j = 0; j < taille; j++) {
if (cases[i][j].getSymbole() == null) {
return cases[i][j];
}
}
}
return null;
}
public int getLongueurSymboleLePlusLong() {
int max = 0;
for (Symbole symbole : symbolesPossibles) {
if (symbole.toString().length() > max) {
max = symbole.toString().length();
}
}
return max;
}
@Override
// public String toString() {
// StringBuilder sb = new StringBuilder();
// int plusLongSymbole = this.getLongueurSymboleLePlusLong();
// for (int i = 0; i < taille; i++) {
// for (int j = 0; j < taille; j++) {
// Case currentCase = cases[i][j];
// Bloc bloc = findBlocForCase(currentCase);
// if (bloc != null) {
// sb.append(bloc.getCouleur()) // Couleur du bloc
// .append(" ".repeat(plusLongSymbole - currentCase.toString().length())) //
// Alignement
// .append(currentCase.toString())
// .append("\u001B[0m ") // Réinitialiser la couleur
// .append(" ");
// } else {
// sb.append(currentCase.toString()).append(" ");
// }
// }
// sb.append("\n");
// }
// return sb.toString();
// }
public String toString() {
StringBuilder sb = new StringBuilder();
for (int i = 0; i < taille; i++) {
for (int j = 0; j < taille; j++) {
Case currentCase = cases[i][j];
Bloc bloc = findBlocForCase(currentCase);
if (bloc != null) {
sb.append(bloc.getCouleur()) // Couleur du bloc
.append(currentCase.toString()) // Contenu de la case
.append("\u001B[0m ") // Réinitialiser la couleur
.append(" ");
} else {
sb.append(currentCase.toString()).append(" ");
}
}
sb.append("\n");
}
return sb.toString();
}
}

View File

@@ -0,0 +1,5 @@
package sudoku;
public interface Resolveur {
boolean resoudre(Sudoku s, boolean afficherEtape);
}

View File

@@ -0,0 +1,62 @@
package sudoku;
import java.util.List;
public class ResolveurBacktraceSimple implements Resolveur {
private final Sudoku sudoku;
public ResolveurBacktraceSimple(Sudoku sudoku) {
this.sudoku = sudoku;
}
@Override
public boolean resoudre(Sudoku s, boolean afficherEtape) {
EtatResolution etat = new EtatResolution(0, 0);
return resoudre(s, afficherEtape, etat);
}
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
}
private void afficherEtapeResolution(Sudoku s, int compteur, int compteurGeneral) {
System.out.println("Sudoku, Etape " + compteur + " (Tentative " + compteurGeneral + ")");
System.out.println(s.getGrille().toString());
}
private static class EtatResolution {
int compteur;
int compteurGeneral;
EtatResolution(int compteur, int compteurGeneral) {
this.compteur = compteur;
this.compteurGeneral = compteurGeneral;
}
}
}

View File

@@ -1,13 +1,39 @@
package sudoku;
import java.util.ArrayList;
import java.util.List;
public class Sudoku {
private final Grille grille;
private final List<Contrainte> contraintes;
public Sudoku(int taille) {
this.grille = new Grille(taille);
this.grille = new Grille(taille, this);
this.contraintes = new ArrayList<>();
}
public void ajouterContrainte(Contrainte contrainte) {
contraintes.add(contrainte);
}
// public void creerBloc(List<int[]> positions, int blocHeight, int blocWidth) {
// grille.creerBloc(positions, blocHeight, blocWidth);
// }
public boolean estValide(Case c) {
for (Contrainte contrainte : contraintes) {
if (!contrainte.estRespectee(grille, c)) {
return false;
}
}
return true;
}
public boolean verifierToutesContraintes() {
return grille.verifierToutesContraintes(contraintes);
}
public Grille getGrille() {
return grille;
}
}
}

View File

@@ -48,4 +48,8 @@ public class Symbole {
Symbole symbole = (Symbole) obj;
return valeur.equals(symbole.valeur);
}
public int getHashCode() {
return valeur.hashCode();
}
}

View File

@@ -1,7 +1,7 @@
package sudoku.core;
/**
* Console class to print messages in different colors
* Console classe pour afficher des messages en couleur dans la console
*/
public class Console {
private static final String ANSI_RESET = "\u001B[0m";

View File

@@ -2,6 +2,8 @@ package sudoku;
import org.junit.jupiter.api.Test;
import sudoku.core.Console;
import java.io.ByteArrayInputStream;
import java.util.ArrayList;
import java.util.Arrays;
@@ -9,14 +11,19 @@ import java.util.Arrays;
import static org.junit.jupiter.api.Assertions.assertEquals;
public class AppTest {
/**
* Test the creation of a Sudoku grid with a size of 16
*/
@Test
public void testExample() {
// Simulate user input
String simulatedInput = "1\n1\n2\n3\n4\n5\n6\n7\n8\n9\n";
// 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)
String simulatedInput = "1\n1\n2\n3\n4\n5\n6\n7\n8\n9\n10\n11\n12\n13\n14\n15\n16\n";
System.setIn(new ByteArrayInputStream(simulatedInput.getBytes()));
// Create a new Sudoku
Sudoku sudoku = new Sudoku(9);
Sudoku sudoku = new Sudoku(16);
sudoku.getGrille().askSetSymbolesPossibles();
// Verify the symbols
@@ -29,7 +36,91 @@ public class AppTest {
Symbole.of(6),
Symbole.of(7),
Symbole.of(8),
Symbole.of(9)));
Symbole.of(9),
Symbole.of(10),
Symbole.of(11),
Symbole.of(12),
Symbole.of(13),
Symbole.of(14),
Symbole.of(15),
Symbole.of(16)));
assertEquals(expectedSymbols, sudoku.getGrille().getSymbolesPossibles());
// Cleanup
System.setIn(System.in);
}
@Test
public void testContraintes() {
// 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(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 ContrainteColonne());
// sudoku.ajouterContrainte(new ContrainteBloc());
// 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());
// Verify that the constraints are respected
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(0, 0)));
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(1, 1)));
// assertTrue(sudoku.estValide(sudoku.getGrille().getCase(2, 2)));
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

@@ -2,6 +2,8 @@ package sudoku;
import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertFalse;
import java.util.ArrayList;
import java.util.Arrays;
@@ -23,6 +25,9 @@ public class TestBloc {
Symbole.of(8),
Symbole.of(9))));
// Add constraints
sudoku.ajouterContrainte(new ContrainteBloc());
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
sudoku.getGrille().setCase(6, 1, Symbole.of(2));
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
@@ -34,8 +39,9 @@ public class TestBloc {
sudoku.getGrille().setCase(4, 8, Symbole.of(9));
//doublon bloc
sudoku.getGrille().setCase(1, 1, Symbole.of(1));
assertFalse(sudoku.estValide(sudoku.getGrille().getCase(1, 1)));
sudoku.getGrille().createSquareBlocs();
sudoku.getGrille().creerBlocCarre();
System.out.println("Sudoku :");
System.out.println(sudoku.getGrille().toString());

View File

@@ -0,0 +1,69 @@
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 : ");
System.out.println(new App().getGreeting());
// 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.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(sudoku);
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,55 @@
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 : ");
System.out.println(new App().getGreeting());
// 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().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().creerBlocCarre();
System.out.println("Sudoku :");
System.out.println(sudoku.getGrille().toString());
sudoku.getGrille().creerBlocRectangulaire(3, 5);
System.out.println("Blocs :");
sudoku.getGrille().printBlocs();
System.out.println("Symboles possibles :");
sudoku.getGrille().printSymbolesPossibles();
// blocRectangle.resoudre(sudoku, true);
// System.out.println("Sudoku resolu :");
// System.out.println(sudoku.getGrille().toString());
System.out.println("FIN TEST BLOC RECTANGLE");
}
}

View File

@@ -2,6 +2,8 @@ package sudoku;
import org.junit.jupiter.api.Test;
import static org.junit.jupiter.api.Assertions.assertFalse;
import java.util.ArrayList;
import java.util.Arrays;
@@ -23,6 +25,8 @@ public class TestColonne {
Symbole.of(8),
Symbole.of(9))));
sudoku.ajouterContrainte(new ContrainteColonne());
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
sudoku.getGrille().setCase(6, 1, Symbole.of(2));
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
@@ -34,8 +38,9 @@ public class TestColonne {
sudoku.getGrille().setCase(4, 8, Symbole.of(9));
// doublon colonne
sudoku.getGrille().setCase(4, 0, Symbole.of(1));
assertFalse(sudoku.estValide(sudoku.getGrille().getCase(4, 0)));
sudoku.getGrille().createSquareBlocs();
sudoku.getGrille().creerBlocCarre();
System.out.println("Sudoku :");
System.out.println(sudoku.getGrille().toString());

View File

@@ -23,6 +23,8 @@ public class TestLigne {
Symbole.of(8),
Symbole.of(9))));
sudoku.ajouterContrainte(new ContrainteLigne());
sudoku.getGrille().setCase(0, 0, Symbole.of(1));
sudoku.getGrille().setCase(6, 1, Symbole.of(2));
sudoku.getGrille().setCase(2, 2, Symbole.of(3));
@@ -35,7 +37,7 @@ public class TestLigne {
//doublon ligne
sudoku.getGrille().setCase(0, 4, Symbole.of(1));
sudoku.getGrille().createSquareBlocs();
sudoku.getGrille().creerBlocCarre();
System.out.println("Sudoku :");
System.out.println(sudoku.getGrille().toString());

View File

@@ -0,0 +1,70 @@
// 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 : ");
// System.out.println(new App().getGreeting());
// // Create a new Sudoku
// Sudoku sudoku = new Sudoku(16);
// sudoku.getGrille().setSymbolesPossibles(new ArrayList<>(Arrays.asList(
// Symbole.of(1),
// Symbole.of(2),
// Symbole.of(3),
// Symbole.of(4),
// Symbole.of(5),
// Symbole.of(6),
// Symbole.of(7),
// Symbole.of(8),
// Symbole.of(9),
// Symbole.of(10),
// Symbole.of(11),
// Symbole.of(12),
// Symbole.of(13),
// Symbole.of(14),
// Symbole.of(15),
// Symbole.of(16)
// )));
// sudoku.ajouterContrainte(new ContrainteLigne());
// sudoku.ajouterContrainte(new ContrainteColonne());
// sudoku.ajouterContrainte(new ContrainteBloc());
// sudoku.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(sudoku);
// 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,56 @@
// 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 : ");
// System.out.println(new App().getGreeting());
// // 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().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(sudoku);
// 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,57 @@
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 : ");
System.out.println(new App().getGreeting());
// 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().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(sudoku);
resolveur.resoudre(sudoku, false);
System.out.println("Sudoku resolu :");
System.out.println(sudoku.getGrille().toString());
System.out.println("FIN TEST RESOLVEUR BACKTRACE SIMPLE");
}
}

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