Primi passi nella deduzione dei rompicapo logici

La deduzione significa che la griglia ti risponde

Un rompicapo logico deduttivo è un piccolo contratto tra te e la griglia. Ogni indizio è un vincolo rigido, non un suggerimento su ciò che probabilmente è successo. Il numero su un'isola, su un muro o dentro una cella stabilisce esattamente cosa deve essere vero nella soluzione finale, e una soluzione corretta è in realtà una dimostrazione: ogni segno che tracci discende dagli indizi che hai già letto, finché la griglia non ha più libertà. Per questo tirare a indovinare è facoltativo in questo genere. Quando sei tentato di provare qualcosa solo per vedere l'effetto, quasi sempre esiste da qualche parte un ragionamento leggibile che decide la questione al posto tuo.

Le tre proposte qui sotto arrivano dalla Portable Puzzle Collection di Simon Tatham, una raccolta di motori di rompicapo open source adattati qui per il browser. Ognuna allena un muscolo deduttivo diverso. Hashi Bridges insegna la connettività e la pianificazione di una rete. Akari Light Up insegna la copertura a linea di vista. Slitherlink insegna la parità e il ragionamento sui circuiti chiusi. Tutti e tre generano un nuovo schema dopo aver premuto Play, senza installazione e senza account, e nessuno usa un timer, quindi il ragionamento può durare quanto serve. Questa è una selezione editoriale basata sulle meccaniche, non una classifica di popolarità.

Hashi Bridges: pianifica un'unica rete connessa

Hashi mostra un arcipelago di isole numerate. Il numero è il conteggio esatto delle estremità di ponte che devono toccare quell'isola. I ponti corrono in orizzontale o in verticale verso l'isola visibile più vicina, se ne possono costruire al massimo due tra la stessa coppia, e i ponti non possono incrociarsi. Sopra l'aritmetica c'è un vincolo globale: alla fine ogni isola deve appartenere a un'unica rete connessa, quindi un gruppo numericamente perfetto ma tagliato fuori dal resto della mappa resta uno schema fallito.

Trascina da un'isola verso la sua vicina per costruire un ponte; ripeti lo stesso trascinamento per renderlo doppio e una terza volta per rimuoverlo. Fare clic su un'isola la contrassegna come completata, ma è solo un aiuto contabile, non una prova di correttezza. Undo, Restart e New sono nel menu, mentre il menu Type cambia la dimensione dello schema. Sul touch funziona lo stesso breve trascinamento.

La deduzione d'apertura classica è l'isola esaurita. Un 8 con quattro vicine richiede due ponti in ogni direzione, perché il doppio è il massimo consentito. Un 4 in un angolo, con sole due vicine, forza due ponti doppi per la stessa ragione. L'abitudine successiva è il controllo di connettività: prima di tracciare un ponte che completerebbe due isole sigillando il canale che condividono, chiediti come quella regione raggiungerà ancora il resto della mappa. Apri Hashi Bridges e la sua guida agli schemi.

Akari Light Up: copri di luce ogni casella

Akari ti chiede di posizionare lampadine in modo che la luce raggiunga ogni casella bianca. Una lampadina illumina la sua riga e la sua colonna finché un muro nero non ferma il fascio, e due lampadine non possono mai illuminarsi a vicenda. I muri numerati aggiungono un secondo tipo di vincolo: la cifra conta solo le lampadine immediatamente sopra, sotto, a sinistra e a destra di quel muro. Uno schema è completo quando non ci sono caselle buie, nessuna coppia di lampadine che si fronteggia, e tutti i numeri dei muri soddisfatti insieme.

Fai clic su una casella bianca per posizionare una lampadina e di nuovo per toglierla. Il clic secondario contrassegna una casella in cui una lampadina non può stare, e sul telefono il pulsante Secondary offre la stessa azione di marcatura. Undo annulla le ultime mosse. L'abitudine di marcare non è decorativa: le caselle proibite sono gli appunti che rendono visibili le deduzioni successive.

