Solveur Sudoku

Expert+

BUG Type 3

Quand les supplémentaires des cases BUG forment un Sous-ensemble Nu avec d'autres cases dans une région partagée, éliminez les valeurs du sous-ensemble de la région.

BUG Type 3 est une stratégie d'"unicité" avancée qui combine le motif BUG (Bivalue Universal Grave) avec la logique de Sous-ensemble Nu. Quand les cases BUG ont différents candidats supplémentaires qui ensemble forment un Sous-ensemble Nu avec d'autres cases dans une région partagée, nous pouvons éliminer ces valeurs du reste de la région.

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

Interactive Example

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
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
7
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
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
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
1
1 2 3 4 5 6 7 8 9
2
1 2 3 4 5 6 7 8 9
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
2
1 2 3 4 5 6 7 8 9
8
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
6
1 2 3 4 5 6 7 8 9
3
1 2 3 4 5 6 7 8 9
4
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
7
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
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
5
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
1 2 3 4 5 6 7 8 9
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
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
8
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
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
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
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
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
6
1 2 3 4 5 6 7 8 9
7
1 2 3 4 5 6 7 8 9
1
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 3 :

L'État de la Grille : - Presque chaque case non résolue a exactement 2 candidats (bivalue) - Plusieurs cases brisent le motif en ayant 3+ candidats (cases BUG) - Ces cases BUG sont dans la Ligne 6 (indices 46, 47, 48)

L'Analyse Clé :

  1. Identifier les cases BUG : Cases aux indices 46, 47, 48 dans la Ligne 6 ont des candidats supplémentaires
  2. Identifier les supplémentaires : Les supplémentaires combinés des cases BUG incluent {4, 7}
  3. Trouver la case d'aide : La case à l'index 45 dans la même Ligne contient {4, 7}
  4. Former la Paire Nue : Supplémentaires BUG {4, 7} + case d'aide {4, 7} = Paire Nue !
  5. Éliminer : Retirez 4 et 7 des autres cases dans la Ligne 6 (indices 49 et 52)

Résultat : Éliminez 4 et 7 de R6C5 (index 49) et R6C8 (index 52).

Comprendre la Logique

Le Concept de "Case Virtuelle"

Tout comme dans Unique Loop Type 3, nous traitons les supplémentaires combinés des cases BUG comme une case virtuelle :

  • Case BUG 1 a le supplémentaire : 4
  • Case BUG 2 a le supplémentaire : 7
  • Case virtuelle contient : {4, 7}

Cette case virtuelle peut participer à la logique de Sous-ensemble Nu !

Comment le Sous-ensemble Nu se Forme

Composant Candidats Rôle
Case virtuelle (supplémentaires BUG) {4, 7} Partie du sous-ensemble
Case d'aide (index 45) {4, 7} Partie du sous-ensemble
Paire Nue {4, 7} 2 positions, 2 valeurs

La logique : - Au moins une case BUG DOIT prendre une valeur supplémentaire (pour briser le motif BUG) - Combiné avec la case d'aide, les valeurs 4 et 7 sont "verrouillées" à ces positions - Les autres cases dans la ligne ne peuvent pas avoir 4 ou 7

Étape par Étape : Comment Appliquer le Type 3

  1. Vérifier l'état quasi-BUG : Presque toutes les cases non résolues sont-elles bivalues ?
  2. Trouver les cases BUG : Quelles cases ont 3+ candidats ?
  3. Vérifier les supplémentaires différents : Les cases BUG ont-elles des candidats supplémentaires DIFFÉRENTS ?
  4. Trouver la région partagée : Les cases BUG sont-elles dans la même ligne, colonne, ou bloc ?
  5. Combiner les supplémentaires : L'union de tous les supplémentaires forme une "case virtuelle"
  6. Trouver les cases d'aide : Cherchez des cases avec seulement ces valeurs
  7. Former le Sous-ensemble Nu : Case virtuelle + aides = Paire/Triple/Quadruple Nu(e)
  8. Éliminer : Retirez les valeurs du sous-ensemble des autres cases dans la région

Type 3 vs Type 2

Aspect Type 2 Type 3
Supplémentaires BUG Même valeur dans toutes Valeurs différentes
Mécanisme d'élimination Les peers communs perdent le supplémentaire partagé Sous-ensemble Nu élimine de la région
Cases d'aide requises Non Oui (pour compléter le sous-ensemble)
Ce qui est éliminé Le supplémentaire partagé Toutes les valeurs du sous-ensemble

Type 2 : Même supplémentaire → éliminer des peers communs Type 3 : Supplémentaires différents → former sous-ensemble → éliminer de la région

Tailles de Sous-ensemble Communes

Taille de Sous-ensemble Nom Case Virtuelle + Partenaires
2 Paire Nue Supplémentaires + 1 aide
3 Triple Nu Supplémentaires + 1-2 aides
4 Quadruple Nu Supplémentaires + 2-3 aides

Le cas le plus commun est une Paire Nue, mais de plus grands sous-ensembles sont possibles selon les supplémentaires et les cases d'aide disponibles.

Quand le Type 3 S'applique

Le Type 3 nécessite toutes les conditions : - ✅ Plusieurs cases BUG (cases avec 3+ candidats) - ✅ Les cases BUG ont des candidats supplémentaires différents - ✅ Les cases BUG partagent une région (ligne, colonne, ou bloc) - ✅ Des cases d'aide existent qui contiennent seulement les valeurs supplémentaires - ✅ Case virtuelle + aides forment un Sous-ensemble Nu valide - ✅ D'autres cases dans la région contiennent des valeurs du sous-ensemble (quelque chose à éliminer)

Quand le Type 3 Ne S'applique Pas

  • Mêmes supplémentaires : Toutes les cases BUG ont le même supplémentaire → Utilisez Type 2
  • Seulement 1 case BUG : Utilisez Type 1
  • Pas de région partagée : Cases BUG dans différentes lignes/colonnes/blocs → Type 3 ne peut pas se former
  • Pas de cases d'aide : Impossible de compléter un Sous-ensemble Nu valide
  • Rien à éliminer : Les autres cases ne contiennent pas de valeurs du sous-ensemble

Connexion avec Unique Loop Type 3

BUG Type 3 et Unique Loop Type 3 utilisent une logique identique. Les deux combinent des motifs d'unicité avec l'élimination de Sous-ensemble Nu !

Conseils pour Débutants

  1. Apprenez les prérequis d'abord :
  2. BUG Type 1 pour comprendre les motifs BUG
  3. Paire Nue pour la logique de sous-ensemble
  4. Cherchez des supplémentaires différents : Quand les cases BUG ont des supplémentaires différents, pensez Type 3
  5. Identifiez la région partagée : Les cases BUG doivent être dans la même ligne/colonne/bloc
  6. Trouvez les aides : Cherchez des cases contenant seulement les valeurs supplémentaires

Stratégies Liées

Famille BUG

Stratégies de Sous-ensemble Nu