Segundo Szwarcifiter e Markenzon (2010), •existem dois aspectos básicos no estudo de algoritmos ( ... ). O primeiro consiste em verificar a exatidão do método empregado, o que é realizado através de uma prova matemática. O segundo visa à obtenção de parâmetros que possam avaliar a eficiência do algoritmo em termos de tempo de execução e memória ocupada".

O trecho acima se refere a quais aspectos, respectivamente?