Løsning på den klassiske flodkrydsnings-gåde: Ræv, Kylling, Korn

"Smart Kit River Crossing Game" er en digital version af den klassiske ulv-ged-kål (eller ræv-kylling-korn) logik-gåde – et constraint satisfaction-problem der dateres til mindst 9. århundrede Europa. Udfordringen: transporter tre genstande over en flod med en båd, der kun rummer én genstand plus operatøren, uden at lade konfliktfyldte par alene.

Løsningssekvens

Starttilstand: Ræv, Kylling, Korn | Båd | (tom fjerde bred)

1. Tag Kylling over. (Ræv og Korn trygge sammen – ræv spiser ikke korn)
2. Returner alene.
3. Tag Ræv over.
4. Tag Kylling TILBAGE. (Kritisk skridt – kan ikke lade Ræv og Kylling sammen)
5. Tag Korn over. (Ræv og Korn trygge sammen)
6. Returner alene.
7. Tag Kylling over.

Sluttilstand: (tom near bank) | Båd | Ræv, Kylling, Korn

Hvorfor det virker: Constraint-analyse

Forbudte par (uovervåget): Ræv+Kylling (rovdyr), Kylling+Korn (forbruger).
Sikre par: Ræv+Korn (ingen interaktion).
Nøgleindsigt: Kyllingen er i konflikt med BÅDE de andre – det er "central noden" i konfliktgrafen. Derfor skal Kyllingen være shuttle-genstanden: flyttet først, taget tilbage, flyttet sidst. Ræven og Kornet interagerer aldrig direkte.

Generalisérbar problemløsningstilgang

1. Modellér constraints eksplicit – list alle forbudte tilstande.
2. Identificer det mest constrained element – her Kyllingen.
3. Arbejd baglæns fra mål – sidste træk skal bringe sidste genstand.
4. Brug state-space search – BFS/DFS finder optimal løsning (7 træk minimum).
5. Verificer ingen forbudte tilstande opstår – inkl. under bådtransit.

Variationer og udvidelser

Missionærer og kanibaler (3 hver, båd rummer 2). Jalousi-mænd (3 par, båd rummer 2, ingen kone med anden mand medmindre hendes mand til stede). Moderne versioner tilføjer tidsgrænser, flere båd eller dynamiske constraints. Kerne-logikken forbliver: constraint satisfaction gennem state-space search.