ระหว่างฮาร์ดแวร์กับอัลกอริทึม อะไรพัฒนาได้เร็วกว่ากัน?

• เป็นไปไม่ได้ที่จะเปรียบเทียบพัฒนาการของทั้งสองอย่างแบบทั่วไป

• แต่ถ้าจำกัดอยู่ที่อัลกอริทึมเฉพาะ ก็อาจเปรียบเทียบกันได้

• ใช้ปัญหา SAT (https://en.wikipedia.org/wiki/Boolean_satisfiability_problem) ซึ่งเป็นปัญหาในการตัดสินว่ามีคำตอบที่สอดคล้องกับสมการที่กำหนดหรือไม่ เป็นเกณฑ์ในการเปรียบเทียบความเร็วการพัฒนาของอัลกอริทึมกับฮาร์ดแวร์

• ฝั่งฮาร์ดแวร์ใช้ Pentium III processor (467MHz) + 1.5GB RAM (ตัวแทนของปี 1999) และ Intel Xeon Silver 4112 CPU (2.60GHz) + 128GB RAM (ตัวแทนของปี 2019) เป็นคู่เปรียบเทียบ

• เปรียบเทียบความเร็วโดยวัดจำนวนอินสแตนซ์ที่แก้ได้ภายใน 900 วินาที จากทั้งหมด 200 อินสแตนซ์

• สำหรับปัญหา SAT เพียงอย่างเดียว การพัฒนาของอัลกอริทึมเร็วกว่าการพัฒนาของฮาร์ดแวร์

• "กรณีหนึ่งที่น่าสนใจคือ เมื่อใช้ Maple SAT solver ซึ่งเป็นอัลกอริทึมที่ถือว่าดีที่สุดในปี 2019 บนฮาร์ดแวร์ปี 1999 กลับแก้ปัญหาได้น้อยกว่าอัลกอริทึมอื่นอยู่เล็กน้อย ผู้เขียนเองก็ไม่ทราบเหตุผลที่แน่ชัด และคาดเดาว่าอาจเป็นเพราะโครงสร้างข้อมูลบางอย่างที่อัลกอริทึมที่ดีใช้นั้นเหมาะกับฮาร์ดแวร์สมัยใหม่มากกว่ามาก"