Glossaire Sudoku

Ce glossaire constitue la référence de vocabulaire canonique pour VeyraPlay Sudoku.

Utilisez-le lorsqu'un Guide, une leçon Learn, un message du solveur ou une interface introduit un terme inconnu. Les définitions restent volontairement concises ; la preuve complète de chaque technique appartient à son Guide dédié.

Lorsque la communauté Sudoku utilise plusieurs noms pour une même idée, VeyraPlay choisit un terme public principal tout en conservant les aliases importants. Le produit reste ainsi cohérent sans prétendre qu'il n'existe qu'un vocabulaire universel.

Comment lire le glossaire

Les termes appartiennent à quatre grandes familles :

• vocabulaire de grille — case, ligne, colonne, bloc, unité, case liée ;
• vocabulaire de candidats — candidat, note, bivalue, paire conjuguée ;
• vocabulaire de techniques — Singles, sous-ensembles, Fish, Wings, Chains ;
• vocabulaire puzzle/théorie — indice, solution unique, puzzle minimal, difficulté, symétrie.

Pour le contenu débutant, VeyraPlay privilégie les formulations françaises naturelles. Les noms internationaux importants restent visibles car les joueurs les rencontreront ailleurs.

A

AIC — Alternating Inference Chain

Une Chaîne d'inférence alternée qui alterne des relations Strong et Weak entre candidats.

Les AIC complètes appartiennent à une extension Expert, après l'introduction aux Sudoku Chains.

B

Backtracking

Algorithme de recherche systématique qui choisit temporairement une possibilité, propage ses conséquences et revient à une décision précédente si la branche échoue.

VeyraPlay peut utiliser le backtracking pour la validation et le comptage de solutions, tandis que Learn privilégie les déductions lisibles par un humain.

Bande

Groupe horizontal de trois blocs 3×3.

Un Sudoku 9×9 classique possède trois bandes.

Base set — ensemble de base

Dans la terminologie Fish, unité source — ligne ou colonne — dont les positions candidates sont couvertes par des unités correspondantes.

Dans un X-Wing basé sur des lignes, les deux lignes source sont les ensembles de base.

Bivalue — case bivalue

Case non résolue contenant exactement deux candidats.

Très importante pour :

• XY-Wing ;
• W-Wing ;
• Chaînes XY.

Bloc

L'une des neuf régions 3×3 d'un Sudoku classique.

Chaque bloc doit contenir les chiffres 1 à 9 exactement une fois dans la grille terminée.

Box-Line Reduction — Réduction bloc-ligne

Direction Claiming des candidats enfermés.

Une ligne ou colonne limite un chiffre à un seul bloc, ce qui permet de retirer ce candidat du reste du bloc.

C

Candidat

Chiffre encore légal dans une case non résolue selon l'état actuel de la grille.

Ensemble de candidats

Ensemble complet des chiffres actuellement possibles dans une case.

Exemple :

{2,5,7}

Élimination de candidat

Suppression logique d'un chiffre de l'ensemble de candidats d'une case.

Une élimination est un mouvement valide même si elle ne résout pas immédiatement la case.

Case

Une cellule individuelle de la grille.

Le Sudoku classique contient 81 cases.

Case liée

Case partageant une ligne, une colonne ou un bloc avec une autre case.

Deux cases liées ne peuvent pas contenir le même chiffre résolu.

Alias communautaire international : peer.

Chain — chaîne

Suite d'implications logiques entre candidats.

Les Chains introductives sont construites à partir de Strong Links et Weak Links.

Claiming

Direction des candidats enfermés où toutes les positions d'un chiffre dans une ligne ou colonne appartiennent à un seul bloc.

Le candidat peut alors être retiré du reste de ce bloc.

Color Trap

Élimination de Coloration simple : un candidat non coloré voit les deux polarités d'une même composante et devient impossible.

Color Wrap

Contradiction de Coloration simple : deux candidats de même couleur se voient, ce qui invalide cette polarité dans toute la composante.

Coloration simple

Technique sur un seul chiffre qui alterne deux états dans un réseau connecté de paires conjuguées.

Colonne

Ligne verticale de neuf cases.

Chaque colonne complète contient les chiffres 1 à 9 exactement une fois.

Paire conjuguée

Deux positions candidates du même chiffre qui sont les seules positions restantes pour ce chiffre dans une ligne, colonne ou bloc.

Elles forment un Strong Link.

Cover set — ensemble de couverture

En Fish, ligne ou colonne qui couvre les positions candidates apportées par les ensembles de base.

Dans un X-Wing basé sur des lignes, les colonnes correspondantes sont les ensembles de couverture.

Contradiction

Preuve qu'une hypothèse candidate temporaire est impossible parce que des implications valides conduisent à un état invalide.

Ce raisonnement n'est pas équivalent à accepter une supposition arbitraire.

Crosshatching

Méthode de scanning débutante qui utilise les chiffres déjà placés dans les lignes et colonnes pour exclure des positions à l'intérieur d'un bloc.

