Compare commits
3 Commits
ff85cbef01
...
e12955ab4a
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
e12955ab4a | ||
|
|
412684e6f0 | ||
|
|
cd4d01e1e6 |
@@ -28,7 +28,7 @@ public class RenderableMultidoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
public boolean isResolved() {
|
public boolean isResolved() {
|
||||||
return this.doku.isValid();
|
return this.doku.isSolved();
|
||||||
}
|
}
|
||||||
|
|
||||||
public int getWidth() {
|
public int getWidth() {
|
||||||
|
|||||||
@@ -1,5 +1,6 @@
|
|||||||
package sudoku.constraint;
|
package sudoku.constraint;
|
||||||
|
|
||||||
|
import sudoku.structure.Cell;
|
||||||
import sudoku.structure.Sudoku;
|
import sudoku.structure.Sudoku;
|
||||||
|
|
||||||
public class ColumnConstraint implements IConstraint {
|
public class ColumnConstraint implements IConstraint {
|
||||||
@@ -7,10 +8,12 @@ public class ColumnConstraint implements IConstraint {
|
|||||||
@Override
|
@Override
|
||||||
public boolean canBePlaced(final Sudoku s, int x, int y, int newSymbolIndex) {
|
public boolean canBePlaced(final Sudoku s, int x, int y, int newSymbolIndex) {
|
||||||
for (int i = 0; i < s.getSize(); i++) {
|
for (int i = 0; i < s.getSize(); i++) {
|
||||||
if (s.getCell(x, i).getSymbolIndex() == newSymbolIndex)
|
Cell cell = s.getCell(x, i);
|
||||||
|
int symbol = cell.getSymbolIndex();
|
||||||
|
if (symbol == newSymbolIndex) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
}
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -32,12 +32,12 @@ public class Solver {
|
|||||||
throw new CancellationException("User wants to stop the solver");
|
throw new CancellationException("User wants to stop the solver");
|
||||||
|
|
||||||
Sudoku sudoku = doku.getSubGrid(0);
|
Sudoku sudoku = doku.getSubGrid(0);
|
||||||
logger.log(Level.INFO,
|
logger.log(Level.FINE,
|
||||||
'\n' + SudokuPrinter.toStringRectangleSudoku(sudoku,
|
'\n' + SudokuPrinter.toStringRectangleSudoku(sudoku,
|
||||||
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getBlockWidth(),
|
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getBlockWidth(),
|
||||||
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getSize() / sudoku.getBlockWidth()));
|
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getSize() / sudoku.getBlockWidth()));
|
||||||
|
|
||||||
if (doku.isValid()) {
|
if (doku.isSolved()) {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -65,7 +65,7 @@ public class Solver {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Compte le nombre de solutions possibles au MultiDoku passé en paramètres.
|
* Compte le nombre de solutions possibles au MultiDoku passé en paramètres.
|
||||||
* @param doku MultiDoku, MultiDoku dont on veut le nombre de solutions.
|
* @param oldDoku MultiDoku, MultiDoku dont on veut le nombre de solutions.
|
||||||
* @return int, nombre de solutions possibles.
|
* @return int, nombre de solutions possibles.
|
||||||
*/
|
*/
|
||||||
public static int countSolution(MultiDoku oldDoku) {
|
public static int countSolution(MultiDoku oldDoku) {
|
||||||
@@ -73,21 +73,23 @@ public class Solver {
|
|||||||
|
|
||||||
MultiDoku doku = oldDoku.clone();
|
MultiDoku doku = oldDoku.clone();
|
||||||
|
|
||||||
if (doku.isValid()) {
|
if (doku.isSolved()) {
|
||||||
return 1;
|
return 1;
|
||||||
}
|
}
|
||||||
|
|
||||||
Cell cellToFill = doku.getFirstEmptyCell();
|
Cell cellToFill = doku.getFirstEmptyCell();
|
||||||
if (cellToFill == null) {
|
if (cellToFill == null) {
|
||||||
|
System.out.println("AAAAAAAAAAAAAA");
|
||||||
return 0;
|
return 0;
|
||||||
}
|
}
|
||||||
|
|
||||||
List<Integer> possibleSymbols = doku.getPossibleSymbolsOfCell(cellToFill);
|
List<Integer> possibleSymbols = doku.getPossibleSymbolsOfCell(cellToFill);
|
||||||
|
|
||||||
for (int symbol : possibleSymbols) {
|
for (int symbol : possibleSymbols) {
|
||||||
|
|
||||||
cellToFill.setSymbolIndex(symbol);
|
cellToFill.setSymbolIndex(symbol);
|
||||||
if (Solver.solve(doku)) {
|
System.out.println("symbol : "+symbol);
|
||||||
|
System.out.println("doku.isSolved() || Solver.solve(doku) ? "+ (doku.isSolved() || Solver.solve(doku)));
|
||||||
|
if (doku.isSolved() || Solver.solve(doku)) {
|
||||||
result++;
|
result++;
|
||||||
}
|
}
|
||||||
cellToFill.setSymbolIndex(Cell.NOSYMBOL);
|
cellToFill.setSymbolIndex(Cell.NOSYMBOL);
|
||||||
@@ -105,7 +107,7 @@ public class Solver {
|
|||||||
if (Thread.interrupted())
|
if (Thread.interrupted())
|
||||||
throw new CancellationException("User wants to stop the solver");
|
throw new CancellationException("User wants to stop the solver");
|
||||||
|
|
||||||
if (doku.isValid()) {
|
if (doku.isSolved()) {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -144,6 +146,13 @@ public class Solver {
|
|||||||
List<Cell> cellsToFill = doku.getEmptyCells();
|
List<Cell> cellsToFill = doku.getEmptyCells();
|
||||||
|
|
||||||
while (!cellsToFill.isEmpty()) {
|
while (!cellsToFill.isEmpty()) {
|
||||||
|
|
||||||
|
Sudoku sudoku = doku.getSubGrid(0);
|
||||||
|
logger.log(Level.FINE,
|
||||||
|
'\n' + SudokuPrinter.toStringRectangleSudoku(sudoku,
|
||||||
|
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getBlockWidth(),
|
||||||
|
sudoku.getBlockWidth() == 0 ? sudoku.getSize() : sudoku.getSize() / sudoku.getBlockWidth()));
|
||||||
|
|
||||||
boolean blocked = true;
|
boolean blocked = true;
|
||||||
for (Cell cellToFill : cellsToFill) {
|
for (Cell cellToFill : cellsToFill) {
|
||||||
|
|
||||||
@@ -163,6 +172,6 @@ public class Solver {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
return doku.isValid();
|
return doku.isSolved();
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|||||||
@@ -39,7 +39,7 @@ public class StupidSolver {
|
|||||||
}
|
}
|
||||||
|
|
||||||
public static boolean solve(MultiDoku doku) {
|
public static boolean solve(MultiDoku doku) {
|
||||||
if (doku.isValid())
|
if (doku.isSolved())
|
||||||
return true;
|
return true;
|
||||||
|
|
||||||
for (Sudoku sudoku : doku.getSubGrids()) {
|
for (Sudoku sudoku : doku.getSubGrids()) {
|
||||||
|
|||||||
@@ -1,7 +1,9 @@
|
|||||||
package sudoku.structure;
|
package sudoku.structure;
|
||||||
|
|
||||||
import java.util.ArrayList;
|
import java.util.ArrayList;
|
||||||
|
import java.util.HashSet;
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
|
import java.util.Set;
|
||||||
|
|
||||||
import sudoku.io.SudokuSerializer;
|
import sudoku.io.SudokuSerializer;
|
||||||
|
|
||||||
@@ -49,11 +51,11 @@ public class MultiDoku {
|
|||||||
* @return List<Cell>
|
* @return List<Cell>
|
||||||
*/
|
*/
|
||||||
public List<Cell> getCells(){
|
public List<Cell> getCells(){
|
||||||
List<Cell> cells = new ArrayList<>();
|
Set<Cell> cellsSet = new HashSet<>();
|
||||||
for (Sudoku sudoku : subGrids){
|
for (Sudoku sudoku : subGrids){
|
||||||
cells.addAll(sudoku.getCells());
|
cellsSet.addAll(sudoku.getCells());
|
||||||
}
|
}
|
||||||
return cells;
|
return new ArrayList<>(cellsSet);
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
@@ -111,12 +113,12 @@ public class MultiDoku {
|
|||||||
* Check si le MultiDoku est valide, en fonction de ses sous-Sudokus.
|
* Check si le MultiDoku est valide, en fonction de ses sous-Sudokus.
|
||||||
* @return boolean, true s'il est valide et false sinon.
|
* @return boolean, true s'il est valide et false sinon.
|
||||||
*/
|
*/
|
||||||
public boolean isValid() {
|
public boolean isSolved() {
|
||||||
|
boolean result = true;
|
||||||
for (Sudoku sudoku : this.subGrids) {
|
for (Sudoku sudoku : this.subGrids) {
|
||||||
if(!sudoku.isValid())
|
result = sudoku.isSolved() && result;
|
||||||
return false;
|
|
||||||
}
|
}
|
||||||
return true;
|
return result;
|
||||||
}
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
@@ -191,14 +193,17 @@ public class MultiDoku {
|
|||||||
cellToEmpty.setSymbolIndex(Cell.NOSYMBOL);
|
cellToEmpty.setSymbolIndex(Cell.NOSYMBOL);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Renvoie le nombre de Cell contenue dans le MultiDoku.
|
||||||
|
* @return int, nombre de Cell dans le MultiDoku.
|
||||||
|
*/
|
||||||
public int getNbCells() {
|
public int getNbCells() {
|
||||||
int result = 0;
|
return getCells().size();
|
||||||
for (Sudoku sudoku : this.subGrids) {
|
|
||||||
result += sudoku.getCells().size();
|
|
||||||
}
|
|
||||||
return result;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Change les Cells de ce MultiDoku avec des symboles, en Cells immuables.
|
||||||
|
*/
|
||||||
public void setFilledCellsImmutable() {
|
public void setFilledCellsImmutable() {
|
||||||
for (Cell filledCell : getFilledCells()) {
|
for (Cell filledCell : getFilledCells()) {
|
||||||
filledCell.setImmutable();
|
filledCell.setImmutable();
|
||||||
|
|||||||
@@ -20,14 +20,13 @@ public class Sudoku {
|
|||||||
/**
|
/**
|
||||||
* Liste des Cells contenus dans le Sudoku.
|
* Liste des Cells contenus dans le Sudoku.
|
||||||
*/
|
*/
|
||||||
private final List<Cell> cells;
|
private List<Cell> cells = new ArrayList<>();
|
||||||
/**
|
/**
|
||||||
* Liste des contraintes (TODO) du Sudoku.
|
* Liste des contraintes (TODO) du Sudoku.
|
||||||
*/
|
*/
|
||||||
private final List<Constraint> constraints;
|
private final List<Constraint> constraints;
|
||||||
/**
|
/**
|
||||||
* Largeur des Blocks s'ils sont rectangulaires, valant 0 si ce n'est pas le
|
* Largeur des Blocks s'ils sont rectangulaires, valant 0 si ce n'est pas le cas.
|
||||||
* cas.
|
|
||||||
*/
|
*/
|
||||||
private int blockWidth;
|
private int blockWidth;
|
||||||
|
|
||||||
@@ -49,7 +48,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Transforme des coordonées d'une Cell en index.
|
* Transforme des coordonées d'une Cell en index.
|
||||||
*
|
|
||||||
* @param x int, abscisse.
|
* @param x int, abscisse.
|
||||||
* @param y int, ordonnée.
|
* @param y int, ordonnée.
|
||||||
* @return int, index correspondant.
|
* @return int, index correspondant.
|
||||||
@@ -60,9 +58,7 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Vérifie que des coordonnées correspondent bien à une Cell dans le Sudoku.
|
* Vérifie que des coordonnées correspondent bien à une Cell dans le Sudoku.
|
||||||
*
|
* @return boolean, valant true si les coordonnées sont dans les bornes du Sudoku, false sinon.
|
||||||
* @return boolean, valant true si les coordonnées sont dans les bornes du
|
|
||||||
* Sudoku, false sinon.
|
|
||||||
*/
|
*/
|
||||||
public boolean isValidCoords(int x, int y) {
|
public boolean isValidCoords(int x, int y) {
|
||||||
int index = toIndex(x, y);
|
int index = toIndex(x, y);
|
||||||
@@ -71,18 +67,14 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Vérifie que l'index correspond bien à une Cell dans le Sudoku.
|
* Vérifie que l'index correspond bien à une Cell dans le Sudoku.
|
||||||
*
|
* @return boolean, valant true si l'index est dans les bornes du Sudoku, false sinon.
|
||||||
* @return boolean, valant true si l'index est dans les bornes du Sudoku, false
|
|
||||||
* sinon.
|
|
||||||
*/
|
*/
|
||||||
public boolean isValidCoords(int index) {
|
public boolean isValidCoords(int index) {
|
||||||
return index < getSize() * getSize();
|
return index < getSize() * getSize();
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Teste si on peut placer la value dans la Cell aux coordonnées x, y d'après
|
* Teste si on peut placer la value dans la Cell aux coordonnées x, y d'après les contraintes du Sudoku.
|
||||||
* les contraintes du Sudoku.
|
|
||||||
*
|
|
||||||
* @param x int, abscisse de la Cell voulue.
|
* @param x int, abscisse de la Cell voulue.
|
||||||
* @param y int, ordonnée de la Cell voulue.
|
* @param y int, ordonnée de la Cell voulue.
|
||||||
* @param value int, index du symbole qu'on veut placer.
|
* @param value int, index du symbole qu'on veut placer.
|
||||||
@@ -99,7 +91,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Tente de placer le symbole value dans la Cell de coordonnées x, y.
|
* Tente de placer le symbole value dans la Cell de coordonnées x, y.
|
||||||
*
|
|
||||||
* @param x int, abscisse de la Cell voulue.
|
* @param x int, abscisse de la Cell voulue.
|
||||||
* @param y int, coordonnée de la Cell voulue;
|
* @param y int, coordonnée de la Cell voulue;
|
||||||
* @param value int, index du symbole que l'on veut placer.
|
* @param value int, index du symbole que l'on veut placer.
|
||||||
@@ -116,7 +107,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Vide la Cell dotn les coordonnées sont renseignées de son symbole.
|
* Vide la Cell dotn les coordonnées sont renseignées de son symbole.
|
||||||
*
|
|
||||||
* @param x int, abscisse de la Cell voulue.
|
* @param x int, abscisse de la Cell voulue.
|
||||||
* @param y int, coordonnée de la Cell voulue.
|
* @param y int, coordonnée de la Cell voulue.
|
||||||
*/
|
*/
|
||||||
@@ -144,7 +134,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Place le symbole d'index value dans la Cell de coordonnées précisées.
|
* Place le symbole d'index value dans la Cell de coordonnées précisées.
|
||||||
*
|
|
||||||
* @param x int, abscisse de la Cell voulue.
|
* @param x int, abscisse de la Cell voulue.
|
||||||
* @param y int, coordonnée de la Cell voulue.
|
* @param y int, coordonnée de la Cell voulue.
|
||||||
* @param value int, index du symbole à placer.
|
* @param value int, index du symbole à placer.
|
||||||
@@ -164,7 +153,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Place les symboles d'index contenus dans values dans les cases du Sudoku.
|
* Place les symboles d'index contenus dans values dans les cases du Sudoku.
|
||||||
*
|
|
||||||
* @param values List<Integer>, liste des index des symboles à placer.
|
* @param values List<Integer>, liste des index des symboles à placer.
|
||||||
* @return boolean, vaut true si les symboles ont été placés, false sinon.
|
* @return boolean, vaut true si les symboles ont été placés, false sinon.
|
||||||
*/
|
*/
|
||||||
@@ -182,9 +170,7 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Place les symboles d'index contenus dans values dans les cases du Sudoku et
|
* Place les symboles d'index contenus dans values dans les cases du Sudoku et rend ces cases immuables.
|
||||||
* rend ces cases immuables.
|
|
||||||
*
|
|
||||||
* @param values List<Integer>, liste des index des symboles à placer.
|
* @param values List<Integer>, liste des index des symboles à placer.
|
||||||
* @return boolean, vaut true si les symboles ont été placés, false sinon.
|
* @return boolean, vaut true si les symboles ont été placés, false sinon.
|
||||||
*/
|
*/
|
||||||
@@ -239,7 +225,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Vérifie si une Cell appartient au Sudoku.
|
* Vérifie si une Cell appartient au Sudoku.
|
||||||
*
|
|
||||||
* @param cell Cell, cellule dont on veut vérifier l'appartenance au Sudoku.
|
* @param cell Cell, cellule dont on veut vérifier l'appartenance au Sudoku.
|
||||||
* @return boolean, vaut true si la Cell appartient au Sudoku.
|
* @return boolean, vaut true si la Cell appartient au Sudoku.
|
||||||
*/
|
*/
|
||||||
@@ -249,7 +234,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Localise la Cell dans le Sudoku.
|
* Localise la Cell dans le Sudoku.
|
||||||
*
|
|
||||||
* @param c Cell, cellule dont on veut les coordonées.
|
* @param c Cell, cellule dont on veut les coordonées.
|
||||||
* @return Coordinate, coordonnées de la Cell.
|
* @return Coordinate, coordonnées de la Cell.
|
||||||
* @throws Exception si la Cell n'appartient pas au Sudoku.
|
* @throws Exception si la Cell n'appartient pas au Sudoku.
|
||||||
@@ -293,8 +277,11 @@ public class Sudoku {
|
|||||||
System.out.println("Cas jamais atteint.");
|
System.out.println("Cas jamais atteint.");
|
||||||
}
|
}
|
||||||
List<Integer> newPossibleSymbols = cell.getPossibleSymbols();
|
List<Integer> newPossibleSymbols = cell.getPossibleSymbols();
|
||||||
newPossibleSymbols
|
newPossibleSymbols.retainAll(constraint.getPossibleSymbols(
|
||||||
.retainAll(constraint.getConstraint().getPossibleSymbols(this, coord.getX(), coord.getY()));
|
this,
|
||||||
|
coord.getX(),
|
||||||
|
coord.getY()
|
||||||
|
));
|
||||||
|
|
||||||
cell.setPossibleSymbols(newPossibleSymbols);
|
cell.setPossibleSymbols(newPossibleSymbols);
|
||||||
}
|
}
|
||||||
@@ -317,7 +304,6 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Renvoie la 1re Cell vide du Sudoku.
|
* Renvoie la 1re Cell vide du Sudoku.
|
||||||
*
|
|
||||||
* @return Cell, une Cell vide, ou null s'il n'y en a pas.
|
* @return Cell, une Cell vide, ou null s'il n'y en a pas.
|
||||||
*/
|
*/
|
||||||
public Cell getFirstEmptyCell() {
|
public Cell getFirstEmptyCell() {
|
||||||
@@ -331,10 +317,8 @@ public class Sudoku {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Renvoie l'index des symboles possibles de la Cell passée en paramètres.
|
* Renvoie l'index des symboles possibles de la Cell passée en paramètres.
|
||||||
*
|
|
||||||
* @param cellToFill Cell, cellule dont on cherche les symboles posisbles.
|
* @param cellToFill Cell, cellule dont on cherche les symboles posisbles.
|
||||||
* @return List<Integer>, la liste des index des symboles possibles, vide si la
|
* @return List<Integer>, la liste des index des symboles possibles, vide si la Cell n'appartient pas au Sudoku.
|
||||||
* Cell n'appartient pas au Sudoku.
|
|
||||||
*/
|
*/
|
||||||
public List<Integer> getPossibleSymbolsOfCell(Cell cellToFill) {
|
public List<Integer> getPossibleSymbolsOfCell(Cell cellToFill) {
|
||||||
List<Integer> result = new ArrayList<>();
|
List<Integer> result = new ArrayList<>();
|
||||||
@@ -356,28 +340,42 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Vérifie que le Sudoku est cohérent avec ses contraintes.
|
* Vérifie si le Sudoku est résolue, soit complet et cohérent avec ses contraintes.
|
||||||
*
|
* @return boolean, valant true si le Sudoku est résolu, false sinon.
|
||||||
* @return boolean, valant true si le Sudoku est cohérent avec ses contraintes,
|
|
||||||
* false sinon.
|
|
||||||
*/
|
*/
|
||||||
public boolean isValid() {
|
public boolean isSolved() {
|
||||||
for (Cell cell : this.cells) {
|
boolean isComplete = isComplete();
|
||||||
if (cell.isMutable()) {
|
boolean isValid = isValid();
|
||||||
if (cell.isEmpty()) {
|
return isComplete && isValid;
|
||||||
return false;
|
|
||||||
}
|
}
|
||||||
for (Constraint constraint : this.constraints) {
|
|
||||||
Coordinate coords;
|
|
||||||
try {
|
|
||||||
int symbolPlaced = cell.getSymbolIndex();
|
|
||||||
coords = this.getCoordinateCell(cell);
|
|
||||||
|
|
||||||
cell.setSymbolIndex(Cell.NOSYMBOL);
|
/**
|
||||||
List<Integer> possibleSymbols = constraint.getPossibleSymbols(this, coords.getX(),
|
* Vérifie que le Sudoku est complet, soit qu'il n'y ait aucune case vide.
|
||||||
coords.getY());
|
* @return boolean, true si le Sudoku est complet, false sinon.
|
||||||
|
*/
|
||||||
|
private boolean isComplete() {
|
||||||
|
return getFirstEmptyCell() == null;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Vérifie si le Sudoku est valide, soit qu'il est cohérent avec ses contraintes.
|
||||||
|
* @return bollean, true si le Sudoku est valide, false sinon
|
||||||
|
*/
|
||||||
|
private boolean isValid() {
|
||||||
|
for (Cell cell : this.getFilledCells()) {
|
||||||
|
for (Constraint constraint : this.constraints) {
|
||||||
|
try {
|
||||||
|
Coordinate coords = this.getCoordinateCell(cell);
|
||||||
|
|
||||||
|
int symbolPlaced = cell.empty();
|
||||||
|
List<Integer> possibleSymbols = constraint.getPossibleSymbols(
|
||||||
|
this,
|
||||||
|
coords.getX(),
|
||||||
|
coords.getY()
|
||||||
|
);
|
||||||
|
|
||||||
cell.setSymbolIndex(symbolPlaced);
|
cell.setSymbolIndex(symbolPlaced);
|
||||||
if (possibleSymbols.size() != 1 || possibleSymbols.get(0) != symbolPlaced) {
|
if (!possibleSymbols.contains(symbolPlaced)) {
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -386,10 +384,51 @@ public class Sudoku {
|
|||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Renvoie la liste des Cells remplies.
|
||||||
|
* @return List<Cell>
|
||||||
|
*/
|
||||||
|
private List<Cell> getFilledCells() {
|
||||||
|
List<Cell> result = new ArrayList<>();
|
||||||
|
for (Cell cell : getCells()) {
|
||||||
|
if (!cell.isEmpty()) {
|
||||||
|
result.add(cell);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Renvoie la liste des Cells modifiables.
|
||||||
|
* @return List<Cell>
|
||||||
|
*/
|
||||||
|
private List<Cell> getEmptyCells() {
|
||||||
|
List<Cell> result = new ArrayList<>();
|
||||||
|
for (Cell cell : getCells()) {
|
||||||
|
if (cell.isMutable()) {
|
||||||
|
result.add(cell);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
|
/**
|
||||||
|
* Renvoie la liste des Cells immuables.
|
||||||
|
* @return List<Cell>
|
||||||
|
*/
|
||||||
|
private List<Cell> getImmutableCells() {
|
||||||
|
List<Cell> result = new ArrayList<>();
|
||||||
|
for (Cell cell : getCells()) {
|
||||||
|
if (!cell.isMutable()) {
|
||||||
|
result.add(cell);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return result;
|
||||||
|
}
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public boolean equals(Object object) {
|
public boolean equals(Object object) {
|
||||||
if (!(object instanceof Sudoku)) {
|
if (!(object instanceof Sudoku)) {
|
||||||
|
|||||||
@@ -9,13 +9,14 @@ import java.util.List;
|
|||||||
import java.util.Map;
|
import java.util.Map;
|
||||||
import java.util.Random;
|
import java.util.Random;
|
||||||
|
|
||||||
|
import sudoku.io.SudokuSerializer;
|
||||||
|
|
||||||
import sudoku.constraint.BlockConstraint;
|
import sudoku.constraint.BlockConstraint;
|
||||||
import sudoku.constraint.ColumnConstraint;
|
import sudoku.constraint.ColumnConstraint;
|
||||||
import sudoku.constraint.Constraint;
|
import sudoku.constraint.Constraint;
|
||||||
import sudoku.constraint.DiagonalConstraint;
|
import sudoku.constraint.DiagonalConstraint;
|
||||||
import sudoku.constraint.IConstraint;
|
import sudoku.constraint.IConstraint;
|
||||||
import sudoku.constraint.LineConstraint;
|
import sudoku.constraint.LineConstraint;
|
||||||
import sudoku.io.SudokuSerializer;
|
|
||||||
import sudoku.solver.Solver;
|
import sudoku.solver.Solver;
|
||||||
|
|
||||||
public class SudokuFactory {
|
public class SudokuFactory {
|
||||||
@@ -34,7 +35,6 @@ public class SudokuFactory {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée des Cells et les met dans une liste de taille size.
|
* Créée des Cells et les met dans une liste de taille size.
|
||||||
*
|
|
||||||
* @param size int, nombre de Cells à initialiser.
|
* @param size int, nombre de Cells à initialiser.
|
||||||
* @return List<Cell>, liste des Cells initialisées.
|
* @return List<Cell>, liste des Cells initialisées.
|
||||||
*/
|
*/
|
||||||
@@ -47,9 +47,7 @@ public class SudokuFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée des Blocks de taille width par height à partir des cellules données, et
|
* Créée des Blocks de taille width par height à partir des cellules données, et les met dans une liste.
|
||||||
* les met dans une liste.
|
|
||||||
*
|
|
||||||
* @param cells List<Cell>, liste des Cells à découper en Blocks.
|
* @param cells List<Cell>, liste des Cells à découper en Blocks.
|
||||||
* @param width int, largeur des Blocks à créer.
|
* @param width int, largeur des Blocks à créer.
|
||||||
* @param height int, hauteur des Blocks à créer.
|
* @param height int, hauteur des Blocks à créer.
|
||||||
@@ -79,9 +77,7 @@ public class SudokuFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée un MultiDoku vide dont les Blocks sont de taille widthBlock par
|
* Créée un MultiDoku vide dont les Blocks sont de taille widthBlock par heightBlock.
|
||||||
* heightBlock.
|
|
||||||
*
|
|
||||||
* @param widthBlock int, largeur des Blocks.
|
* @param widthBlock int, largeur des Blocks.
|
||||||
* @param heightBlock int, hauteur des Blocks.
|
* @param heightBlock int, hauteur des Blocks.
|
||||||
* @return MultiDoku, MultiDoku vide.
|
* @return MultiDoku, MultiDoku vide.
|
||||||
@@ -93,7 +89,6 @@ public class SudokuFactory {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée un MultiDoku vide dont les Blocks sont carrés de longueur size.
|
* Créée un MultiDoku vide dont les Blocks sont carrés de longueur size.
|
||||||
*
|
|
||||||
* @param size int, taille des Blocks.
|
* @param size int, taille des Blocks.
|
||||||
* @return MultiDoku, MultiDoku vide.
|
* @return MultiDoku, MultiDoku vide.
|
||||||
*/
|
*/
|
||||||
@@ -102,13 +97,9 @@ public class SudokuFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Place des Cells immutables de valeurs fournies, aux Coordinate fournies dans
|
* Place des Cells immutables de valeurs fournies, aux Coordinate fournies dans le MultiDoku doku fourni.
|
||||||
* le MultiDoku doku fourni.
|
|
||||||
*
|
|
||||||
* @param doku MultiDoku, MultiDoku à remplir.
|
* @param doku MultiDoku, MultiDoku à remplir.
|
||||||
* @param immutableCells Map<Coordinate, Integer>, association de Coordinate
|
* @param immutableCells Map<Coordinate, Integer>, association de Coordinate coordonnées et Integer valeurs, correspondant aux cases à remplir.
|
||||||
* coordonnées et Integer valeurs, correspondant aux cases
|
|
||||||
* à remplir.
|
|
||||||
*/
|
*/
|
||||||
public static void setImmutableCells(MultiDoku doku, Map<Coordinate, Integer> immutableCells) {
|
public static void setImmutableCells(MultiDoku doku, Map<Coordinate, Integer> immutableCells) {
|
||||||
immutableCells.forEach((coordinate, symbol) -> {
|
immutableCells.forEach((coordinate, symbol) -> {
|
||||||
@@ -127,14 +118,13 @@ public class SudokuFactory {
|
|||||||
*
|
*
|
||||||
* @param doku MultiDoku, MultiDoku dont on doit vider des Cells.
|
* @param doku MultiDoku, MultiDoku dont on doit vider des Cells.
|
||||||
* @param nbCellsToEmpty int, nombre de cases à retirer.
|
* @param nbCellsToEmpty int, nombre de cases à retirer.
|
||||||
* @return boolean, valant true si un MultiDoku de difficulté donnée peut être
|
* @return boolean, valant true si un MultiDoku de difficulté donnée peut être créée, false sinon.
|
||||||
* créée, false sinon.
|
* @throws Exception si la difficulté n'est pas compatible avec la taille du MultiDoku.
|
||||||
* @throws Exception si la difficulté n'est pas compatible avec la taille du
|
|
||||||
* MultiDoku.
|
|
||||||
*/
|
*/
|
||||||
public static boolean newDokuFromFilledOne(MultiDoku doku, int nbCellsToEmpty) throws Exception {
|
public static boolean newDokuFromFilledOne(MultiDoku doku, int nbCellsToEmpty) throws Exception {
|
||||||
|
|
||||||
if (nbCellsToEmpty > doku.getCells().size()) {
|
System.out.println("nbCellsToEmpty : "+nbCellsToEmpty);
|
||||||
|
if (nbCellsToEmpty >= doku.getCells().size()) {
|
||||||
throw new Exception();
|
throw new Exception();
|
||||||
}
|
}
|
||||||
|
|
||||||
@@ -150,7 +140,9 @@ public class SudokuFactory {
|
|||||||
|
|
||||||
int oldSymbol = cellToEmpty.empty();
|
int oldSymbol = cellToEmpty.empty();
|
||||||
|
|
||||||
if (Solver.countSolution(doku) == 1) {
|
int nbDokuSultions = Solver.countSolution(doku);
|
||||||
|
System.out.println("oldSymbol : "+oldSymbol);
|
||||||
|
if (nbDokuSultions == 1) {
|
||||||
if (newDokuFromFilledOne(doku, --nbCellsToEmpty)) {
|
if (newDokuFromFilledOne(doku, --nbCellsToEmpty)) {
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
@@ -164,9 +156,7 @@ public class SudokuFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée un Sudoku vide dont les Blocks sont de taille widthBlock par
|
* Créée un Sudoku vide dont les Blocks sont de taille widthBlock par heightBlock.
|
||||||
* heightBlock.
|
|
||||||
*
|
|
||||||
* @param widthBlock int, largeur des Blocks.
|
* @param widthBlock int, largeur des Blocks.
|
||||||
* @param heightBlock int, hauteur des Blocks.
|
* @param heightBlock int, hauteur des Blocks.
|
||||||
* @return Sudoku, Sudoku vide.
|
* @return Sudoku, Sudoku vide.
|
||||||
@@ -185,7 +175,6 @@ public class SudokuFactory {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée un Sudoku vide dont les Blocks sont carrés de longueur size.
|
* Créée un Sudoku vide dont les Blocks sont carrés de longueur size.
|
||||||
*
|
|
||||||
* @param size int, taille des Blocks.
|
* @param size int, taille des Blocks.
|
||||||
* @return Sudoku, Sudoku vide.
|
* @return Sudoku, Sudoku vide.
|
||||||
*/
|
*/
|
||||||
@@ -195,7 +184,6 @@ public class SudokuFactory {
|
|||||||
|
|
||||||
/**
|
/**
|
||||||
* Connecte deux Sudokus selon la décalage offset fourni.
|
* Connecte deux Sudokus selon la décalage offset fourni.
|
||||||
*
|
|
||||||
* @param sudoku1 Sudoku, premier sudoku à connecter.
|
* @param sudoku1 Sudoku, premier sudoku à connecter.
|
||||||
* @param sudoku2 Sudoku, second sudoku à connecter.
|
* @param sudoku2 Sudoku, second sudoku à connecter.
|
||||||
* @param offset Coordinate, décalage entre les deux Sudokus.
|
* @param offset Coordinate, décalage entre les deux Sudokus.
|
||||||
@@ -231,10 +219,7 @@ public class SudokuFactory {
|
|||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* Créée un MultiDoku de Blocks carrés de taille size composé de cinq Sudokus,
|
* Créée un MultiDoku de Blocks carrés de taille size composé de cinq Sudokus, dont un central qui partage chacun de ses Blockss d'angle avec un autre Sudoku.
|
||||||
* dont un central qui partage chacun de ses Blockss d'angle avec un autre
|
|
||||||
* Sudoku.
|
|
||||||
*
|
|
||||||
* @param size int, largeur des Blocks unitraires des Sudokus à crééer.
|
* @param size int, largeur des Blocks unitraires des Sudokus à crééer.
|
||||||
* @return MultiDoku, MultiDoku de forme X.
|
* @return MultiDoku, MultiDoku de forme X.
|
||||||
*/
|
*/
|
||||||
|
|||||||
@@ -52,16 +52,17 @@ class SolverTest {
|
|||||||
System.out.println("\n****************************Doku Control\n");
|
System.out.println("\n****************************Doku Control\n");
|
||||||
SudokuPrinter.printRectangleSudoku(sudokuResult, 3, 3);
|
SudokuPrinter.printRectangleSudoku(sudokuResult, 3, 3);
|
||||||
|
|
||||||
assert (dokuResult.isValid());
|
assert(dokuResult.isSolved());
|
||||||
|
|
||||||
Solver.solveRandom(dokuToTest, rand);
|
Solver.solveRandom(dokuToTest, rand);
|
||||||
|
|
||||||
System.out.println("\n****************************\nDoku solved");
|
System.out.println("\n****************************\nDoku solved");
|
||||||
SudokuPrinter.printRectangleSudoku(dokuToTest.getSubGrid(0), 3, 3);
|
SudokuPrinter.printRectangleSudoku(dokuToTest.getSubGrid(0), 3, 3);
|
||||||
|
|
||||||
assert (dokuToTest.isValid());
|
|
||||||
|
|
||||||
assert (dokuToTest.equals(dokuResult));
|
assert(dokuToTest.isSolved());
|
||||||
|
|
||||||
|
assert(dokuToTest.equals(dokuResult));
|
||||||
|
|
||||||
MultiDoku dokuToTest2 = SudokuFactory.createBasicEmptySquareDoku(3, SudokuFactory.DEFAULT_CONSTRAINTS);
|
MultiDoku dokuToTest2 = SudokuFactory.createBasicEmptySquareDoku(3, SudokuFactory.DEFAULT_CONSTRAINTS);
|
||||||
Sudoku sudokuToTest2 = dokuToTest2.getSubGrid(0);
|
Sudoku sudokuToTest2 = dokuToTest2.getSubGrid(0);
|
||||||
|
|||||||
Reference in New Issue
Block a user