Risolvere il Classico Enigma del Guado: Volpe, Gallina, Grano

Lo "Smart Kit River Crossing Game" è una versione digitale del classico rompicapo lupo-capra-cavolo (o volpe-gallina-grano) — un problema di soddisfazione di vincoli risalente almeno al IX secolo in Europa. La sfida: trasportare tre oggetti oltre un fiume con una barca che regge solo un oggetto più l'operatore, senza lasciare coppie conflittuali sole.

La Sequenza Risolutiva

Stato iniziale: Volpe, Gallina, Grano | Barca | (riva opposta vuota)

1. Porta la Gallina oltre. (Volpe e Grano stanno bene insieme — la volpe non mangia grano)
2. Torna solo.
3. Porta la Volpe oltre.
4. Riporta indietro la Gallina. (Passo critico — non puoi lasciare Volpe e Gallina insieme)
5. Porta il Grano oltre. (Volpe e Grano stanno bene insieme)
6. Torna solo.
7. Porta la Gallina oltre.

Stato finale: (riva iniziale vuota) | Barca | Volpe, Gallina, Grano

Perché Funziona: Analisi dei Vincoli

Coppie vietate (incustodite): Volpe+Gallina (predazione), Gallina+Grano (consumo).
Coppie sicure: Volpe+Grano (nessuna interazione).
Intuizione chiave: La Gallina confligge con ENTRAMBE le altre — è il "nodo centrale" nel grafo dei conflitti. Quindi la Gallina deve essere l'elemento navetta: spostata per prima, riportata indietro, spostata per ultima. Volpe e Grano non interagiscono mai direttamente.

Approccio Risolutivo Generalizzabile

1. Modellare i vincoli esplicitamente — elencare tutti gli stati vietati.
2. Identificare l'elemento più vincolato — qui, la Gallina.
3. Lavorare all'indietro dall'obiettivo — l'ultima mossa deve portare l'ultimo elemento.
4. Usare ricerca nello spazio degli stati — BFS/DFS trova soluzione ottima (minimo 7 mosse).
5. Verificare che non occorrano stati vietati — inclusi durante il transito in barca.

Varianti ed Estensioni

Missionari e cannibali (3 ciascuno, barca regge 2). Mariti gelosi (3 coppie, barca regge 2, nessuna moglie con altro marito a meno che il suo non sia presente). Versioni moderne aggiungono limiti temporali, barche multiple, vincoli dinamici. La logica di base resta: soddisfazione vincoli attraverso ricerca nello spazio degli stati.