De Klassieke Rivieroversteek-oplossing: Vos, Kip, Graan

De "Smart Kit Rivieroversteekspel" is een digitale versie van de klassieke wolf-geit-kool (of vos-kip-graan) logica-puzzel – een constraint-satisfaction probleem daterend uit minstens 9e-eeuw Europa. De uitdaging: drie items over een rivier transporteren met een boot die slechts één item plus de bediener kan dragen, zonder conflictparen alleen te laten.

De Oplossingsvolgorde

Beginstaat: Vos, Kip, Graan | Boot | (lege verre oever)

1. Neem de Kip mee. (Vos en Graan veilig samen – vos eet geen graan)
2. Keer alleen terug.
3. Neem de Vos mee.
4. Breng de Kip TERUG. (Kritische stap – kan Vos en Kip niet samen laten)
5. Neem het Graan mee. (Vos en Graan veilig samen)
6. Keer alleen terug.
7. Neem de Kip mee.

Eindstaat: (lege nabije oever) | Boot | Vos, Kip, Graan

Waarom Dit Werkt: Constraint-analyse

Verboden paren (ongezied): Vos+Kip (predatie), Kip+Graan (consumptie).
Veilige paren: Vos+Graan (geen interactie).
Kerninzicht: De Kip conflict met BEIDE anderen – het is de "centrale knoop" in het conflictgraaf. Daarom moet de Kip het shuttle-item zijn: eerst verplaatsen, terugbrengen, laatst verplaatsen. De Vos en het Graan interacteren nooit direct.

Algemene Probleemoplossingsbenadering

1. Constraints expliciet modelleren – alle verboden staten opsommen.
2. Meest geconstraineerd element identificeren – hier, de Kip.
3. Terugwerken vanaf doel – laatste zet moet laatste item brengen.
4. State-space zoeken gebruiken – BFS/DFS vindt optimale oplossing (7 zetten minimum).
5. Verifiëren dat geen verboden staten optreden – inclusief tijdens boottocht.

Variaties en Uitbreidingen

Missionarissen en kannibalen (3 elk, boot houdt 2). Jaloezieuse echtgenoten (3 paren, boot houdt 2, geen vrouw met andere man tenzij haar man aanwezig). Moderne versies voegen tijdslimieten, meerdere boten, of dynamische constraints toe. De kernlogica blijft: constraint-satisfaction door state-space zoeken.