Due deduzioni di base risolvono la maggior parte degli schemi. Primo, leggi i numeri dei muri alla lettera: uno 0 vieta subito ogni casella adiacente, un 4 forza lampadine su tutti e quattro i lati, e un 3 sul bordo esterno fissa tutte e tre le sue vicine. Secondo, esercita l'argomento dell'unica fonte: trova una casella ancora buia e chiediti quali celle potrebbero mai illuminarla; quando ogni alternativa è stata eliminata, l'unica cella rimasta deve contenere una lampadina anche se nessun muro numerato la tocca. Apri Akari Light Up e i suoi appunti di strategia.

Slitherlink: ragiona su un unico anello continuo

Slitherlink stampa numeri dentro una griglia e tu devi disegnare esattamente un anello chiuso lungo i lati tra i punti. Un numero indica quanti dei quattro lati della sua cella appartengono all'anello; le celle vuote non vincolano nulla direttamente. La linea non può ramificarsi né incrociarsi, e deve essere un solo anello, quindi due piccoli anelli ordinati sono un fallimento e non un successo parziale. I segni di esclusione portano metà della logica: sapere che un lato è impossibile vale quanto sapere che un lato è certo.

Fai clic su un lato per disegnarlo e usa il clic secondario per marcare un lato che deve restare vuoto; sul touch attiva il pulsante Secondary per posizionare quei segni e spegnilo per tornare a disegnare. Il menu Type cambia forma e dimensione della griglia, mentre Undo e Restart gestiscono le correzioni.

L'apertura più amichevole è uno 0: escludi subito tutti e quattro i suoi lati, poi guarda cosa hanno perso i vicini. Un 3 in un angolo forza entrambi i lati esterni, con una piccola dimostrazione: se uno dei lati esterni fosse escluso, la linea finirebbe in un vicolo cieco sul punto d'angolo senza via d'uscita. Dietro tutto c'è la regola dei vertici: in ogni punto l'anello usa zero lati oppure due, mai uno, quindi una linea che arriva a un punto con due uscite già escluse deve prendere l'ultima. Apri Slitherlink e i suoi esempi svolti.

Da quale cominciare?

Scegli il muscolo, non il tema. Scegli Hashi Bridges se ti piace pensare a una rete intera alla volta e apprezzi un'aritmetica che si propaga da un'unica isola forzata. Scegli Akari Light Up se preferisci conseguenze visibili, perché ogni lampadina traccia i propri fasci e ti mostra subito cosa è cambiato. Scegli Slitherlink se ti piacciono gli argomenti di parità e la lenta soddisfazione di un percorso che deve chiudersi su se stesso. Se sei indeciso, parti da uno schema piccolo di Akari: il feedback è il più letterale e la sua abitudine di marcare si trasferisce direttamente agli altri due. Nessuno dei tre è il più facile in assoluto; ognuno colloca semplicemente il suo ragionamento più duro in un punto diverso.

Domande prima di giocare

Bisogna mai tirare a indovinare?

No. Ogni schema generato da questi motori è risolvibile per deduzione, e la difficoltà deriva dalla lunghezza delle catene deduttive, non da ambiguità nascoste. Se sei bloccato, cerca le possibilità che non hai ancora marcato come escluse; la prossima mossa forzata di solito aspetta in un angolo annotato in modo incompleto.

Sono versioni ufficiali dei programmi originali?

No. Hashi Bridges, Akari Light Up e Slitherlink su SonoTap sono adattamenti per browser costruiti sui motori open source Bridges, Light Up e Loopy della Portable Puzzle Collection di Simon Tatham. Non sono pubblicazioni ufficiali dell'autore originale, e le regole restano quelle descritte nella pagina di ciascun gioco.

Si giocano comodamente su telefono?

Sì, con piccoli aggiustamenti. Hashi usa brevi trascinamenti, mentre Akari e Slitherlink si affidano al pulsante Secondary per i segni di esclusione. Uno schermo più grande rende più leggibili le lunghe linee di vista e i lati fitti, quindi molti giocatori prendono appunti da desktop e finiscono gli schemi ovunque.