คนไทย ผู้ไขปริศนา "Lonely Runner Problem"
เด็กไทยจารึกชื่อในประวัติศาสตร์คณิตศาสตร์โลก! ไขปริศนา "Lonely Runner Problem" ที่ค้างคามากว่า 60 ปีในโลกของคณิตศาสตร์ บางคำถามฟังดูเรียบง่ายแต่กลับไม่มีใครตอบได้มานานหลายทศวรรษ หนึ่งในนั้นคือ "Lonely Runner Conjecture" (สมมติฐานนักวิ่งผู้เดียวดาย) ปัญหาที่นักคณิตศาสตร์ระดับโลกพยายามไขคำตอบมาตั้งแต่ปี 1967 แต่ล่าสุด ชื่อของเด็กไทย "น้องปลื้ม" ตนุภัทร ตระกูลธงชัย ได้กลายเป็นจุดสนใจของวงการ เมื่อเขาสามารถพิสูจน์กรณีที่ซับซ้อนที่สุดเท่าที่เคยมีมาได้สำเร็จ
ปัญหา "นักวิ่งผู้เดียวดาย" คืออะไร?
จินตนาการถึงนักวิ่ง n คน เริ่มวิ่งจากจุดเดียวกันบนลู่วิ่งวงกลมที่มีความยาว 1 หน่วย ทุกคนวิ่งด้วยความเร็วคงที่ที่แตกต่างกัน "Lonely Runner Conjecture" ระบุว่า:
"สำหรับนักวิ่งทุกคน จะมีช่วงเวลาหนึ่งเสมอที่เขาวิ่งห่างจากคนอื่น ๆ อย่างน้อย 1/n ของรอบวง"
พูดง่าย ๆ คือ ในจังหวะหนึ่ง ทุกคนจะมีช่วงเวลาที่ "โดดเดี่ยว" หรืออยู่ห่างจากเพื่อนคนอื่นมากที่สุดนั่นเอง แม้จะฟังดูง่าย แต่การพิสูจน์ในเชิงคณิตศาสตร์นั้นยากมหาศาล ยิ่งจำนวนนักวิ่งเพิ่มขึ้น ความซับซ้อนของตัวแปรจะเพิ่มขึ้นแบบทวีคูณ จนคอมพิวเตอร์ทั่วไปก็คำนวณไม่ไหว
ทลายกำแพงที่คอมพิวเตอร์ยังยอมแพ้
ตลอด 60 ปีที่ผ่านมา นักคณิตศาสตร์พิสูจน์ปัญหานี้ได้เพียงกรณีที่มีนักวิ่งไม่เกิน 7 คน (พิสูจน์สำเร็จในปี 2008) จนกระทั่งเมื่อปี 2025 Matthieu Rosenfeld นักวิจัยจากฝรั่งเศส ได้ใช้พลังของคอมพิวเตอร์และอัลกอริทึมขั้นสูงพิสูจน์กรณี 8 คน ได้สำเร็จ
เมื่อขยับไปที่ 9 และ 10 คน พลังของคอมพิวเตอร์เริ่มถึงทางตัน เพราะจำนวนรูปแบบความเร็วที่เป็นไปได้นั้นมหาศาลเกินกว่าจะประมวลผลไหว
"น้องปลื้ม" ตนุภัทร ผู้สร้างอัลกอริทึม "ตะแกรงร่อน"
จุดเปลี่ยนเกิดขึ้นที่ มหาวิทยาลัยอ็อกซ์ฟอร์ด (Oxford) เมื่อ ดร. Noah Kravitz ได้นำโจทย์นี้ไปหารือกับ "น้องปลื้ม" ตนุภัทร ตระกูลธงชัย นักศึกษาชั้นปีที่ 2 (ศิษย์เก่าโรงเรียนกำเนิดวิทย์ - KVIS) ปลื้มไม่ได้ใช้แค่พลังประมวลผลเข้าแลก (Brute Force) แต่เขาได้พัฒนา "Sieve" (ตะแกรงร่อน) หรือแนวคิดการคัดกรองทางทฤษฎีใหม่ที่ช่วยลดจำนวนชุดข้อมูลความเร็วที่ต้องตรวจสอบลงอย่างมหาศาล เขาพบว่ารูปแบบความเร็วที่ "แย่" (ที่อาจจะทำให้ไม่เกิดสภาวะเดียวดาย) ในระบบขนาดเล็ก จะมีแพตเทิร์นที่ส่งผลต่อระบบขนาดใหญ่
ผลลัพธ์คือ ปลื้มสามารถพิสูจน์กรณีนักวิ่ง 9 คน และ 10 คน ได้สำเร็จ โดยผลงานถูกเผยแพร่ในคลังเอกสารวิชาการ arXiv เมื่อช่วงปลายปี 2025 และได้รับการยอมรับจากมหาวิทยาลัยอ็อกซ์ฟอร์ดว่าเป็นการก้าวกระโดดครั้งสำคัญของวงการ
จากสมการสู่ "วิศวกรรมอวกาศและเครือข่าย"
การพิสูจน์นี้ไม่ใช่เพียงการแก้โจทย์เลขเล่น ๆ แต่ "Lonely Runner" มีความเชื่อมโยงโดยตรงกับเทคโนโลยีล้ำสมัย การจัดการดาวเทียม การคำนวณระยะห่างเพื่อไม่ให้วงโคจรของดาวเทียมจำนวนมากทับซ้อนหรือชนกัน การจัดระเบียบหุ่นยนต์ (Robotics) การคำนวณจังหวะการทำงานของหุ่นยนต์หลายตัวในพื้นที่จำกัดไม่ให้ขัดจังหวะกัน
ระบบสื่อสารไร้สาย การจัดการสัญญาณ (Collision Avoidance) ในเครือข่ายที่มีผู้ใช้งานหนาแน่นเพื่อให้ส่งข้อมูลได้โดยไม่ชนกัน
ปลื้ม ได้รับเชิญเป็นหนึ่งในวิทยากรหลักในงานเวิร์กชอปคณิตศาสตร์ระดับโลก "The Lonely Runner Conjecture Workshop" ที่ประเทศเยอรมนีในเดือนตุลาคม 2026 ร่วมกับนักคณิตศาสตร์ชื่อดังของโลก
"เด็กไทย" หากได้รับโอกาสและสภาพแวดล้อมที่เหมาะสม ก็สามารถก้าวขึ้นไปยืนอยู่บนแถวหน้าของประวัติศาสตร์โลกได้จริง
แหล่งข้อมูลอ้างอิง: St John’s College (Oxford), arXiv.org, Quanta Magazin
