Löser den klassiska flodkorsningsgåtan: Räv, Höna, Korn

"Smart Kit River Crossing Game" är en digital version av den klassiska varg-get-kål (eller räv-höna-korn) logikgåta – ett begränsningstillfredsställelseproblem som daterar till minst 900-talet i Europa. Utmaningen: transportera tre föremål över en flod med en båt som bara rymmer ett föremål plus operatören, utan att lämna konfliktfyllda par ensamma.

Lösningssekvens

Utgångsläge: Räv, Höna, Korn | Båt | (tom motstrand)

1. Ta Hönan över. (Räv och Korn säkra tillsammans — räv äter inte korn)
2. Åk tillbaka ensam.
3. Ta Räven över.
4. Ta Hönan TILLBAKA. (Kritiskt steg — kan inte lämna Räv och Höna tillsammans)
5. Ta Kornet över. (Räv och Korn säkra tillsammans)
6. Åk tillbaka ensam.
7. Ta Hönan över.

Slutläge: (tom nära strand) | Båt | Räv, Höna, Korn

Varför detta fungerar: Begränsningsanalys

Förbjudna par (obevakade): Räv+Höna (rovdjur), Höna+Korn (förtäring).
Säkra par: Räv+Korn (ingen interaktion).
Nyckelinsikt: Hönan är i konflikt med BÅDE de andra – den är den "centrala noden" i konfliktgrafen. Därför måste Hönan vara skjutföremålet: flyttas först, togs tillbaka, flyttas sist. Räven och Kornet interagerar aldrig direkt.

Generaliserbart problemlösningsförfarande

1. Modellera begränsningar explicit — lista alla förbjudna tillstånd.
2. Identifiera det mest begränsade elementet — här, Hönan.
3. Arbeta bakåt från mål — sista draget måste flytta det sista föremålet.
4. Använd tillståndsrumssökning — BFS/DFS hittar optimal lösning (7 drag minimum).
5. Verifiera inga förbjudna tillstånd inträffar — inklusive under båttransit.

Variationer och utökningar

Missionärer och kannibaler (3 var, båt rymmer 2). Avundsjuka män (3 par, båt rymmer 2, ingen hustru med annan man om inte hennes man närvarande). Moderna versioner lägger till tidsgränser, flera båter eller dynamiska begränsningar. Kärnlogiken förblir: begränsningstillfredsställelse genom tillståndsrumssökning.