¿Qué avanza más rápido: el hardware o los algoritmos?

• Es imposible comparar estos dos tipos de avance de forma general.

• Pero si se limita a un algoritmo específico, sí es posible hacer la comparación.

• Se compara la velocidad de avance de los algoritmos y del hardware usando como referencia el problema SAT (https://en.wikipedia.org/wiki/Boolean_satisfiability_problem), que determina si existe una solución que satisfaga una fórmula dada.

• Para el hardware, se comparan dos sistemas: Pentium III processor (467MHz) + 1.5GB RAM (representando 1999) e Intel Xeon Silver 4112 CPU (2.60GHz) + 128GB RAM (representando 2019).

• La velocidad se compara midiendo cuántas instancias, de un total de 200, pueden resolverse en 900 segundos.

• En el caso del problema SAT, el avance de los algoritmos es más rápido que el del hardware.

• "Cuando el Maple SAT solver, considerado el mejor algoritmo en 2019, se ejecutó sobre hardware de 1999, hubo casos en los que resolvió ligeramente menos instancias que otros algoritmos. Los autores tampoco saben con exactitud la razón, pero especulan que cierta estructura de datos usada por ese buen algoritmo podría estar mucho mejor adaptada al hardware moderno."