Qu'est-ce qu'un solveur Nonogramme ?
Un solveur Nonogramme prend les indices numeriques d'un puzzle d'image logique et calcule quelles cases doivent etre remplies et quelles cases doivent rester vides. Les noms Picross, Griddlers, Hanjie et mots croises japonais designent souvent le meme type de puzzle, donc le meme outil peut servir pour toutes ces recherches.
Les indices decrivent des groupes de cases remplies. Un indice 4 2 signifie un groupe de quatre cases, au moins une case vide, puis un groupe de deux cases. Le solveur compare les possibilites de chaque ligne avec celles de chaque colonne jusqu'a trouver la grille d'image qui respecte les deux directions.
- Entrer les indices de lignes et de colonnes d'un puzzle Nonogramme, Picross, Griddlers ou Hanjie.
- Verifier si les indices ont au moins une reponse valide.
- Afficher la grille terminee quand les contraintes se recoupent correctement.
- Reperer les ensembles d'indices impossibles, trop ouverts ou ambigus.
Comment utiliser ce solveur Nonogramme
Choisissez d'abord la largeur et la hauteur. La largeur est le nombre de colonnes, et la hauteur le nombre de lignes. La taille groupe indique combien de cases d'indices apparaissent pour chaque ligne et colonne; choisissez-la assez grande pour la ligne d'indices la plus longue.
Apres creation de la grille, tapez les indices des colonnes au-dessus du plateau et les indices des lignes a gauche. Laissez les cases inutiles vides. Si une ligne ou une colonne ne contient aucune case remplie, vous pouvez la laisser vide ou entrer 0, puis cliquer sur Resoudre.
- Choisissez Largeur, Hauteur et Taille groupe.
- Cliquez sur Creer la grille.
- Entrez les indices des colonnes de haut en bas.
- Entrez les indices des lignes de gauche a droite.
- Cliquez sur Resoudre pour remplir la grille de reponse.
Comment fonctionnent les indices
Chaque nombre indique la longueur d'un bloc rempli. Plusieurs nombres dans une ligne apparaissent toujours dans l'ordre indique, avec au moins une case vide entre deux blocs. Les espaces avant le premier bloc et apres le dernier peuvent etre de n'importe quelle longueur, meme zero.
C'est cette regle simple qui rend les Nonogrammes logiques. Si un bloc est assez long pour que toutes ses positions possibles se chevauchent, les cases du chevauchement sont forcement remplies. Une fois un bloc fixe, les cases autour de lui deviennent souvent des separateurs vides.
- 5 signifie un seul groupe de cinq cases remplies.
- 1 1 signifie deux groupes d'une case, avec au moins une case vide entre eux.
- 0 ou une ligne vide signifie qu'aucune case n'est remplie dans cette ligne.
- Les lignes et colonnes doivent s'accorder sur les memes cases remplies.
Aucune solution ou plusieurs solutions
Un Nonogramme valide a besoin d'indices de lignes et de colonnes qui decrivent le meme total de cases remplies. Si les indices des lignes totalisent 32 cases remplies mais ceux des colonnes seulement 30, aucune solution ne peut exister.
Un ensemble d'indices peut aussi etre equilibre mais ambigu. Dans ce cas, plusieurs images respectent toutes les regles. Un bon Nonogramme publie a normalement une solution unique, car l'unicite permet de progresser par logique plutot que par devinettes.
Comment fonctionne le solveur
Le solveur genere d'abord tous les motifs possibles pour chaque ligne et colonne. Il retire ensuite les motifs qui contredisent les cases confirmees. Quand tous les motifs restants d'une ligne s'accordent sur une case, cette case devient forcee.
Si cette logique forcee ne suffit pas a terminer la grille, le solveur utilise une recherche controlee. Il choisit la ligne ou la colonne qui a le moins de possibilites restantes, teste un motif, puis conserve seulement les branches qui satisfont encore tous les indices croises.