Compare commits

...

4 Commits

Author SHA1 Message Date
c20d2324e9 FAST & FURIOUS 2025-05-06 17:44:16 +02:00
65bb8be2e3 Revert "Merge branch 'tmp3'"
This reverts commit ed1ad0566f8c73d8855f66051e4c00818c52aab7, reversing
changes made to 6ee909914d7aca7c88d8247417d8c9b4ef033c79.
2025-05-06 17:29:51 +02:00
ed1ad0566f Merge branch 'tmp3' 2025-05-06 17:27:47 +02:00
47be3d2e51 FAST & FURIOUS 2025-05-06 16:56:59 +02:00
3 changed files with 66 additions and 42 deletions

View File

@ -2,7 +2,23 @@
include_once "dico.php";
class Grille implements ArrayAccess {
$randmax = mt_getrandmax() + 1;
function gaussienne($moyenne = 0, $ecartType = 1.0): float {
global $randmax;
$u = 0;
$v = 0;
$u = (mt_rand() + 1) / $randmax;
$v = (mt_rand() + 1) / $randmax;
$z = sqrt(-2.0 * log($u)) * cos(2.0 * M_PI * $v);
return $z * $ecartType + $moyenne;
}
class Grille implements ArrayAccess
{
public $grille;
public $hauteur;
public $largeur;
@ -11,6 +27,8 @@ class Grille implements ArrayAccess {
private $nb_positions;
public $lignes = [];
public $colonnes = [];
public $valide = false;
private $id;
public function __construct($hauteur, $largeur)
{
@ -44,29 +62,31 @@ class Grille implements ArrayAccess {
return $colonne;
}
public function gen_grilles($i = 0, $lettres_suivantes_ligne = NULL)
public function gen_grilles($i = 0, $lettres_ligne = NULL)
{
[$x, $y] = $this->positions[$i];
if ($x == 0) {
$lettres_suivantes_ligne = $this->lettres_suivantes[$this->largeur];
$lettres_ligne = $this->lettres_suivantes[$this->largeur];
}
$lettres_suivantes_colonne = $this->lettres_suivantes[$this->hauteur];
for ($y2 = 0; $y2 < $y; $y2++)
$lettres_suivantes_colonne = $lettres_suivantes_colonne->noeud[$this->grille[$y2][$x]];
$lettres_communes = array_intersect(
array_keys($lettres_suivantes_ligne->noeud),
array_keys($lettres_suivantes_colonne->noeud)
$lettres_colonne = $this->lettres_suivantes[$this->hauteur];
for ($y2 = 0; $y2 < $y; $y2++) {
$lettres_colonne = $lettres_colonne->noeud[$this->grille[$y2][$x]];
}
$lettres_communes = array_intersect_key(
$lettres_ligne->noeud,
$lettres_colonne->noeud
);
foreach ($lettres_communes as $lettre => $_) {
$lettres_communes[$lettre] = count($lettres_suivantes_colonne[$lettre]) * count($lettres_suivantes_colonne[$lettre]);
$lettres_communes[$lettre] = count($lettres_ligne->noeud[$lettre]) * count($lettres_colonne->noeud[$lettre]) * gaussienne(1, 5);
}
usort($lettres_communes, function ($a, $b) {
return mt_rand(-1, 1);
uksort($lettres_communes, function($a, $b) use ($lettres_communes) {
return $lettres_communes[$b] <=> $lettres_communes[$a];
});
$lettres_communes = array_slice($lettres_communes, 0, 3);
foreach ($lettres_communes as $lettre) {
foreach ($lettres_communes as $lettre => $_) {
$this->grille[$y][$x] = $lettre;
$mots = [];
@ -94,24 +114,23 @@ class Grille implements ArrayAccess {
}
if ($i < $this->nb_positions - 1) {
yield from $this->gen_grilles($i + 1, $lettres_suivantes_ligne->noeud[$lettre]);
yield from $this->gen_grilles($i + 1, $lettres_ligne->noeud[$lettre]);
} else {
yield $this;
}
}
}
public function genere() {
session_regenerate_id();
$id = session_id();
public function genere($id)
{
mt_srand(crc32($id));
$grilles = $this->gen_grilles();
$grilles->current();
if ($grilles->valid()) {
$this->save();
return $id;
$this->save($id);
return true;
} else {
return false;
}
@ -125,7 +144,9 @@ class Grille implements ArrayAccess {
return hash('sha256', $string);
}
public function save() {
public function save($id)
{
session_id($id);
session_start(["use_cookies" => false]);
$_SESSION["$this->largeur,$this->hauteur"] = implode(
@ -137,13 +158,16 @@ class Grille implements ArrayAccess {
$this->grille
)
);
var_dump($_SESSION);
}
public function load($id) {
public function load($id)
{
session_id($id);
session_start(["use_cookies" => false]);
if (!isset($_SESSION["$this->largeur,$this->hauteur"])) {
var_dump($_SESSION);
return false;
}
@ -171,19 +195,23 @@ class Grille implements ArrayAccess {
}
public function offsetExists(mixed $offset): bool {
public function offsetExists(mixed $offset): bool
{
return isset($this->grille[$offset]);
}
public function offsetGet(mixed $offset): mixed {
public function offsetGet(mixed $offset): mixed
{
return $this->grille[$offset];
}
public function offsetSet(mixed $offset, mixed $value): void {
public function offsetSet(mixed $offset, mixed $value): void
{
$this->grille[$offset] = $value;
}
public function offsetUnset(mixed $offset): void {
public function offsetUnset(mixed $offset): void
{
unset($this->grille[$offset]);
}
}

View File

@ -1,8 +1,7 @@
<?php
class Trie implements ArrayAccess, IteratorAggregate, Countable
{
class Trie implements ArrayAccess, IteratorAggregate, Countable {
public array $noeud = [];
private $nb_branches = 0;
@ -79,5 +78,3 @@ class Trie implements ArrayAccess, IteratorAggregate, Countable
return $this->nb_branches;
}
}

View File

@ -31,8 +31,8 @@ $grille = new Grille($hauteur, $largeur);
if (!isset($_GET["grille"]) || $_GET["grille"] == "") {
do {
$id = $grille->genere();
} while (!$id);
$id = uniqid();
} while (!$grille->genere($id));
$_GET["grille"] = $id;
header("Location: " . dirname($_SERVER['DOCUMENT_URI']) . "?" . http_build_query($_GET));
@ -41,11 +41,10 @@ if (!isset($_GET["grille"]) || $_GET["grille"] == "") {
$id = htmlspecialchars($_GET["grille"]);
$grille_valide = $grille->load($id) || $grille->genere();
$grille_valide = $grille->load($id) || $grille->genere($id);
if ($grille_valide) {
mt_srand(crc32($id));
if ($grille_valide) {
$definitions_horizontales = [];
for ($y = 0; $y < $hauteur; $y++) {
$definitions_horizontales[$y] = [];