ปัญหานักปรัชญาการรับประทานอาหารคือการทดสอบความคิดหรือตัวอย่างที่ใช้ในสาขาวิทยาการคอมพิวเตอร์ ปัญหาใช้การเปรียบเทียบเพื่อแสดงให้เห็นถึงปัญหาการซิงโครไนซ์ที่อาจเกิดขึ้นเมื่อคอมพิวเตอร์ใช้ทรัพยากรร่วมกัน นักวิทยาศาสตร์คอมพิวเตอร์ใช้ปัญหานักปรัชญาการรับประทานอาหารเพื่อสอนนักเรียนเกี่ยวกับอัลกอริทึมที่ใช้เพื่อแก้ไขปัญหาเหล่านี้
สถานการณ์ของปัญหานักปรัชญาการรับประทานอาหารคือตารางวงกลมที่นักปรัชญาห้าคนนั่งอยู่ ตรงกลางโต๊ะเป็นชามก๋วยเตี๋ยวหรืออาหารอื่น ๆ นักปรัชญาแต่ละคนมีส้อมหรือตะเกียบหนึ่งอันอยู่ข้างใดข้างหนึ่งซึ่งหมายความว่ามีห้าส้อมหรือตะเกียบรวม เพื่อที่จะกินนักปรัชญาต้องการเครื่องใช้สองอย่าง นักปรัชญาแต่ละคนจะต้องใช้เวลาคิดและไม่สามารถคิดและกินในเวลาเดียวกัน หัวใจของปัญหานักปรัชญาการรับประทานอาหารคือความยากลำบากในการป้องกันการหยุดชะงัก
การหยุดชะงักในปัญหานี้เกิดขึ้นเมื่อนักปรัชญาวางตำแหน่งที่พวกเขาไม่สามารถคิดหรือกิน ตัวอย่างเช่นหากนักปรัชญาแต่ละคนหยิบภาชนะขึ้นมาทางซ้ายจะไม่มีใครสามารถกินได้เพราะเครื่องใช้ทั้งหมดจะถูกใช้งาน แต่ไม่มีนักปรัชญาที่จะมีสอง เพื่อให้นักปรัชญาทุกคนกินนักเรียนต้องสร้างอัลกอริทึมที่ทำให้แน่ใจว่านักปรัชญาบางคนกำลังรับประทานในขณะที่คนอื่นกำลังคิด สิ่งนี้ทำให้ทั้งการกินและการคิดดำเนินต่อไปโดยไม่หยุดนิ่ง
มีวิธีแก้ปัญหาที่เป็นไปได้หลายประการสำหรับนักปรัชญาการรับประทานอาหาร ทางออกหนึ่งเกี่ยวข้องกับการสร้างตัวอักษรตัวที่หกบริกรผู้ให้หรือปฏิเสธการอนุญาตให้นักปรัชญาหยิบส้อม คนอื่น ๆ เกี่ยวข้องกับการออกคำสั่งที่นักปรัชญาหยิบและวางส้อมเพื่อเพิ่มความพร้อม บางคนเกี่ยวข้องกับการบอกให้นักปรัชญาตรวจสอบว่าเพื่อนบ้านกำลังกินข้าวก่อนจะลองกินหรือไม่ ในสาระสำคัญแต่ละวิธีแก้ปัญหาเกี่ยวข้องกับการพัฒนาชุดของกฎที่เรียกว่าอัลกอริทึมซึ่งควบคุมเมื่อนักปรัชญาคิดกินหรือรับและวางเครื่องใช้ของพวกเขา
ปัญหานักปรัชญาการรับประทานอาหารถูกแสดงออกมาเป็นครั้งแรกโดย Edsger Dijkstra นักวิทยาศาสตร์คอมพิวเตอร์ชาวดัตช์ในปี 1965 เป็นคำถามสอบสำหรับนักเรียน ตั้งแต่นั้นมาปัญหาได้รับการเปลี่ยนแปลงจำนวนมาก มันปรากฏในรูปแบบที่แตกต่างกันเล็กน้อยซึ่งบางอย่างเปลี่ยนเฉพาะรายละเอียดของเรื่องราว แต่คนอื่น ๆ ที่เสนอข้อ จำกัด เพิ่มเติมเกี่ยวกับปัญหาเพื่อแสดงแนวคิดที่ยาก รุ่นทันสมัยที่พบมากที่สุดถูกสร้างขึ้นโดย Tony Hoare
