Glossario Sudoku

Un glossario Sudoku serve a rendere stabile il linguaggio usato tra guide, solver e tecniche. Qui i nomi internazionali più riconoscibili restano visibili, mentre le definizioni spiegano il concetto in italiano.

Come usare questo glossario Sudoku

Usa il glossario come riferimento, non come ordine di studio. Cerca un termine quando compare in una Guide, confronta gli alias e torna alla pagina tecnica collegata per la prova completa. Le definizioni qui sono volutamente compatte ma mantengono lo stesso significato logico usato nel resto del corpus.

A

AIC — Alternating Inference Chain

Catena che alterna ruoli Strong e Weak tra stati candidati. Gli endpoint possono dimostrare eliminazioni, placements o contraddizioni.

Algorithm X

Algoritmo di ricerca per problemi di exact cover, spesso usato per modellare e risolvere Sudoku. È distinto dall’implementazione Dancing Links.

ALS — Almost Locked Set

Almost Locked Set: N celle in una unità che contengono complessivamente N+1 candidati distinti. Diventa Locked Set se uno dei candidati viene escluso nel modo appropriato.

ALS-XZ

Tecnica che mette in relazione due ALS tramite Restricted Common Candidates per produrre eliminazioni sul candidato Z.

Almost Locked Set

Vedi ALS: un insieme quasi bloccato con un candidato distinto in più rispetto al numero di celle.

Avoidable Rectangle

Pattern di unicità simile a un Unique Rectangle in cui alcune celle possono essere già risolte; richiede una premessa di soluzione unica.

B

Backtracking

Ricerca sistematica che sceglie una possibilità, propaga conseguenze e torna indietro quando incontra una contraddizione. È comune nei solver completi.

Band

Gruppo orizzontale di tre blocchi 3×3 adiacenti, cioè tre box che occupano tre righe consecutive.

Base set

Nei Fish, una delle N unità sorgente che devono contenere la cifra Fish e le cui candidature sono confinate nelle cover.

Bivalue cell — Casella bivalue

Casella irrisolta con esattamente due candidati. I due stati sono Strong e Weak tra loro: esattamente uno è vero.

Block — Blocco

Una delle nove regioni 3×3 del Sudoku classico. In questa libreria “blocco” e “box” indicano la stessa struttura.

Box — Blocco 3×3

Sinonimo di blocco 3×3 nel Sudoku classico.

Box-Line Reduction

Direzione linea→blocco dei Locked Candidates, chiamata anche Claiming: una riga/colonna confina la cifra in un solo blocco e permette eliminazioni nel resto del blocco.

BUG — Bivalue Universal Grave

Stato globale quasi simmetrico in cui tutte le celle irrisolte sono bivalue e la struttura può sostenere più completamenti. BUG significa Bivalue Universal Grave.

BUG+1

Tecnica di unicità in cui una griglia quasi BUG contiene una singola anomalia, normalmente una cella trivalue; il candidato extra è forzato dopo la verifica globale.

C

Candidate — Candidato

Cifra ancora legalmente possibile in una casella irrisolta secondo i vincoli attuali.

Candidate elimination — Eliminazione di candidato

Deduzione che dimostra che una cifra non può occupare una certa cella e quindi la rimuove dal suo set di candidati.

Candidate set — Set di candidati

Insieme delle cifre ancora possibili per una cella o, in senso più ampio, dei candidati analizzati in una struttura.

Cell — Casella

Una delle 81 posizioni della griglia 9×9.

Cell-first search

Metodo di ricerca che parte dalle caselle e dai loro set di candidati; utile per Singles, subsets e Wings.

Chain

Sequenza di implicazioni tra stati candidati. Strong e Weak Links permettono di propagare vero/falso fino a una conclusione.

Claiming

Altro nome di Box-Line Reduction / Locked Candidates Type 2.

Clue

Cifra data inizialmente dal puzzle, non inserita dal giocatore durante la risoluzione.

Color Trap

Eliminazione di Simple Coloring: un candidato esterno vede entrambe le polarità dello stesso componente e quindi è falso.

