BUG Type 2 est une stratégie d'"unicité" avancée qui étend BUG Type 1 pour gérer plusieurs cases BUG. Quand plusieurs cases brisent le motif bivalue et qu'elles partagent toutes le même candidat supplémentaire, nous pouvons éliminer ce candidat de toute case qui les voit TOUTES.
Cette stratégie utilise la règle fondamentale du Sudoku : chaque puzzle valide a exactement une solution unique.
Interactive Example
Click "Apply Logic" to see the strategy in action.
Guide de l'Exemple Réel
Dans le puzzle d'exemple ci-dessus, le solveur identifie un motif BUG Type 2 :
L'État de la Grille : - Presque chaque case non résolue a exactement 2 candidats (bivalue) - Deux cases ont 3 candidats chacune, brisant le motif bivalue : - R8C3 (index 65) : a des candidats incluant 4 comme supplémentaire - R9C8 (index 79) : a des candidats incluant 4 comme supplémentaire
L'Analyse Clé :
- Identifier les cases BUG : R8C3 et R9C8 ont toutes deux 3 candidats au lieu de 2
- Vérifier le supplémentaire partagé : Les deux cases ont 4 comme candidat supplémentaire !
- Trouver les peers communs : Quelles cases peuvent voir À LA FOIS R8C3 et R9C8 ?
- R9C3 peut voir R8C3 (même colonne) et R9C8 (même ligne)
- Appliquer la logique : Au moins UNE de {R8C3, R9C8} doit être 4 pour empêcher le BUG
- Éliminer : Puisque l'une d'elles doit être 4, R9C3 ne peut pas être 4
Résultat : Éliminez 4 de R9C3.
Type 2 : Plusieurs Cases, Même Supplémentaire
BUG Type 2 s'applique quand : - La grille est presque en état BUG - Plusieurs cases (2 ou plus) brisent le motif en ayant 3+ candidats - Toutes ces cases partagent le même candidat supplémentaire
La Logique
Puisqu'un état BUG est impossible : - Au moins UNE des cases BUG doit devenir la valeur supplémentaire (pour briser le motif) - La valeur supplémentaire apparaîtra dans une de ces cases - Toute case qui voit TOUTES les cases BUG ne peut pas contenir la valeur supplémentaire
C'est similaire à Unique Loop Type 2, mais pour la grille entière plutôt qu'une boucle spécifique.
Étape par Étape : Comment Appliquer le Type 2
- Vérifier l'état quasi-BUG : Presque toutes les cases non résolues sont-elles bivalues (2 candidats) ?
- Trouver les cases BUG : Quelles cases ont 3+ candidats ?
- Identifier le supplémentaire partagé : Est-ce que TOUTES les cases BUG partagent le même candidat supplémentaire ?
- Trouver les peers communs : Quelles cases peuvent voir TOUTES les cases BUG ?
- Éliminer : Retirez le supplémentaire partagé de tout peer commun qui le contient
Motif Visuel
``` Colonne 3 Colonne 8 ↓ ↓ ┌─────┐ ┌─────┐ Ligne 8 →│R8C3 │ │ │ │{x,y,│ │ │ │ 4 }←──────Case BUG (extra = 4) └─────┘ └─────┘ │ │ Même │ Colonne ↓ ┌─────┐ ┌─────┐ Ligne 9 →│R9C3 │ ← ← ← ← →│R9C8 │ │{..4}│ Même Lig │{a,b,│ │ ↑ │ │ 4 }←──────Case BUG (extra = 4) └──┬──┘ └─────┘ │ Éliminez !
R9C3 voit les DEUX cases BUG : - R8C3 via Colonne 3 - R9C8 via Ligne 9
Une de {R8C3, R9C8} DOIT être 4 ∴ R9C3 ne peut pas être 4 ```
Comparaison avec BUG Type 1
| Aspect | Type 1 | Type 2 |
|---|---|---|
| Cases BUG | Exactement 1 | 2 ou plus |
| Candidats supplémentaires | Peuvent être multiples | Doivent être le même dans toutes les cases BUG |
| Cible d'élimination | La case BUG | Peers communs de toutes les cases BUG |
| Ce qui est éliminé | Autres candidats (garder les supplémentaires) | La valeur supplémentaire partagée |
Trouver les Peers Communs
Un peer commun est une case qui partage une ligne, colonne, ou bloc avec chaque case BUG.
Dans notre exemple : - R8C3 est en Ligne 8, Colonne 3, Bloc 7 - R9C8 est en Ligne 9, Colonne 8, Bloc 9
R9C3 voit les deux : - R8C3 via Colonne 3 ✓ - R9C8 via Ligne 9 ✓
Toute case à l'intersection des lignes, colonnes, ou blocs des cases BUG est une cible potentielle.
Idées Fausses Courantes
"Toutes les cases BUG doivent être dans la même région"
Non ! Les cases BUG peuvent être n'importe où dans la grille. Ce qui compte c'est qu'elles partagent le même supplémentaire ET ont des peers communs.
"J'élimine DES cases BUG"
Non ! Dans le Type 2, nous éliminons des peers communs. Les cases BUG gardent leur supplémentaire parce que l'une d'elles en a besoin !
Quand le Type 2 S'applique
Le Type 2 nécessite toutes les conditions : - ✅ Plusieurs cases avec 3+ candidats (cases BUG) - ✅ Toutes les cases BUG partagent le même candidat supplémentaire - ✅ Il existe des peers communs qui voient TOUTES les cases BUG - ✅ Au moins un peer commun contient la valeur supplémentaire
Quand le Type 2 Ne S'applique Pas
- Seulement 1 case BUG : Utilisez BUG Type 1 à la place
- Supplémentaires différents : Les cases BUG ont différentes valeurs supplémentaires → Essayez Type 3 ou Type 4
- Pas de peers communs : Aucune case ne voit toutes les cases BUG → Pas d'élimination possible
- Les peers communs n'ont pas le supplémentaire : Rien à éliminer
Connexion avec Unique Loop Type 2
BUG Type 2 et Unique Loop Type 2 utilisent la même logique :
| Stratégie | Portée du Motif | Ce Qui Empêche le Motif Mortel |
|---|---|---|
| Unique Loop Type 2 | Boucle spécifique (4-10 cases) | Cases de secours avec même supplémentaire |
| BUG Type 2 | Grille entière | Cases BUG avec même supplémentaire |
Les deux éliminent le supplémentaire partagé des peers communs !
Conseils pour Débutants
- Apprenez le Type 1 d'abord : BUG+1 est plus simple et plus commun
- Cherchez les cases trivalues : Dans un puzzle presque fini, les cases avec 3 candidats ressortent
- Comparez les supplémentaires : Vérifiez si les cases BUG partagent la même valeur supplémentaire
- Mappez les peers communs : Tracez des lignes depuis chaque case BUG pour trouver les intersections
- Faites confiance à la logique : Les éliminations BUG sont 100% fiables quand le motif correspond
Stratégies Liées
Famille BUG
- BUG Type 1 (BUG+1) — Case BUG unique, résoudre directement
- BUG Type 3 — Les cases BUG forment un Sous-ensemble Nu
- BUG Type 4 — Une valeur verrouillée aux cases BUG
Famille Unique Rectangle
- Unique Rectangle (Type 2) — Version 4-cases avec supplémentaire partagé