D

Deadly pattern — motif mortel

Dans la logique d'unicité, configuration candidate susceptible de permettre plusieurs complétions interchangeables.

Le rectangle {X,Y} à quatre coins du Rectangle unique en est l'exemple classique.

Difficulty — difficulté

Évaluation destinée à décrire le niveau de défi d'un puzzle.

Elle ne se déduit pas correctement du seul nombre d'indices.

Difficulty model — modèle de difficulté

Algorithme ou heuristique qui convertit les caractéristiques du chemin de résolution en score ou label de difficulté.

Il peut tenir compte des techniques nécessaires, de l'effort total, des dépendances entre étapes et des données joueurs.

E

Exact Cover

Formulation mathématique où une solution valide doit satisfaire exactement une fois un ensemble de contraintes.

Le Sudoku classique peut être représenté sous forme d'Exact Cover.

Extrémité — endpoint

Premier ou dernier nœud candidat d'une Chain.

Certaines Chains prouvent qu'au moins une de leurs extrémités est vraie, permettant une élimination chez les candidats qui voient les deux.

F

Fish

Famille de motifs sur un seul chiffre fondée sur des restrictions de candidats dans des ensembles correspondants de lignes et colonnes.

Exemples :

• X-Wing ;
• Swordfish / Espadon ;
• Jellyfish / Méduse.

Finned Fish — Fish à nageoire

Variante de Fish contenant des candidats source supplémentaires — les nageoires — qui modifient les zones d'élimination.

Famille réservée à une extension Expert.

G

Given — chiffre donné

Chiffre présent dans la grille avant le début de la résolution.

VeyraPlay utilise principalement indice ou chiffre donné en français.

H

Hidden Pair — Paire cachée

Deux chiffres qui ne peuvent apparaître que dans les mêmes deux cases d'une unité.

Les autres candidats peuvent être supprimés de ces deux cases.

Hidden Single — Singleton caché

Chiffre ne possédant qu'une seule position possible dans une ligne, colonne ou bloc, même si la case cible contient plusieurs candidats.

Hidden Subset — sous-ensemble caché

Famille comprenant Paire cachée, Triplet caché et Quadruplet caché.

N chiffres sont limités à N cases d'une unité.

Hidden Triple — Triplet caché

Trois chiffres limités aux mêmes trois cases d'une unité.

House

Terme communautaire anglais désignant une ligne, colonne ou bloc.

VeyraPlay utilise unité dans son contenu pédagogique français.

I

Indice

Chiffre fourni par le puzzle avant que le joueur commence.

Synonyme contextuel : chiffre donné.

Intersection

Cases partagées par deux unités, en particulier là où un bloc croise une ligne ou colonne.

Les candidats enfermés exploitent les intersections bloc-ligne.

Invalid puzzle — puzzle invalide

Grille de départ ne respectant pas les exigences de publication : aucune solution, plusieurs solutions alors que l'unicité est requise, indices contradictoires ou métadonnées produit invalides.

J

Jellyfish — Méduse

Fish de taille 4 utilisant quatre ensembles de base et quatre ensembles de couverture.

Technique reportée à une extension Expert.

L

Carré latin

Disposition n × n de n symboles où chaque symbole apparaît exactement une fois dans chaque ligne et colonne.

Un Sudoku classique complet est un carré latin contraint par l'exigence supplémentaire des blocs 3×3.

Link — lien

Relation logique entre deux états candidats.

Voir Strong Link et Weak Link.

Locked Candidates — candidat enfermé

Famille d'éliminations aux intersections.

Deux directions :

• Pointing : bloc → ligne/colonne ;
• Claiming : ligne/colonne → bloc.

M

Minimal puzzle — Sudoku minimal

Sudoku unique dans lequel la suppression de n'importe quel indice existant détruit l'unicité.

Un Sudoku minimal ne possède pas nécessairement le nombre global minimal d'indices.

Minimum-clue puzzle — Sudoku au nombre minimal d'indices

Puzzle utilisant le plus petit nombre d'indices possible pour sa classe tout en conservant une solution unique.

Pour le Sudoku classique 9×9, le minimum prouvé est 17.

N

Naked Pair — Paire nue

Deux cases d'une même unité dont l'ensemble combiné de candidats contient exactement deux chiffres.

Ces chiffres peuvent être retirés des autres cases de l'unité.

Naked Single — Singleton nu

Case avec exactement un candidat restant.

Naked Subset — sous-ensemble nu

Ensemble de N cases d'une unité dont l'union des candidats contient exactement N chiffres.

Exemples :

• Paire nue ;
• Triplet nu ;
• Quadruplet nu.

Naked Triple — Triplet nu

Trois cases d'une unité dont l'union des candidats contient exactement trois chiffres.

Note / marque au crayon

Petit chiffre utilisé pour afficher un candidat dans une case non résolue.

P

Pince — pincer

L'une des cases extérieures d'un motif Wing.

Dans XY-Wing :

• pivot {X,Y} ;
• pinces {X,Z} et {Y,Z}.

