Το «Smart Kit River Crossing Game» είναι ψηφιακή έκδοση του κλασικού πάζλ λύκου-γίδας-λάχανου (ή αλεπού-κότα-σίτος) — ένα πρόβλημα ικανοποίησης περιορισμών που χρονολογείται τουλάχιστον από το 9ο αιώνα στην Ευρώπη. Το χάλην: μεταφορά τριών αντικειμένων πέρα από έναν ποταμό με βάρκα που χωράει μόνο ένα αντικείμενο συν τον χειριστή, χωρίς να αφήσετε αντικρουόμενες ζευγάρια μόνα.
Αρχική κατάσταση: Αλεπού, Κότα, Σίτος | Βάρκα | (αδεια απέναντι όχθη)
Τελική κατάσταση: (αδεια κοντινή όχθη) | Βάρκα | Αλεπού, Κότα, Σίτος
Απαγορευμένα ζευγάρια (αφεπιτήδευτα): Αλεπού+Κότα (πρίνωση), Κότα+Σίτος (κατανάλωση).
Ασφαλή ζευγάρια: Αλεπού+Σίτος (καμία αλληλεπίδραση).
Κλειδί συνειδητοποίησης: Η Κότα συγκρούεται με ΤΑ ΔΥΟ τα άλλα — είναι ο «κεντρικός κόμβος» στο γράφημα συγκρούσεων. Επομένως, η Κότα πρέπει να είναι το shuttle item: μετακινείται πρώτη, γυρίζει πίσω, μετακινείται τελευταία. Η Αλεπού και ο Σίτος δεν αλληλεπιδρούν ποτέ απευθείας.
1. Μοντελοποιήστε περιορισμούς ρητά — καταγράψτε όλα τα απαγορευμένα states.
2. Εντοπίστε το πιο περιορισμένο στοιχείο — εδώ, η Κότα.
3. Δουλέψτε ανάποδα από στόχο — το τελευταίο βήμα πρέπει να φέρει το τελευταίο αντικείμενο.
4. Χρησιμοποιήστε αναζήτηση state-space — BFS/DFS βρίσκει βέλτιστη λύση (7 βήματα ελάχιστο).
5. Επαλήθευση καμία απαγορευμένη κατάσταση συμβαίνει — συμπεριλαμβανομένων κατά τη μεταφορά βάρκας.
Μισσιονάριους και ανθρωποφάγους (3 καθένας, βάρκα χωράει 2). Φthoneroί άντρες (3 ζευγάρια, βάρκα χωράει 2, καμία γυναίκα με άλλον άντρα εκτός αν ο δικός της άντρας παρών). Σύγχρονες εκδοχές προσθέτουν χρονικά όρια, πολλαπλές βάρκες, ή δυναμικούς περιορισμούς. Η βασική λογική μένει: ικανοποίηση περιορισμών μέσω αναζήτησης state-space.
