مسألة المبشرين و آكلي لحوم البشر 

**ما هي مشكلة المبشرون و آكلو لحوم البشر **

& الفكرة أو الشرح العام لهذه المشكلة هو أنه يوجد ثلاثة من المبشرين و ثلاثة من آكلي لحوم البشر هم جميعا أي الستة موجودون على ضفة نهر الضفة الشرقية مثلا و يريدون الانتقال إلى الضفة الغربية .

نرمز للضفة الشرقية ب (ش) و نرمز للضفة الغربي ب (غ) .

وﻟﺪﻳﻬﻢ ﻗﺎرب ﻻ ﻳﺘﺴﻊ إﻻ لراكبين ﻓﻘﻂ ﻛـﻞ ﻣـﺮة , وإذا زاد ﻓـﻲ أي مرحلة وﻓﻲ أي ﺿﻔﺔ ﻣﻦ النهر ﻋﺪد آﻛﻠﻲ لحوم اﻟﺒﺸﺮ ﻋـﻦ ﻋـﺪد المبشرين ﻓـﺈن ﺷﻬﻴﺔ آﻛﻠﻲ لحوم اﻟﺒﺸﺮ ﻟﻠﺤﻢ اﻵدﻣﻲ تنفتح

وﺗﻜﻮن اﻟﻌﻮاﻗﺐ وﺧﻴﻤﺔ للمبشرين اﻟﺬﻳﻦ ﻳﺤﺎوﻟﻮن تجنب ﺣﺪوث ذﻟﻚ ﺑﺄي ﺛﻤﻦ.

وﻳﻌﺘﺒﺮ اﻟﻘﺎرب ﺟﺰءا ﻣﻦ اﻟﻀﻔﺔ اﻟﺘﻲ ﻳﻜﻮن ﻓﻴﻬﺎ , و المشكلة ﻫﻲ ﻧﻘﻞ ﻛﻞ ﻓﺮد ﻋـﺒـﺮ النهر ﻣـﻊ الحفاظ ﻋـﻠـﻰ سلامة المبشرين .

و قد علق دانيال كايرز على ذلك قائلا أنه لا ﻳﺴﺘﻄﻴﻊ أن ﻳﺮى لماذا ﻻ ﻳﺴﺘﻄﻴﻊ اﺛﻨﺎن ﻣﻦ آﻛﻠﻲ لحوم اﻟﺒﺸﺮ اﻹﺟﻬﺎز ﻋـﻠـﻰ ﺛﻼﺛﺔ ﻣﻦ المبشرين : و ﻟﻜﻲ ﻳﺒﺪي ﺑﺮﻧﺎﻣﺠﺎ ﻣﺜﻞ ﻫﺬه الملاحظة ﻻﺑﺪ أن ﻳﻜﻮن ذﻛﻴﺎ ﺟﺪا.

و ﻣﺸﻜﻠﺔ اﻟﺬﻛﺎء اﻻﺻﻄﻨﺎﻋﻲ ﻫﻨﺎ ﻫﻲ ﻛﺘﺎﺑﺔ ﺑـﺮﻧـﺎﻣـﺞ ﻳـﺴـﺘـﻄـﻴـﻊ أن ﻳـﺠـﺪ ﺑﻨﻔﺴﻪ الخطوات اﻟﻮاﺟﺐ اﺗﺨﺎذﻫﺎ - ﻣﻦ ﻳﺮﻛﺐ اﻟﻘﺎرب ذﻫﺎﺑﺎ و إﻳﺎﺑﺎ- ﻟﺘـﺤـﻘـﻴـﻖ اﻟﻬﺪف المنشود ؟

وﻟﺘﺤﻘﻴﻖ ذلك ﻳـﺠـﺐ أن ﻧـﻌـﻄـﻰ الحاسب وﺻـﻔـﺎ ﺻـﻮرﻳـﺎ ﻟﻠﺤﺎﻟﺔ اﻷوﻟﻴﺔ الحالة اﻟﺘﻲ ﻳﻜﻮن ﻓﻴـﻬـﺎ المبشرون وأﻛـﻠـﺔ لحوم اﻟـﺒـﺸـﺮ ﻓـﻲ اﻟﻀﻔﺔ اﻟﺘﻲ ﻳﺮﻏﺒﻮن اﻻﻧﺘﻘﺎل ﻣﻨﻬﺎ )

و وﺻﻔﺎ آﺧﺮ ﻟﻠﺤﺎﻟـﺔ اﻟـﻨـﻬـﺎﺋـﻴـﺔ ﻋﻨﺪ اﻧﺘﻘﺎﻟﻬـﻢ ﺟـﻤـﻴـﻌـﺎ ﺳـالمين إﻟـﻰ اﻟـﻀـﻔـﺔ اﻷﺧـﺮى ﻣـﻦ اﻟـﻨـﻬـﺮ )

