Automatas y Complejidad
- 1. AUTOMATAS Y COMPLEJIDAD Grupo: HTML Br. Habib Zilfo Br. Josnelys Egusquiza Prof: Ing. Yeisland Rodriguez UNIVERSIDAD DE ORIENTE ESCUELA DE INGENERÍA Y CIENCIAS APLICADAS SUBCOMISION DE TRABAJO DE GRADO CURSO ESPECIAL DE GRADO CIENCIAS DE LA COMPUTACION
- 2. AUTOMATAS Y COMPLEJIDAD COMPUTABILIDAD Habib Zilfo ¿Qué es la Computabilidad? Consiste en ser capaz de encontrar la representación adecuada para la descripción de un problema o fenómeno. Para tal representación es necesario: Un conjunto finito de símbolos. Hacer asociaciones entre conceptos y elementos del lenguaje (de símbolos). Encontrar las combinaciones adecuadas de símbolos para evitar ambigüedad. Definir una manera de confirmar tal descripción para que terceros puedan reproducirla y llegar a los mismos resultados. Teoria de la Computabilidad
- 3. AUTOMATAS Y COMPLEJIDAD Habib Zilfo ¿Qué es la Maquina de Turing? Es un modelo matemático que consiste en un autómata capaz de implementar cualquier problema matemático expresado por medio de un algoritmo. Teoria de la Computabilidad
- 4. AUTOMATAS Y COMPLEJIDAD Habib Zilfo Es la parte de la computación que estudia los problemas de decisión que pueden ser resueltos con un algoritmo o equivalentemente con la llamada máquina de Turing. El desarrollo formal de esta teoría se originó hace mas de setenta años, a partir de los trabajos de, Hilbert, Gödel, Church, Turing y Kleene entre otros. Teoria de la Computabilidad
- 5. AUTOMATAS Y COMPLEJIDAD Problema Decisible Habib Zilfo Es una propiedad de los sistemas formales cuando, para cualquier fórmula en el lenguaje del mismo, existe un método efectivo para determinar si esa fórmula pertenece o no al conjunto de las verdades del sistema. Teoría de la Computabilidad
- 6. AUTOMATAS Y COMPLEJIDAD Habib Zilfo Problema ParcialmenteDecisible Son aquellos para los cuales hay un algoritmo que es capaz encontrar una solución si es que existe, pero ningún algoritmo que determine cuando la solución no existe. Teoría de la Computabilidad
- 7. AUTOMATAS Y COMPLEJIDAD Habib Zilfo Problema No Decisible Es la propiedad de un problema de decisión de no ser soluble mediante un algoritmo. Teoría de la Computabilidad
- 8. Teoria de la Complejidad Computacional AUTOMATAS Y COMPLEJIDAD ¿Qué es la Complejidad? La complejidad computacional es el campo de la teoría de la computación que estudia teóricamente la complejidad inseparable a la resolución de un problema. La Teoría de la Complejidad Computacional se basa en un enfoque no funcional, en donde interesa como se lleva el cálculo y su complejidad en función de los recursos que utiliza.
- 9. AUTOMATAS Y COMPLEJIDAD Conjunto de Clases de Complejidad Josnelys Egusquiza Número de pasos de ejecución de un algoritmo para resolver un problema. COMPLEJIDAD TEMPORAL O TIEMPO DE EJECUCION COMPLEJIDAD ESPACIAL Cantidad de memoria utilizada para resolver un problema. Teoria de la Complejidad Computacional
- 10. AUTOMATAS Y COMPLEJIDAD Clasificación de los Problemas Respecto a su Complejidad Josnelys Egusquiza Clase P Clase NP Clase NP-Completo Teoria de la Complejidad Computacional
- 11. AUTOMATAS Y COMPLEJIDAD Josnelys Egusquiza Clase P Son todos aquellos problemas de decisión que pueden ser resueltos en una maquina determinista secuencial en un periodo de tiempo en proporción a los datos de entrada. Maquina Determinista: El resultado de cada operación esta definido en forma única. Ejemplo Teoria de la Complejidad Computacional Clasificación de los Problemas Respecto a su Complejidad
- 12. AUTOMATAS Y COMPLEJIDAD Josnelys Egusquiza Clase NP Es el conjunto de problemas que pueden ser resueltos en tiempo polinómico por una maquina no determinista. La importancia de esta clase de problemas de decisión es que contiene muchos problemas de búsqueda y de optimización para los que se desea saber si existe una solución o si existe una mejor solución que las conocidas. Maquina No Determinista: El resultado de cada operación esta determinado por un conjunto de posibilidades. Ejemplo (Ciclo Hamiltoniano) Teoria de la Complejidad Computacional Clasificación de los Problemas Respecto a su Complejidad
- 13. AUTOMATAS Y COMPLEJIDAD Josnelys Egusquiza Clase NP Viajero que recorre ciudades Teoria de la Complejidad Computacional Clasificación de los Problemas Respecto a su Complejidad
- 14. AUTOMATAS Y COMPLEJIDAD Josnelys Egusquiza Clase NP-Completo Se puede decir que los problemas de NP-Completos son los problemas mas difíciles de NP y muy probablemente no formen parte de la clase de complejidad P. Teoria de la Complejidad Computacional Clasificación de los Problemas Respecto a su Complejidad