Un motif de ligne valide est une disposition complète de cases remplies et vides pour une ligne ou une colonne qui respecte ses indices et tous les états de case actuellement confirmés.
Lorsque les techniques plus simples ne produisent plus de déduction, raisonner sur l’ensemble des motifs survivants permet de demander de façon complète ce que la ligne autorise encore.
Exemple : réduire une ligne 2 2 à deux motifs
Prenez une ligne de sept cases avec les indices 2 2. Supposons que la case 3 soit remplie et la case 5 vide :
??■?×??
Seuls deux motifs complets respectent toutes ces contraintes :
.##..##
..##.##
Comparez-les case par case :
- la case 3 est remplie dans les deux ;
- les cases 6 et 7 sont remplies dans les deux ;
- les cases 1 et 5 sont vides dans les deux ;
- les cases 2 et 4 diffèrent.
Les cases 3, 6 et 7 sont donc forcément remplies ; les cases 1 et 5 forcément vides ; les cases 2 et 4 restent indéterminées.
Une case forcée est un accord entre tous les motifs valides
Cela donne une définition précise :
une case est forcée lorsque tous les motifs de ligne valides lui attribuent le même état.
Si tous les motifs la remplissent, marquez-la remplie.
Si tous les motifs la laissent vide, marquez-la X.
Si au moins un motif la remplit et un autre la laisse vide, cette ligne seule ne permet pas encore de trancher.
Construire des motifs valides à la main
Il est rare qu’il soit nécessaire d’écrire tous les motifs d’une longue ligne. Mais le processus mental est utile :
- placez les blocs d’indice dans l’ordre imposé ;
- gardez au moins une case vide entre deux blocs monochromes consécutifs ;
- rejetez les placements qui traversent un X confirmé ;
- rejetez ceux qui ne couvrent pas une case remplie confirmée ;
- rejetez ceux qui laissent un fragment rempli sans aucun bloc capable de le couvrir ;
- comparez ce qui reste.
C’est le modèle général derrière l’ajustement exact, le chevauchement, la portée des blocs, l’attribution aux segments et les limites de placement.
Les techniques plus simples sont des raccourcis dans le même espace de possibilités
De nombreuses déductions familières peuvent être vues comme des façons efficaces d’éviter l’énumération explicite :
- ajustement exact → un seul motif valide ;
- chevauchement → un bloc couvre les mêmes cases dans tous ses placements légaux ;
- cases inaccessibles → aucun motif valide ne les remplit ;
- limites de placement → représentation compacte de l’endroit où chaque bloc ordonné peut apparaître.
Le raisonnement par motifs unifie ces idées sans remplacer les techniques plus rapides.
Pourquoi les motifs valides comptent sur les lignes difficiles
Les placements extrêmes gauche/droite peuvent manquer certaines déductions sur une ligne complexe déjà partiellement résolue. Un filtrage complet examine chaque disposition compatible avec l’état actuel, pas seulement deux extrêmes.
Les solveurs informatiques utilisent souvent des algorithmes spécialisés pour obtenir le même résultat sans stocker littéralement tous les motifs, car leur nombre peut croître rapidement.
Exemple détaillé : quatre motifs survivants forcent encore six états de case
Prenez une ligne de 10 cases avec les indices 3 2, la case 2 remplie, la case 5 vide et la case 9 remplie :
?■??×???■?
Il ne reste que quatre motifs complets :
###....##.
###.....##
.###...##.
.###....##
En les comparant :
- les cases 2, 3 et 9 sont remplies dans les quatre ;
- les cases 5, 6 et 7 sont vides dans les quatre ;
- les cases 1, 4, 8 et 10 restent variables.
Une ligne n’a donc pas besoin d’être proche d’un arrangement final unique pour que la comparaison des motifs soit utile. Plusieurs possibilités peuvent survivre tout en s’accordant sur de nombreuses cases.
Les familles de motifs peuvent être plus utiles que les motifs individuels
Sur une longue ligne, une énumération complète peut devenir impraticable. Il est souvent possible de regrouper les motifs selon un choix significatif :
- quel segment reçoit un indice ;
- si deux fragments se rejoignent ou restent séparés ;
- si un bloc commence avant ou après une frontière formée par un X ;
- lequel de deux indices possibles couvre un fragment rempli.
Comparez ensuite les conséquences communes à toute la famille.
Si chaque motif de chaque famille survivante remplit une case, cette case est forcée. Il n’est pas nécessaire d’écrire des milliers de dispositions une à une.
Cette vue par familles est le pont entre le raisonnement complet sur une ligne et l’analyse de cas impliquant plusieurs lignes.
Zéro motif est un état diagnostique
L’analyse des motifs ne sert pas uniquement à trouver des cases forcées. Elle peut prouver que l’état actuel de la ligne est impossible.
Si le filtrage ne laisse aucun motif valide, au moins une marque confirmée alimentant cette ligne est erronée ou — dans une branche temporaire — l’hypothèse testée a créé une contradiction.
La distinction est importante :
- zéro motif sur la grille réelle → retracez et corrigez une marque antérieure non justifiée ;
- zéro motif dans une branche provisoire → cette branche est impossible et peut être rejetée.
Le nombre de motifs peut chuter brutalement
Une déduction issue d’une ligne croisée peut transformer une case indéterminée en X. Cette seule marque peut invalider de nombreux motifs d’un coup.
Après filtrage, des cases auparavant variables peuvent devenir identiques dans tous les motifs survivants, ce qui produit de nouveaux états forcés. Ces états influencent ensuite les lignes perpendiculaires.
C’est le passage naturel de l’analyse de motifs à la propagation des contraintes.
Raisonnement par motifs pas à pas
- concentrez-vous sur une ligne non résolue ;
- générez ou testez mentalement tous les placements compatibles avec les indices et les cases connues ;
- éliminez tout motif qui viole ne serait-ce qu’un état confirmé ;
- comparez les motifs survivants case par case ;
- marquez les cases dont l’état est identique partout ;
- laissez indéterminées les cases qui diffèrent ;
- propagez les nouveaux états dans la grille.
Erreurs fréquentes
Conserver des motifs qui respectent les indices mais contredisent des cases connues
Un motif valide doit satisfaire à la fois la séquence des indices et l’état actuel de la ligne.
Forcer une case parce que « la majorité » des motifs est d’accord
Les nonogrammes sont des puzzles de logique déterministe. Un vote majoritaire n’est pas une preuve. Tous les motifs valides doivent être d’accord.
Traiter deux indices de même longueur comme interchangeables
Les motifs préservent l’ordre des indices et l’identité des blocs.
Énumérer tout le puzzle au lieu d’une seule ligne
Cette guide reste une analyse de ligne. Le raisonnement par cas sur toute la grille appartient plutôt à la contradiction et aux techniques proches de la recherche.
Que faut-il apprendre ensuite ?
Une fois les motifs de ligne compris, les techniques transversales deviennent plus faciles à formaliser : un nouvel état filtre les motifs valides de la ligne perpendiculaire, qui peut alors forcer une autre case, et ainsi de suite.
FAQ
Dois-je écrire tous les motifs sur papier ?
En général non. Le concept compte davantage que la liste littérale. Sur de petits segments difficiles, écrire quelques possibilités peut toutefois aider.
Une case est-elle forcée si 9 motifs sur 10 la remplissent ?
Non. Un seul motif valide survivant avec l’état opposé suffit à laisser la case indéterminée.
Une ligne peut-elle ne posséder aucun motif valide ?
Oui, mais dans un puzzle valide correctement joué cela signifie que l’état actuellement supposé ou marqué est incohérent. Cette idée devient centrale dans le raisonnement par contradiction.