La majeure partie de la progression dans un nonogramme vient de la résolution de lignes : choisissez une ligne ou une colonne, déterminez quelles dispositions respectent ses indices et ses cases connues, puis marquez les états qui y sont forcés.
Certains puzzles difficiles atteignent toutefois un point où chaque ligne prise séparément conserve plusieurs motifs valides, alors que ces motifs ne peuvent pas être choisis indépendamment. Une possibilité qui paraît légale dans une ligne peut rendre plusieurs colonnes croisées impossibles lorsqu’on les considère ensemble. Un ensemble de placements candidats peut demander plus de cases remplies qu’une région voisine ne peut en accueillir. Deux cas alternatifs peuvent différer localement tout en imposant la même conséquence ailleurs.
C’est le domaine du raisonnement multilignes.
Qu’est-ce qui distingue le raisonnement multilignes ?
Une déduction sur une seule ligne demande :
Qu’est-ce qui doit être vrai dans cette ligne ou cette colonne ?
Une déduction multilignes demande :
Quelles combinaisons d’états de ligne, pourtant légaux séparément, peuvent coexister dans la même grille ?
La seconde question est plus forte parce que chaque case couple une ligne et une colonne. Les motifs légaux des lignes et des colonnes doivent être compatibles simultanément.
Cela n’ajoute aucune nouvelle règle. On utilise les mêmes indices, le même ordre des blocs, les mêmes séparateurs et les mêmes cases remplies ou vides, mais sur une portion plus grande du système de contraintes.
Atteignez d’abord un véritable point fixe de logique de ligne
Ne passez pas au raisonnement global simplement parce qu’un puzzle paraît difficile.
Avant d’utiliser cette guide, épuisez les déductions ordinaires :
- ajustement exact et lignes vides ;
- chevauchement et réduction de la marge ;
- blocs terminés, extension et portée ;
- élimination des espaces et attribution aux segments ;
- limites de placement les plus tôt et les plus tard ;
- motifs de ligne valides ;
- croisement et propagation à travers toutes les lignes modifiées.
Si une ligne peut encore forcer une case toute seule, utilisez cette preuve plus simple. La logique multilignes devient utile lorsque toutes les lignes concernées restent localement cohérentes, mais que la grille est globalement plus contrainte que ce qu’une ligne isolée révèle.
1. Raisonnement de frontière sur plusieurs lignes
L’expression edge logic ou boundary logic est utilisée par certaines communautés avancées de nonogrammes pour une technique différente de l’effet de bord sur une seule ligne que VeyraPlay appelle ancrage au bord.
Dans un raisonnement de frontière multilignes, on part d’un bloc d’indice proche d’un bord extérieur et on examine ce que ses placements possibles forceraient dans les lignes perpendiculaires immédiatement à l’intérieur de ce bord.
Le flux est le suivant :
- choisissez un bloc de frontière dont les premiers placements sont fortement limités ;
- considérez un placement candidat ou une petite famille de placements ;
- transférez les cases remplies ou vides résultantes dans les lignes croisées ;
- demandez si ces lignes croisées peuvent encore satisfaire leurs indices ensemble ;
- rejetez les placements de frontière dont les conséquences rendent la bande voisine impossible ;
- ne conservez que les cases ou plages de placement qui survivent à tous les contrôles de cohérence globale.
La différence importante est l’échelle.
L’ancrage au bord (G-027) reste dans une seule ligne ou colonne : le bord physique réduit la plage légale d’un bloc identifié.
La logique de frontière multilignes utilise les conséquences d’un placement de bord dans plusieurs lignes croisées. Le placement peut être parfaitement légal dans sa propre ligne et pourtant impossible à l’échelle de la grille.
Exemple schématique de frontière
Imaginez que le premier bloc d’une ligne située en haut puisse occuper soit les colonnes 2 à 5, soit les colonnes 3 à 6. Les deux placements respectent cette ligne.
Examinez maintenant les quatre colonnes sous les cases candidates.
Si placer le bloc en colonnes 2 à 5 oblige trois de ces colonnes à prolonger des blocs remplis dans les deux lignes suivantes, alors que ces deux lignes n’ont la capacité d’indice que pour deux remplissages dans cette région, le placement 2–5 ne peut appartenir à aucune solution complète.
La ligne prise isolément n’avait rien d’invalide. La contradiction n’apparaît qu’en considérant le bloc de frontière et plusieurs lignes et colonnes croisées comme un seul système.
C’est pourquoi cette forme avancée de logique de bord se situe au-dessus de la logique de ligne ordinaire.
2. Conséquences partagées d’un raisonnement à deux voies
Parfois, une proposition non résolue possède deux cas exhaustifs :
- cas A : une case est remplie ;
- cas B : cette même case est vide.
Vous ne pouvez peut-être pas prouver immédiatement lequel des deux est correct. Mais si les deux cas forcent une autre case vers le même état, cette conséquence partagée est inconditionnelle.
La forme logique est simple :
- si A, alors C est remplie ;
- si non-A, alors C est remplie ;
- donc C est remplie quelle que soit la valeur de A.
Le même raisonnement peut porter sur un placement de bloc plutôt que sur une seule case, à condition que les cas soient réellement exhaustifs.
Pourquoi ce n’est pas un raisonnement par contradiction ordinaire
Le raisonnement par contradiction cherche généralement à prouver qu’un cas est impossible pour établir l’alternative.
Un raisonnement à conséquence partagée peut avancer même si les deux cas restent possibles. On conserve seulement ce sur quoi les deux branches s’accordent et on jette les états temporaires propres aux branches.
Les cas doivent être exhaustifs
La conclusion n’est valide que si les branches couvrent toutes les possibilités pertinentes.
Pour une case binaire, rempli/vide est exhaustif. Pour un bloc ayant quatre positions légales, tester uniquement la plus à gauche et la plus à droite n’est pas exhaustif, sauf si les deux positions intermédiaires ont déjà été exclues séparément.
C’est une erreur fréquente en résolution avancée : une preuve en deux cas n’est fiable que si vous avez aussi prouvé qu’il n’existe réellement que deux cas.
3. Comptage régional et « summing »
Les indices ne disent pas seulement où les blocs peuvent aller ; ils indiquent aussi combien de cases remplies doivent exister.
Dans une ligne complète, le nombre total de cases remplies est la somme de ses indices. Il en va de même pour une colonne. Sur l’ensemble du puzzle, la somme de tous les indices des lignes doit égaler celle de tous les indices des colonnes, puisque les deux totaux comptent les mêmes cases remplies.
Cette égalité sert généralement de contrôle de cohérence. Mais dans une région très contrainte, le comptage peut devenir déductif.
Supposons qu’une bande rectangulaire contienne plusieurs cases non résolues. Du côté des lignes, les indices restants prouvent qu’exactement sept cases remplies doivent se trouver dans cette bande. Du côté des colonnes, les colonnes croisées ne peuvent accueillir au maximum que sept remplissages restants dans cette région.
La région est saturée : les sept unités de capacité disponibles dans les colonnes doivent toutes être utilisées à l’intérieur.
Cela peut produire des conséquences comme :
- une colonne ne peut plus utiliser l’un de ses remplissages restants hors de la région ;
- un placement alternatif qui réduirait la capacité de la région à six cases devient impossible ;
- une ligne entrant dans la région doit y utiliser un bloc précis ;
- des cases hors d’une bande saturée deviennent vides parce que tous les remplissages requis sont déjà comptabilisés.
Certaines communautés appellent ce style d’argument summing. VeyraPlay utilise le terme plus large de comptage régional, car la preuve porte sur l’occupation requise et la capacité disponible, pas seulement sur l’addition des nombres des indices.
Le comptage doit respecter la structure des blocs
Un total brut de cases remplies ne suffit pas.
Si deux régions peuvent chacune accueillir cinq cases remplies, cela ne signifie pas qu’un bloc d’indice 5 peut être déplacé librement de l’une à l’autre. Le bloc doit toujours respecter :
- l’ordre des indices ;
- la continuité ;
- les séparateurs obligatoires ;
- les cases remplies et les X actuels ;
- le placement des blocs précédents et suivants.
Utilisez le comptage pour éliminer des répartitions globalement impossibles, puis revenez à la logique de blocs ordinaire pour déterminer les cases exactes.
4. Saturation et capacité à travers une bande
Le raisonnement régional devient particulièrement puissant lorsqu’un ensemble de lignes ne possède aucune capacité libre.
Un modèle mental utile est :
- demande : combien de cases remplies ou de blocs doivent traverser la région ;
- capacité : combien de placements les lignes croisées peuvent encore y supporter.
Si la demande égale la capacité, chaque unité de capacité restante est engagée.
Si la demande dépasse la capacité, l’arrangement supposé est impossible.
Si la capacité est supérieure à la demande, le comptage seul ne fixe peut-être pas les cases exactes, mais il peut encore réduire quels blocs peuvent entrer dans la région.
C’est l’analogue multilignes de la marge sur une seule ligne : moins il reste d’espace libre, plus les contraintes deviennent fortes.
5. Totaux globaux des indices comme test de cohérence
Pour tout nonogramme monochrome valide :
somme de tous les indices des lignes = somme de tous les indices des colonnes.
Si ces totaux diffèrent, l’ensemble des indices ne peut décrire aucune grille remplie/vide.
Pendant la résolution, la même idée peut être appliquée localement aux remplissages restants, à condition de comptabiliser soigneusement les cases déjà confirmées et de ne pas compter deux fois la même case depuis les deux directions.
Cette idée est généralement plus utile pour vérifier une construction ou raisonner sur une région bien définie que dans la résolution quotidienne d’un débutant, mais c’est un invariant important à comprendre.
6. La symétrie est conditionnelle, pas un indice de l’image cachée
Certains ensembles d’indices de nonogrammes sont symétriques par réflexion ou rotation.
Si vous savez en plus que le puzzle possède exactement une solution, alors cette solution doit hériter de toutes les symétries du système complet d’indices. Sinon, réfléchir une solution non symétrique produirait une seconde solution distincte avec les mêmes indices.
La condition d’unicité est essentielle.
Un système d’indices symétrique peut posséder deux solutions asymétriques qui sont l’image miroir l’une de l’autre. Sans garantie indépendante d’unicité, choisir l’image la plus jolie ou la plus symétrique n’est pas une logique valide.
VeyraPlay n’enseigne donc pas « l’image devrait probablement être symétrique » comme méthode de résolution. La symétrie devient une contrainte globale légitime uniquement lorsque l’unicité fait partie des informations sur lesquelles vous avez le droit de vous appuyer.
7. Élimination multilignes sans s’engager dans une branche
Le raisonnement avancé fonctionne souvent mieux lorsqu’il élimine des combinaisons plutôt que lorsqu’il choisit une réponse.
Supposons par exemple que la ligne A possède trois motifs valides et la colonne B quatre. Vous pouvez découvrir que :
- le motif A1 est incompatible avec tous les états légaux de la colonne B ;
- A2 est compatible avec B1 et B3 ;
- A3 est compatible avec B2 et B4.
Vous pouvez supprimer A1 sans choisir entre A2 et A3.
Si A2 et A3 s’accordent ensuite sur une autre case, cette case est forcée.
Cette façon de voir les choses se généralise naturellement de la résolution manuelle à la programmation par contraintes : les ensembles locaux de candidats sont filtrés à répétition selon leur compatibilité avec les contraintes voisines.
8. Raisonnement multilignes ou contradiction ?
Les deux idées se recoupent, mais elles ne sont pas identiques.
Raisonnement multilignes
- compare plusieurs contraintes simultanément ;
- peut éliminer des placements sans faire d’hypothèse provisoire ;
- peut utiliser des cas exhaustifs et ne conserver que les conséquences partagées ;
- peut utiliser des arguments de comptage ou de capacité sur une région.
Raisonnement par contradiction
- commence par une hypothèse provisoire explicite ;
- propage ses conséquences ;
- prouve que l’hypothèse est impossible en atteignant une contradiction dure ;
- conclut que l’alternative doit être vraie.
Un argument multilignes peut contenir une contradiction à l’intérieur, mais la distinction éditoriale utile est analyse de compatibilité globale contre raisonnement par branche et réfutation.
Flux pratique de raisonnement multilignes
Lorsque la propagation ordinaire atteint un véritable point fixe :
- repérez une frontière, une région ou une paire de lignes fortement contraintes ;
- notez le petit ensemble d’alternatives restantes ;
- vérifiez que ces alternatives sont exhaustives ;
- propagez chaque alternative uniquement assez loin pour comparer ses conséquences ;
- rejetez les combinaisons qui dépassent la capacité régionale ou rendent des lignes croisées impossibles ;
- enregistrez tout état partagé par tous les cas survivants ;
- supprimez les marques temporaires propres aux cas ;
- revenez immédiatement à la propagation ordinaire après chaque case prouvée.
La dernière étape est importante. Une seule déduction globale crée souvent plusieurs déductions locales faciles ; rester trop longtemps en « mode avancé » fait perdre du temps.
Quand utiliser le comptage régional ?
Cherchez ce type de raisonnement lorsque :
- une bande étroite contient de nombreux blocs requis avec peu de place libre ;
- plusieurs indices proches d’une frontière se disputent les mêmes lignes ou colonnes ;
- les lignes individuelles possèdent plusieurs motifs mais leurs totaux de remplissage combinés sont fortement contraints ;
- un puzzle abstrait possède des indices répétitifs dont les placements se chevauchent de façon structurée.
Il est moins utile lorsque la grille contient encore des déductions évidentes sur une seule ligne ou lorsque la région possède une grande capacité inutilisée.
Erreurs fréquentes
Appeler toute déduction de bord « edge logic »
La terminologie varie. Utilisez ancrage au bord pour la technique sur une seule ligne de G-027 et définissez explicitement edge logic / boundary logic lorsque vous parlez de conséquences multilignes.
Comparer seulement deux cas pratiques
Une logique à deux voies exige des alternatives exhaustives. N’ignorez pas un troisième placement légal simplement parce qu’il complique la preuve.
Utiliser des totaux sans respecter les contraintes de placement
Cinq remplissages requis ne sont pas interchangeables s’ils appartiennent à des blocs ordonnés avec séparateurs.
Supposer la symétrie d’après l’image qui apparaît
La symétrie n’est pas une preuve à moins que le système d’indices possède cette symétrie et que l’unicité soit indépendamment garantie.
Conserver des marques propres à une branche
Si un cas survit sans être prouvé, annulez ses états temporaires. Seules les conséquences partagées ou prouvées indépendamment appartiennent à la grille réelle.
Oublier de revenir à la logique de ligne
Après une seule déduction globale, le puzzle peut se réduire à du chevauchement, des blocs terminés ou des ajustements exacts ordinaires. Propagez avant de chercher un nouvel argument sophistiqué.
Lien avec la résolution informatique
Un solveur informatique peut modéliser chaque ligne et chaque colonne comme une contrainte et supprimer continuellement les états incompatibles. Des approches générales de programmation par contraintes, SAT, programmation entière ou recherche peuvent faire respecter globalement de nombreuses relations difficiles à suivre manuellement.
Les techniques multilignes humaines sont utiles parce qu’elles compressent une partie de cette cohérence globale en preuves reconnaissables : région saturée, placement de frontière impossible ou conséquence partagée par les deux cas.
Elles ne font pas disparaître la difficulté computationnelle des nonogrammes arbitraires, mais elles expliquent pourquoi un humain peut parfois résoudre un puzzle qui résiste à un solveur limité à une logique de ligne simple.
Que faut-il apprendre ensuite ?
Si la compatibilité multilignes laisse encore plusieurs possibilités, le raisonnement par contradiction montre comment tester une hypothèse contrôlée et ne la rejeter que lorsque la propagation prouve une impossibilité dure.
Du côté théorique, Solutions uniques et nonogrammes ambigus explique pourquoi l’unicité est importante pour des arguments avancés comme celui de la symétrie.
FAQ
Le raisonnement multilignes est-il nécessaire dans la plupart des nonogrammes ?
Non. Une bonne logique sur une seule ligne accompagnée de propagation lignes-colonnes suffit pour une grande partie des puzzles conçus pour être résolus à la main. Le raisonnement multilignes devient surtout pertinent lorsque chaque ligne individuelle reste localement ambiguë à un point fixe.
Edge logic est-il la même chose que l’ancrage au bord ?
Pas de manière cohérente selon les sources. VeyraPlay utilise ancrage au bord pour un bloc d’une seule ligne contraint par la frontière physique. Certaines communautés emploient edge logic / boundary logic pour l’analyse multilignes décrite sur cette page.
La logique à deux voies est-elle une forme de devinette ?
Non, à condition que les cas soient exhaustifs et que vous ne conserviez que les conséquences prouvées dans tous les cas, ou que vous rejetiez un cas par une contradiction explicite. S’engager dans une branche non prouvée serait de la devinette ou de la recherche.
Le comptage seul peut-il révéler l’image exacte ?
En général non. Le comptage est surtout puissant comme outil d’élimination : il prouve que certaines répartitions ou certains placements ne peuvent pas coexister. Les cases exactes apparaissent généralement après réinjection de ce résultat dans la logique de ligne ordinaire.
Peut-on toujours utiliser la symétrie dans un puzzle symétrique ?
Non. Des indices symétriques ne garantissent pas une solution symétrique lorsque plusieurs solutions existent. La symétrie n’est logiquement sûre que lorsque l’unicité est indépendamment garantie par les informations du problème.