premier jet

This commit is contained in:
Adrien MALINGREY 2025-04-22 15:16:38 +02:00
parent 21079af8f7
commit 6e2cd16840
3 changed files with 3356 additions and 0 deletions

2944
dico.csv Normal file

File diff suppressed because it is too large Load Diff

230
index.php Normal file
View File

@ -0,0 +1,230 @@
<?php
$default_lignes = 3;
$default_colonnes = 4;
$hauteur = filter_input(INPUT_GET, 'lignes', FILTER_VALIDATE_INT, [
"options" => [
"default" => $default_lignes,
"min_range" => 2,
"max_range" => 10
]
]);
$largeur = filter_input(INPUT_GET, 'colonnes', FILTER_VALIDATE_INT, [
"options" => [
"default" => $default_colonnes,
"min_range" => 2,
"max_range" => 10
]
]);
$dico = [];
if (($handle = fopen("dico.csv", "r")) !== FALSE) {
$header = fgetcsv($handle, 0, "\t");
while (($ligne = fgetcsv($handle, 0, "\t")) !== FALSE) {
if (count($ligne) >= 2) {
$mot = $ligne[0];
$definition = $ligne[1];
$dico[$mot] = $definition;
}
}
fclose($handle);
}
$mots = [];
foreach ($dico as $mot => $definition) {
$nb_lettres = strlen($mot);
if(!isset($mots[$nb_lettres])) {
$mots[$nb_lettres] = [];
}
$mots[$nb_lettres][] = $mot;
}
foreach ($mots as $nb_lettres => $liste_mots) {
shuffle($mots[$nb_lettres]);
}
$dimensions = [$hauteur, $largeur];
$mots_par_position = [];
foreach($dimensions as $nb_lettres) {
$mots_par_position[$nb_lettres] = [];
foreach($mots[$nb_lettres] as $mot) {
foreach(str_split($mot) as $i => $lettre) {
if (!isset($mots_par_position[$nb_lettres][$i])) {
$mots_par_position[$nb_lettres][$i] = [];
}
if (!isset($mots_par_position[$nb_lettres][$i][$lettre])) {
$mots_par_position[$nb_lettres][$i][$lettre] = [];
}
$mots_par_position[$nb_lettres][$i][$lettre][] = $mot;
}
}
}
$grille = [];
for($l = 0; $l < $hauteur; $l++) {
$grille[$l] = array_fill(0, $largeur, '.');
}
function get_ligne($l) {
global $grille;
return implode("", $grille[$l]);
}
function set_ligne($l, $mot) {
global $grille;
for($i = 0; $i < strlen($mot); $i++) {
$grille[$l][$i] = $mot[$i];
}
}
function get_colonne($c) {
global $grille;
$colonne = "";
for($i = 0; $i < count($grille); $i++) {
$colonne .= $grille[$i][$c];
}
return $colonne;
}
function set_colonne($c, $mot) {
global $grille;
for($i = 0; $i < strlen($mot); $i++) {
$grille[$i][$c] = $mot[$i];
}
}
$lignes_restantes = range(0, $hauteur-1);
$colonnes_restantes = range(0, $largeur-1);
function genere() {
global $mots;
global $grille;
global $lignes_restantes;
global $largeur;
$l = $largeur / 2;
array_splice($lignes_restantes, $l, 1);
foreach($mots[$largeur] as $mot_lig) {
set_ligne($l, $mot_lig);
yield from trouve_une_colonne($l, $mot_lig);
}
$lignes_restantes[] = $l;
$grille[$l] = array_fill(0, $largeur, '.');
}
function pire_contrainte($tests, $nb_lettres, $i, $mot) {
global $mots_par_position;
$nb_mots_min = PHP_INT_MAX;
$pire_contrainte = 0;
foreach($tests as $test) {
if(
!array_key_exists($i, $mots_par_position[$nb_lettres]) ||
!array_key_exists($mot[$test], $mots_par_position[$nb_lettres][$i])
) {
return -1;
} else {
$nb_mots = count($mots_par_position[$nb_lettres][$i][$mot[$test]]);
if($nb_mots < $nb_mots_min) {
$pire_contrainte = $test;
$nb_mots_min = $nb_mots;
}
}
}
return $pire_contrainte;
}
function trouve_une_colonne($l, $mot_lig) {
global $grille;
global $colonnes_restantes;
global $lignes_restantes;
global $hauteur;
global $mots_par_position;
$c = pire_contrainte($colonnes_restantes, $hauteur, $l, $mot_lig);
if ($c == -1) {
return;
}
$colonne = get_colonne($c);
array_splice($colonnes_restantes, $c, 1);
foreach ($mots_par_position[$hauteur][$l][$mot_lig[$c]] as $mot_col) {
if ($mot_col == $colonne || preg_match("/^$colonne$/", $mot_col)) {
set_colonne($c, $mot_col);
if (count($lignes_restantes)) {
yield from trouve_une_ligne($c, $mot_col);
} else if (count($colonnes_restantes)) {
yield from trouve_une_colonne($l, $mot_lig);
} else {
yield;
}
}
}
$colonnes_restantes[] = $c;
set_colonne($c, $colonne);
}
function trouve_une_ligne($c, $mot_col) {
global $grille;
global $colonnes_restantes;
global $lignes_restantes;
global $largeur;
global $mots_par_position;
$l = pire_contrainte($lignes_restantes, $largeur, $c, $mot_col);
if ($l == -1) {
return;
}
$ligne = get_ligne($l);
array_splice($lignes_restantes, $l, 1);
foreach ($mots_par_position[$largeur][$c][$mot_col[$l]] as $mot_lig) {
if ($mot_lig == $ligne || preg_match("/^$ligne$/", $mot_lig)) {
set_ligne($l, $mot_lig);
if (count($colonnes_restantes)) {
yield from trouve_une_colonne($l, $mot_lig);
} else if (count($lignes_restantes)) {
yield from trouve_une_ligne($c, $mot_col);
} else {
yield;
}
}
}
$lignes_restantes[] = $l;
set_ligne($l, $ligne);
}
genere()->current();
?>
<!DOCTYPE HTML>
<html>
<head>
<meta charset="utf-8">
<title>Mots croisés</title>
<style>
table {
border-collapse: collapse;
}
td {
width: 30px;
height: 30px;
text-align: center;
border: 1px solid black;
}
</style>
</head>
<body>
<table>
<tr>
<th></th>
<?php for($c=0; $c<$largeur; $c++): ?>
<th><?=chr($c+65)?></th>
<?php endfor; ?>
</tr>
<?php for($l=0; $l<$hauteur; $l++): ?>
<tr>
<th><?=$l?></th>
<?php for($c=0; $c<$largeur; $c++): ?>
<td><?=$grille[$l][$c]?></td>
<?php endfor; ?>
</tr>
<?php endfor; ?>
</table>
</html>

