Nonogrammes extrêmes 5×5 — Densité de contraintes quasi maximale

Les nonogrammes extrêmes 5×5 se situent à la limite supérieure de ce qu’une grille Griddler de 25 cases peut exiger. Là où les puzzles Expert demandent parfois quelques essais hypothétiques, les configurations Extrêmes font de l’hypothèse-vérification le mode de résolution principal dès les premiers coups. Le réseau de contraintes est si étroitement imbriqué que la simple déduction n’apporte presque aucun progrès immédiat — chaque étape exige un raisonnement conditionnel enchaîné sur plusieurs lignes.

Qu’est-ce qui distingue Extrême d’Expert ?

Profondeur des chaînes d’hypothèses : les puzzles Expert nécessitent généralement une ou deux séries d’hypothèse-vérification pour débloquer la grille. Les puzzles Extrêmes en demandent plusieurs d’affilée, chaque case confirmée préparant immédiatement le cycle d’hypothèse suivant.

Moins de cases de départ « gratuites » : dans les puzzles Expert, l’analyse des recouvrements révèle souvent deux ou trois cases avant de commencer les tests d’hypothèse. Dans les puzzles Extrêmes, elle peut n’en révéler aucune — chaque case de l’état initial est réellement ambiguë par déduction directe.

Chemins de contradiction plus étroits : en Expert, une fausse hypothèse produit généralement une contradiction en une ou deux étapes logiques. En Extrême, il peut falloir suivre une hypothèse sur quatre ou cinq étapes avant que la contradiction n’apparaisse — ce qui exige une chaîne de raisonnement conditionnel plus longue et plus minutieuse.

Techniques avancées pour les puzzles Extrêmes

Double test d’hypothèse : lorsqu’une seule hypothèse ne mène pas immédiatement à une contradiction, testez simultanément son complément. Suivez en parallèle « la case A est remplie » et « la case A est vide ». Toute case dont l’état est identique dans les deux traces est définitivement dans cet état — quelle que soit l’hypothèse correcte.

Lecture du graphe de contraintes : considérez le puzzle comme un graphe de dépendances où chaque case non résolue est un nœud relié à ses indices de ligne et de colonne. Identifiez le nœud de plus haut degré — la case impliquée dans le plus grand nombre de contraintes actives — et ciblez-la avec votre hypothèse. La résolution d’un nœud très connecté déclenche le plus d’informations en cascade.

Élimination cumulative : tenez une liste évolutive des arrangements éliminés pour chaque ligne. À mesure que les cycles d’hypothèse confirment ou invalident des cases, raturez les arrangements correspondants. Lorsqu’il ne reste qu’un seul arrangement pour une ligne, toutes ses cases sont résolues en même temps.

Poursuivez le défi

→ 5×5 Evil — le sommet absolu de la difficulté en 5×5

→ 15×15 Extrême — la logique Extrême prend une toute autre ampleur sur une grille de 225 cases

→ Solveur de nonogrammes 5×5 — utilisez-le pour analyser des chaînes d’hypothèses précises qui ne se résolvent pas