ผมหมายถึงคำถามที่นี่: ขั้นตอนวิธีการที่มีประสิทธิภาพที่ซับซ้อนเกินไปที่จะใช้
หากอัลกอริทึมมีประสิทธิภาพ แต่ซับซ้อนเกินกว่าจะนำไปใช้ได้คุณจะมั่นใจได้อย่างไรว่าอัลกอริทึมนั้นถูกต้อง? หากไม่มีการใช้งานคุณจะไม่สามารถทดสอบอัลกอริทึมในสถานการณ์จริงและอัลกอริธึมที่ซับซ้อนเช่นนั้นอาจมีข้อบกพร่องซึ่งอาจทำให้ขั้นตอนวิธีนั้นไม่ถูกต้อง
นี่คือสิ่งที่ฉันไม่เข้าใจ หากคุณมีเทคนิคในการพิสูจน์ความถูกต้องของอัลกอริทึมแล้วคุณจะมีอัลกอริทึมที่จะใช้มันแล้วใช่ไหม? หรืออย่างอื่นเราจะแน่ใจได้อย่างไรว่าเทคนิคการพิสูจน์นั้นถูกต้อง?
ฉันขอโทษถ้าฉันฟังประถม!
อัปเดตจาก Kaveh (ทำซ้ำที่นี่เพราะอาร์กิวเมนต์ดีกว่า!):
หากคุณสามารถพิสูจน์ความถูกต้องของอัลกอริทึมอย่างเป็นทางการในระบบที่เป็นทางการเช่น Coq คุณสามารถแยกอัลกอริทึม (เพราะคุณได้ใช้อัลกอริทึมเป็นหลัก) แต่ความจริงสำคัญคืออัลกอริธึมส่วนใหญ่นั้น ความถูกต้องสำหรับอัลกอริทึมเราใช้การพิสูจน์อย่างไม่เป็นทางการของความถูกต้อง หลักฐานอาจเป็นเท็จซึ่งเกิดขึ้นเป็นครั้งคราวและแม้แต่การพิสูจน์ความถูกต้องอย่างเป็นทางการจะไม่ทำให้เรามั่นใจอย่างแน่นอนว่าอัลกอริทึมนั้นถูกต้อง