Le tecniche di unicità sfruttano una premessa aggiuntiva: il puzzle pubblicato deve avere una sola soluzione. Non è una quarta regola del Sudoku classico. Unique Rectangle, BUG+1 e pattern correlati sono validi soltanto quando quella premessa è appropriata e la geometria è verificata.
L’unicità non è una quarta regola del Sudoku
Le regole classiche dicono che ogni riga, colonna e box deve contenere 1–9 senza ripetizioni. L’unicità è una proprietà desiderata del puzzle completo: esattamente una soluzione. Le tecniche di unicità aggiungono esplicitamente questa premessa e non devono essere confuse con le tre regole locali.
Che cos’è un deadly pattern?
Un deadly pattern è una configurazione residua che ammetterebbe almeno due completamenti equivalenti se tutte le sue candidature rimanessero possibili. In un puzzle garantito unico, almeno una parte di quella configurazione deve quindi essere esclusa.
Unique Rectangles
Gli Unique Rectangle usano quattro caselle disposte in due righe, due colonne e due box con due cifre principali. I diversi tipi descrivono come candidature extra interrompono il rettangolo mortale e quali eliminazioni diventano possibili.
Tipo 1
Gli Unique Rectangle usano quattro caselle disposte in due righe, due colonne e due box con due cifre principali. I diversi tipi descrivono come candidature extra interrompono il rettangolo mortale e quali eliminazioni diventano possibili.
Tipi 2–6
Gli Unique Rectangle usano quattro caselle disposte in due righe, due colonne e due box con due cifre principali. I diversi tipi descrivono come candidature extra interrompono il rettangolo mortale e quali eliminazioni diventano possibili.
Hidden Rectangle
Un Hidden Rectangle usa la premessa di unicità in una configurazione rettangolare in cui alcune relazioni forti nascoste tra le cifre UR restringono il pattern. È più avanzato del Type 1 e richiede controlli precisi sulla distribuzione dei candidati.
Avoidable Rectangle
Un Avoidable Rectangle appare quando parte del rettangolo contiene già cifre risolte e una alternativa produrrebbe due completamenti equivalenti. È soprattutto rilevante in contesti in cui i valori risolti non sono tutti givens originali.
BUG e BUG+1
BUG significa Bivalue Universal Grave. In BUG+1 tutte le caselle irrisolte tranne una sono bivalue e una candidatura extra rompe la parità globale; quella candidatura può essere forzata dopo una verifica completa della struttura.
Perché alcuni solver evitano le tecniche di unicità
Perché dipendono da una proprietà globale del puzzle che non deriva soltanto dallo stato locale dei candidati. Nei contesti in cui l’unicità non è garantita, oppure si vuole una prova indipendente da essa, queste deduzioni vengono deliberatamente escluse.
Quando è sicura la premessa di unicità?
Quando il puzzle è stato verificato come avente esattamente una soluzione e la tecnica applicata usa correttamente quella premessa. Per contenuti didattici o generatori, la verifica completa dell’unicità deve avvenire con un solver affidabile.
Tecniche di unicità vs contraddizione
Entrambi i metodi possono eliminare un candidato, ma la contraddizione è diversa. Una contraddizione ordinaria viola direttamente i vincoli della griglia; una tecnica di unicità mostra che una scelta produrrebbe almeno due soluzioni intercambiabili, contro la premessa di soluzione unica.
Errori comuni con le tecniche di unicità
Gli errori tipici sono assumere unicità senza verificarla, confondere un rettangolo geometrico con un vero deadly pattern, ignorare candidati extra o applicare una regola UR al sottotipo sbagliato. La checklist della tecnica è parte della prova.
Trattare l’unicità come una regola base
L’unicità non è una quarta regola locale del Sudoku: è una proprietà del puzzle completo. Le tecniche di unicità la usano come premessa aggiuntiva e devono dichiararlo esplicitamente.
Ignorare la geometria
Un Unique Rectangle richiede la geometria corretta: quattro celle distribuite in due righe, due colonne e due box, con la coppia di cifre pertinente. Un semplice rettangolo visivo non basta.
Usare un UR su un puzzle non verificato
Se il puzzle non è garantito a soluzione unica, la conclusione basata su UR/BUG non è giustificata. In quel caso preferisci una prova che dipenda soltanto dai vincoli locali.
Applicare BUG+1 basandosi solo sul conteggio delle caselle
BUG significa Bivalue Universal Grave. In BUG+1 tutte le caselle irrisolte tranne una sono bivalue e una candidatura extra rompe la parità globale; quella candidatura può essere forzata dopo una verifica completa della struttura.
Presumere che ogni rettangolo sia un Unique Rectangle
Non ogni rettangolo di quattro celle è un Unique Rectangle. Devono esistere la coppia di candidati e l’intercambiabilità che creerebbe realmente il deadly pattern a due soluzioni.
FAQ
Le tecniche di unicità sono logicamente valide?
Sono valide quando il puzzle è garantito a soluzione unica e la struttura specifica è dimostrata. L’unicità resta comunque una premessa aggiuntiva, non una regola base.
Servono tecniche di unicità per risolvere Sudoku?
Sono valide quando il puzzle è garantito a soluzione unica e la struttura specifica è dimostrata. L’unicità resta comunque una premessa aggiuntiva, non una regola base.
Quanti tipi di Unique Rectangle esistono?
Sono valide quando il puzzle è garantito a soluzione unica e la struttura specifica è dimostrata. L’unicità resta comunque una premessa aggiuntiva, non una regola base.
BUG+1 è un Unique Rectangle?
Sono valide quando il puzzle è garantito a soluzione unica e la struttura specifica è dimostrata. L’unicità resta comunque una premessa aggiuntiva, non una regola base.
Perché VeyraPlay non crea ancora una pagina per ogni tipo UR?
Per V2 l’obiettivo è avere una base completa ma non frammentata. Unique Rectangle introduce la famiglia e Type 1 in profondità; i sottotipi 2–6 e altre varianti possono diventare pagine dedicate quando dati di ricerca o prodotto giustificano l’espansione.
Cosa imparare dopo
Approfondisci Unique Rectangle e BUG+1 nelle Guide dedicate e mantieni sempre distinta la premessa di unicità dalle regole base del Sudoku.