Verificación de factibilidad y escalabilidad del diseño de algoritmos