Nonogrammi Medi 30×30 — Logica su scala massima in 900 celle

I nonogrammi medi 30×30 sono la sfida sistematica più grande accessibile ai solutori senza ricorrere a test di ipotesi. La griglia da 900 celle e la rete di vincoli su 60 linee, unite alla densità degli indizi tipica della difficoltà Media, richiedono un’infrastruttura di risoluzione paragonabile alla pratica analitica professionale: gestione strutturata della sessione, organizzazione delle linee in sei blocchi, analisi ricorsiva dei segmenti e tracciamento disciplinato delle cascate su una rete la cui scala fa sì che una singola svolta possa risolvere la maggior parte della griglia rimanente in un’unica ondata estesa. Questi puzzle di cruciverba giapponese e Griddler producono effetti a cascata di una scala che nessuna griglia più piccola può offrire.

L’architettura di gestione delle 60 linee

A 30×30, gestire 60 linee richiede una struttura in sei blocchi con tracciamento esplicito delle cascate tra i blocchi:

Organizzazione in sei blocchi: dividi tutte le 60 linee in sei blocchi da dieci linee ciascuno (Blocco A: righe 1–5 e le rispettive 30 colonne, ecc.). All’interno di ogni blocco, applica un’elaborazione ordinata per priorità. Tra un blocco e l’altro, trasferisci tutte le celle confermate allo stato dei vincoli dei blocchi adiacenti prima di iniziare il blocco successivo. Completa un ciclo completo di sei blocchi prima di iniziare il secondo passaggio.

Priorità delle cascate tra blocchi: quando una deduzione nel Blocco A conferma una cella nella colonna 22, quella conferma aggiorna la colonna 22, che interseca le righe di tutti e sei i blocchi. Tieni traccia di questi aggiornamenti tra blocchi e dai priorità ai blocchi più aggiornati nel ciclo di elaborazione successivo. Le cascate tra blocchi a 30×30 possono propagare informazioni dall’angolo in alto a sinistra a quello in basso a destra in un solo passaggio quando le catene di cascata sono gestite in modo efficiente.

Regolazione dinamica della soglia di margine: inizia il passaggio 1 con una soglia di margine ≤ 6. Alzala a ≤ 10 per il passaggio 2, ≤ 15 per il passaggio 3 e ≤ 20 per il passaggio 4. Le linee sopra soglia in un dato passaggio vengono rimandate: così si evita di sprecare analisi su linee che non possono ancora fornire informazioni utili. Man mano che si accumulano dati incrociati, le linee con margine alto nel passaggio 1 scendono a livelli di margine lavorabili nei passaggi 3 o 4.

Analisi ricorsiva dei segmenti su scala di 30 celle

A 30 celle, l’analisi dei segmenti raggiunge la sua massima espressività. Una singola cella vuota confermata in una linea da 30 celle può creare segmenti di 15 o 20 celle, abbastanza grandi da contenere intere sequenze di indizi multi-blocco con configurazioni a margine zero proprie. La tecnica di sovrapposizione ricorsiva dei segmenti si applica in modo iterativo: assegna i blocchi ai segmenti, calcola la sovrapposizione interna al segmento, usa le celle confermate risultanti per identificare sottosegmenti all’interno di ciascun segmento, applica l’analisi dei segmenti ricorsivamente a quei sottosegmenti e continua finché non sono possibili ulteriori conferme. Su scala di 30 celle, questa applicazione ricorsiva può risolvere trenta o più celle a partire dalla conferma di una singola cella vuota iniziale.

Prossimi passi

→ 30×30 Difficile — enumerazione completa delle disposizioni alla scala massima

→ 30×30 Esperto — cascate di ipotesi che attraversano l’intera griglia da 900 celle

Bloccato? Il Risolutore di Nonogrammi 30×30 individua il passaggio di segmento o la disposizione che sblocca l’impasse attuale su tutte le 60 linee.