Color Wrap

Contraddizione di Simple Coloring: due nodi della stessa polarità si vedono, rendendo falsa quella polarità per l’intero componente.

Coloring

Famiglia che assegna polarità a reti di candidati, spesso costruite su coppie coniugate, per gestire implicazioni visivamente.

Column — Colonna

Una delle nove unità verticali della griglia.

Conjugate pair

Le sole due posizioni rimaste per una stessa cifra in una riga, colonna o blocco. Formano una relazione Strong e Weak.

Constraint — Vincolo

Regola o condizione che limita i valori possibili. Nel Sudoku classico ogni riga, colonna e blocco deve contenere 1–9 una volta.

Contradiction — Contraddizione

Stato impossibile derivato da una ipotesi, per esempio duplicato, cella senza candidati o unità senza posizione per una cifra. Dimostra falsa l’ipotesi.

Cover set

Nei Fish, una delle N unità che coprono tutte le candidature della cifra presenti nelle base e in cui si producono le eliminazioni esterne.

Crosshatching

Metodo di scanning che usa righe e colonne già occupate da una cifra per restringerne le posizioni dentro un blocco.

D

Dancing Links (DLX)

Struttura dati inventata da Donald Knuth per implementare efficientemente operazioni di cover/uncover in Algorithm X.

Deadly pattern

Configurazione che, se completata, permetterebbe più soluzioni intercambiabili. Le tecniche di unicità cercano di evitarla solo con premessa di soluzione unica.

Digit — Cifra

Una delle cifre 1–9 usate nel Sudoku classico.

Digit-first search

Ricerca che segue una sola cifra attraverso tutte le sue posizioni candidate; naturale per Hidden Singles, Fish, Coloring e X-Chains.

Difficulty — Difficoltà

Stima di quanto sia impegnativo risolvere un puzzle, distinta dal semplice numero di clues.

Difficulty model

Metodo o sistema che assegna un rating usando tecniche richieste, costo di ricerca, percorso di risoluzione o altri segnali.

E

Elimination — Eliminazione

Rimozione logicamente giustificata di un candidato.

Empty Rectangle

Pattern a una cifra che usa una restrizione dentro un blocco collegata a uno Strong Link esterno per produrre una breve Chain e una eliminazione.

Endpoint — Estremità

Candidato o nodo all’estremità di una Chain. La relazione tra endpoint determina spesso il target eliminabile.

Exact cover

Problema combinatorio in cui ogni vincolo deve essere soddisfatto esattamente una volta; il Sudoku può essere codificato come exact cover.

F

False candidate

Stato candidato dimostrato impossibile, quindi eliminabile.

Fish

Famiglia a una cifra basata su N base e N cover. X-Wing, Swordfish e Jellyfish sono Fish di ordine 2, 3 e 4.

Finned Fish

Fish con candidature extra chiamate fins che impediscono le eliminazioni complete del Basic Fish ma possono consentirne di locali.

Finned X-Wing

X-Wing con una o più fins; un target è eliminabile solo quando soddisfa sia il caso underlying Fish sia quello in cui una fin è vera.

Floor

Gruppo orizzontale di tre righe consecutive, usato in alcune tassonomie/visualizzazioni; spesso coincide concettualmente con un band di blocchi.

Forcing Chain

Catena che esplora conseguenze forzate di stati alternativi e ricava una conclusione comune o una contraddizione.

Forcing Net

Generalizzazione ramificata delle Forcing Chains: più conseguenze possono divergere e convergere.

Full House

Inserimento diretto dell’ultima cifra mancante in una riga, colonna o blocco; chiamato anche Last Digit.

G

Group node

Nodo logico che rappresenta più candidature come un unico stato collettivo, usato per esempio nei Grouped AIC.

Grouped AIC

AIC che permette nodi raggruppati oltre ai singoli candidati.

Given — Dato

Sinonimo di clue: cifra iniziale fornita dal puzzle.

H

Hidden Pair — Coppia nascosta

