معمای کشیش‌ها و آدمخوارها

معمای کشیش ها و آدمخوارها (Missionaries and cannibals problem) یک مسئله کلاسیک در هوش مصنوعی است. این مسئله نمونه‌ای از مسائل ارضای محدودیت می‌باشد.
سه کشیش و سه آدم‌خواری در یک طرف رودخانه قرار دارند و هم چنین قایقی که قادر است یک یا دو نفر را حمل کند. راهی را بیابید که همه را به سمت دیگر رودخانه ببرد، بدون آنکه تعداد کشیش ها در یکجا کمتر از آدم‌خوارها شود.

این سه مسئله یعنی معمای زن و شوهرهای حسود، 'معمای کتاب خوان ها و آدمخوارها' و معمای گرگ و گوسفند و کلم به مسائل ردشدن از رودخانه معروف هستند.

 راه حل 
 ابتدا یک آدم‌ خوار با یک کتاب خوان به طرف دیگر می‌روند.
 سپس آدم‌ خوار پیاده شده و کتاب خوان  برمی گردد.
 دو آدم‌ خوار به سمت دیگر می‌روند.
 یک آدم‌ خوار پیاده شده و یکی بر می‌گردد.
 دو کتاب خوان به سمت دیگر می‌روند
 یک کتاب خوان پیاده شده و یک آدم‌خوار و یک کتاب خوان بر می‌گردند
 دو کتاب خوان به سمت دیگر می‌روند
 هر دو کتب خوان پیاده شده و یک آدم‌خوار بر می‌گردد
 دو آدم‌خوار به سمت دیگر می‌روند.
 هر دو آدم‌خوار پیاده شده و یک کتاب خوان بر می‌گردد.
 و همراه با آدم‌خوار به سمت دیگر می‌روند.

 منابع 

 http://www.sid.ir/fa/VEWSSID/J_pdf/52313840202.pdf

رده:بازی‌های راهبردی مجرد
رده:بازی‌های ریاضی
رده:بازی‌های فکری