Être bloqué signifie seulement que vous ne voyez plus de nouvelle déduction avec la méthode que vous utilisez actuellement. Cela ne prouve pas que le puzzle exige de deviner.
La meilleure réponse est de revenir sur la grille par niveaux de profondeur, du contrôle le plus simple jusqu'aux raisonnements avancés.
1. Vérifiez les blocs terminés
Commencez par les informations les moins coûteuses.
Pour chaque bloc clairement identifié et complet :
- ses limites sont-elles marquées vides lorsque nécessaire ?
- l'indice correspondant est-il réellement satisfait ?
- les cases inutilisées d'une ligne entièrement résolue sont-elles marquées vides ?
Un séparateur oublié suffit parfois à relancer plusieurs lignes.
2. Cherchez les espaces trop petits
Une zone ouverte peut être incapable d'accueillir le moindre bloc restant.
Si le plus petit bloc restant mesure 4 et qu'un segment n'a que 3 cases, ce segment est vide.
Ces éliminations créent souvent de nouveaux segments plus serrés ailleurs.
3. Vérifiez l'attribution des indices aux segments
Lorsqu'une ligne est découpée par des croix, tous les indices ne peuvent pas forcément aller dans tous les segments.
Demandez-vous :
- quel indice peut tenir dans ce segment ?
- quels indices ne peuvent pas y tenir ?
- l'ordre force-t-il un groupe d'indices dans une région précise ?
- un fragment rempli identifie-t-il un bloc particulier ?
4. Réévaluez les fragments remplis
Deux fragments proches peuvent appartenir au même bloc ou à deux blocs différents.
Ne décidez pas selon leur apparence. Vérifiez si les contraintes permettent encore de les réunir, si leur réunion dépasserait la longueur d'un indice ou si un séparateur obligatoire doit se trouver entre eux.
5. Passez des chevauchements simples aux motifs valides
Une ligne peut ne montrer aucun chevauchement évident et malgré tout forcer des cases lorsque vous considérez toutes ses configurations valides.
Énumérez ou raisonnez sur les placements compatibles avec :
- les indices ;
- les cases remplies déjà connues ;
- les croix ;
- l'ordre des blocs ;
- les séparateurs.
Toute case identique dans tous les motifs restants est forcée.
6. Vérifiez que toute l'information a été propagée
Un point mort apparent peut simplement être un état mal synchronisé.
Repérez les lignes récemment modifiées et suivez chaque conséquence vers les croisements. Une nouvelle croix ou un nouveau remplissage peut produire plusieurs étapes de cascade avant que la grille atteigne un véritable point fixe.
7. Distinguez « bloqué » de « incohérent »
C'est une vérification essentielle.
Bloqué signifie : toutes les lignes possèdent encore au moins une configuration légale, mais aucune nouvelle case certaine n'a encore été trouvée.
Incohérent signifie : au moins une ligne possède zéro motif valide ou viole directement un indice.
Si la grille est incohérente, ne cherchez pas une technique avancée. Recherchez d'abord une erreur antérieure et revenez à la dernière information réellement prouvée.
8. Essayez le raisonnement multilignes
Si chaque ligne, prise séparément, accepte encore plusieurs motifs et que la propagation ordinaire a atteint un point fixe, le puzzle peut demander de combiner plusieurs lignes.
Cherchez notamment :
- des conséquences communes à plusieurs cas ;
- des contraintes de frontière qui se répercutent sur une région ;
- des comptages de capacité ;
- des relations globales impossibles à voir dans une seule ligne.
9. Utilisez la contradiction seulement si elle est justifiée
Dans un raisonnement par contradiction, vous créez une hypothèse provisoire, propagez rigoureusement ses conséquences et la rejetez si elle mène à une impossibilité.
Ce n'est pas « choisir une case pour voir si ça marche ».
Une checklist de récupération complète
Lorsque vous ne voyez plus rien :
- blocs terminés et séparateurs ;
- lignes entièrement satisfaites ;
- espaces trop petits ;
- portée des blocs ;
- ordre des indices ;
- segmentation ;
- attribution des indices ;
- limites de placement ;
- motifs de ligne valides ;
- propagation des derniers changements ;
- raisonnement multilignes ;
- contradiction contrôlée si nécessaire.
Cette progression vous empêche de chercher une preuve coûteuse alors qu'une croix oubliée suffisait.
Quand faut-il suspecter une erreur ?
Signaux d'alerte :
- un bloc rempli dépasse toutes les longueurs possibles ;
- deux blocs obligatoires ne peuvent plus être séparés ;
- il reste trop peu de place pour les indices ;
- une case remplie est hors de portée de tous les blocs ;
- l'ordre des indices est impossible ;
- une ligne n'a plus aucun motif valide.
Dans ce cas, revenez aux derniers marquages et demandez quelle preuve exacte les justifiait.
Pourquoi regarder plus longtemps la même ligne aide rarement
Si vous avez déjà appliqué le même modèle de raisonnement et que l'état n'a pas changé, le simple fait de fixer la ligne plus longtemps n'ajoute aucune contrainte.
Changez soit :
- de ligne ;
- de profondeur de raisonnement ;
- ou de représentation, par exemple en passant de l'overlap aux motifs valides.
FAQ
Si je suis bloqué, le puzzle est-il trop difficile pour moi ?
Pas forcément. Vous avez peut-être simplement manqué une conséquence ou devez appliquer une technique que vous n'avez pas encore automatisée.
Dois-je recommencer toute la grille ?
Seulement si l'état est devenu difficile à fiabiliser. Si vous pouvez identifier la première incohérence ou le dernier marquage non prouvé, une récupération locale est souvent suffisante.
Quand la contradiction devient-elle raisonnable ?
Après avoir épuisé la logique directe, les motifs de ligne, la propagation et le raisonnement multilignes approprié, et uniquement avec une gestion claire des états provisoires.