BUG+1 è una tecnica di unicità che compare quando la griglia irrisolta è quasi un Bivalue Universal Grave (BUG): praticamente tutte le celle sono bivalue, tranne una cella con un candidato extra.
La tecnica non dice semplicemente “c'è una sola trivalue, scegli il candidato strano”. Richiede una verifica globale della distribuzione dei candidati e della premessa di soluzione unica.
Cos'è un Bivalue Universal Grave?
Un BUG puro è uno stato in cui:
- ogni cella irrisolta è bivalue;
- per ciascuna cifra, le occorrenze nelle unità rilevanti mantengono una struttura di parità equilibrata;
- la configurazione può sostenere due completamenti simmetrici invece di uno solo.
Il nome corretto è Bivalue Universal Grave; altre espansioni dell’acronimo sono errate.
Perché BUG+1 forza un candidato
Nel BUG+1 una singola cella possiede normalmente tre candidati. Due appartengono alla struttura bivalue equilibrata; il terzo è il +1 che rompe la parità.
Se il +1 fosse falso, la griglia ricadrebbe nel BUG ambiguo. In un puzzle verificato come unico, quello stato non può essere la soluzione finale. Il candidato extra deve quindi essere vero.
L'indizio della parità
La parità è il controllo operativo che distingue il vero +1 dagli altri candidati della cella. Nel BUG puro, le occorrenze di ogni candidato nelle unità coinvolte si presentano in equilibrio. Il candidato extra crea una occorrenza “in più” coerente nelle unità della cella eccezionale.
Non basta trovare un numero che compare tre volte in un punto qualsiasi: devi verificare l'intera struttura.
Esempio BUG+1 passo dopo passo
Come identificare il candidato +1
1. Conferma che ogni altra cella irrisolta sia bivalue
Una seconda trivalue o una cella con quattro candidati indica che non sei nel pattern BUG+1 standard.
2. Esamina i tre candidati della cella +1
Annota come ciascuno compare nella riga, colonna e blocco della cella.
3. Trova il candidato che rompe l'equilibrio pari
Il +1 è quello la cui presenza produce l'anomalia coerente rispetto alla struttura bivalue globale.
4. Verifica il resto della griglia
Controlla che non esistano altre irregolarità che rendano falsa l'ipotesi “quasi BUG”.
5. Inserisci il candidato extra
Solo dopo la verifica globale puoi concludere che il +1 è vero.
BUG+1 è una tecnica sull'intera griglia
A differenza di una Naked Pair o di un UR locale, BUG+1 dipende dallo stato complessivo delle celle irrisolte. Guardare soltanto il blocco della trivalue può produrre falsi positivi.
Perché “tutte le celle tranne una sono bivalue” non è sufficiente
Quella condizione è un ottimo trigger di ricerca, non la prova. Devi controllare anche la distribuzione dei candidati e la parità nelle unità; altrimenti potresti avere una griglia quasi bivalue che non è affatto un BUG.
BUG+1 e unicità
Come Unique Rectangle, BUG+1 usa una premessa aggiuntiva: il puzzle ha una sola soluzione. Se il puzzle non è verificato come unico, il ragionamento “evita lo stato con due soluzioni” non è garantito.
Non presentare mai l'unicità come una regola base del Sudoku.
BUG+1 vs Unique Rectangle
Unique Rectangle
Riconosce un deadly pattern locale di quattro celle su due righe, due colonne e due blocchi.
BUG+1
Riconosce una struttura quasi interamente bivalue su scala globale e una singola anomalia di parità.
Entrambe dipendono dall'unicità, ma la forma della prova è diversa.
BUG+1 vs Naked Single
Nel BUG+1 la cella eccezionale può avere tre candidati legali. Il candidato forzato non è l'unico legale localmente; diventa obbligatorio grazie alla struttura globale di unicità/parità.
BUG+1 vs XY-Chain
Una XY-Chain segue un percorso inferenziale tra caselle bivalue e non richiede necessariamente una premessa di unicità. BUG+1 invece osserva la struttura globale e usa la premessa di soluzione unica.
Un BUG puro è mai uno stato di risoluzione valido?
Può essere uno stato di candidati compatibile con più completamenti. Se stai risolvendo un puzzle dichiarato unico e raggiungi davvero un BUG puro, qualcosa richiede attenzione: il puzzle potrebbe non essere unico oppure i candidati potrebbero essere incompleti/errati.
Come trovare BUG+1 in modo efficiente
1. Aspetta che la griglia irrisolta sia quasi tutta bivalue
Prima di allora il pattern è improbabile e costoso da cercare.
2. Nota una singola cella trivalue
È il trigger visivo principale.
3. Conta le occorrenze dei candidati
Verifica la parità nelle unità interessate.
4. Verifica globalmente
Conferma che il resto della griglia abbia davvero la struttura BUG richiesta.
5. Preferisci deduzioni più semplici se disponibili
Se una XY-Chain corta o un Single risolve la stessa situazione, la prova più semplice è normalmente preferibile.
Errori comuni con BUG+1
Errore 1: controllare soltanto un blocco
BUG+1 è globale.
Errore 2: supporre che una sola cella trivalue sia sufficiente
È solo un indizio, non la definizione completa.
Errore 3: scegliere qualsiasi candidato che compare tre volte da qualche parte
Il +1 deve essere l'anomalia coerente della struttura BUG, non una frequenza casuale.
Errore 4: usare BUG+1 senza una premessa di unicità
La conclusione dipende dall'evitare lo stato non unico.
Errore 5: confondere BUG+1 con un semplice trucco di parità
La parità è parte della verifica; il fondamento logico resta la struttura BUG e l'unicità.
Errore 6: dimenticare di aggiornare i candidati prima del controllo
Note obsolete possono creare un falso BUG+1. Ricostruisci i candidati se hai dubbi.
Quando dovresti usare BUG+1?
Tardi nella risoluzione, quando quasi tutte le celle rimaste sono bivalue e compare una sola trivalue. Non è una tecnica da cercare sistematicamente in una griglia ancora aperta.
FAQ
Cosa significa BUG nel Sudoku?
Bivalue Universal Grave.
Cosa significa “+1” in BUG+1?
Un candidato extra rompe la struttura bivalue/paritaria del BUG puro.
La cella BUG+1 ha sempre tre candidati?
Nel caso standard sì: è la singola cella trivalue dentro una griglia altrimenti bivalue.
Come faccio a sapere quale candidato è quello extra?
Controllando quale candidato rompe l'equilibrio di parità previsto dal BUG nelle unità della cella, dopo aver verificato la struttura globale.
BUG+1 richiede un Sudoku unico?
Sì, la deduzione standard dipende dalla premessa che il puzzle abbia una sola soluzione.
BUG+1 può essere risolto in un altro modo?
Spesso sì. Un puzzle può offrire Chains o altre eliminazioni equivalenti; BUG+1 è una prova particolarmente compatta quando il pattern è presente.
Cosa imparare dopo
Consulta Tecniche di unicità per il quadro della famiglia e Unique Solutions per capire formalmente la premessa su cui BUG+1 si basa.