Due cifre che possono comparire soltanto nelle stesse due celle di una unità; gli altri candidati di quelle celle possono essere rimossi.

Hidden Quad — Quadrupla nascosta

Quattro cifre confinate in quattro celle di una unità.

Hidden Rectangle

Variante della famiglia Unique Rectangle che usa restrizioni aggiuntive sui candidati; dipende dall’unicità.

Hidden Single — Singolo nascosto

Una cifra ha una sola posizione possibile in una riga, colonna o blocco, anche se la cella contiene altri candidati.

Hidden Subset — Sottoinsieme nascosto

N cifre che possono occupare soltanto N celle di una unità. Permette di eliminare da quelle celle candidati esterni al subset.

Hidden Triple — Tripla nascosta

Tre cifre confinate in tre celle di una unità.

House — Unità

Termine generale per una unità che deve contenere 1–9 una volta: riga, colonna o blocco.

I

Implication — Implicazione

Relazione del tipo “se A ha questo stato, allora B deve avere quest’altro stato”. È il linguaggio di Strong/Weak Links e Chains.

Intersection

Zona condivisa tra due unità, soprattutto linea–blocco. Pointing e Claiming sfruttano queste intersezioni.

Invalid puzzle

Puzzle che viola i vincoli, non ha soluzione, ha dati incompatibili o non soddisfa le proprietà dichiarate.

J

Jellyfish

Fish di ordine 4: quattro base confinate in quattro cover per una cifra.

L

Last Digit

Altro nome di Full House: ultima cifra mancante in una unità.

Latin square

Griglia n×n in cui ogni simbolo compare una volta per riga e colonna. Il Sudoku aggiunge i vincoli delle regioni 3×3.

Link

Relazione logica tra due stati candidati. Strong e Weak descrivono due diverse impossibilità/inferenze.

Locked Candidates

Famiglia di intersezione: Pointing (blocco→linea) e Claiming/Box-Line Reduction (linea→blocco).

M

Minimal puzzle

Puzzle unico in cui rimuovere qualsiasi singolo clue distrugge l’unicità. “Minimal” non significa “con il minimo numero globale di clues”.

Minimum-clue puzzle

Puzzle con il numero minimo noto/possibile di clues per una classe. Nel classico 9×9 unico, il minimo dimostrato è 17.

Multi Coloring

Tecnica che mette in relazione più componenti di Coloring separati della stessa cifra.

N

Naked Pair — Coppia nuda

Due celle di una unità che contengono complessivamente soltanto due cifre; quelle cifre sono riservate alle due celle.

Naked Quad — Quadrupla nuda

Quattro celle di una unità la cui unione contiene soltanto quattro cifre.

Naked Single — Singolo nudo

Casella con un solo candidato legale rimasto.

Naked Subset — Sottoinsieme nudo

N celle in una unità la cui unione contiene esattamente N cifre; quelle cifre possono essere eliminate dal resto dell’unità.

Naked Triple — Tripla nuda

Tre celle di una unità la cui unione contiene soltanto tre cifre.

Nishio

Metodo di contraddizione su un candidato, spesso a una cifra. La classificazione tra tecnica logica e trial-style varia tra comunità.

Note — Nota

Annotazione del giocatore, spesso usata per registrare candidati o informazioni intermedie.

P

Peer — Cella collegata

Cella che condivide riga, colonna o blocco con un’altra e quindi non può avere la stessa cifra risolta.

Pencil mark — Nota a matita

Segno/nota con cui si registra un candidato in una cella irrisolta.

Pincer

Una delle celle esterne in tecniche Wing come XY-Wing/XYZ-Wing. Le pincers interagiscono attraverso un pivot.

Pivot

Cella centrale o nodo di collegamento in una Wing, per esempio la bivalue centrale di XY-Wing.

Placement — Inserimento

Inserimento dimostrato di una cifra come valore risolto di una cella.

Pointing

Locked Candidates blocco→linea: tutte le posizioni di una cifra in un blocco sono sulla stessa riga/colonna, quindi la cifra si elimina dalla linea fuori dal blocco.

