Strategie per Hashi: capacità, incroci e uscite della rete

Fabbisogno residuo e capacità delle estremità

Sottrai dal numero tutti i ponti già confermati che toccano l’isola: ottieni il fabbisogno residuo. Per ogni percorso incidente, i ponti aggiuntivi sono limitati sia dal massimo di due sia dal fabbisogno ancora disponibile all’altra estremità.

Usa le capacità residue reali, senza assegnare automaticamente due a ogni direzione. Un percorso con un ponte ha al massimo un posto aggiuntivo. Uno verso un’isola soddisfatta non ne ha. Un percorso che incrocia un ponte certo è indisponibile, qualunque sia il fabbisogno alle estremità.

Ponti minimi obbligati

Considera un percorso candidato e somma il massimo dei ponti aggiuntivi disponibili su tutti gli altri. Se la somma è inferiore al fabbisogno residuo, il percorso scelto deve fornire la differenza. È un limite minimo, che non fissa necessariamente il conteggio finale.

Applica il limite da entrambe le estremità. Una può dimostrare necessario un ponte anche se l’altra ha molte scelte. Dopo aver aumentato il minimo confermato, aggiorna entrambi i fabbisogni e ripeti. Le figure note con numeri alti diventano così un metodo aritmetico generale.

Saturazione e massimi obbligati

Quando fabbisogno residuo e capacità aggiuntiva totale coincidono, serve ogni posto rimasto: porta ciascun percorso alla sua capacità ammessa. Se il fabbisogno supera la capacità, una scelta precedente è errata o l’ipotesi provata è fallita; nessuna ridistribuzione dei percorsi attuali risolve la carenza.

La saturazione è particolarmente utile dopo l’eliminazione di un incrocio o il completamento di un’isola vicina. Ricalcola prima solo le estremità interessate, poi segui il ponte obbligato fino all’altra estremità. Il calcolo locale evita di riesaminare ogni isola dopo ogni piccola modifica.

Propagazione degli incroci

Un percorso confermato elimina tutti quelli che ne incrociano l’interno. Ogni eliminazione riduce la capacità di altre due isole, che possono saturarsi e imporre nuovi ponti, eliminando ulteriori incroci. Segui la catena finché non cambiano più fabbisogni e capacità interessati.

L’unità utile è il percorso, non la sua lunghezza o il numero di linee disegnate. Un ponte singolo esclude già gli incroci; aggiungere il secondo parallelo non produce altre esclusioni. Distinguere questi effetti chiarisce quali conseguenze siano geometriche e quali aritmetiche.

Uscite delle componenti e passaggi obbligati

Raggruppa in componenti le isole unite da ponti certi. Se una componente non comprende l’intero schema, avrà bisogno di almeno un ponte verso un’isola esterna. Se può uscirne un solo percorso candidato, quel percorso va usato almeno una volta.

Conta i diversi percorsi d’uscita dopo tutte le restrizioni di incrocio ed estremità. Un percorso interno alla componente non la collega al resto, per quanto utile ai totali. Questo ragionamento può imporre un ponte anche quando nessuna singola isola ha carenza di capacità.

Evita di chiudere un sottoinsieme di isole

Un ponte proposto può essere vietato perché soddisferebbe tutte le isole di una componente prima di collegarla al resto. Dopo la proposta, controlla se almeno un membro conserva sia fabbisogno residuo sia un’uscita utilizzabile. Altrimenti la componente rimarrebbe definitivamente isolata.

Questo spiega le esclusioni di piccole coppie senza memorizzarle come figure speciali. La condizione decisiva è l’isolamento dalle altre isole, non l’uguaglianza dei due numeri. Un collegamento simile può essere valido se un’estremità conserva capacità per uscire.

Brevi catene di contraddizioni

Se i limiti diretti non bastano, prova un percorso con poche scelte: assente o presente, singolo o doppio. Propaga solo conteggi obbligati, esclusioni di incroci e requisiti delle componenti. Un’isola con fabbisogno superiore alla capacità o una componente soddisfatta isolata smentiscono la scelta.

Distingui l’ipotesi dai ponti confermati e annota il motivo preciso del fallimento. Annulla le conseguenze dipendenti prima di continuare. Il conteggio opposto è dimostrato solo quando le alternative sono escluse; una ramificazione semplicemente scomoda o complicata non è una contraddizione.

Un esempio più difficile commentato

Questo schema usa la difficoltà Difficile. Segui le quattro fasi cumulative, riesaminando i vincoli coinvolti dopo ogni deduzione. Un tratto doppio indica due ponti. Linee o croci arancioni mostrano le decisioni attuali. Righe e colonne identificano le posizioni delle isole.

Fase commentata 1

Parti dalle isole i cui totali alti esauriscono quasi la capacità disponibile. Ogni corridoio contiene al massimo due ponti. Combinando questo limite con gli indizi vicini da un ponte ottieni i collegamenti evidenziati, senza scegliere semplicemente la direzione più plausibile.

Fase commentata 2

Completa l’isola da sette ponti, poi ricontrolla quelle da un ponte. I collegamenti esistenti esauriscono i loro totali, quindi i corridoi concorrenti devono essere vuoti. Queste esclusioni sono deduzioni necessarie, anche se non aggiungono ponti visibili.

Fase commentata 3