Pivot

Case centrale d'un motif Wing.

Dans XY-Wing, le pivot est bivalue {X,Y}.

Dans XYZ-Wing, il contient {X,Y,Z}.

Placement

Entrée d'un chiffre résolu dans une case après preuve logique de sa valeur.

Pointing

Direction des candidats enfermés où toutes les positions d'un chiffre dans un bloc se trouvent sur une même ligne ou colonne.

Paire pointante

Nom fréquent de Pointing lorsque l'intersection source contient deux cases candidates.

La logique fonctionne aussi avec trois positions alignées.

R

Rectangle unique

Technique fondée sur la prémisse qu'un puzzle vérifié possède exactement une solution.

Le Type 1 élimine les deux chiffres du rectangle mortel dans le coin contenant des candidats supplémentaires.

Région

Terme général pour un groupe contraint de cases.

Dans le Sudoku classique, les régions 3×3 sont appelées blocs.

Ligne

Suite horizontale de neuf cases.

Chaque ligne complète contient les chiffres 1 à 9 exactement une fois.

S

Scanning

Méthode générale d'observation des lignes, colonnes, blocs ou d'un chiffre particulier afin de repérer des positions contraintes.

Simple Coloring — Coloration simple

Technique sur un chiffre qui attribue deux états alternés dans un réseau de paires conjuguées.

Les deux conclusions principales enseignées sont Color Trap et Color Wrap.

Single

Placement forcé.

Les deux principaux types débutants sont :

• Singleton nu ;
• Singleton caché.

Solution

Grille entièrement remplie qui respecte tous les indices et les contraintes classiques.

Solution unique

Propriété d'un puzzle dont les indices correspondent à exactement une grille complète valide.

Ce n'est pas une quatrième règle locale.

Stack — pile

Groupe vertical de trois blocs 3×3.

Le Sudoku classique possède trois piles.

Strong Link — lien fort

Relation où les deux extrémités ne peuvent pas être toutes les deux fausses.

Implication clé :

A faux → B vrai

Swordfish — Espadon

Fish de taille 3.

VeyraPlay conserve Swordfish comme nom technique international et Espadon comme alias français.

Symétrie

Dans la construction d'un puzzle, organisation régulière des positions d'indices, par exemple une symétrie de rotation à 180°.

Elle peut être une préférence esthétique sans être une règle classique.

T

Technique

Déduction logique reproductible permettant un placement ou une élimination.

Triplet nu

Trois cases d'une unité dont l'union des candidats contient exactement trois chiffres.

Triplet caché

Trois chiffres entièrement limités à trois cases d'une unité.

Two-String Kite — Cerf-volant à deux cordes

Motif sur un chiffre utilisant un Strong Link en ligne, un Strong Link en colonne et une connexion Weak à travers un bloc.

U

Unicité

Propriété selon laquelle le puzzle possède exactement une solution.

Elle doit être vérifiée séparément des règles locales.

Unité

Terme générique pour une ligne, une colonne ou un bloc.

Unique Rectangle

Voir Rectangle unique.

W

Weak Link — lien faible

Relation où deux états candidats ne peuvent pas être vrais simultanément.

Implication clé :

A vrai → B faux

Wing

Famille de techniques utilisant de petits ensembles de candidats et des relations de visibilité.

Exemples :

• XY-Wing ;
• XYZ-Wing ;
• W-Wing.

W-Wing

Deux cases bivalue identiques reliées par un Strong Link sur l'un de leurs candidats.

X

X-Chain — Chaîne X

Chain sur un seul chiffre alternant des rôles Strong et Weak.

X-Wing

Fish de taille 2 utilisant deux ensembles de base et deux ensembles de couverture.

XY-Chain — Chaîne XY

Chain à travers des cases bivalue, dont les extrémités partagent le même candidat terminal.

XY-Wing / Y-Wing

Wing à trois cases bivalue :

• pivot {X,Y} ;
• pinces {X,Z} et {Y,Z}.

XYZ-Wing

Wing avec pivot {X,Y,Z} et pinces {X,Z} / {Y,Z}.

La cible doit voir le pivot et les deux pinces.

Pourquoi ce glossaire est important pour le produit

Le vocabulaire doit rester cohérent entre :

• Guides ;
• Learn ;
• Practice ;
• messages du solveur ;
• aides ;
• interface de jeu.

Les aliases permettent ensuite de couvrir le vocabulaire externe sans introduire des noms contradictoires dans l'expérience principale.

Par exemple :

Candidat enfermé
aliases:
- Locked Candidates
- Candidats verrouillés

ou :

Gratte-ciel
alias:
- Skyscraper

Le terme canonique appartient au contenu public.

Les aliases améliorent la découverte, l'interopérabilité éditoriale et la recherche.

Que lire ensuite ?

Utilisez La grille de Sudoku pour le vocabulaire fondamental, Candidats au Sudoku pour la notation, puis Strong Links, Weak Links et Sudoku Chains pour le vocabulaire avancé.