Sous-ensembles au Sudoku

Un sous-ensemble au Sudoku est une réservation entre un groupe de cases et un groupe de chiffres à l’intérieur d’une seule unité.

L’idée générale est :

N cases sont réservées à N chiffres.

Une fois cette relation prouvée, soit les chiffres réservés peuvent être supprimés des autres cases de l’unité, soit les autres candidats peuvent être supprimés des cases réservées, selon qu’il s’agit d’un sous-ensemble nu ou caché.

Paires, Triplets et Quadruplets ne sont donc pas six astuces indépendantes. Ce sont des tailles et des points de vue différents d’un même principe de comptage.

Règle rapide

Un sous-ensemble vit toujours dans une seule unité : ligne, colonne ou bloc 3×3.

Pour une taille N :

• Sous-ensemble nu : N cases utilisent au total seulement N chiffres. Ces chiffres sont réservés à ces cases ; supprimez-les des autres cases de l’unité.
• Sous-ensemble caché : N chiffres ne peuvent apparaître que dans N cases. Ces cases sont réservées à ces chiffres ; supprimez les autres candidats des cases du sous-ensemble.

Pourquoi les sous-ensembles fonctionnent

Supposons que trois cases d’une ligne ne puissent contenir, à elles trois, que {2,5,8}.

On ne sait pas encore quelle case reçoit quel chiffre, mais la ligne doit placer les trois valeurs quelque part. Comme ces trois cases sont les seules positions de la réservation, elles consommeront nécessairement 2, 5 et 8 dans un ordre quelconque.

Le reste de la ligne ne peut donc contenir aucun de ces trois chiffres.

La preuve est une correspondance :

3 cases ↔ 3 chiffres

La version cachée exprime la même réservation depuis l’autre direction : si 2, 5 et 8 n’ont que trois positions possibles dans une ligne, ces trois cases leur sont réservées et leurs autres candidats deviennent impossibles.

Sous-ensembles nus : commencez par les cases

Un sous-ensemble nu se repère généralement cell-first.

Cherchez un petit groupe de cases dont l’union des candidats ne contient pas plus de chiffres que de cases.

Pour une Paire nue :

{3,7} {3,7}

Deux cases, deux chiffres au total.

Pour un Triplet nu, les listes n’ont pas besoin d’être identiques :

{1,4} {1,7} {4,7}

L’union reste {1,4,7}.

Pour un Quadruplet, quatre cases peuvent répartir quatre chiffres de manière irrégulière tant que leur union totale reste exactement de taille quatre.

La bonne question n’est pas « ces cases se ressemblent-elles ? », mais « combien de candidats distincts existent dans ces N cases ? ».

Sous-ensembles cachés : commencez par les chiffres

Un sous-ensemble caché se repère plutôt digit-first.

Demandez où certains chiffres peuvent encore apparaître dans l’unité.

Si 1, 4 et 7 n’existent que dans trois cases d’une ligne, ces trois chiffres doivent occuper ces trois cases. Même si les listes ressemblent à :

{1,3,4}
{1,4,7,9}
{2,4,7}

les candidats 2, 3 et 9 peuvent être supprimés, car les trois cases sont réservées à {1,4,7}.

C’est pourquoi les sous-ensembles cachés sont souvent plus difficiles à voir : les cases pertinentes paraissent « bruyantes » avant l’élimination.

Nus et cachés sont deux vues d’une même réservation

Le nu insiste sur : ces cases ont trop peu de chiffres possibles.

Le caché insiste sur : ces chiffres ont trop peu de cases possibles.

Dans les deux cas, N cases sont réservées à N chiffres.

Stratégiquement, cela suggère aussi quand changer de mode de recherche : petites listes de candidats → cherchez du nu ; chiffres très confinés → cherchez du caché.

Exemple travaillé de sous-ensemble

Paire nue

Une Paire nue est le sous-ensemble le plus petit et le plus facile à reconnaître.

Deux cases d’une même unité sont limitées aux mêmes deux chiffres. Ces chiffres appartiennent à la paire et peuvent être retirés de toutes les autres cases non résolues de l’unité.

C’est généralement la meilleure porte d’entrée dans la famille des sous-ensembles.

Paire cachée

