Un Nonogramma ha una soluzione unica quando esiste esattamente una griglia completa di caselle piene e vuote che soddisfa tutti gli indizi di riga e tutti gli indizi di colonna.
Se due o più griglie diverse soddisfano gli stessi indizi, il puzzle è ambiguo. Se nessuna griglia li soddisfa, l'insieme degli indizi è contraddittorio.
Per un normale puzzle logico pubblicato, l'unicità è di solito un requisito fondamentale di validità.
Un Nonogramma ambiguo minimo
Prendi una griglia 2×2 con questi indizi:
Righe: 1, 1
Colonne: 1, 1Esistono due soluzioni:
■ × × ■
× ■ ■ ×Ogni riga contiene una casella piena. Ogni colonna contiene una casella piena. Nulla negli indizi distingue le due diagonali.
Il puzzle non è «difficile perché non vedi il trucco». È sottodeterminato. Entrambe le risposte sono logicamente valide.
Cosa significa davvero «unica»?
L'unicità è una proprietà dell'intero sistema di indizi.
Una soluzione deve soddisfare simultaneamente tutti i vincoli di riga e colonna. Un puzzle è unico soltanto quando ogni altra griglia completa possibile viola almeno uno di quei vincoli.
È una condizione più forte di dire che:
- l'immagine prevista corrisponde agli indizi;
- tu hai trovato personalmente una soluzione;
- l'immagine finale sembra riconoscibile;
- un particolare metodo di risoluzione è arrivato a una risposta.
Trovare una griglia valida dimostra che una soluzione esiste. Non dimostra che non ne esista un'altra.
Unico non significa facile
Questa distinzione è fondamentale.
Un puzzle può avere esattamente una soluzione e resistere comunque alle normali deduzioni riga per riga e colonna per colonna. La soluzione può essere determinata globalmente anche quando non esiste una mossa locale immediata.
Per questo sono diverse le seguenti affermazioni:
- Il puzzle ha una sola soluzione.
- Il puzzle può essere risolto con le tecniche usate da un certo giocatore o solver.
- Il puzzle è facile per il pubblico a cui è destinato.
Un verificatore di unicità risponde alla prima domanda. Un modello di difficoltà e l'analisi del percorso di risoluzione affrontano le altre.
Perché nasce l'ambiguità
L'ambiguità compare quando gli indizi lasciano intercambiabile una parte della struttura.
Cause comuni:
Alternative simmetriche
Due gruppi di caselle possono scambiarsi posizione mantenendo inalterate tutte le lunghezze dei blocchi nelle righe e nelle colonne.
Struttura di indizi troppo sparsa
Molti indizi corti in ampi spazi liberi possono ammettere diverse collocazioni che le linee incrociate non riescono mai a distinguere completamente.
Regioni indipendenti
Un puzzle può contenere due sottostrutture irrisolte, ciascuna capace di passare da un'alternativa all'altra senza modificare il resto della griglia.
Modifiche di costruzione che conservano lo stesso comportamento degli indizi
Cambiare un'immagine non rafforza sempre l'insieme degli indizi. Alcune modifiche spostano semplicemente l'incertezza altrove.
Come i creatori verificano l'unicità
Per puzzle minuscoli, in teoria si potrebbe controllare ogni griglia possibile.
Per puzzle realistici, il software usa metodi più efficienti di risoluzione dei vincoli e ricerca. Un solver può:
- trovare una soluzione completa;
- continuare a cercare una soluzione completa diversa;
- fermarsi quando trova una seconda soluzione oppure dimostrare che non rimane alcuna alternativa.
Strumenti come pbnsolve di WebPBN usano questo tipo di validazione per i puzzle creati dagli utenti.
La logica può dimostrare l'unicità durante la risoluzione?
Se una sequenza di deduzioni valide parte solo dagli indizi e riempie ogni casella senza aprire rami, il risultato è necessariamente l'unica soluzione compatibile con quei vincoli e con quelle deduzioni.
Ma se un normale metodo di risoluzione per linee si blocca, non puoi concludere che il puzzle sia ambiguo. La deduzione mancante potrebbe richiedere una logica più forte, un solver di linea diverso, analisi per contraddizione o ricerca.
Allo stesso modo, se il tuo metodo trova una risposta tramite ramificazione, questo non dimostra automaticamente l'unicità. Conta anche la struttura dei rami non esplorati.
Perché un'immagine riconoscibile non risolve l'ambiguità
Immagina che una soluzione valida sembri un gatto e un'altra risulti leggermente deformata.
Scegliere il gatto perché «sembra quella voluta» non è una deduzione da Nonogramma. Gli indizi non hanno dimostrato quella scelta.
Un puzzle validato correttamente non dovrebbe richiedere una preferenza estetica per decidere tra griglie entrambe legali.
L'immagine che emerge può aiutarti a orientarti, ma non è mai una prova dello stato di una casella.
Soluzione unica e percorso di risoluzione unico
Una soluzione unica non implica un unico ordine delle deduzioni.
Due giocatori possono risolvere lo stesso puzzle valido seguendo sequenze diverse:
- uno parte da una riga lunga;
- l'altro parte da una colonna molto vincolata;
- entrambi arrivano infine alla stessa griglia finale.
La destinazione è unica anche quando il percorso non lo è.
È una proprietà utile per il design: un Nonogramma può offrire più aperture produttive senza diventare ambiguo.
E se un Nonogramma pubblicato ha più soluzioni?
Se il regolamento è quello standard e due griglie complete soddisfano davvero tutti gli indizi, il puzzle è ambiguo indipendentemente da quale immagine il publisher intendesse ottenere.
Prima di decidere che un puzzle è rotto, verifica che:
- l'ordine degli indizi sia rispettato;
- i blocchi consecutivi siano separati correttamente;
- ogni X sia trattata come vuota e non come indeterminata;
- nessun blocco pieno superi accidentalmente la lunghezza del proprio indizio;
- il publisher non stia usando un regolamento variante.
Se entrambe le griglie continuano a soddisfare gli stessi indizi standard, l'insieme degli indizi non determina una risposta unica.
Cosa imparare dopo
Per capire come i creatori individuano questi casi, leggi Come Funzionano i Solver Informatici di Nonogrammi. Per capire perché unicità e difficoltà umana divergono, continua con Come Viene Valutata la Difficoltà dei Nonogrammi.
FAQ
Tutti i Nonogrammi hanno una sola soluzione?
No. Un insieme arbitrario di indizi può avere zero, una o più soluzioni. I puzzle pubblicati e ben costruiti puntano normalmente ad averne esattamente una.
Se mi blocco significa che il puzzle ha più soluzioni?
No. Potrebbe semplicemente richiedere una deduzione che non hai ancora trovato o un metodo di ragionamento più forte.
Un Nonogramma può avere una soluzione unica ma richiedere di indovinare?
Può avere una soluzione unica e resistere a un particolare metodo locale di risoluzione. Chiamare «tentativo» un'analisi di casi più forte dipende da come viene eseguito il ragionamento; G-011 distingue il tentativo non supportato dalla dimostrazione basata sulla contraddizione.