ขั้นตอนวิธีสำหรับหาคำตอบที่ดีที่สุดบนกราฟที่มีประสิทธิภาพที่พิสูจน์ได้