Anlisis de algoritmos: Historia y fundamentos

matemticos

Vctor Heredia Figueroa, Jorge Morales Valenzuela, Gerson Peralta Rojas, Sebastin Salazar Pulgar.

Agosto de 2017
 Computacin
Se refiere al uso de mtodos sistemticos para encontrar soluciones problemas
algebraicos o simblicos.

El motivo inicial de la computacin fue desarrollar cmputos numricos precisos.

Luego con el nacimiento de la ciencia de la computacin creci el inters de crear

sistemas formales capaces de mecanizar la lgica.

El verdadero Impacto fue la habilidad de los computadores de representar,

almacenar y transformar la informacin.
 Algoritmos
Se define como un conjunto de reglas bien definidas, ordenadas y finitas que
permiten llevar acabo una actividad mediante pasos sucesivos que no generen
dudas a quien deba realizar dicha actividad.
 Historia de los algoritmos
El trmino proviene del matemtico rabe Al'Khwarizmi, que escribi un tratado
sobre los nmeros. Este texto se perdi, pero su versin latina, Algoritmi de
Numero Indorum, s se conoce.

El trabajo de Al'Khwarizmi permiti preservar y difundir el conocimiento de los

griegos e indios, pilares de nuestra civilizacin.
 Historia de los algoritmos
En 1.800 A.C un matemtico babilnico invento los algoritmos que les permiti
resolver problemas de caculo numrico.

En 1850 A.C, los griegos ocuparon un algoritmo de multiplicacin similar al de

expansin binaria.

La investigacin en modelos formales de computacin se inici en los 30's y 40's

por Turing, Post, Kleene, Church y otros .
 Historia de los algoritmos
En los aos 50's y 60s, se comenz a desarrollar tanto los lenguajes de
programacin, compiladores y sistemas operativos.

El Poder de los computadores en ente periodo no era lo esperado, procesadores

lentos y de pequeas cantidades de memoria. Para ser el uso eficiente de ello, se
desarrollo el rea que se conoce como "Algoritmos y Estructuras de Datos".
 Aplicaciones y utilidades
Los algoritmos eficientes son tiles en optimizacin de tipo discreta, combinatoria y
continua.

La ventaja de un algoritmo eficiente radica en la reduccin de los tiempos de

trabajo, en la baja utilizacin de recursos y en la facilidad de corregir errores en el
cdigo fuente.

Algunos ejemplos:
Cloud computing.
Anlisis de ficheros de texto.
Teora de grafos.
Consultas de base de datos.
Geometra elemental.
 Fundamentos matemticos
Por qu estudiar los fundamentos matemticos?.

Es necesario comprender los fundamentos matemticos puesto que, no slo sirven

para entender el anlisis de complejidad de un algoritmo sino, tambin pueden
servir en el momento de resolver problemas.

Esto consiste en optimizar (minimizar o maximizar) un problema, que

denominaremos funcin objetivo, de tal forma que las variables de dicha funcin
estn sujetas a una serie de restricciones que expresamos mediante un sistema de
inecuaciones lineales.
 Fundamentos matemticos
Entre los fundamentos matemticos estn:

Monotonicidad: es una propiedad de muchos sistemas lgicos que afirma que las
hiptesis de cualquier hecho derivado pueden extenderse libremente con
supuestos adicionales.

Una funcin f es montona si es creciente o decreciente.

Conjuntos: Un conjunto es una coleccin de miembros o elementos distinguibles.

Los miembros se toman tpicamente de alguna poblacin ms grande conocida
como tipo base. Cada miembro del conjunto es un elemento primitivo del tipo base
o es un conjunto. No hay concepto de duplicacin en un conjunto.
 Fundamentos matemticos
Permutacin: Una permutacin de una secuencia es simplemente los elementos de
la secuencia arreglados en cualquier orden. Si la secuencia contiene n elementos,
existe n! permutaciones.

Funciones Piso y Techo: Funcin piso, que a cada nmero real asigna el nmero
entero ms prximo por defecto, es decir, el mayor nmero entero igual o menor
que ese nmero real (por ejemplo, si tenemos el caso [-2.4], este se acercara al
valor -3; o aplicndolo a un caso positivo sera [1.5], este se acercara al valor 1).
Algunos lenguajes de programacin tienen una implementacin nativa llamada
generalmente floor o Floor.
 Fundamentos matemticos
Funcin techo, que a cada nmero real asigna el nmero entero ms prximo por exceso,
es decir, el menor nmero entero igual o mayor que ese nmero real. Algunos lenguajes de
programacin tienen una implementacin nativa llamada generalmente ceil o Ceil.

Operador mdulo: obtiene el resto de la divisin de un nmero por otro.

Polinomios
Exponenciales
Logaritmos
Factoriales
Nmeros de Fibonacci
Recursin
Sumatorias y recurrencias.
Gracias por su atencin!