Solveur Sudoku

Expert+

Boucle Unique Type 3

Éliminez les candidats quand les extras de la boucle forment un Sous-ensemble Nu avec d'autres cases dans une région partagée.

Boucle Unique Type 3 est une stratégie d'"unicité" avancée qui combine le concept d'une Boucle Unique avec la logique de Sous-ensemble Nu. Cette technique puissante gère les situations où plusieurs cases de sauvetage ont des candidats supplémentaires différents qui ensemble forment un Sous-ensemble Nu avec d'autres cases dans une région partagée.

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

Interactive Example

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
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
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
2
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
7
1 2 3 4 5 6 7 8 9
8
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
1 2 3 4 5 6 7 8 9
1
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
2
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
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
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
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
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
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
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
2
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
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
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
3
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 2 3 4 5 6 7 8 9
5
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 l'exemple ci-dessus, le résolveur identifie une Boucle Unique de 6 cases :

La Structure de la Boucle :

Case Index Position Rôle
3 R1C4 Case de sauvetage (a un extra)
4 R1C5 Case de sauvetage (a un extra)
27 R4C1 Case de boucle
31 R4C5 Case de boucle
36 R5C1 Case de boucle
39 R5C4 Case de boucle

L'Aperçu Clé :

  1. La paire de boucle : Les cases partagent des candidats qui pourraient former un motif mortel.
  2. Cases de sauvetage avec extras différents : R1C4 et R1C5 ont des candidats supplémentaires (par ex., 3 et 7).
  3. Région partagée : Les deux cases de sauvetage sont dans la même ligne (Ligne 1).
  4. Case partenaire : R1C2 (index 1) contient aussi {3, 7}.
  5. Paire Nue formée : Les extras des cases de sauvetage + R1C2 forment une Paire Nue {3, 7}.
  6. Élimination : Retirez 3 et 7 des autres cases dans la Ligne 1 (spécifiquement R1C6).

Résultat : Éliminez 3 et 7 de R1C6.

Comprendre la Logique

Le Concept de "Case Virtuelle"

Dans le Type 3, nous traitons les extras combinés de toutes les cases de sauvetage comme une seule "case virtuelle" :

  • Case de sauvetage 1 a l'extra : 3
  • Case de sauvetage 2 a l'extra : 7
  • Case virtuelle contient : {3, 7}

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

Comment le Sous-ensemble Nu se forme

Composant Candidats Rôle
Case virtuelle (extras de sauvetage) {3, 7} Partie du sous-ensemble
R1C2 (case partenaire) {3, 7} Partie du sous-ensemble
Paire Nue {3, 7} 2 cases, 2 valeurs

Ensemble, celles-ci forment une Paire Nue dans la Ligne 1. Par conséquent : - L'une des cases de sauvetage doit être 3 ou 7 (pour briser la boucle). - R1C2 doit être l'autre valeur (3 ou 7). - Aucune autre case dans la Ligne 1 ne peut être 3 ou 7.

Pourquoi cela fonctionne

La boucle deviendrait un motif mortel sans les extras. Donc : - Au moins une case de sauvetage doit devenir sa valeur supplémentaire. - Combiné avec la case partenaire, tous les extras sont "verrouillés" à des cases spécifiques. - Les autres cases dans la région peuvent être éliminées.