"भोजन दार्शनिक समस्या" प्रस्तुत समस्या थी।
मूल रूप से 5 दार्शनिक हैं जिन्हें खाने की ज़रूरत है। (प्रत्येक दार्शनिक के सामने कभी न खत्म होने वाले भोजन की थाली की कल्पना करें), प्रत्येक प्लेट के बीच एक कांटा (5 प्लेट, 5 कांटे, 5 दार्शनिक) होता है।
एक दार्शनिक केवल तभी खा सकता है जब वह कांटे को दाईं ओर और कांटे को बाईं ओर पकड़े हुए हो। (केवल दो दार्शनिक किसी भी समय खा सकते हैं)।
एक कांटा किसी भी समय उपलब्ध हो सकता है और यदि यह आयोजित किया जा रहा है तो उसे नीचे रख दिया जा सकता है। प्रत्येक कांटा को अन्योन्याश्रित रूप से उठाया जाना चाहिए। (एक बार में एक)।
जबकि एक दार्शनिक भोजन नहीं कर रहा है, वे सोच रहे हैं (वैकल्पिक राज्यों की आवश्यकता है जो समस्या को ड्राइव करता है)।
आप उनमें से प्रत्येक को खाने और वैकल्पिक सोच (ताकि दूसरे खा सकते हैं) को एक गतिरोध प्रणाली बनाए बिना (जहां एक दार्शनिक एक कांटा पकड़ कर दूसरे के लिए इंतजार कर रहा है, खाने से रोकने की अनुमति देता है)।
समवर्ती प्रणालियों में इसकी जड़ें हैं और यह एक सामान्य विश्वविद्यालय का प्रश्न है, जो कंसेंटर पर चर्चा करते समय प्रस्तुत किया गया है।
मेरा मानना है कि समस्या को हल करने के लिए 4 या 5 "आधिकारिक" एल्गोरिदम विकसित किए गए हैं, लेकिन "डाइनिंग दार्शनिक समस्या" के लिए Google पर त्वरित खोज आपको परिणामों की एक विविधता मिलेगी।
यदि आप पेपर के मूल संस्करण को पृष्ठ 866 पर पढ़ते हैं, तो यह बताता है: "IFIP कांग्रेस की कार्यवाही 1965, 213-217। समवर्ती प्रोग्रामिंग नियंत्रण में एक समस्या का समाधान।"
संगामिति और साझा संसाधनों में समस्या "भोजन दर्शन समस्या" है। :-)
उम्मीद है की वो मदद करदे।