Løsning på den klassiske elvekrysnings-gåten: Rev, kylling, korn

«Smart Kit River Crossing Game» er en digital versjon av den klassiske ulv-geit-kål (eller rev-kylling-korn) logikk-gåten – et begrensnings-tilfredsstillelse-problem som dateres til minst 9. århundre Europa. Utfordringen: transporter tre gjenstander over en elv med en båt som kun rømmer ett gjenstand pluss operatøren, uten å la konfliktrende par stå alene.

Løsningsrekkefølge

Starttilstand: Rev, Kylling, Korn | Båt | (tom fjernt bredde)

1. Ta kyllingen over. (Rev og korn er trygge sammen – rev spiser ikke korn)
2. Returner alene.
3. Ta reven over.
4. Ta kyllingen RETUR. (Kritisk steg – kan ikke la rev og kylling stå sammen)
5. Ta kornet over. (Rev og korn er trygge sammen)
6. Returner alene.
7. Ta kyllingen over.

Sluttilstand: (tom nær bredde) | Båt | Rev, Kylling, Korn

Hvorfor dette fungerer: Begrensningsanalyse

Forbudte par (ubeaufsichtiget): Rev+Kylling (rov), Kylling+Korn (forbruk).
Trygge par: Rev+Korn (ingen interaksjon).
Nøkkelinnsikt: Kyllingen er i konflikt med BÅDE de andre – det er den «sentrale noden» i konfliktgrafen. Derfor må kyllingen være shuttle-gjenstanden: flyttes først, returneres, flyttes sist. Reven og kornet interagerer aldri direkte.

Generalisert problemløsnings-tilnærming

1. Modellér begrensninger eksplisitt – list alle forbudte tilstander.
2. Identifiser det mest begrensede elementet – her, kyllingen.
3. Arbeid baklengs fra målet – siste trekk må bringe det siste elementet.
4. Bruk tilstandsrom-søk – BFS/DFS finner optimal løsning (7 trekk minimum).
5. Verifiser at ingen forbudte tilstander oppstår – inkludert under båtoverføring.

Variasjoner og utvidelser

Misjonærer og kannibaler (3 hver, båt rømmer 2). Sjalu menn (3 par, båt rømmer 2, ingen kone med annen mann med mindre hennes mann til stede). Moderne versjoner tidsbegrensninger, flere båter, eller dynamiske begrensninger. Kjerne-logikken forblir: begrensnings-tilfredsstillelse gjennom tilstandsrom-søk.