Les techniques de nonogrammes sont des déductions logiques répétables qui prouvent qu’une ou plusieurs cases sont remplies ou vides sans s’appuyer sur l’image cachée ni sur une supposition non justifiée.
La plupart des techniques peuvent se ramener à une question :
Quels états de cases sont communs à tous les placements encore légaux compte tenu des indices et des cases déjà connues ?
Les techniques simples répondent souvent visuellement. Les techniques avancées rendent les contraintes de placement plus explicites.
Avant d’apprendre les techniques
Vous devez déjà maîtriser quatre idées :
- les indices décrivent des blocs ordonnés de cases remplies consécutives ;
- deux blocs monochromes consécutifs nécessitent au moins une case vide entre eux ;
- une case peut être remplie, vide ou encore indéterminée ;
- toute déduction faite sur une ligne devient une nouvelle contrainte pour sa colonne, et inversement.
Si ces notions sont encore nouvelles, commencez par les Guides sur les indices, les états de cases et les blocs.
Bases de logique de ligne
Ces techniques utilisent directement la séquence d’indices et la longueur disponible.
Ajustement exact
Lorsque les indices et leurs séparations obligatoires utilisent toute la ligne ou tout le segment disponible, chaque état est fixé immédiatement.
Avec les indices 3 2 dans six cases :
■■■×■■
Il ne reste aucune marge, donc aucun autre placement n’est possible.
Lignes vides et indice zéro
Si une ligne ou une colonne ne contient aucun bloc rempli, toutes ses cases sont vides.
L’interface peut afficher cette situation de plusieurs manières — zone d’indice vide, absence de nombre ou parfois 0 — mais le sens logique est identique : aucune case de cette ligne ne peut être remplie.
Chevauchement et liberté de placement
Le chevauchement révèle les cases qui restent remplies même lorsque le bloc peut encore se déplacer parmi plusieurs positions légales.
Méthode du chevauchement
Pour un bloc long, comparez son placement légal le plus tôt et son placement légal le plus tard. Les cases occupées par le même bloc dans les deux extrêmes sont forcément remplies.
Chevauchement avec plusieurs indices
Avec plusieurs blocs, l’identité du bloc est essentielle. Une case visuellement commune aux deux dessins extrêmes n’est pas forcément certaine si elle appartient à des blocs différents dans les deux placements.
Extension minimale et marge
L’extension minimale est la somme des longueurs remplies plus les séparations obligatoires. La marge est la liberté de placement restante.
Une faible marge implique moins d’arrangements légaux et produit souvent des déductions plus fortes.
Placement des blocs et limites
Dès que certaines cases sont connues, on peut raisonner plus directement sur les positions de départ, de fin et de portée de chaque bloc.
Ancrage au bord
Une case remplie confirmée près d’un bord peut forcer une partie du bloc, car celui-ci ne peut pas dépasser la limite physique de la ligne.
Blocs terminés et séparateurs
Lorsqu’un bloc est prouvé terminé et que son identité est connue, les cases immédiatement extérieures doivent être vides lorsqu’elles existent. Ces séparateurs empêchent le bloc de s’allonger ou de fusionner illégalement avec un autre.
Extension de blocs confirmés
Un fragment rempli confirmé peut devoir s’étendre lorsque son indice attribué est plus long que le fragment visible et que seules certaines extensions restent légales.
Portée des blocs et cases inaccessibles
Suivez toutes les cases qu’un bloc donné peut encore occuper. Si aucun bloc restant ne peut légalement atteindre une case, celle-ci est forcément vide.
Espaces, segments et attribution des indices
Les cases vides confirmées remodèlent une ligne. Elles peuvent créer des régions trop petites pour certains indices ou diviser un grand problème de placement en plusieurs sous-problèmes.
Élimination des espaces
Si une région ouverte ne peut accueillir aucun bloc restant compte tenu de l’ordre des indices, elle peut être marquée vide.
Segmentation de ligne
Les cases vides confirmées divisent une ligne en segments ouverts. Résoudre la ligne revient alors en partie à déterminer quels blocs peuvent habiter quels segments.
Attribution des indices aux segments
Un indice peut devenir forcé dans un segment lorsqu’aucun autre segment ne peut l’accueillir tout en conservant l’ordre et l’espace nécessaire pour les indices restants.
Unir ou séparer des blocs
Des fragments remplis connus peuvent être forcés à appartenir au même bloc, ou au contraire à des blocs différents, selon la longueur des indices, la séparation et l’espace restant.
Analyse avancée d’une ligne
Ces techniques décrivent l’ensemble des positions légales plutôt qu’un seul raccourci visuel local.
Ordre des blocs et limites de placement
Chaque bloc possède une position la plus tôt et une position la plus tard compatibles avec les blocs précédents/suivants et avec les cases déjà remplies ou vides. Resserrez ces limites et certaines cases deviennent forcées avant même de connaître le placement exact.
Motifs de ligne valides
Un motif de ligne valide est une configuration complète qui satisfait la séquence d’indices et tous les états de cases actuellement connus.
Si chaque motif valide remplit une case, elle est forcément remplie. Si tous la laissent vide, elle est forcément vide.
C’est la vision générale de la résolution d’une ligne derrière de nombreuses techniques plus simples.
Techniques entre lignes
Un nonogramme n’est pas une collection de problèmes 1D indépendants. Chaque case relie une ligne et une colonne.
Recoupement des lignes et colonnes
Appliquez chaque résultat obtenu sur une ligne comme contrainte de sa colonne croisée, puis chaque résultat de colonne dans sa ligne.
Propagation des contraintes et cascades
Répétez l’analyse après chaque changement pertinent. Une case forcée peut éliminer des motifs dans une ligne croisée, forcer une autre case et déclencher une cascade à travers plusieurs lignes et colonnes.
Raisonnement global et multilignes
Lorsque chaque ligne reste localement valide après une propagation complète, la contrainte manquante peut se trouver uniquement dans l’interaction de plusieurs lignes ou régions.
Raisonnement multilignes
Comparez des combinaisons d’états de lignes/colonnes plutôt que chaque ligne isolément. Les outils avancés comprennent la logique de frontière entre lignes voisines, les conséquences communes de cas exhaustifs, le comptage régional/capacité et la symétrie uniquement lorsque l’unicité est garantie indépendamment.
C’est le pont entre la propagation ordinaire et le raisonnement explicite par branche et réfutation.
Raisonnement par contradiction
Quand les déductions directes atteignent un point fixe, un puzzle difficile peut nécessiter une hypothèse provisoire.
Une preuve par contradiction correcte suit une structure stricte :
- supposer un état pour une case non résolue ;
- propager uniquement des conséquences légales ;
- atteindre une impossibilité explicite, par exemple une ligne sans aucun motif valide ;
- rejeter l’hypothèse ;
- conclure que l’état opposé est forcé.
Ce n’est pas deviner puis continuer dans la branche qui « semble marcher ». La contradiction constitue la preuve.
Une progression pratique des techniques
Il n’est pas utile de chercher toutes les techniques à chaque coup.
| Étape | Techniques à vérifier |
|---|---|
| Logique directe de ligne | Lignes vides, ajustement exact |
| Faible liberté de placement | Chevauchement, extension minimale/marge |
| Structure de blocs connue | Ancrage au bord, blocs terminés, extension, portée |
| Lignes découpées | Élimination, segmentation, attribution des indices |
| Identité/ordre serrés | Unir/séparer, limites de placement |
| Logique exhaustive de ligne | Motifs de ligne valides |
| Interaction de la grille | Recoupement, propagation |
| Compatibilité globale | Raisonnement multilignes |
| Preuve plus profonde | Raisonnement par contradiction |
Après toute déduction avancée réussie, revenez en haut du tableau. La nouvelle case peut avoir créé ailleurs un ajustement exact, un chevauchement, un bloc terminé ou un espace devenu trop petit.
Noms historiques de techniques
Des livres, sites ou communautés utilisent parfois Simple Boxes, Simple Spaces, Glue, Punctuating ou Mercury.
VeyraPlay conserve ces noms lorsqu’ils aident à reconnaître une terminologie externe, mais utilise des concepts descriptifs comme architecture principale :
- Simple Boxes → généralement chevauchement / cases remplies forcées ;
- Simple Spaces → généralement portée / cases vides forcées ;
- Punctuating → blocs terminés et séparateurs ;
- Glue → plusieurs situations d’ancrage, extension ou portée selon la source ;
- Mercury → motif de bord/portée très spécifique, pas une catégorie universelle.
L’objectif est d’apprendre la preuve, pas de mémoriser le vocabulaire propre à un éditeur.
Quelle technique apprendre en premier ?
Si vous connaissez déjà les règles, commencez par :
- Ajustement exact ;
- Méthode du chevauchement ;
- Blocs terminés et séparateurs ;
- Portée des blocs et cases inaccessibles ;
- Recoupement des lignes et colonnes.
Ajoutez ensuite segmentation et motifs complets de ligne quand les puzzles simples ne vous résistent plus.
Les techniques ne remplacent pas la stratégie
Une technique prouve un coup. Une stratégie décide quelle ligne examiner, quand rebalayer la grille et quand passer à une logique plus profonde.
Pour construire ce flux de travail global, utilisez le Guide des stratégies ; pour un parcours pas à pas depuis les règles jusqu’à une résolution complète, revenez au Guide « Comment résoudre un nonogramme ».