Solveur Sudoku

Expert+

Boucle Unique Type 4

Quand une valeur de boucle est verrouillée aux cases de sauvetage dans une région partagée, éliminez l'autre valeur de boucle d'elles.

Boucle Unique Type 4 est une stratégie d'"unicité" avancée qui utilise le concept de candidats verrouillés au sein d'une Boucle Unique. Quand l'une des deux valeurs de la boucle peut seulement apparaître dans les cases de sauvetage au sein d'une région partagée, nous savons qu'une case de sauvetage DOIT être cette valeur—nous permettant d'éliminer l'autre valeur de boucle.

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

Interactive Example

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

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 avec les valeurs {6, 9}.

L'Analyse Clé :

  1. Valeurs de boucle : Le motif mortel utilise les valeurs {6, 9}.
  2. Cases de sauvetage : R8C1 et R8C4 ont toutes deux des candidats supplémentaires.
  3. Région partagée : Les deux cases de sauvetage sont dans la Ligne 8.
  4. Vérification de valeur verrouillée : Où le 9 peut-il apparaître dans la Ligne 8 ?
  5. En scannant la Ligne 8 : La valeur 9 apparaît SEULEMENT en R8C1 et R8C4 !
  6. La logique : Puisque le 9 est verrouillé aux cases de sauvetage, l'une d'elles DOIT être 9.
  7. Élimination : Si une case de sauvetage doit être 9, aucune des deux ne peut être 6 (l'autre valeur de boucle) tant que le 6 apparaît ailleurs dans la boucle (ce qui est le cas, sinon ce serait une paire cachée). Correction de la logique spécifique Type 4 : Le fait qu'une des cases soit 9 signifie que celle-ci ne peut être 6. Mais on ne sait pas laquelle. Cependant, dans la logique Type 4 pure :
  8. Si R8C1 est 9, elle n'est pas 6.
  9. Si R8C4 est 9, elle n'est pas 6.
  10. L'une d'elles est 9.
  11. Donc on ne peut pas avoir DEUX 6 dans ces cases... Attendez, la logique standard est plus simple :
  12. Comme le 9 est forcé dans l'une de ces deux cases (pour la ligne), il est IMPOSSIBLE que ces deux cases soient {6, autre} et {6, autre}.
  13. En fait, la logique est : L'une de ces deux cases doit contribuer à la boucle (pour éviter le motif mortel) OU satisfaire le 9 de la ligne.
  14. Si aucune n'était 9, il n'y aurait pas de 9 dans la ligne. Donc l'une est 9.
  15. Celle qui est 9 ne peut pas être 6.
  16. Est-ce que cela signifie que l'autre ne peut pas être 6 ?
  17. Regardons de plus près : La logique Type 4 dit qu'on élimine la seconde valeur de boucle (6) des deux cases de sauvetage.
  18. Pourquoi ? Parce que si l'une des cases de sauvetage était 6, alors pour ne pas avoir de motif mortel, l'autre devrait être "non-6 et non-9". Mais l'autre DOIT être 9 pour la ligne si la première ne l'est pas.
  19. C'est subtil. Faisons confiance à la définition standard : "Puisque l'une doit être 9, on élimine l'autre valeur de boucle (6) des deux cases de sauvetage".

Résultat : Éliminez 6 de R8C1 et R8C4.

Comprendre la Logique

Que signifie "Verrouillé" ?

Une valeur est verrouillée à certaines cases dans une région quand elle peut SEULEMENT apparaître dans ces cases au sein de cette région.

Dans notre exemple : - La Ligne 8 a besoin d'un 9 quelque part. - En regardant toutes les cases de la Ligne 8, seuls R8C1 et R8C4 contiennent le candidat 9. - Par conséquent, 9 est verrouillé à {R8C1, R8C4}. - L'une de ces cases doit être 9.

Connexion au Motif Mortel

Nous savons déjà de la Boucle Unique que : - Au moins une case de sauvetage ne doit PAS être une valeur de boucle (pour briser le motif). - Les cases de sauvetage ont des extras pour cette raison.

Le Type 4 ajoute une autre contrainte : - Une case de sauvetage doit être la valeur de boucle verrouillée (9). - Par conséquent, aucune ne peut être l'autre valeur de boucle (6).

Comparaison avec d'Autres Types

Type Condition Cible d'Élimination Ce qui est Éliminé
Type 1 1 case de sauvetage La case de sauvetage Valeurs de boucle
Type 2 Même extra dans les cases de sauvetage Pairs communs L'extra partagé
Type 3 Extras différents + sous-ensemble Autres cases de la région Valeurs du sous-ensemble
Type 4 Valeur de boucle verrouillée aux sauvetages Cases de sauvetage L'AUTRE valeur de boucle