adrien/Sudoku
adrien/Sudoku
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

move classes to classes.php

Browse Source
This commit is contained in:
Adrien MALINGREY 2020-10-09 17:08:56 +02:00
parent e2fdee4173
commit cfc3c712fc
4 changed files with 193 additions and 183 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

181
classes.php Normal file
View File

@ -0,0 +1,181 @@
<?php
const UNKOWN = ".";
function isKnown($box) {
return $box->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;
}
}
?>

14
game.php
View File

@ -1,5 +1,5 @@
<?php
const UNKOWN = ".";
require("classes.php");
$gridStr = basename(strip_tags($_SERVER["REQUEST_URI"]));
// URL contains grid
@ -70,7 +70,13 @@
</html>
<?php
} else {
$grid = new Grid();
$grid->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();
?>
<!DOCTYPE html>
<html>
@ -84,13 +90,13 @@
<header>
<h1>Grille incorrecte</h1>
</header>
L'adresse URL doit être de la forme : <?=$_SERVER["REQUEST_SCHEME"]?>://<?=$_SERVER["HTTP_HOST"] . dirname($_SERVER["DOCUMENT_URI"])?>/<em>grille</em>,<br/>
L'adresse URL doit être de la forme : <?=$urlDir?>/<em>grille</em>,<br/>
<em>grille</em> étant une suite de 81 caractères représentant la grille de gauche à droite puis de haut en bas, soit :
<ul>
<li>un chiffre entre 1 et 9 pour les cases connues</li>
<li>. pour les case vides</li>
<li>un point pour les case vides</li>
</ul>
<a href=".">Cliquez ici pour générer une nouvelle grille</a>
Exemple : <a href="<?=$urlExample?>"><?=$urlExample?></a><br/>
</body>
</html>
<?php

180
index.php
View File

@ -1,183 +1,5 @@
<?php
const UNKOWN = ".";
function isKnown($box) {
return $box->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;
}
}
require("classes.php");
$grid = new Grid();
$grid->generate();

1
style.css
View File

@ -8,6 +8,7 @@ h1 {
div {
display: flex;
row-gap: 0.5em;
column-gap: 0.5em;
margin: 1em auto;
justify-content: center;