Pointing Pair

Caso di Pointing con due candidature allineate nel blocco; la logica vale anche con tre candidature (Pointing Triple).

R

RCC — Restricted Common Candidate

Candidato condiviso da due ALS con una restrizione tale che non può essere vero in entrambi; è centrale in ALS-XZ.

Region — Regione

Area che impone un vincolo di unicità delle cifre. Nel classico indica normalmente un blocco; nelle varianti può avere forma diversa.

Remote Pair

Catena di caselle che ripetono la stessa coppia bivalue {X,Y}; la polarità alternata permette eliminazioni sui peer comuni di endpoint opposti.

Row — Riga

Una delle nove unità orizzontali della griglia.

S

Sashimi Fish

Variante Finned in cui la struttura base Fish è incompleta in un angolo/posizione ma le fins consentono comunque eliminazioni locali.

Scanning

Metodo sistematico di ricerca che confronta unità, cifre e celle per trovare restrizioni e placements.

See / sees

Due celle “si vedono” quando sono peer, cioè condividono riga, colonna o blocco. Per la stessa cifra i relativi candidati sono Weak-linked.

Simple Coloring

Tecnica a una cifra che assegna due polarità a una rete di coppie coniugate e cerca Color Trap o Color Wrap.

Single

Famiglia di inserimenti diretti in cui una cella o una cifra ha una sola possibilità: Naked Single o Hidden Single.

Snyder notation

Notazione selettiva che annota soprattutto coppie di candidati dentro i blocchi; è utile per alcuni pattern ma non rappresenta sempre lo stato completo.

Solution — Soluzione

Completamento della griglia che soddisfa tutti i vincoli del puzzle.

Solution count

Numero di completamenti validi compatibili con i clues iniziali.

Solution grid

Griglia completata valida, prima o dopo la selezione dei clues di un puzzle.

Solution path

Sequenza di mosse/deduzioni che porta dai clues iniziali alla soluzione.

Stack

Gruppo verticale di tre blocchi 3×3 adiacenti, cioè tre box che occupano tre colonne consecutive.

Strong Link — Link forte

Relazione in cui due stati non possono essere entrambi falsi; consente l’inferenza falso→vero.

Subset — Sottoinsieme

Riserva N celle↔N cifre dentro una unità. Può essere Naked o Hidden e avere dimensione 2, 3, 4, ecc.

Swordfish

Fish di ordine 3: tre base confinate in tre cover per una cifra.

Symmetry

Proprietà geometrica dei clues o della griglia, spesso usata nella costruzione per ragioni estetiche; non determina da sola unicità o difficoltà.

T

Technique — Tecnica

Schema o metodo di prova ripetibile che produce una deduzione Sudoku verificabile.

Tower

Termine usato in alcune tassonomie per un gruppo verticale di colonne/box; il significato preciso può dipendere dalla comunità.

Trivalue cell — Casella trivalue

Casella irrisolta con esattamente tre candidati.

Turbot Fish

Breve Chain a una cifra costruita con due Strong Links collegati da un Weak Link; comprende pattern come Skyscraper/2-String Kite in alcune tassonomie.

Two-String Kite

Pattern a una cifra con una coppia coniugata in riga e una in colonna collegate tramite un blocco, con eliminazione su un peer comune degli endpoint.

U

Unique solution — Soluzione unica

Proprietà di un puzzle che possiede esattamente un completamento valido.

Unique Rectangle

Tecnica di unicità basata su quattro celle in due righe, due colonne e due blocchi, progettata per evitare un deadly pattern a due soluzioni.

Uniqueness technique — Tecnica di unicità

Tecnica che usa esplicitamente la premessa che il puzzle sia verificato come a soluzione unica.

Unit — Unità

Sinonimo operativo di house nel classico: riga, colonna o blocco.

W

Weak Link — Link debole

Relazione in cui due stati non possono essere entrambi veri; consente l’inferenza vero→falso.

Wing

Famiglia di pattern, spesso basati su celle bivalue/trivalue, in cui pivot e pincers producono eliminazioni su candidati comuni.

