हार्डवेयर और एल्गोरिदम के विकास में कौन ज़्यादा तेज़ है?

• इन दोनों तरह की प्रगति की सामान्य रूप से तुलना करना संभव नहीं है.

• लेकिन अगर इसे किसी विशेष एल्गोरिदम तक सीमित किया जाए, तो तुलना संभव हो सकती है.

• दिए गए सूत्र को संतुष्ट करने वाला हल मौजूद है या नहीं, यह तय करने वाली 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 का प्रतिनिधि) — इन दोनों की तुलना की गई.

• 200 instances में से 900 सेकंड के भीतर हल होने वाले instances की संख्या मापकर गति की तुलना की गई.

• SAT समस्या के मामले में, एल्गोरिदम का विकास हार्डवेयर के विकास से तेज़ है.

• "2019 में सबसे अच्छा माना जाने वाला Maple SAT solver जब 1999 के हार्डवेयर पर चलाया गया, तो कुछ मामलों में वह दूसरे एल्गोरिदम की तुलना में थोड़ा कम समस्याएँ हल कर पाया. लेखक भी इसका सटीक कारण नहीं जानते, लेकिन उनका अनुमान है कि बेहतर एल्गोरिदम में इस्तेमाल की गई कोई विशेष data structure आधुनिक हार्डवेयर के लिए कहीं अधिक उपयुक्त हो सकती है."