Prova un ponte doppio sul corridoio superiore rimasto. Pur rispettando i totali locali, l’ipotesi isola parte della rete. Scartala, conserva il ponte singolo e propaga le capacità residue delle isole vicine.

Fase commentata 4

Completa i collegamenti centrali e inferiori sottraendo i ponti certi dai totali. Prima di concludere, verifica che nessun corridoio superi due ponti, non ci siano incroci e ogni isola appartenga alla stessa rete connessa.

Fonti e origini

• Nikoli: regole di Hashiwokakero

Esempio risolto: segui ogni deduzione

Conta le righe dall’alto in basso e le colonne da sinistra a destra, partendo da 1. Leggi ogni istruzione e confronta i cambiamenti arancioni con l’immagine precedente. Lascia indecise le caselle o i segmenti finché il ragionamento non li determina.

Una o due linee sono ponti; un collegamento chiaro è ancora da decidere; ? = da decidere

1. Segui questi cambiamenti nell’ordine indicato; l’immagine sotto li mostra tutti.

   • Disegna un ponte tra riga 3, colonna 1 e riga 5, colonna 1. L’isola in riga 5, colonna 1 richiede 3 ponti in tutto. Gli altri collegamenti possono fornirne 0–2. Questo deve quindi darne 1–2; tra 0, 1, solo 1 va bene.

   • Disegna due ponti tra riga 5, colonna 1 e riga 5, colonna 3. L’isola in riga 5, colonna 1 richiede 3 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 3 − 1 = 2.

   • Disegna un ponte tra riga 3, colonna 5 e riga 5, colonna 5. L’isola in riga 5, colonna 5 richiede 7 ponti in tutto. Gli altri collegamenti possono fornirne 0–6. Questo deve quindi darne 1–2; tra 0, 1, solo 1 va bene.

   • Disegna due ponti tra riga 5, colonna 3 e riga 5, colonna 5. L’isola in riga 5, colonna 5 richiede 7 ponti in tutto. Gli altri collegamenti possono fornirne 1–5. Questo deve quindi darne 2–2; tra 0, 1, 2, solo 2 va bene.

2. Segui questi cambiamenti nell’ordine indicato; l’immagine sotto li mostra tutti.

   • Disegna due ponti tra riga 5, colonna 5 e riga 5, colonna 7. L’isola in riga 5, colonna 5 richiede 7 ponti in tutto. Gli altri collegamenti possono fornirne 3–5. Questo deve quindi darne 2–2; tra 0, 1, 2, solo 2 va bene.

   • Disegna due ponti tra riga 5, colonna 5 e riga 7, colonna 5. L’isola in riga 5, colonna 5 richiede 7 ponti. Gli altri collegamenti ne forniscono già 5: questo passaggio deve quindi portarne 7 − 5 = 2.

   • Lascia senza ponti il collegamento tra riga 3, colonna 1 e riga 3, colonna 5. L’isola in riga 3, colonna 1 richiede 1 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 1 − 1 = 0.

   • Lascia senza ponti il collegamento tra riga 3, colonna 5 e riga 3, colonna 7. L’isola in riga 3, colonna 5 richiede 1 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 1 − 1 = 0.

3. Segui questi cambiamenti nell’ordine indicato; l’immagine sotto li mostra tutti.

   • Disegna un ponte tra riga 1, colonna 3 e riga 1, colonna 7. Questo passaggio usa una prova per contraddizione. Prova temporaneamente due ponti qui e prosegui applicando le regole dalla griglia attuale. Ogni continuazione fallisce: le isole o i segmenti si separano in reti distinte. Annulla la prova e usa la scelta indicata.

   • Disegna un ponte tra riga 1, colonna 3 e riga 5, colonna 3. L’isola in riga 1, colonna 3 richiede 2 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 2 − 1 = 1.

   • Disegna un ponte tra riga 1, colonna 7 e riga 3, colonna 7. L’isola in riga 1, colonna 7 richiede 2 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 2 − 1 = 1.

   • Disegna un ponte tra riga 3, colonna 7 e riga 5, colonna 7. L’isola in riga 3, colonna 7 richiede 2 ponti. Gli altri collegamenti ne forniscono già 1: questo passaggio deve quindi portarne 2 − 1 = 1.

4. Segui questi cambiamenti nell’ordine indicato; l’immagine sotto li mostra tutti.

   • Lascia senza ponti il collegamento tra riga 5, colonna 3 e riga 7, colonna 3. L’isola in riga 5, colonna 3 richiede 5 ponti. Gli altri collegamenti ne forniscono già 5: questo passaggio deve quindi portarne 5 − 5 = 0.

   • Disegna un ponte tra riga 5, colonna 7 e riga 7, colonna 7. L’isola in riga 5, colonna 7 richiede 4 ponti. Gli altri collegamenti ne forniscono già 3: questo passaggio deve quindi portarne 4 − 3 = 1.

   • Disegna due ponti tra riga 7, colonna 3 e riga 7, colonna 5. L’isola in riga 7, colonna 3 richiede 2 ponti. Gli altri collegamenti ne forniscono già 0: questo passaggio deve quindi portarne 2 − 0 = 2.

   • Lascia senza ponti il collegamento tra riga 7, colonna 5 e riga 7, colonna 7. L’isola in riga 7, colonna 5 richiede 4 ponti. Gli altri collegamenti ne forniscono già 4: questo passaggio deve quindi portarne 4 − 4 = 0.

Domande frequenti