W-Wing

Due celle con la stessa coppia bivalue collegate indirettamente da uno Strong Link su una cifra; permette eliminazioni sull’altra cifra.

WXYZ-Wing

Estensione della famiglia Wings con quattro celle e quattro candidati complessivi in una configurazione Almost Locked/weakly linked.

X

X-Chain

Chain a una sola cifra che alterna Strong e Weak Links e spesso elimina un candidato che vede entrambi gli endpoint.

X-Cycle

Loop chiuso a una cifra con alternanza di link; la continuità/discontinuità del ciclo determina placements o eliminazioni.

X-Wing

Fish di ordine 2: due base con candidature della cifra confinate nelle stesse due cover.

XY-Chain

Catena di caselle bivalue che cambia cifra a ogni passaggio e termina sulla stessa cifra agli endpoint, eliminandola dai peer comuni.

XY-Wing

Wing di tre caselle bivalue: un pivot {X,Y} vede due pincers {X,Z} e {Y,Z}; Z si elimina dai peer comuni delle pincers.

XYZ-Wing

Wing con pivot trivalue {X,Y,Z} e due pincers bivalue; il candidato Z può essere eliminato dalle celle che vedono pivot e entrambe le pincers.

Y

Y-Wing

Altro nome comunemente usato per XY-Wing.

Numbers and notation

3D Medusa

Coloring multi-candidato che propaga due polarità attraverso Strong Links sia tra celle sia dentro celle, producendo diverse regole di contraddizione/eliminazione.

rNcM

Notazione di coordinate: r indica la riga e c la colonna; per esempio r4c7 è riga 4, colonna 7.

{2,5,7}

Notazione compatta per il set di candidati 2, 5 e 7 di una cella.

= in chain notation

In molte notazioni indica il ruolo Strong della relazione, non una uguaglianza aritmetica.

- in chain notation

In molte notazioni indica il ruolo Weak della relazione.

<> or ≠

Simbolo di “diverso da” o “non è”; può esprimere che una cella non contiene una certa cifra.

= digit

Forma compatta per indicare che una cella/candidato è vero e quindi la cifra viene inserita.

FAQ

Cos’è una house/unità nel Sudoku?

Una house è qualsiasi unità che deve contenere le cifre 1–9 una volta: riga, colonna o blocco 3×3.

Box e blocco sono la stessa cosa nel Sudoku?

Nel Sudoku classico sì. VeyraPlay usa soprattutto blocco 3×3, mantenendo “box” come termine internazionale riconoscibile.

Qual è la differenza tra candidato e pencil mark?

Il candidato è una possibilità logica; il pencil mark è il modo grafico con cui il giocatore la annota. Una nota può anche essere incompleta o obsoleta, mentre il set di candidati teorico deriva dai vincoli.

Cosa significa che due celle si vedono?

Significa che condividono riga, colonna o blocco e quindi sono peer. Due candidature della stessa cifra in celle che si vedono non possono essere entrambe vere.

Cos’è una casella bivalue?

Una casella irrisolta con esattamente due candidati. La sua struttura “esattamente uno vero” è fondamentale per Wings e XY-Chains.

Perché le tecniche Sudoku hanno nomi diversi tra siti?

La terminologia è cresciuta in comunità e solver diversi. Per questo esistono alias storici; VeyraPlay mantiene i nomi internazionali più riconoscibili e documenta equivalenti utili.

Questo glossario include ogni tecnica Sudoku esistente?

No. Copre il vocabolario necessario al corpus Sudoku V2 e alle estensioni vicine. Tecniche più rare possono essere aggiunte senza cambiare le definizioni fondamentali.

Principi di vocabolario usati da VeyraPlay

VeyraPlay usa termini italiani naturali per la spiegazione, ma conserva i nomi internazionali quando sono standard nelle comunità Sudoku. Alias e traduzioni aiutano ricerca e comprensione senza creare concetti duplicati. Strong/Weak Link, candidato, peer, unità e notazioni mantengono lo stesso significato in tutti i locale.