Une Paire cachée inverse la recherche.

Deux chiffres n’apparaissent que dans deux cases de l’unité. Ces cases peuvent avoir d’autres candidats, mais ceux-ci doivent être supprimés parce que les deux cases sont réservées aux deux chiffres ciblés.

La Paire cachée devient beaucoup plus visible avec une notation de candidats complète ou une carte mentale des positions par chiffre.

Triplets nus et cachés

Les Triplets étendent exactement la même logique de deux à trois.

L’erreur classique est d’exiger trois cases identiques de trois candidats. Ce n’est pas nécessaire.

Pour un Triplet nu, l’union de trois cases doit simplement contenir trois chiffres. Pour un Triplet caché, trois chiffres doivent n’avoir ensemble que trois positions possibles.

Plus N augmente, moins le motif est visuellement évident ; comprendre la preuve de réservation devient donc plus important que mémoriser des formes.

Quadruplets nus et cachés

Les Quadruplets utilisent quatre cases et quatre chiffres.

Ils ne diffèrent pas logiquement des Paires ou Triplets, mais sont généralement plus difficiles à repérer et peuvent produire moins d’éliminations parce qu’une grande partie de l’unité est déjà incluse dans la réservation.

Un Quadruplet vaut la peine d’être recherché lorsque l’état candidat est dense mais fiable, que Paires et Triplets sont épuisés ou que quatre cases/chiffres présentent une restriction particulièrement forte.

Comment trouver efficacement les sous-ensembles

Ne testez pas toutes les combinaisons au hasard.

1. Commencez par les unités contraintes

Les lignes, colonnes ou blocs avec peu de cases non résolues sont plus faciles à analyser.

2. Pour les sous-ensembles nus, partez des petites listes de candidats

Les cases bivalue et trivalue sont des ancres naturelles.

3. Pour les sous-ensembles cachés, suivez les chiffres restreints

Les chiffres présents dans seulement deux, trois ou quatre positions de l’unité sont les meilleurs candidats à tester.

4. Arrêtez dès que le comptage ne se ferme plus

Trois cases qui contiennent cinq chiffres distincts ne sont pas un Triplet nu. Trois chiffres qui peuvent se placer dans cinq cases ne sont pas un Triplet caché.

5. Rescannez après chaque élimination

Un sous-ensemble est souvent un coup de préparation. Ses suppressions peuvent créer immédiatement un Single ou un Locked Candidate.

Le test exact d’un sous-ensemble

Pour un sous-ensemble nu de taille N :

1. choisissez N cases non résolues d’une unité ;
2. faites l’union de leurs candidats ;
3. cette union doit contenir exactement N chiffres ;
4. ces chiffres sont réservés à ces cases ;
5. supprimez-les des autres cases de l’unité.

Pour un sous-ensemble caché de taille N :

1. choisissez N chiffres dans une unité ;
2. réunissez toutes les cases où ces chiffres peuvent apparaître ;
3. cette union doit contenir exactement N cases ;
4. ces cases sont réservées aux N chiffres ;
5. supprimez les autres candidats des cases réservées.

Un sous-ensemble ne donne pas forcément l’ordre des chiffres

Une Paire nue {2,9} {2,9} ne dit pas quelle case vaut 2 et laquelle vaut 9.

Elle prouve seulement que les deux cases consomment 2 et 9 entre elles. Cela suffit pour éliminer ces chiffres ailleurs.

La même idée vaut pour les Triplets et Quadruplets : ce sont des preuves de réservation, pas nécessairement des preuves de placement immédiat.

Les sous-ensembles existent dans les lignes, colonnes et blocs

Toute preuve de sous-ensemble est locale à une unité précise.

Ne transférez pas une élimination dans une autre unité simplement parce qu’une case du sous-ensemble lui appartient aussi.

Si une Paire nue est prouvée en ligne 4, son élimination s’applique à la ligne 4. Une élimination dans le bloc n’est légitime que si la même réservation est également valide dans ce bloc.

Cette règle locale évite de nombreuses suppressions fausses.

Sous-ensembles verrouillés et chevauchement avec les intersections

Certaines sources parlent de Locked Pair ou Locked Triple lorsqu’un sous-ensemble nu est confiné d’une manière qui interagit aussi avec un bloc et une ligne.

