Méduse 3D (coloration avancée)

Prérequis : Basic Coloring

Aperçu

3D Medusa est une technique de « coloration améliorée » : elle utilise toujours deux couleurs (bleu/jaune) pour représenter deux voies de déduction mutuellement exclusives, mais elle ne se concentre plus sur un seul chiffre — elle peut connecter plusieurs chiffres en un seul réseau de raisonnement.

Ce qui le rend plus fort, c’est qu’il utilise plus d’un type de lien fort :

• Paire conjuguée (lien fort) : dans une ligne/colonne/case, un chiffre a exactement 2 positions candidates
• Cellule bivaleur (lien fort) : une cellule contient exactement 2 candidats

Après avoir colorié le long de liens forts, vous pouvez considérer le bleu/jaune comme deux hypothèses opposées :

• Supposons que le bleu est vrai ⇒ le jaune est faux
• Supposons que le bleu est faux ⇒ le jaune est vrai

Ainsi, au sein d'un même composant coloré, l'une des deux couleurs doit être vraie.

3D Medusa donne le plus souvent deux types de conclusions :

1. Piège : un candidat rouge entre en conflit à la fois avec la route bleue et la route jaune → éliminer le candidat rouge
2. Contradiction de même couleur : deux candidats de même couleur sont en conflit dans une maison (ou une cellule) → cette couleur entière est impossible et peut être éliminée

Si vous n'êtes pas encore à l'aise avec les liens forts/faibles, lisez : Chain Basics.

---

Piège

Dans l'image ci-dessus, nous colorions les candidats selon des liens forts. La chaîne comprend le candidat 9 en r3c5 (bleu), et elle atteint également le candidat 6 en r4c5 (jaune).

Dans l'image ci-dessus, le candidat rouge à éliminer est le candidat 9 en r4c5.
Pourquoi peut-on le supprimer ? L’idée clé est « l’une des deux couleurs doit être vraie » :

• Si bleu est vrai, alors le candidat 9 bleu dans r3c5 est vrai, donc le candidat 9 rouge dans r4c5 est en conflit avec lui et ne peut pas être vrai.
• Si bleu est faux, alors l'itinéraire jaune doit être vrai ; puisque le candidat 6 dans r4c5 (jaune) est vrai, r4c5 ne peut pas également être 9 (même cellule), donc le candidat 9 rouge dans r4c5 ne peut toujours pas être vrai.

Quoi qu’il en soit, le candidat rouge est impossible, il peut donc être éliminé.

---

Contradiction de même couleur

Dans l'image ci-dessus, le candidat 2 dans r8c2 et le candidat 2 dans r8c7 sont tous deux colorés en jaune.
Mais ils sont dans la même rangée, donc ils ne peuvent pas être tous les deux 2 – c’est une contradiction de même couleur.

Par conséquent, la voie jaune est impossible et tous les candidats jaunes dans cette composante colorée peuvent être éliminés (ils sont marqués en rouge dans l'image).

---

Comment trouver Méduse 3D

Liste de contrôle en une ligne : construisez un réseau de liens forts (paires conjuguées + cellules bivaleurs), colorez-le en bleu/jaune, puis recherchez les pièges ou les contradictions de même couleur.

Dans un vrai casse-tête :

1. Trouver des liens forts à partir de paires conjuguées et de cellules bivaleurs
2. Couleurs candidates le long de liens forts (le bleu/jaune s'excluent mutuellement)
3. Recherchez :
   • un candidat rouge qui entre en conflit avec les deux routes de couleurs → élimination des pièges
   • deux candidats de même couleur qui entrent en conflit dans une ligne/colonne/boîte (ou une cellule) → éliminez toute cette couleur