Donanım mı yoksa algoritmalar mı daha hızlı ilerliyor?

• Genel olarak bu iki gelişimi karşılaştırmak mümkün değil

• Ancak belirli bir algoritmayla sınırlandığında karşılaştırma yapılabilir.

• Verilen formülü sağlayan bir çözümün var olup olmadığını belirleyen SAT problemi (https://en.wikipedia.org/wiki/Boolean_satisfiability_problem) temel alınarak algoritma ve donanım gelişim hızları karşılaştırılıyor.

• Donanım tarafında Pentium III processor (467MHz) + 1.5GB RAM (1999'u temsil ediyor) ile Intel Xeon Silver 4112 CPU (2.60GHz) + 128GB RAM (2019'u temsil ediyor) karşılaştırılıyor.

• Hız, 200 örnekten 900 saniye içinde çözülebilen örnek sayısı ölçülerek karşılaştırılıyor.

• SAT problemi özelinde, algoritmalardaki ilerleme donanımdaki ilerlemeden daha hızlı.

• "2019'da bilinen en iyi algoritma olan Maple SAT solver, 1999 donanımında kullanıldığında bazı durumlarda diğer algoritmalardan biraz daha az örnek çözebildi. Yazarlar da bunun nedenini tam olarak bilmiyor; muhtemelen iyi algoritmada kullanılan belirli bir veri yapısı modern donanıma çok daha uygun olabilir diye tahmin ediyorlar."