TEMA 1

INTRODUCCIN AL
DISEO Y ANLISIS DE
ALGORITMOS

Departamento de Lenguajes y Sistemas Informticos

UNIVERSIDAD DE ALICANTE

Introduccin al Diseo y Anlisis de

Algoritmos. OBJETIVOS

Definir en qu consiste el diseo y anlisis de algoritmos

Conocer las diferentes etapas de la resolucin de problemas en

programacin
Definir las etapas de Diseo, Anlisis y Verificacin de algoritmos
y conocer su importancia
Presentar las tcnicas principales empleadas en cada una de las
etapas de Diseo, Anlisis y Verificacin.

Introduccin al Diseo y Anlisis de

Algoritmos. CONTENIDO
1. Etapas en la resolucin de problemas en programacin
2. El anlisis de algoritmos
3. La verificacin de algoritmos
4. El diseo de algoritmos: paradigmas

1. La resolucin de problemas en
programacin

Etapas:
Anlisis y Verificacin

Problema

Enunciado
formal

Modelizacin /
Especificacin

ALGORITMO

Diseo

Programa

Codificacin

Resultado

Ejecucin /
Evaluacin

Diseo y anlisis de algoritmos.

Estudio de metodologas y tcnicas que facilitan el Diseo, Anlisis y la

Verificacin de algoritmos.

2. El anlisis de algoritmos
DEFINICIN

El anlisis de algoritmos es una disciplina en el campo de la

computacin cuya finalidad es la de medir de forma cuantitativa
la cantidad de recursos que un algoritmo necesita para su
ejecucin
Recursos a analizar:

Tiempo que un algoritmo necesita para su ejecucin

Espaciales (de almacn) que un algoritmo consume

Finalidad:

Valoraciones: el algoritmo A es bueno, el mejor, prohibitivo

Comparaciones: el algoritmo A es mejor que el B

3. La verificacin de algoritmos
DEFINICIN

La verificacin de algoritmos es una disciplina en el campo de la

computacin cuya finalidad es la de demostrar formalmente que
un algoritmo funciona correctamente:

Termina en un tiempo finito

Devuelve un resultado de acuerdo a su especificacin

4. El diseo de algoritmos: Paradigmas

DEFINICIN

El diseo de algoritmos estudia la aplicacin de diferentes

metodologas o paradigmas a la resolucin de problemas en
programacin.

La resolucin de problemas:

Fuerza Bruta

Algoritmos dependientes del problema y no generalizables

Dificultad de adecuar cambios de especificacin

Paradigmas (= metodologas, esquemas, estrategias)

Permite la generalizacin y reutilizacin de algoritmos

Cada instanciacin de un esquema da lugar a un algoritmo diferente

4. El diseo de algoritmos: Paradigmas

Paradigmas de diseo de algoritmos ms comunes

Divide y Vencers
Programacin Dinmica
Algoritmos Voraces
Algoritmos de Bsqueda y Enumeracin

Algoritmos de Vuelta Atrs

Ramificacin y Poda