Una demostración del Principio de Invariancia para el estudio de la Complejidad Temporal de los Algoritmos

Resumen

La complejidad de un algoritmo es determinada por el costo en recursos como, tiempo, memoria, entre otros, que emplea el agente de cómputo para su ejecución. El Principio de Invariancia proporciona una métrica a priori de la complejidad temporal de un algoritmo, independiente de las características del agente de cómputo.  Una prueba formal, rigurosa del mismo, no es encontrada con regularidad en la literatura sobre la problemática. En el trabajo se presenta una demostración donde se verifica la veracidad de la conjetura presentada en el Principio de Invariancia. Así como una definición no intuitiva de algoritmo. Dando a conocer su importancia en las ciencias de la computación, para dar soluciones a diferentes problemas obteniendo un resultado eficiente. Este estudio fue realizado por docentes de la carrera de Tecnologías de la Información de la facultad Ciencias Técnicas de la Universidad Estatal del Sur de Manabí. Se utilizaron métodos científicos del nivel teóricos y empíricos los que facilitaron el análisis, síntesis y búsqueda de información relacionada al tema tratado. Como resultado se conoció que los algoritmos permiten dar solución a problemas complejos, en poco tiempo con el uso de las tecnologías. Se concluye que la demostración presentada deja abierta la posibilidad de generalizar el Principio de Invariancia de la complejidad temporal de los algoritmos a conjuntos de información continua.