# Générateur de puzzles Kakuro / Fillomino / Masyu / Yajilin / Hashiwokakero / Nurikabe / Slitherlink / Star Battle avec preuve d'unicité Génère de façon déterministe par graine des puzzles de 8 familles Nikoli (même graine, même grille) : Kakuro dense, Fillomino, Masyu, Yajilin, Hashiwokakero, Nurikabe, Slitherlink et Star Battle ; chaque grille naît « solution d'abord » et se vérifie par un solveur exhaustif comptant les solutions jusqu'à deux — l'unicité est prouvée, et si le budget s'épuise elle est honnêtement « non prouvée » ; SVG puzzle + solution et difficulté par nœuds de recherche inclus. > Page canonique: https://elysiatools.com/fr/tools/kakuro-fillomino-masyu-yajilin-hashiwokakero-nurikabe-slitherlink-and-star-battle-puzzle-generator-with-uniqueness-prover - **Catégorie:** Games - **Mots-clés:** générateur de puzzles, solution unique, Nikoli, puzzle logique, kakuro, slitherlink, nurikabe ## Présentation Solveurs (tous exhaustifs, pas heuristiques) : Kakuro case par case avec bornes de sommes ; Fillomino par placement de régions (polyominoes fixes ancrés en ordre de balayage — chaque pavage compté une fois ; la révélation en damier garantit la complétude : toute région ≥2 cases contient un indice révélé) ; Masyu/Yajilin par énumération de cycles (ancre avec ordre d'arêtes pour dédupliquer, perles validées à la sortie) ; Hashiwokakero ligne à ligne 0/1/2 ponts (degrés, croisements précalculés, connectivité finale) ; Nurikabe par placement (île = exactement un indice de taille exacte, mer connexe, sans flaques 2×2) ; Slitherlink arêtes groupées par sommet + fermeture de cycle par union-find ; Star Battle par lignes. Difficulté = nœuds (<2k facile, <30k moyen). Unicité : compter jusqu'à 2 — count=1 sans épuiser le budget = « prouvée » ; budget épuisé = « non prouvée ». Même famille+graine, même grille. ## Entrées - **Famille de puzzle** (select) - **Graine (déterministe)** (number): 12345 - **Afficher le SVG solution** (checkbox) ## Quand l'utiliser - Créer des grilles de jeux imprimables ou publiables avec la garantie mathématique d'une solution unique. - Reproduire ou partager une grille spécifique de façon reproductible grâce au système de graine déterministe. - Obtenir instantanément un puzzle logique accompagné de son tracé de solution vectoriel au format SVG. ## Fonctionnement - Sélectionnez l'une des 8 familles de puzzles Nikoli disponibles dans le menu déroulant. - Définissez une graine numérique pour générer une grille spécifique ou reproduire un tirage antérieur. - Activez ou désactivez l'option d'affichage du SVG de la solution selon vos besoins de publication. - Le moteur construit la grille, exécute le solveur exhaustif de décompte de solutions et renvoie le SVG du puzzle, la preuve d'unicité et le volume de nœuds explorés. ## Cas d'usage - Édition de revues et livres de jeux logiques nécessitant des grilles vectorielles vérifiées avec leurs solutions. - Conception d'épreuves de compétitions de logique garantissant l'absence de solutions alternatives ou d'ambiguïtés. - Génération de supports pédagogiques et d'exercices d'entraînement pour amateurs de casse-têtes Nikoli. ## Questions fréquentes ### Quelles sont les 8 familles de puzzles Nikoli prises en charge ? L'outil prend en charge Kakuro, Fillomino, Masyu, Yajilin, Hashiwokakero (Ponts), Nurikabe, Slitherlink et Star Battle. ### Comment l'unicité de la solution est-elle prouvée ? Un solveur exhaustif sans heuristique cherche jusqu'à 2 solutions : s'il s'arrête à exactement 1 sans épuiser son budget de recherche, l'unicité est formellement prouvée. ### Que signifie le statut « non prouvée » ? Il indique que le budget maximal de nœuds de recherche a été atteint avant que le solveur n'ait pu explorer tout l'arbre des possibilités. ### Comment est calculé le niveau de difficulté ? La difficulté dépend du nombre de nœuds explorés par le solveur exhaustif : moins de 2 000 nœuds pour facile et moins de 30 000 pour moyen. ### Une même graine donne-t-elle toujours le même puzzle ? Oui, pour une famille donnée, une même valeur de graine produit systématiquement la même grille et la même configuration d'indices. ## Outils associés - [Générateur de maillage de dégradés CSS (conique + radial)](https://elysiatools.com/fr/tools/css-gradient-mesh-generator): Génère le « maillage de dégradés » à la mode sur Dribbble/Behance depuis 2024 : plusieurs dégradés radiaux (tache de couleur → fondu vers du transparent de même teinte) empilés sur une couleur de base (éventuellement une couche conique), avec modes de fusion, grain de film SVG, dispositions seedées (coins / anneau / dispersion / grille), aperçu en direct, CSS copiable et classe arbitraire Tailwind. Les taches s'estompent en hex 8 chiffres #RRGGBB00, évitant l'anneau gris du mot-clé transparent. - [Studio de graphiques CSV : histogramme, nuage de points et boîtes](https://elysiatools.com/fr/tools/csv-histogram-scatter-box-plot-chart-studio): Chargez ou collez un CSV et tracez aussitôt : histogrammes selon Sturges / Freedman-Diaconis / Scott, nuage de points avec r de Pearson et droite des moindres carrés, boîtes de Tukey — chaque graphique téléchargeable en PNG et SVG. - [Générateur de sprite sheet SVG](https://elysiatools.com/fr/tools/svg-sprite-generator): Téléversez jusqu'à 30 icônes SVG et fusionnez-les en une seule sprite sheet : mode pour en ligne, mode pour fragments de fichier externe. Normalise le viewBox (déduit de width/height), déduplique les icônes, peut retirer fill/stroke pour currentColor, nettoie toujours et attributs on\*, et génère les snippets HTML / React / Vue / CSS avec aperçu en direct de chaque icône. - [Generateur de Favicon SVG](https://elysiatools.com/fr/tools/svg-favicon-generator): Transforme un logo SVG ou raster en pack favicon complet avec ICO, variantes PNG, icone Apple Touch et web manifest - [Visualiseur du flux OAuth 2.0 / OIDC à code d’autorisation avec PKCE](https://elysiatools.com/fr/tools/oauth-oidc-authorization-code-pkce-flow-visualizer): Simule de bout en bout le flux à code d’autorisation avec PKCE : génération verifier/challenge, URL d’autorisation, échange de token, liste de validation de l’ID Token et démonstration d’attaque par interception. - [Générateur de PKCE Code Verifier et Challenge](https://elysiatools.com/fr/tools/pkce-code-verifier-generator): Génère, valide et vérifie les paires code_verifier / code_challenge PKCE (RFC 7636) OAuth2 / OIDC. Trois modes : (1) générer une nouvelle paire depuis des octets aléatoires cryptographiques (256/384/512/768 bits), (2) auditer un verifier existant selon le RFC — longueur (43–128), charset \[A-Za-z0-9-._~\] et ≥256 bits d'entropie, et (3) vérifier une paire en recalculant BASE64URL(SHA256(verifier)). Construit en option l'URL complète de requête d'autorisation et le corps d'échange de token. Complète le nonce-generator générique (qui n'émet que la paire) avec l'audit de conformité RFC et la vérification de paire. - [Générateur de codes TOTP / HOTP hors ligne](https://elysiatools.com/fr/tools/totp-hotp-offline-generator): Génère des mots de passe à usage unique TOTP RFC 6238 (6/8 chiffres, 30/60 s) et HOTP RFC 4226 (par compteur) à partir d’un secret base32, hors ligne, avec HMAC-SHA1/256/512, et exporte une URI otpauth:// - [Générateur de Data URI](https://elysiatools.com/fr/tools/data-uri-generator): Convertit les fichiers en Data URI (Base64 ou pourcentage-encodé) pour intégrer images, polices et ressources directement dans HTML, CSS ou Markdown ## Exemples - [Exemples SVG](https://elysiatools.com/fr/samples/svg-samples): Exemples de graphiques vectoriels évolutifs (SVG) démontrant diverses fonctionnalités et techniques SVG - [Exemples D3.js Data Visualization](https://elysiatools.com/fr/samples/d3js-data-visualization): Exemples complets de visualisation de données D3.js incluant graphiques, cartes, animations et visualisations interactives - [Échantillons SVG](https://elysiatools.com/fr/samples/svg-viewer-samples): Graphiques vectoriels d'exemple pour la visionneuse SVG - [Exemples XML](https://elysiatools.com/fr/samples/xml-samples): Exemples de format XML (eXtensible Markup Language) de structures simples à complexes