Pour VeyraPlay, la séparation conceptuelle reste :

• Sous-ensembles pour la réservation N cases / N chiffres ;
• Locked Candidates pour le confinement d’un candidat à l’intersection bloc-ligne.

Une grille peut parfois permettre les deux descriptions, mais vous devez toujours pouvoir nommer l’unité et la réservation exacte qui justifient l’élimination.

Erreurs courantes avec les sous-ensembles

Exiger des listes de candidats identiques

Seules les Paires nues prennent souvent la forme de deux cases bivalue identiques. Triplets et Quadruplets peuvent distribuer leurs chiffres de manière différente tant que l’union a la bonne taille.

Compter des cases appartenant à des unités différentes

La preuve doit appartenir à une seule ligne, colonne ou bloc.

Éliminer à l’intérieur d’un sous-ensemble nu

Le nu élimine les chiffres réservés des autres cases de l’unité.

Éliminer à l’extérieur d’un sous-ensemble caché

Le caché élimine les autres candidats des cases réservées.

Faire confiance à des candidats incomplets

Un candidat légal oublié peut créer un faux sous-ensemble. Les techniques de réservation exigent une notation suffisamment fiable pour le niveau de raisonnement utilisé.

Chercher des Quadruplets avant des Paires évidentes

Les sous-ensembles plus grands sont plus coûteux à repérer. Vérifiez d’abord les structures plus simples et rescannez après chaque progrès.

Sous-ensembles ou Locked Candidates

Les deux familles peuvent supprimer des candidats sans résoudre immédiatement une case. Les Locked Candidates exploitent un confinement positionnel entre bloc et ligne/colonne pour un seul chiffre. Les sous-ensembles réservent N chiffres dans N cases d’une même unité.

Un même diagramme peut parfois suggérer les deux idées, mais les preuves ne sont pas interchangeables : nommez toujours le confinement ou la réservation exacte qui justifie la suppression.

Sous-ensembles ou Fish

Les sous-ensembles travaillent à l’intérieur d’une seule unité et mettent en relation plusieurs cases et plusieurs chiffres. Les Fish suivent au contraire un seul chiffre à travers plusieurs lignes et colonnes grâce à des ensembles de base et de couverture.

Les deux familles utilisent du comptage, mais elles ne comptent pas les mêmes objets. Cette distinction évite de transférer des règles d’élimination d’une famille vers l’autre.

Quand faut-il apprendre les Quadruplets ?

Une progression pratique est :

1. Paire nue ;
2. Paire cachée ;
3. Triplet nu ;
4. Triplet caché ;
5. Quadruplet nu ;
6. Quadruplet caché.

Il n’est pas nécessaire d’attendre que chaque motif précédent soit instantané, mais le principe de réservation N-pour-N doit être clair avant d’augmenter N.

FAQ

Qu’est-ce qu’un sous-ensemble au Sudoku ?

C’est une relation dans une unité où N cases sont réservées à N chiffres. Cette réservation autorise des éliminations soit hors des cases dans la version nue, soit à l’intérieur des cases dans la version cachée.

Quelle différence entre sous-ensemble nu et caché ?

Le nu part des cases et limite leur union de candidats. Le caché part des chiffres et limite leurs positions possibles. Les deux expriment la même réservation N↔N.

Paires, Triplets et Quadruplets sont-ils tous des sous-ensembles ?

Oui. Paire signifie taille 2, Triplet taille 3 et Quadruplet taille 4. Chaque taille existe en version nue ou cachée.

Un Triplet nu peut-il contenir une case avec seulement deux candidats ?

Oui. Les trois cases n’ont pas besoin d’avoir trois candidats chacune. Leur union totale doit simplement contenir exactement trois chiffres.

Les sous-ensembles résolvent-ils directement des cases ?

Le plus souvent non. Ils éliminent des candidats, puis ces suppressions peuvent créer des Singles ou d’autres déductions plus simples.

Un sous-ensemble peut-il utiliser des cases de lignes ou blocs différents ?

Les cases sélectionnées doivent toutes partager une même unité. Des cases qui ne sont pas toutes dans la même ligne, colonne ou bloc ne constituent pas un sous-ensemble standard pour cette unité.