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

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

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

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

منابع 

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

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