Solveur Sudoku

Expert+

BUG Type 4

Quand une valeur commune est verrouillée aux cases BUG dans une région partagée, éliminez les autres candidats de celles-ci.

BUG Type 4 est une stratégie d'"unicité" avancée qui combine le motif BUG (Bivalue Universal Grave) avec la logique de candidats verrouillés. Quand exactement deux cases BUG partagent une valeur commune qui est verrouillée à elles au sein d'une région partagée, nous savons que l'une d'elles DOIT être cette valeur—nous permettant d'éliminer leurs autres candidats.

Cette stratégie utilise la règle fondamentale du Sudoku : chaque puzzle valide a exactement une solution unique.

Interactive Example

8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
2
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
5
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
1
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
9
1 2 3 4 5 6 7 8 9
8
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
1 2 3 4 5 6 7 8 9
4
1 2 3 4 5 6 7 8 9
6
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9

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 4 :

L'État de la Grille : - Presque chaque case non résolue a exactement 2 candidats (bivalue) - Deux cases brisent le motif en ayant 3+ candidats : - R8C5 (index 67) : a des candidats incluant 8 - R8C6 (index 68) : a des candidats incluant 8

L'Analyse Clé :

  1. Identifier les cases BUG : R8C5 et R8C6 ont toutes deux 3 candidats
  2. Trouver la région partagée : Los deux cases sont dans la Ligne 8
  3. Vérifier la valeur verrouillée : Où d'autre peut apparaître le 8 dans la Ligne 8 ?
  4. En scannant la Ligne 8 : La valeur 8 apparaît SEULEMENT en R8C5 et R8C6 !
  5. Appliquer la logique : Une de ces cases DOIT être 8 (Sudoku standard) + une DOIT briser le BUG (unicité)
  6. Conclusion : Une case BUG sera 8, l'autre sera sa valeur supplémentaire
  7. Éliminer : Aucune des cases ne peut être ses valeurs non-verrouillées, non-supplémentaires

Résultat : Éliminez les autres candidats de R8C5 et R8C6, laissant seulement la valeur verrouillée (8) et leurs supplémentaires.

Comprendre la Logique

Qu'est-ce qui rend le Type 4 Spécial ?

Le Type 4 utilise deux contraintes simultanément :

Contrainte Source Ce qu'elle nous dit
Candidats Verrouillés Sudoku Standard Une de {R8C5, R8C6} doit être 8
Bris de BUG Règle d'Unicité Une de {R8C5, R8C6} doit être son supplémentaire

Puisqu'une case prend 8 et une prend son supplémentaire, aucune case ne peut être autre chose !

Le Double Verrou

``` Case BUG 1 (R8C5): {5, 7, 8} Case BUG 2 (R8C6): {5, 7, 8}

Contraintes: - Une DOIT être 8 (verrouillé dans Ligne 8) - Une DOIT être son "supplémentaire" (pour briser BUG)

Si les supplémentaires sont 5 et 7: - Case 1 = 8 → Case 2 = 7 (son supplémentaire) ✓ - Case 2 = 8 → Case 1 = 5 (son supplémentaire) ✓

Dans tous les cas, aucune ne peut être {5 si elles sont 8} ou {7 si elles sont 8}... En fait, nous pouvons éliminer tout ce qui n'est PAS (8 OU le supplémentaire) ! ```

Étape par Étape : Comment Appliquer le Type 4

  1. Vérifier l'état quasi-BUG : Presque toutes les cases non résolues sont-elles bivalues ?
  2. Trouver exactement 2 cases BUG : Quelles cases ont 3+ candidats ?
  3. Trouver la région partagée : Les deux cases BUG sont-elles dans la même ligne, colonne, ou bloc ?
  4. Identifier la valeur verrouillée : Y a-t-il une valeur qui apparaît SEULEMENT dans ces 2 cases au sein de cette région ?
  5. Vérifier non-supplémentaire : La valeur verrouillée ne doit PAS être un supplémentaire (c'est une valeur commune)
  6. Éliminer : Retirez tout sauf la valeur verrouillée et les supplémentaires des deux cases

Comparaison avec les Autres Types BUG

Type Cases BUG Mécanisme Clé Ce qui est Éliminé
Type 1 1 La case unique doit être supplémentaire Non-supplémentaires de cette case
Type 2 2+ Même supplémentaire Supplémentaire partagé des peers communs
Type 3 2+ Différents supplémentaires + Sous-ensemble Nu Valeurs du sous-ensemble de la région
Type 4 2 Valeur commune verrouillée Valeurs non-verrouillées, non-supplémentaires

Quand le Type 4 S'applique

Le Type 4 nécessite toutes les conditions : - ✅ Exactement 2 cases BUG (cases avec 3+ candidats) - ✅ Les deux cases partagent une région (ligne, colonne, ou bloc) - ✅ Une valeur commune (pas un supplémentaire) apparaît dans les deux cases - ✅ Cette valeur est verrouillée à ces cases dans la région partagée - ✅ Il y a d'autres candidats à éliminer (au-delà de verrouillé + supplémentaires)

Quand le Type 4 Ne S'applique Pas

  • Seulement 1 case BUG : Utilisez BUG Type 1
  • Plus de 2 cases BUG : Essayez Type 2 ou Type 3
  • Pas de région partagée : Cases BUG dans différentes lignes/colonnes/blocs
  • Pas de valeur verrouillée : La valeur commune apparaît ailleurs dans la région
  • Rien à éliminer : Les cases ont seulement valeur verrouillée + supplémentaires de toute façon

Idées Fausses Courantes

"La valeur verrouillée est un supplémentaire"

Non ! Dans le Type 4, la valeur verrouillée est une valeur commune partagée par les deux cases BUG—ce n'est PAS un supplémentaire. Les supplémentaires sont les valeurs qui brisent l'état bivalue.

"J'élimine la valeur verrouillée"

Non ! Nous GARDONS la valeur verrouillée (une case en a besoin). Nous éliminons les autres candidats non-supplémentaires.

Stratégies Liées

Famille BUG

Famille Unique Rectangle