diff --git a/classes.php b/classes.php
new file mode 100644
index 0000000..be9ae35
--- /dev/null
+++ b/classes.php
@@ -0,0 +1,181 @@
+value != UNKOWN;
+ }
+
+
+ function isUnknown($box) {
+ return $box->value == UNKOWN;
+ }
+
+ function easyFirst($box1, $box2) {
+ return count($box1->allowedValues) - count($box2->allowedValues);
+ }
+
+ function array_unset_value($value, &$array) {
+ $key = array_search($value, $array);
+ if ($key !== false) {
+ unset($array[$key]);
+ return true;
+ } else {
+ return false;
+ }
+ }
+
+ class Box {
+ public $values = array("1", "2", "3", "4", "5", "6", "7", "8", "9");
+
+ function __construct($rowId, $columnId, $regionId) {
+ $this->value = UNKOWN;
+ $this->rowId = $rowId;
+ $this->columnId = $columnId;
+ $this->regionId = $regionId;
+ $this->allowedValues = $this->values;
+ $this->testValueWasAllowed = array();
+ $this->neighbourhood = array();
+ }
+
+ function searchAllowedValues() {
+ $this->allowedValues = $this->values;
+ forEach($this->neighbourhood as $neighbour) {
+ if ($neighbour->value != UNKOWN)
+ array_unset_value($neighbour->value, $this->allowedValues);
+ }
+ }
+ }
+
+ class Grid {
+ function __construct() {
+ $this->boxes = array();
+ $this->rows = array_fill(0, 9, array());
+ $this->columns = array_fill(0, 9, array());
+ $this->regions = array_fill(0, 9, array());
+ for ($regionRowId = 0; $regionRowId < 3; $regionRowId++) {
+ for($regionColumnId = 0; $regionColumnId < 3; $regionColumnId++) {
+ for ($rowId = 3*$regionRowId; $rowId < 3*($regionRowId+1); $rowId++) {
+ for ($columnId = 3*$regionColumnId; $columnId < 3*($regionColumnId+1); $columnId++) {
+ $regionId = 3*$regionRowId + $regionColumnId;
+ $box = new Box($rowId, $columnId, $regionId);
+ $this->boxes[] = $box;
+ $this->rows[$rowId][] = $box;
+ $this->columns[$columnId][] = $box;
+ $this->regions[$regionId][] = $box;
+ }
+ }
+ }
+ }
+
+ // box.neighbourhood: boxes in the same row, column and region as box
+ foreach($this->boxes as $box) {
+ foreach(array_merge($this->rows[$box->rowId], $this->columns[$box->columnId], $this->regions[$box->regionId]) as $neighbour)
+ if ($box != $neighbour && !in_array($neighbour, $box->neighbourhood))
+ $box->neighbourhood[] = $neighbour;
+ }
+ }
+
+ function generate() {
+ // Init with a shuffle row
+ $values = array("1", "2", "3", "4", "5", "6", "7", "8", "9");
+ shuffle($values);
+ forEach($values as $columnId => $value) {
+ $box = $this->rows[0][$columnId];
+ $box->value = $value;
+ forEach($box->neighbourhood as $neighbour)
+ array_unset_value($box->value, $neighbour->allowedValues);
+ }
+ // Fill grid
+ $this->findSolutions(true)->current();
+
+ // Remove clues while there is still a unique solution
+ shuffle($this->boxes);
+ $nbClues = count($this->boxes);
+ foreach($this->boxes as $testBox) {
+ $testBoxes = array($testBox);
+ if ($nbClues >=30)
+ $testBoxes[] = $this->rows[8-$testBox->rowId][8-$testBox->columnId];
+ if ($nbClues >=61) {
+ $testBoxes[] = $this->rows[8-$testBox->rowId][$testBox->columnId];
+ $testBoxes[] = $this->rows[$testBox->rowId][8-$testBox->columnId];
+ }
+ $testBoxes = array_filter($testBoxes, "isKnown");
+ $erasedValues = array();
+ forEach($testBoxes as $testBox) {
+ $erasedValues[] = $testBox->value;
+ $testBox->value = UNKOWN;
+ forEach($testBox->neighbourhood as $neighbour)
+ $neighbour->searchAllowedValues();
+ }
+ if ($this->isValid()) {
+ $nbClues -= count($testBoxes);
+ } else {
+ forEach($testBoxes as $i => $testBox) {
+ $testBox->value = $erasedValues[$i];
+ forEach($testBox->neighbourhood as $neighbour) array_unset_value($testBox->value, $neighbour->allowedValues);
+ }
+ }
+ }
+ }
+
+ function isValid() {
+ $solutionsFinder = $this->findSolutions(false);
+ $solutionsFound = array();
+ foreach($solutionsFinder as $solution) {
+ $solutionsFound[$solution] = true;
+ if (count($solutionsFound) > 1) {
+ $solutionsFinder->send(true);
+ }
+ }
+ return count($solutionsFound) == 1;
+ }
+
+ function findSolutions($randomized=false) {
+ $emptyBoxes = array_filter($this->boxes, "isUnknown");
+ if (count($emptyBoxes)) {
+ if ($randomized) shuffle($emptyBoxes);
+ usort($emptyBoxes, "easyFirst");
+ $testBox = $emptyBoxes[0];
+ $nbTries = 0;
+ if ($randomized) shuffle($testBox->allowedValues);
+ $stop = null;
+ foreach($testBox->allowedValues as $testBox->value) {
+ foreach($testBox->neighbourhood as $neighbour)
+ $neighbour->testValueWasAllowed[] = array_unset_value($testBox->value, $neighbour->allowedValues);
+ $correctGrid = true;
+ foreach(array_filter($testBox->neighbourhood, "isUnknown") as $neighbour) {
+ if (count($neighbour->allowedValues) == 0) $correctGrid = false;
+ }
+ if ($correctGrid) {
+ $solutionsFinder = $this->findSolutions($randomized);
+ foreach($solutionsFinder as $solution) {
+ $stop = (yield $solution);
+ if ($stop) {
+ $solutionsFinder->send($stop);
+ break;
+ }
+ }
+
+ }
+ forEach($testBox->neighbourhood as $neighbour)
+ if (array_pop($neighbour->testValueWasAllowed))
+ $neighbour->allowedValues[] = $testBox->value;
+ if ($stop) break;
+ }
+ $testBox->value = UNKOWN;
+ } else {
+ yield $this->toString();
+ }
+ }
+
+ function toString() {
+ $str = "";
+ foreach($this->rows as $row) {
+ forEach($row as $box) {
+ $str .= ($box->value? $box->value : UNKOWN);
+ }
+ }
+ return $str;
+ }
+ }
+?>
diff --git a/game.php b/game.php
index 83abbb1..f469cf8 100644
--- a/game.php
+++ b/game.php
@@ -1,5 +1,5 @@
generate();
+
header("HTTP/1.0 400 Bad Request", true, 400);
+
+ $urlDir = $_SERVER["REQUEST_SCHEME"] . "://" . $_SERVER["HTTP_HOST"] . dirname($_SERVER["DOCUMENT_URI"]);
+ $urlExample = $urlDir . "/" . $grid->toString();
?>
@@ -84,13 +90,13 @@
- L'adresse URL doit être de la forme : :///grille,
+ L'adresse URL doit être de la forme : /grille,
grille étant une suite de 81 caractères représentant la grille de gauche à droite puis de haut en bas, soit :
- un chiffre entre 1 et 9 pour les cases connues
- - . pour les case vides
+ - un point pour les case vides
- Cliquez ici pour générer une nouvelle grille
+ Exemple :