Lógica y Algorítmica

ALGORÍTMICA

Irene Martínez Masegosa

Depto. de Informática
irene@ual.es

Universidad de Almería
Contenidos Programa Bibliografía

Esquema

1 Contenidos

2 Programa

3 Bibliografía

2
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

3
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas
Computables

3
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas
Computables

• Ordenación de los elementos de un vector

• Buscar un elemento en un vector
• Buscar una palabra dentro de un texto
• Dados dos números enteros, ¿son primos
relativos?
• Buscar los dos puntos más próximos en un
plano de coordenadas.

3
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No
Computables

3
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No
Computables

• Dado un programa P ¿terminaría su

ejecución ante unos ciertos datos?
• Comprobar si dos programas son
equivalentes
• Crear un programa que compruebe si un
programa cualquiera siempre devuelve algún
resultado.
• Lógica de Predicados de primer orden

3
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

4
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas
Intratables

4
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas
Intratables

• Coste de
ejecución de
orden exponencial
• Tablas de verdad:
2n filas
• Torres de Hanoi
4
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

• Coste de
ejecución de
orden exponencial
• Tablas de verdad:
2n filas
• Torres de Hanoi
4
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

• Coste de • Problemas de
ejecución de Optimización
orden exponencial • Viajante de
• Tablas de verdad: Comercio
2n filas • Coloreo de
• Torres de Hanoi grafos
4
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

5
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

Tema 3
Algoritmia

5
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

Tema 3
Algoritmia

Tema 4
Teoría
Computación

5
Contenidos Programa Bibliografía

Problema P

¿Existe Algoritmo que resuelve el problema P ?

Problemas No Problemas
Computables Computables

Problemas Problemas
Intratables NP

Tema 3
Algoritmia

Tema 4 Tema 5
Teoría Complejidad
Computación Computacional

5
Contenidos Programa Bibliografía

Esquema

1 Contenidos

2 Programa

3 Bibliografía

6
Contenidos Programa Bibliografía

TEORÍA

Tema 3. Algoritmia
① Introducción al Análisis de Algoritmos
② Notación Asintótica
③ Recurrencia

Tema 4. Teoría de la Computación

④ Lenguajes y Autómatas
⑤ Máquinas de Turing y Computabilidad

Tema 5. Complejidad Computacional

⑥ Introducción. Clases de Complejidad

7
Contenidos Programa Bibliografía

Esquema

1 Contenidos

2 Programa

3 Bibliografía

8
Contenidos Programa Bibliografía

• Teoría:

• G. Brassard , P. Bratley : Básica temas 3 y 5

• M. Sipser : Básica tema 4
• E. Rich : Complementaria. http://www.theoryandapplications.org/

• Java:

• M.A. Weiss
Estructuras de Datos en Java, 4-ed
• Y. Daniel Liang
Intro to Java Programming, Comprehensive Version (10th Edition)
9