مسیرها
/
Prolog
Prolog
/
تمرین‌ها
/
معمای گورخر
معمای گورخر

معمای گورخر

دشوار

مقدمه

معمای گورخر یک معمای منطقی مشهور است که در آن پنج خانه وجود دارد و هر خانه به رنگ متفاوتی رنگ شده است. در این خانه‌ها افراد متفاوتی زندگی می‌کنند: ملیتشان با هم فرق دارد، حیوان خانگی متفاوتی نگه می‌دارند، نوشیدنی متفاوتی می‌نوشند و سرگرمی متفاوتی دارند.

برای اینکه بتوانید این معما را حل کنید، ۱۵ گزاره در اختیار شما قرار می‌گیرد که راه‌حل را توصیف می‌کنند. با این حال، فقط با کنار هم گذاشتن اطلاعات همه‌ی این گزاره‌ها می‌توانید راه‌حل معما را پیدا کنید.

Note

معمای گورخر یک مسئله‌ی ارضای محدودیت (CSP) است. در چنین مسئله‌ای، مجموعه‌ای از مقادیر ممکن دارید و مجموعه‌ای از محدودیت‌ها که تعیین می‌کنند کدام مقادیر معتبرند. سودوکو هم نمونه‌ی شناخته‌شده‌ی دیگری از همین نوع مسئله است.

دستورالعمل‌ها

وظیفه‌ی شما این است که معمای گورخر را حل کنید تا پاسخ این دو پرسش را پیدا کنید:

  • کدام یک از ساکنان آب می‌نوشد؟
  • مالک گورخر کیست؟

معما

۱۵ گزاره‌ی زیر همه درست‌اند:

  1. پنج خانه وجود دارد.
  2. Englishman در خانه‌ی قرمز زندگی می‌کند.
  3. Spaniard صاحب سگ است.
  4. ساکن خانه‌ی سبز قهوه می‌نوشد.
  5. Ukrainian چای می‌نوشد.
  6. خانه‌ی سبز بلافاصله در سمت راست خانه‌ی عاجی قرار دارد.
  7. صاحب حلزون دوست دارد به رقص برود.
  8. ساکن خانه‌ی زرد نقاش است.
  9. ساکن خانه‌ی وسط شیر می‌نوشد.
  10. Norwegian در خانه‌ی اول زندگی می‌کند.
  11. کسی که از خواندن لذت می‌برد، در خانه‌ی کنارِ فردی که روباه دارد زندگی می‌کند.
  12. خانه‌ی نقاش کنارِ خانه‌ای است که اسب در آن است.
  13. کسی که فوتبال بازی می‌کند، آب‌پرتقال می‌نوشد.
  14. Japanese شطرنج بازی می‌کند.
  15. Norwegian کنارِ خانه‌ی آبی زندگی می‌کند.

علاوه بر این، هر یک از این پنج خانه رنگ متفاوتی دارد و ساکنانشان ملیت‌های متفاوت دارند، حیوان خانگی متفاوتی دارند، نوشیدنی متفاوتی می‌نوشند و به سرگرمی‌های متفاوتی مشغول‌اند.

Note

۲۴ میلیارد (۵!⁵ = ۲۴٬۸۸۳٬۲۰۰٬۰۰۰) راه‌حل ممکن وجود دارد، پس سعی کنید تا جای ممکن راه‌حل‌های بیشتری را حذف کنید.


منبع

Wikipediaاین لینک در پنجره یا تب جدیدی باز می‌شود.
ویرایش از طریق GitHub این لینک در پنجره یا زبانه‌ی جدیدی باز می‌شود
Prolog Exercism

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

در Exercism ثبت‌نام کنید تا Prolog را همراه با 109 تمرین و مربی‌گری انسانی واقعی یاد بگیرید و در آن استاد شوید، همه‌ی این‌ها رایگان.

بررسی عمیق معمای گورخر!

۸ روش متفاوت برای یافتن پاسخ معمای گورخر از میان ۲۴ میلیارد راه‌حل ممکن را بررسی کنید؛ از جمله کنار گذاشتن جایگشت‌های نامعتبر به محض امکان، الگوریتم AC-3، یک راه‌حل بسیار کوتاه مبتنی بر منطق و حتی یک الگوریتم ژنتیک!