182
test.py Normal file
View File

@ -0,0 +1,182 @@
import csv
from re import compile, match
from random import choice, sample, randrange
from collections import defaultdict
from math import ceil
from itertools import product, chain
dico = defaultdict(list)
with open("dico.csv", "r", encoding="utf-8") as fichier:
for mot, definition in csv.reader(fichier, delimiter="\t"):
if not mot.startswith("#"):
dico[mot].append(definition)
mots = defaultdict(set)
for mot in dico:
mots[len(mot)].add(mot)
def melange(iterable):
liste = list(iterable)
return sample(liste, len(liste))
def mots_de_n_lettres(n):
for mot in melange(mots[n]):
yield mot
for mot in melange(mots[n-1]):
yield f"{mot} "
yield f" {mot}"
for i in range(2, ceil(n / 2)):
for mot1, mot2 in product(mots[i], mots_de_n_lettres(n - i - 1)):
yield f"{mot1} {mot2}"
yield f"{mot2} {mot1}"
for i in range(2, ceil((n-1) / 2)):
for mot1, mot2 in product(mots[i], mots_de_n_lettres(n - i - 2)):
yield f" {mot1} {mot2}"
yield f"{mot2} {mot1} "
class Ligne:
def __init__(self, grille):
self.grille = grille
def __getitem__(self, n):
return "".join(self.grille[n])
def __setitem__(self, n, mot):
self.grille[n] = list(mot)
class Colonne:
def __init__(self, grille):
self.grille = grille
def __getitem__(self, n):
return "".join(row[n] for row in self.grille)
def __setitem__(self, n, mot):
for i, char in enumerate(mot):
self.grille[i][n] = char
class Grille:
def __init__(self, hauteur, largeur):
self.hauteur = hauteur
self.largeur = largeur
self.grille = [["." for _ in range(largeur)] for _ in range(hauteur)]
self.ligne = Ligne(self.grille)
self.colonne = Colonne(self.grille)
self.mots_de_n_lettres = {
hauteur: set(mots_de_n_lettres(hauteur)),
largeur: set(mots_de_n_lettres(largeur)),
}
self.mots_par_position = defaultdict(lambda: defaultdict(set))
for nb_lettres in (self.largeur, self.hauteur):
for mot in self.mots_de_n_lettres[nb_lettres]:
for i, lettre in enumerate(mot):
self.mots_par_position[nb_lettres][(i, lettre)].add(mot)
self.generations = self.genere()
try:
next(self)
except StopIteration:
pass
def __iter__(self):
return self
def __next__(self):
return next(self.generations)
def genere(self):
self.lignes_restantes = set(range(self.hauteur))
self.colonnes_restantes = set(range(self.largeur))
l = self.hauteur // 2
self.lignes_restantes.remove(l)
for mot_lig in self.mots_de_n_lettres[self.largeur]:
if ' ' in mot:
continue
self.ligne[l] = mot_lig
yield from self.trouve_une_colonne(l, mot_lig)
self.ligne[l] = "." * self.largeur
self.lignes_restantes.add(l)
def trouve_une_colonne(self, l, mot_lig):
#print((len(self.colonnes_restantes) + len(self.lignes_restantes)) / (self.largeur + self.hauteur))
#print(self)
c = min(
self.colonnes_restantes,
key=lambda c: len(self.mots_par_position[self.hauteur][(l, mot_lig[c])])
)
if not self.mots_par_position[self.hauteur][(l, mot_lig[c])]:
return
colonne = self.colonne[c]
self.colonnes_restantes.remove(c)
pattern = compile(rf"\b{colonne}\b")
for mot_col in self.mots_par_position[self.hauteur][(l, mot_lig[c])]:
if colonne == mot_col or pattern.match(mot_col):
self.colonne[c] = mot_col
if self.lignes_restantes:
yield from self.trouve_une_ligne(c, mot_col)
elif self.colonnes_restantes:
yield from self.trouve_une_colonne(l, mot_lig)
else:
yield self
self.colonne[c] = colonne
self.colonnes_restantes.add(c)
def trouve_une_ligne(self, c, mot_col):
l = min(
self.lignes_restantes,
key=lambda l: len(self.mots_par_position[self.largeur][(c, mot_col[l])])
)
if not self.mots_par_position[self.largeur][(c, mot_col[l])]:
return
ligne = self.ligne[l]
self.lignes_restantes.remove(l)
pattern = compile(rf"\b{ligne}\b")
for mot_lig in self.mots_par_position[self.largeur][(c, mot_col[l])]:
if ligne == mot_lig or pattern.match(mot_lig):
self.ligne[l] = mot_lig
if self.colonnes_restantes:
yield from self.trouve_une_colonne(l, mot_lig)
elif self.lignes_restantes:
yield from self.trouve_une_ligne(c, mot_col)
else:
yield self
self.ligne[l] = ligne
self.lignes_restantes.add(l)
def __str__(self):
return (
" "
+ " ".join(chr(65 + i) for i in range(self.largeur))
+ "\n"
+ "\n".join(
f"{i + 1:2} " + " ".join(ligne) for i, ligne in enumerate(self.grille)
)
)
def __repr__(self):
return self.__str__()
if __name__ == "__main__":
import time
class Timer:
def __enter__(self):
self.start = time.time()
return self
def __exit__(self, *exc_info):
end = time.time()
print(f"Execution time: {end - self.start:.2f} seconds")
for n in range(3, 14):
with Timer():
print(Grille(n, n))
with Timer():
print(Grille(n, n+1))