ปัญหากระท่อมสามหลัง

จากวิกิพีเดีย สารานุกรมเสรี
กราฟสองส่วนบริบูรณ์ K3,3

ปัญหากระท่อมสามหลัง (อังกฤษ: Three cottage problem) เป็นปัญหาทางคณิตศาสตร์ ซึ่งปัญหามีดังนี้

มีกระท่อมสามหลัง แต่ละหลังต้องการต่อสายสำหรับน้ำประปา, ไฟฟ้า และแก๊ส จะสามารถต่อสายทั้งหมดโดยไม่ให้สายตัดกันได้หรือไม่?

คำตอบ[แก้]

โดยใช้ทฤษฎีกราฟ ปัญหาดังกล่าวสมมูลกับการสร้างกราฟสองส่วนบริบูรณ์ K3,3 ซึ่งไม่สามารถสร้างให้เส้นไม่ทับกันได้ ดังนั้นปัญหาดังกล่าวจึงไม่มีคำตอบ

คำตอบของปัญหาบนทอรัส

หากปรับปัญหาให้อยู่บนพื้นผิวที่เทียบเท่ากับทอรัส เช่น ใช้พื้นผิวเรียบปกติที่เจาะรู 2 รูแล้วเชื่อมด้วยท่อ 1 ท่อ ปัญหานี้จะมีคำตอบ เนื่องจากคุณสมบัติว่า K3,3 เป็นกราฟที่สามารถสร้างบนทอรัสไม่ให้เส้นทับกันได้