و ﻻﺑﺪ أن ﻳﺘﺄﻛﺪ اﻟﺒﺮﻧﺎﻣﺞ أﻧـﻪ ﻓـﻲ ﺟـﻤـﻴـﻊ اﻷوﻗـﺎت ﺗﺘﻮاﻓﺮ اﻟﺸﺮوط اﻟﺘﺎﻟﻴﺔ:

ﻳﺰﻳﺪ ﻋﺪد المبشرين (م) ﻋﻦ ﻋﺪد آﻛﻠﻲ لحوم اﻟﺒﺸﺮ (أ) ﻓﻲ ﻛﻞ ﺿﻔﺔ ﻣﻦ اﻟﻨﻬﺮ أو ﻓﻲ اﻟﻘﺎرب أﺛﻨﺎء إﺑﺤﺎره إﻻ إذا ﻛﺎن (م) = ﺻﻔﺮ ﻓﻲ أي ﻣﻮﻗﻊ ﻣـﻦ المواقع .

وﻳﺠﺐ أن ﻧﻼﺣﻆ ﻫﻨﺎ أﻧﻨﺎ ﻓﻲ ﺣﺪﻳﺜﻨﺎ ﻋﻦ ﺑﻨﺎء اﻟﻮﺻﻒ اﻟﺼﻮري ﻟﻠﻤﻮاﻗﻒ المختلفة تجاهلنا اﻟﻌﻤﻠﻴﺔ اﻟﺪﻗﻴﻘﺔ ﻟﻼﻧﺘﻘﺎل بالجمل ﻣﻦ ﺻﻮرﺗﻬﺎ اﻟﻄﺒﻴﻌـﻴـﺔ إﻟﻰ تمثيل رﻣﺰي ﺑﺎﺳﺘﺨﺪام المعاملات و الحالات :

وﻫﺬه اﻟﻌﻤﻠﻴﺔ أﺻﻌﺐ ﺟﺰء ﻓﻲ اﻟﺒﺮﻧﺎﻣﺞ و ﺗﺘﻄﻠﺐ ﻓﻬﻤﺎ ﻋﻤﻴﻘﺎ ﺟﺪا ﻟﻠﻐﺔ. ﻓﻤﺜﻼ ﺣﻘﻴﻘﺔ أن " وﺟﻮد المبشرين ﻳﻔﺘﺢ ﺷﻬﻴﺔ آﻛﻠﻲ لحوم اﻟﺒﺸﺮ ﻟﻠﺤﻢ اﻵدﻣﻲ.." ﻳﻨﻄﻮي ﺑﺪاﻫﺔ ﻋﻠﻰ أن ﻋـﺪد (م) ﻳﺠﺐ أن ﻳﺰﻳﺪ ﻋﻦ ﻋﺪد (أ).... اﻟﺦ

يمثل اﺳﺘﻨﺒﺎﻃﺎ ﻻ ﻳﺴﻬﻞ ﻋﻠﻰ ﺑﺮﻧﺎﻣﺞ أن ﻳﺘﻮﺻﻞ إﻟﻴﻪ و ﺗﺒﻠﻎ ﻫﺬه المشكلة ﺑﺎﻟﺬات درﺟﺔ ﻣﻦ اﻟﺴﻬﻮﻟﺔ تجعل اﻟﻘﻴﺎم ﺑﺒﺤﺚ أﻋﻤﻰ ممكنا .

أي يمكن ﻟﻠﺒﺮﻧﺎﻣﺞ أن ﻳﻄﺒﻖ ﺟﻤﻴﻊ المعاملات , ﻣﻊ ﻣﺮاﻋﺎة ﻗﻴﺪ واﺣﺪ, وﻫﻮ أﻧﻪ ﻻ ﻳﺠﺐ اﻟﺴﻤﺎح ﺑﺤﺎﻟﺔ ﻳﺰﻳﺪ ﻓﻴﻬﺎ ﻋﺪد آﻛﻠﻲ لحوم اﻟﺒﺸﺮ ﻋﻦ ﻋﺪد المبشرين .

وﻳﻜﻮن اﻟﺘﻌﺮﻳﻒ اﻟﺼﻮري ﻟﻠﻤﺸﻜﻠﺔ ﻛﻤﺎ ﻳﻠﻲ:

الحالة اﻷوﻟﻴﺔ: ش = (م م م آ آ آ) ( ﻛﻞ ﻓﺮد ﻓﻲ اﻟﻀﻔﺔ اﻟﺸﺮﻗﻴﺔ) غ = ﺻﻔﺮ

الحالة اﻟﻨﻬﺎﺋﻴﺔ: ش = ﺻﻔﺮ