algoritmos

Un algoritmo es un conjunto finito de instrucciones bien definidas que, partiendo de un conjunto de datos de entrada, realiza una serie de pasos y devuelve una o varias salidas. Debe ser finito, claro, ejecutable y producir un resultado correcto para las entradas para las que está diseñado. A diferencia de un programa de software, un algoritmo es independiente de un lenguaje de implementación; puede expresarse en lenguaje natural, pseudocódigo, diagramas de flujo o código fuente.

Los conceptos de procedimientos sistemáticos para resolver problemas existen desde la antigüedad (por ejemplo, el algoritmo de Euclides para el máximo común divisor). En la era moderna, la teoría de algoritmos se formalizó con las máquinas de Turing y la tesis de Church-Turing, que vinculan los procesos algorítmicos con modelos de computación. El análisis de algoritmos considera su desempeño en tiempo y espacio, usando notación asintótica (O grande).

Los algoritmos se clasifican por su finalidad (p. ej., de ordenamiento, de búsqueda, de grafos, numéricos, de optimización, aleatorios). También pueden ser determinísticos o probabilísticos, y pueden ser exactos o aproximados. Su representación habitual es pseudocódigo, código fuente o diagramas de flujo. En la práctica, la calidad de un algoritmo se juzga por su corrección, eficiencia y robustez, además de su probabilidad de éxito en condiciones realistas. Se implementan en software para tareas como procesamiento de datos, enrutamiento, cifrado, compresión y sistemas de inteligencia artificial.