CLASES DE PROBLEMAS. 1) Introducción 2) Problemas de decisión, Lenguajes, Codificación. y la clase NP-Completa. 6) Otras clases de problemas NP-

Tamaño: px
Comenzar la demostración a partir de la página:

Download "CLASES DE PROBLEMAS. 1) Introducción 2) Problemas de decisión, Lenguajes, Codificación. y la clase NP-Completa. 6) Otras clases de problemas NP-"

Transcripción

1 CLASES DE PROBLEMAS 1) Introducción 2) Problemas de decisión, Lenguajes, Codificación. y la clase NP-Completa. 6) Otras clases de problemas Computers and Intractability NP- guide to the theory of

2 1. Introducción: Necesidad de clasificar los problemas en cuanto a su complejidad intrínseca: Puede existir algún algoritmo más eficiente que los conocidos hasta el momento que resuelva el problema Π? 2. Problemas de decisión, Lenguajes, Codificación. Problemas de decisión: Aquéllos problemas cuya solución consiste en dos posibles respuestas: si o no. Viajante de comercio. Algoritmo: Secuencia de instrucciones que se ejecutan paso a paso y que termina en un tiempo finito. Complejidad: Coste del algoritmo en función de la talla del problema. Consideraremos el coste en el peor caso.

3 Codificación: Una codificación α de un problema Π proporciona una forma de describir cada instancia Π mediante una cadena de símbolos de un alfabeto Σ. La talla de una instancia I de Π se define como el número de símbolos de la descripción de I obtenida mediante la función de codificación. Para que la función de codificación no influya en el estudio de los costes, ésta debe ser una codificación razonable. Aunque la noción de razonable es informal, se puede expresar intuitivamente mediante las siguientes propiedades: - La codificación de cada entrada I debe ser concisa (no llevar información innecesaria). - Los números que aparezcan en la instancia deben codificarse en binario (o decimal,

4 Relación entre problemas de decisión y lenguajes: Una codificación α de un problema Π proporciona una forma de describir cada instancia de Π mediante una cadena de símbolos de un alfabeto Σ. Entonces Π y α parten Σ * en tres partes: a) Palabras de Σ * que no representan ninguna entrada codificada de Π. b) Palabras de Σ * que representan las entradas de Π para las que la solución es NO. Σ * que representan entradas de Π para las que la solución es SI. Esta última clase la llamaremos Lenguaje asociado a Π bajo la codificación α. Modelo de compuación: Máquina de Turing determinista, Máquina RAM,

5 3) Clase P. Π P si existe un algoritmo determinista que lo resuelve en tiempo 4) Clase NP. Concepto de Algoritmo no determinista : Un Algoritmo no determinista resuelve un problema Π si se cumple alguna de las siguientes propiedades para todas las entradas Π. /* sea S Π el conjunto de entradas para las que la respuesta es SI */ S Π entonces existe una solución adivinada tal que el algoritmo comprobará si realmente es una solución válida y la respuesta es SI. S Π entonces no existe una solución adivinada que produzca el resultado SI. Un algoritmo no determinista consta de dos etapas : 2) Verifica de forma determinista que esa solución es correcta. La etapa de adivinación no tiene coste asociado, por tanto el coste del algoritmo es el

6 5) Reducibilidad y la clase NP-Completa. Sean Π 1 y Π2 dos problemas de decisión, y sea I 1 y I 2 los conjuntos de las entradas de Π 1 y Π2. Diremos que un problema Π 1 es reducible a Π2 (Π 1 α Π2) si y sólo si existe una función f : I 1 I 2 tal que : a) f es computable en tiempo polinómico por un algoritmo determinista. e I 1, e S Π1 si y sólo si f(e) S Π2, donde S π1 y S π2 son respectivamente los conjuntos de entradas con solución SI para Π 1 y Π 2. Ejemplo de reducción de un problema a otro : Haremos una transformación de las instancias del Ciclo ( Existe un camino que partiendo de un vértice inicial pase por todos los demás vez y cuyo coste sea menor o igual que una constante B?) Supongamos que G=(V,E) con V =m es una instancia de CH. La correspondiente instancia de VC tiene un conjunto de C ciudades que coinciden con los vértices V. C se asigna una distancia igual a 1 si (vi, E, e igual a 2 en caso contrario. La constante B será igual a m.

7 Un problema pertenece a la clase NP-Completa si : 1) Π NP 2) Π NP, Π α Π De la definición se deduce que la clase NP-Completa es la clase de problemas más Para demostrar que un problema pertenece a la clase NP-Completa tenemos que 1) Π NP 2) Π NP, Π α Π Se necesitaría conocer un primer problema que pertenezca a la clase NP-Completa. Teorema de Cook : SATISFACIBILIDAD y sus negaciones y sea C un conjunto de cláusulas, siendo una cláusula una de U tal que si se las asigna el valor VERDAD entonces

8 Ejemplos de problemas NP-Completos : SAT 3SAT 3DM VC PARTICION CH CLIQUE Ejemplo de demostración de pertenencia a la clase NP-Completa NP-Completa

9 Otra forma de demostrar que un problema es NP-Completo : Restricción. Consiste en demostrar que un caso particular del problema P es un Ejemplo : Se sabe que Partición es un problema NP-Completo Queremos demostrar que el problema de la Mochila sin fraccionamiento es NP- Problema de la Mochila : Sea U un conjunto de elementos de talla Z+, y valor v(u) Z+, u U ; sea M Z+ el tamaño de la mochila, y K Z+ un valor, Existe un subconjunto U U tal que Se demuestra que PARTICION es un caso particular (o restricción) de este problema, si se consideran sólo las instancias donde s(u)=v(u) u U, y B=K= u U ' 1 2 s( u) u U s( u) M y v( u) K? u U '

10 Problemas seudopolinómicos : En algunos casos problemas NP-Completos en cuya entrada aparecen números tienen si se restringe la talla de los números. Es el caso de la Mochila sin fraccionamiento o el de la Partición. A estos problemas se les denomina (I) : Es la longitud de la instancia (codificada) del problema. (I) : Es la magnitud del mayor número que aparece en la instancia I. si su coste temporal está acotado Por definición todos los problemas se restringe a los problemas numéricos. Un problema es numérico si no existe un polinomio p tal que para toda instancia I

11 6) Otras clases de problemas : NP-Intermedia : Π NPI si Π NP y Π NP-Completa y Π P. Co-NP : Es la clase de problemas cuyo complementario NP. Si un problema Π NP y su complementario Π c NP, entonces podemos asegurar que Π NP-Completa. CO-NP CO-NPC NPC NP NPI? P

Introducción a la Complejidad Computacional

Introducción a la Complejidad Computacional Introducción a la Complejidad Computacional El análisis sobre decidibilidad que hemos hecho nos permite saber qué podemos hacer y qué no podemos hacer. Pero nada sabemos de qué tan difícil resolver los

Más detalles

Análisis y Diseño de Algoritmos

Análisis y Diseño de Algoritmos Análisis y Diseño de Algoritmos Teoría NP-Completeness DR. JESÚS A. GONZÁLEZ BERNAL CIENCIAS COMPUTACIONALES INAOE Problemas de Decisión Teoría de NP-Completeness Diseñada para aplicarse solo a problemas

Más detalles

Máquinas de Turing no-determinísticas (MTND)

Máquinas de Turing no-determinísticas (MTND) Máquinas de Turing no-determinísticas (MTND) Una MTND tiene los mismos componentes que vimos para una MTD, con la siguiente excepción. Un programa en una MTND es una tabla que mapea un par (q i, t i )

Más detalles

Clases de complejidad computacional: P y NP

Clases de complejidad computacional: P y NP 1er cuatrimestre 2006 La teoría de Se aplica a problemas de decisión, o sea problemas que tienen como respuesta SI o NO (aunque es sencillo ver que sus implicancias pueden extenderse a problemas de optimización).

Más detalles

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen

Más detalles

Complejidad computacional (Análisis de Algoritmos)

Complejidad computacional (Análisis de Algoritmos) Definición. Complejidad computacional (Análisis de Algoritmos) Es la rama de las ciencias de la computación que estudia, de manera teórica, la optimización de los recursos requeridos durante la ejecución

Más detalles

Curso: Teoría de la Computación. Unidad 2, Sesión 7: Complejidad computacional

Curso: Teoría de la Computación. Unidad 2, Sesión 7: Complejidad computacional Curso: Teoría de la Computación. Unidad 2, Sesión 7: Complejidad computacional Instituto de Computación, Facultad de Ingeniería Universidad de la República, Montevideo, Uruguay dictado semestre 2-2009

Más detalles

Tema IV: NP completitud

Tema IV: NP completitud Tema IV: NP completitud Definición: Un lenguaje L Σ es NP duro sii para cada L NP se tiene que L p L. Proposición 1: Si L 1 es NP duro y L 1 p L 2, entonces L 2 es NP duro. Definición: Un lenguaje L Σ

Más detalles

Computación Bio inspirada Tema VIII: Complejidad Computacional en Modelos Celulares

Computación Bio inspirada Tema VIII: Complejidad Computacional en Modelos Celulares Computación Bio inspirada Tema VIII: Complejidad Computacional en Modelos Celulares Mario de J. Pérez Jiménez Grupo de Investigación en Computación Natural Dpto. Ciencias de la Computación e Inteligencia

Más detalles

ADA TEMA 6.2 Introducción a la NP completitud

ADA TEMA 6.2 Introducción a la NP completitud ADA TEMA 6.2 Introducción a la Universitat Politècnica de Catalunya 27 de abril de 2006 1 2 3 4 5 6 1 2 3 4 5 6 Hasta ahora en ADA: Hemos estudiado algoritmos para distintos problemas. Estos algoritmos

Más detalles

Teoría Matemática de la Computación Segundo Problemario Prof. Miguel A. Pizaña 13 de julio de 2016

Teoría Matemática de la Computación Segundo Problemario Prof. Miguel A. Pizaña 13 de julio de 2016 Teoría Matemática de la Computación Segundo Problemario Prof. Miguel A. Pizaña 13 de julio de 2016 I Máquinas de Turing. 1. Qué es un a Máquina de Turing? Cómo se define? Cómo se llaman las teorías que

Más detalles

Máquinas de estado finito y expresiones regulares

Máquinas de estado finito y expresiones regulares Capítulo 3 Máquinas de estado finito y expresiones regulares En este tema definiremos y estudiaremos máquinas de estado finito, llamadas también máquinas de estado finito secuenciales o autómatas finitos.

Más detalles

Análisis y Complejidad de Algoritmos. Completitud NP

Análisis y Complejidad de Algoritmos. Completitud NP Análisis y Complejidad de Algoritmos Completitud NP Arturo Díaz Pérez Sección de Computación Departamento de Ingeniería Eléctrica CINVESTAV-IPN Av. Instituto Politécnico Nacional No. 2508 Col. San Pedro

Más detalles

Aprendizaje Computacional y Extracción de Información

Aprendizaje Computacional y Extracción de Información Aprendizaje Computacional y Extracción de Información Inferencia Gramatical Jose Oncina oncina@dlsi.ua.es Dep. Lenguajes y Sistemas Informáticos Universidad de Alicante 26 de septiembre de 2007 J. Oncina

Más detalles

Complejidad Computacional

Complejidad Computacional Complejidad Computacional Clasificación de Problemas Teoría de la Complejidad Estudia la manera de clasificar algoritmos como buenos o malos. Estudia la manera de clasificar problemas de acuerdo a la dificultad

Más detalles

Introducción a la complejidad computacional

Introducción a la complejidad computacional Introducción a la complejidad computacional definida sobre anillos arbitrarios 18 de junio de 2016 Fuente: http://www.utmmcss.com/ Por qué otro modelo? Continuo vs discreto. Intuición interiorizada del

Más detalles

Departamento de Tecnologías de la Información. Tema 5. Decidibilidad. Ciencias de la Computación e Inteligencia Artificial

Departamento de Tecnologías de la Información. Tema 5. Decidibilidad. Ciencias de la Computación e Inteligencia Artificial Departamento de Tecnologías de la Información Tema 5 Decidibilidad Ciencias de la Computación e Inteligencia Artificial Índice 5.1 Lenguajes reconocibles y decidibles 5.2 Problemas decidibles sobre lenguajes

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 42 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 42 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III

Complejidad - Problemas NP-Completos. Algoritmos y Estructuras de Datos III Complejidad - Problemas NP-Completos Algoritmos y Estructuras de Datos III Teoría de Complejidad Un algoritmo eficiente es un algoritmo de complejidad polinomial. Un problema está bien resuelto si se conocen

Más detalles

NP Completitud I: SAT y 3-SAT. Febrero 2017

NP Completitud I: SAT y 3-SAT. Febrero 2017 s NP NP Completitud I: SAT y Facultad de Ingeniería. Universidad del Valle Febrero 2017 Contenido s NP 1 s NP 2 Contenido s NP 1 s NP 2 s NPC s NP Definición Un problema de decisión NP es considerado NP

Más detalles

Introducción a la indecidibilidad

Introducción a la indecidibilidad Introducción a la indecidibilidad José M. empere Departamento de istemas Informáticos y Computación Universidad Politécnica de Valencia Lenguajes y problemas Un problema será considerado cualquier cuestión

Más detalles

Motivación: Problemas de optimización

Motivación: Problemas de optimización Motivación: Problemas de optimización Un tour π en un grafo G es una secuencia de arcos (a 1,a 2 ),..., (a k 1,a k ), (a k,a 1 ) en G tal que: a i a j para cada i j, {a 1,...,a k } es el conjunto de nodos

Más detalles

La Jerarquía Polinomial

La Jerarquía Polinomial La Jerarquía Polinomial IIC3810 IIC3810 La Jerarquía Polinomial 1/18 La noción de oráculo Qué tienen en común los problemas CROM y EQUIV? IIC3810 La Jerarquía Polinomial 2/18 La noción de oráculo Qué tienen

Más detalles

Problemas computacionales, intratabilidad y problemas NP completos. 26 de agosto de Facultad de Ingeniería. Universidad del Valle

Problemas computacionales, intratabilidad y problemas NP completos. 26 de agosto de Facultad de Ingeniería. Universidad del Valle Complejidad Complejidad, in NP completos Facultad de Ingeniería. Universidad del Valle 26 de agosto de 2014 Contenido Complejidad 1 2 3 Complejidad computacional Complejidad Notación De acuerdo a la complejidad

Más detalles

Lógica Proposicional: Deducciones formales

Lógica Proposicional: Deducciones formales Lógica Proposicional: Deducciones formales Pablo Barceló P. Barceló Resolución Proposicional - CC52A 1 / 24 La noción de consecuencia lógica La noción de consecuencia es fundamental para cualquier lenguaje,

Más detalles

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45

Máquinas de Turing IIC3242. IIC3242 Máquinas de Turing 1 / 45 Máquinas de Turing IIC3242 IIC3242 Máquinas de Turing 1 / 45 Complejidad Computacional Objetivo: Medir la complejidad computacional de un problema. Vale decir: Medir la cantidad de recursos computacionales

Más detalles

DES: Programa(s) Educativo(s):

DES: Programa(s) Educativo(s): UNIVERSIDAD AUTÓNOMA DE CHIHUAHUA Clave: Clave: FACULTAD DE INGENIERÍA COMPUTACIÓN DES: Ingeniería Programa(s) Educativo(s): Maestría en Ciencias Básicas y Aplicadas Tipo de materia: Obligatoria Clave

Más detalles

MARITZA HERRERA FLOREZ YUDY MARCELA BOLAÑOS RIVERA

MARITZA HERRERA FLOREZ YUDY MARCELA BOLAÑOS RIVERA ALGORITMOS DE APROXIMACIÓN PARA PROBLEMAS NP DUROS MARITZA HERRERA FLOREZ YUDY MARCELA BOLAÑOS RIVERA UNIVERSIDAD DEL CAUCA FACULTAD DE CIENCIAS NATURALES, EXACTAS Y DE LA EDUCACIÓN DEPARTAMENTO DE MATEMÁTICAS

Más detalles

Análisis de algoritmos

Análisis de algoritmos Tema 13: Completitud NP M. en C. Edgardo Adrián Franco Martínez http://www.eafranco.com edfrancom@ipn.mx @edfrancom edgardoadrianfrancom 1 Contenido Introducción P y NP La clase P (Polinómicamente acotado)

Más detalles

4. Complejidad computacional

4. Complejidad computacional Fundamentos de Programación Entera 4. Complejidad computacional Carlos Testuri Germán Ferrari Departamento de Investigación Operativa Instituto de Computación Facultad de Ingeniería Universidad de la República

Más detalles

La Forma Normal de Chomsky

La Forma Normal de Chomsky La s Polinomiales para el Problema de la Palabra en CFL Universidad de Cantabria Esquema 1 2 3 Hemos visto hasta aquí como demostrar si una palabra esta dentro de un lenguaje libre de contexto (CFL). El

Más detalles

Hacia las Gramáticas Propias II

Hacia las Gramáticas Propias II Hacia las Hacia las II Gramáticas sin Ciclos Universidad de Cantabria Outline Hacia las 1 Hacia las 2 3 Definición Hacia las Definición Diremos que una gramática libre de contexto G := (V, Σ, Q 0, P) es

Más detalles

Formas clausulares Teoría de Herbrand Algoritmo de Herbrand Semidecidibilidad. Teoría de Herbrand. Lógica Computacional

Formas clausulares Teoría de Herbrand Algoritmo de Herbrand Semidecidibilidad. Teoría de Herbrand. Lógica Computacional Teoría de Herbrand Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga Curso 2005/2006 Contenido 1 Formas clausulares Refutación y formas clausulares 2 Teoría de Herbrand Universo

Más detalles

Teoría de la Computación puesta en Práctica

Teoría de la Computación puesta en Práctica Teoría de la Computación puesta en Práctica Marcelo Arenas M. Arenas Teoría de la Computación puesta en Práctica 1 / 24 Problema a resolver WiMAX (Worldwide Interoperability for Microwave Access): estándar

Más detalles

Máquinas de Turing Definición y descripción

Máquinas de Turing Definición y descripción Capítulo 12 Máquinas de Turing 12.1. Definición y descripción Definición 1 Se llama máquina de Turing a toda séptupla M = (Γ,Σ,,Q,q 0,f,F), donde: Γ es el alfabeto de símbolos de la cinta. Σ Γ es el alfabeto

Más detalles

Problemas NP-completos

Problemas NP-completos Análisis de Algoritmos Problemas NP-completos Dra. Elisa Schaeffer elisa.schaeffer@gmail.com PISIS / FIME / UANL Problemas NP-completos p. 1 Problemas NP-completos La clase NP contiene numerosos problemas

Más detalles

PROGRAMACIÓN II GEB 16:28

PROGRAMACIÓN II GEB 16:28 GEB 1 Temas Problemas demostrablemente irresolubles Problemas resolubles Clase P, NP, NP completa y CO-NP Objetivo Que el estudiante logre entender la clasificación de problemas y su importancia para la

Más detalles

La propiedad de compacidad

La propiedad de compacidad En un artículo anterior hemos obtenido dos importantes resultados relacionados con la continuidad de una función en un intervalo: el teorema de los ceros de Bolzano y el teorema del valor intermedio. De

Más detalles

Problemas computacionales, intratabilidad y problemas NP completos. Febrero Facultad de Ingeniería. Universidad del Valle

Problemas computacionales, intratabilidad y problemas NP completos. Febrero Facultad de Ingeniería. Universidad del Valle Complejidad Complejidad, in NP completos Facultad de Ingeniería. Universidad del Valle Febrero 2017 Contenido Complejidad 1 2 3 Complejidad computacional Complejidad Introducción En ciencias de la computación

Más detalles

Tema 5: Problemas de Optimización

Tema 5: Problemas de Optimización Modelos de Informática Teórica - Universidad de Granada Contenido Problemas de Optimización Algoritmos ǫ-aproximados Análisis de problemas: cubrimiento por vértices, viajante de comercio, corte máximo,

Más detalles

CLASIFICACIÓN DE PROBLEMAS

CLASIFICACIÓN DE PROBLEMAS UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO Facultad de Ciencias Exactas y Tecnologías Licenciatura en Sistemas de Información 2009 CLASIFICACIÓN DE PROBLEMAS 1 CLASES DE PROBLEMAS Uno de los resultados

Más detalles

3-Coloring es NP-Completo

3-Coloring es NP-Completo 3-Coloring es NP-Completo Lic. Luis Miguel Prado Llanes Posgrado en Ingeniería de Sistemas Universidad Autónoma de Nuevo León 26 de mayo de 2008 Prado Llanes (PISIS) 3-Coloring 26.05.2008 1 / 36 Contenido

Más detalles

Reducibilidad. Se dice que f es computable si existe una MT que la computa y que siempre se detiene. f(w)

Reducibilidad. Se dice que f es computable si existe una MT que la computa y que siempre se detiene. f(w) Reducibilidad Def: Sean L 1, L 2 Σ se dirá que L 1 se reduce a L 2 (L 1 α L 2 ) si existe una función total computable (o recursiva) f: Σ Σ tal que Σ, L 1 f() L 2 Σ Σ L 1 L 1 f() f( ) Se dice que f es

Más detalles

Un tercer problema NP-completo: Programación entera

Un tercer problema NP-completo: Programación entera Un tercer problema NP-completo: Programación entera Un problema muy estudiado por su utilidad práctica: PROG-ENT = {(A, b) A x b es un sistema de ecuaciones lineales enteras que tiene solución}. Teorema

Más detalles

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007

Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007 Teoría Matemática de la Computación Primer Problemario Prof. Miguel A. Pizaña 22 de Febrero de 2007 I Tareas 1. Dudar de todo, al menos una vez en la vida. 2. Qué emociones le produce el teorema de Cantor,

Más detalles

NP-completos. Elvira Mayordomo Universidad de Zaragoza

NP-completos. Elvira Mayordomo Universidad de Zaragoza NP-completos Elvira Mayordomo Universidad de Zaragoza 1 Lenguajes semidecidibles a n b n c n Lenguajes decidibles Lengs. indeps. del contexto n n b a R ww ww Lenguajes regulares a * a *b* 2 De la semana

Más detalles

Modelos de Informática TeóricaCapítulo 4 - demostración de NP-completitud p.1/68

Modelos de Informática TeóricaCapítulo 4 - demostración de NP-completitud p.1/68 Modelos de Informática Teórica Capítulo 4 - demostración de NP-completitud Serafín Moral Callejón Departamento de Ciencias de la Computación Universidad de Granada Modelos de Informática TeóricaCapítulo

Más detalles

Entscheidungsproblem I TEORÍA DE LA COMPUTACIÓN MÁQUINAS DE TURING Y DECIDIBILIDAD. Máquinas de Turing (TM) Procedimiento efectivo

Entscheidungsproblem I TEORÍA DE LA COMPUTACIÓN MÁQUINAS DE TURING Y DECIDIBILIDAD. Máquinas de Turing (TM) Procedimiento efectivo Entscheidungsproblem I TEORÍA DE LA COMPUTACIÓN MÁQUINAS DE TURING Y DECIDIBILIDAD Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página

Más detalles

5. Propiedades de los Lenguajes Recursivamente Enumerables y de los Lenguajes Recursivos.

5. Propiedades de los Lenguajes Recursivamente Enumerables y de los Lenguajes Recursivos. 5. Propiedades de los Lenguajes Recursivamente Enumerables y de los Lenguajes Recursivos. 5.1 Esquemas de representación de áquinas de Turing. 5.2 Propiedades de cierre. 5.3 Codificación de áquinas de

Más detalles

Entscheidungsproblem I LENGUAJES RECURSIVAMENTE ENUMERABLES MÁQUINAS DE TURING. DECIDIBILIDAD. Máquinas de Turing (TM) Procedimiento efectivo

Entscheidungsproblem I LENGUAJES RECURSIVAMENTE ENUMERABLES MÁQUINAS DE TURING. DECIDIBILIDAD. Máquinas de Turing (TM) Procedimiento efectivo Entscheidungsproblem I LENGUAJES RECURSIVAMENTE ENUMERABLES MÁQUINAS DE TURING. DECIDIBILIDAD Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx

Más detalles

La lógica de segundo orden: Sintaxis

La lógica de segundo orden: Sintaxis La lógica de segundo orden: Sintaxis Dado: Vocabulario L Definición La lógica de segundo orden (LSO) sobre L es definida como la extensión de LPO que incluye las siguientes reglas: Si t 1,..., t k son

Más detalles

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002

Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto Segundo Cuatrimestre de 2002 Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Ejercicios Fundamentos de Ciencias de la Computación Trabajo Práctico N 2 Lenguajes Libres del Contexto y Sensibles al Contexto

Más detalles

Lógica de proposiciones

Lógica de proposiciones 1 Introducción Lenguaje lógico simbólico más sencillo. Permite representar sentencias simples del lenguaje natural mediante formulas atómicas, cuya composición representa sentencias más complejas: p temperatura

Más detalles

1. Diseñe algoritmos que permitan resolver eficientemente el problema de la mochila 0/1 para los siguientes casos:

1. Diseñe algoritmos que permitan resolver eficientemente el problema de la mochila 0/1 para los siguientes casos: PROGRAMACIÓN DINÁMICA RELACIÓN DE EJERCICIOS Y PROBLEMAS 1. Diseñe algoritmos que permitan resolver eficientemente el problema de la mochila /1 para los siguientes casos: a. Mochila de capacidad W=15:

Más detalles

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I

Tema 1: Introducción. Teoría de autómatas y lenguajes formales I Tema 1: Introducción Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación. Addison Wesley.

Más detalles

Problemas Insolubles Ejemplos

Problemas Insolubles Ejemplos Problemas Insolubles Ejemplos A continuación enunciaremos una serie de problemas y demostraremos, mediante la técnica de reducibilidad, que los mismos son indecidibles (no solubles a través de una máquina

Más detalles

Matemática computable

Matemática computable Conjuntos computables - Combinatoria - Álgebra Antonio Montalbán. U. de Chicago Coloquio Uruguayo de Matemática. Diciembre, 2009 Conjuntos computables - Combinatoria - Álgebra 1 Conjuntos computables 2

Más detalles

ALGORITMOS HEURÍSTICOS Y APROXIMADOS. Análisis y diseño de algoritmos II- 2009

ALGORITMOS HEURÍSTICOS Y APROXIMADOS. Análisis y diseño de algoritmos II- 2009 ALGORITMOS HEURÍSTICOS Y APROXIMADOS Análisis y diseño de algoritmos II- 2009 Problemas difíciles : Definiciones, ejemplos y propiedades Análisis y diseño de algoritmos II- 2009 Un viaje a Ciencias de

Más detalles

Fundamentos de Ciencias de la Computación

Fundamentos de Ciencias de la Computación Fundamentos de Ciencias de la Computación Clase 16: Problema de Primer Cuatrimestre de 2005 Departamento de Cs. e Ing. de la Computación Universidad Nacional del Sur Bahía Blanca, Argentina Un problema

Más detalles

NPC. Más problemas NP-Completos. Complexity D.Moshkovitz

NPC. Más problemas NP-Completos. Complexity D.Moshkovitz NPC Más problemas NP-Completos Introducción Objetivos: - Introducir más NP-Completos. Resumen: 3SAT CLIQUE INDEPENDENT-SET 2 Método Cómo demostramos que un problema está en NPC? Primero probamos que el

Más detalles

Departamento de Tecnologías de la Información. Tema 7. Complejidad temporal. Ciencias de la Computación e Inteligencia Artificial

Departamento de Tecnologías de la Información. Tema 7. Complejidad temporal. Ciencias de la Computación e Inteligencia Artificial Departamento de Tecnologías de la Información Tema 7 Complejidad temporal Ciencias de la Computación e Inteligencia Artificial Índice 7.1 Medidas de complejidad 7.2 La clase P 7.3 La clase NP 7.4 NP-Completitud

Más detalles

INAPROXIMABILIDAD. Curso: Algoritmos de aproximación Docente: Pablo Romero Estudiante: Daniel La Buonora Octubre de 2016

INAPROXIMABILIDAD. Curso: Algoritmos de aproximación Docente: Pablo Romero Estudiante: Daniel La Buonora Octubre de 2016 INAPROXIMABILIDAD Curso: Algoritmos de aproximación Docente: Pablo Romero Estudiante: Daniel La Buonora Octubre de 2016 Plan de la presentación - Definición de inaproximabilidad - Ejemplo con el problema

Más detalles

Problemas de decisión y su complejidad computacional

Problemas de decisión y su complejidad computacional Problema de decisión Problemas de decisión y su complejidad computacional! Los problemas que tienen dos respuestas posibles! Sí o no! Verdad o falso! Posible o imposible Instancia! Existe o no existe!

Más detalles

Criptografía de clave pública Sistemas basados en el problema de la mochila

Criptografía de clave pública Sistemas basados en el problema de la mochila de la la La Criptografía de clave pública Sistemas basados de la DSIC - UPV (DSIC - UPV) de la 1 / 21 Contenidos del tema de la la La 1 Características de los sistemas de clave pública Principios para

Más detalles

Algorítmica y Lenguajes de Programación. Complejidad computacional

Algorítmica y Lenguajes de Programación. Complejidad computacional Algorítmica y Lenguajes de Programación Complejidad computacional Complejidad computacional. Introducción La complejidad computacional estudia la dificultad inherente de problemas de importancia teórica

Más detalles

Teoría de la Computación y Leguajes Formales

Teoría de la Computación y Leguajes Formales y Leguajes Formales Prof. Hilda Y. Contreras Departamento de Computación hyelitza@ula.ve hildac.teoriadelacomputacion@gmail.com Contenido Tema 0: Introducción y preliminares: Conocimientos matemáticos

Más detalles

Sea Σ un alfabeto y L el lenguaje de los palíndromos sobre Σ. Sean a, b dos elementos de Σ. Se demuestra por reducción al absurdo que L no es regular:

Sea Σ un alfabeto y L el lenguaje de los palíndromos sobre Σ. Sean a, b dos elementos de Σ. Se demuestra por reducción al absurdo que L no es regular: Universidad Rey Juan Carlos Grado en Ingeniería de Computadores Máquinas Secuenciales, Autómatas y Lenguajes Hoja de Problemas: Propiedades Lenguajes Regulares Nivel del ejercicio : ( ) básico, ( ) medio,

Más detalles

Definiciones previas

Definiciones previas Máquina de Turing Definiciones previas Definición. Alfabeto: Diremos que un conjunto finito Σ es un alfabeto si Σ y ( x)(x Σ x es un símbolo indivisible) Ejemplos Σ ={a,b}, Σ ={0,1}, Σ ={a,b, z} son alfabetos

Más detalles

Algoritmos y Complejidad

Algoritmos y Complejidad IN47B, Ingeniería de Operaciones Contenidos 1 Introducción 2 Analizando Algoritmos 3 Complejidad 4 N P-completitud Qué es un Algoritmo? Qué es un Algoritmo? Definición Un algoritmo es un conjunto de pasos

Más detalles

Modelos de Informática Teórica Capítulo 2 - Clases de Complejidad

Modelos de Informática Teórica Capítulo 2 - Clases de Complejidad Modelos de Informática TeóricaCapítulo 2 - Clases de Complejidad p. 1/40 Modelos de Informática Teórica Capítulo 2 - Clases de Complejidad Serafín Moral Callejón Departamento de Ciencias de la Computación

Más detalles

Indice COMPUTABILIDAD Y COMPLEJIDAD. Introducción. Introducción

Indice COMPUTABILIDAD Y COMPLEJIDAD. Introducción. Introducción COMPUTABILIDAD Y COMPLEJIDAD Belén Pérez Lancho Dpto. Informática y Automática 12-Enero-2006 Computabilidad Introducción Modelos de computación Máquinas de Turing Funciones Recursivas Parciales Conclusiones

Más detalles

Problemas recursivamente enumerables

Problemas recursivamente enumerables Problemas recursivamente enumerables Definición Un problema L es recursivamente enumerable si existe una máquina de Turing M tal que L = L(M). Nótese que M en la definición no necesariamente se detiene

Más detalles

Introducción a la teoría de la N P-completitud

Introducción a la teoría de la N P-completitud Introducción a la teoría de la N P-completitud Bibliografía [NN97] R. Neapolitan y K. Naimipour. Foundations of algorithms. Jones and Bartlett Publishers, 1997. [HSR98] E. Horowitz, S. Sahni y S. Rajasekaran.

Más detalles

Problemas recursivamente enumerables

Problemas recursivamente enumerables Problemas recursivamente enumerables Definición Un problema L es recursivamente enumerable si existe una máquina de Turing M tal que L = L(M). Nótese que M en la definición no necesariamente se detiene

Más detalles

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R.

Conjuntos. Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por. a R. se entiende que a pertenece a R. Conjuntos Un conjunto es una colección de objetos. Si a es un objeto y R es un conjunto entonces por se entiende que a pertenece a R. a R Normalmente, podremos definir a un conjunto de dos maneras: Por

Más detalles

Procesadores de Lenguaje

Procesadores de Lenguaje Procesadores de Lenguaje Repaso TALF Cristina Tîrnăucă Dept. Matesco, Universidad de Cantabria Fac. Ciencias Ing. Informática Primavera de 2013 La Jerarquía de Chomsky Cuatro niveles de lenguajes formales

Más detalles

Complejidad Computacional

Complejidad Computacional Análisis y Complejidad de Algoritmos Complejidad Computacional Arturo Díaz Pérez Lenguajes formales Gramáticas formales Jerarquía de Chomski Teoría de la complejidad Una desigualdad computacional Computabilidad

Más detalles

Caminos. Sobre los problemas de encontrar caminos en grafos. Complexity D.Moshkovitz

Caminos. Sobre los problemas de encontrar caminos en grafos. Complexity D.Moshkovitz Caminos Sobre los problemas de encontrar caminos en grafos 1 Introdución Objetivos: Introducir más problemas sobre grafos. Resumen: Caminos Hamiltonianos Caminos Eulerianos 2 Camino Hamiltoniano Entrada:

Más detalles

13.3. MT para reconocer lenguajes

13.3. MT para reconocer lenguajes 13.3. MT para reconocer lenguajes Gramática equivalente a una MT Sea M=(Γ,Σ,,Q,q 0,f,F) una Máquina de Turing. L(M) es el lenguaje aceptado por la máquina M. A partir de M se puede crear una gramática

Más detalles

Problemas en P y NP. Marcos Kiwi. Semestre Otoño U. Chile

Problemas en P y NP. Marcos Kiwi. Semestre Otoño U. Chile Problemas en P y NP Marcos Kiwi U. Chile Semestre Otoño 2012 Problemas en P Path = { G, s, t : Existe un dicamino de s a t en el digrafo G} Conexo = { G : G grafo conexo} { } A Q PL = A, b, c, k : m n,

Más detalles

IN34A - Optimización

IN34A - Optimización IN34A - Optimización Complejidad Leonardo López H. lelopez@ing.uchile.cl Primavera 2008 1 / 33 Contenidos Problemas y Procedimientos de solución Problemas de optimización v/s problemas de decisión Métodos,

Más detalles

Temas. Objetivo. Que el estudiante logre:

Temas. Objetivo. Que el estudiante logre: 0 Temas Objetivo Que el estudiante logre: 1) Formalizar problemas de decisión. 2) Identificar conceptos constructivos de la Teoría de la Computabilidad. 1 2 TEORÍA DE LA COMPLEJIDAD COMPUTACIONAL TEORÍA

Más detalles

Propiedades de lenguajes independientes del contexto

Propiedades de lenguajes independientes del contexto Capítulo 12. Propiedades de lenguajes independientes del contexto 12.1. Identificación de lenguajes independientes del contexto Lema de bombeo. 12.2. Propiedades Cierre, Complemento de lenguajes, Sustitución,

Más detalles

Preliminares. 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros.

Preliminares. 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros. CAPíTULO 1 Preliminares 1. Notación simbólica. Conjuntos. También se da en el curso de Conjuntos y Numeros. El método matemático es axiomático y deductivo: a partir de unos principios aceptados inicialmente

Más detalles

MÁQUINAS DE TURING CIENCIAS DE LA COMPUTACION I 2009

MÁQUINAS DE TURING CIENCIAS DE LA COMPUTACION I 2009 MÁQUINAS DE TURING Las máquinas de Turing, así como los AF y los AP se utilizan para aceptar cadenas de un lenguaje definidas sobre un alfabeto A. El modelo básico de máquina de Turing, tiene un mecanismo

Más detalles

Cálculo infinitesimal Grado en Matemáticas Curso 20014/15 Clave de soluciones n o 6. Derivadas de orden superior

Cálculo infinitesimal Grado en Matemáticas Curso 20014/15 Clave de soluciones n o 6. Derivadas de orden superior Cálculo infinitesimal Grado en Matemáticas Curso 2004/5 Clave de soluciones n o 6 Derivadas de orden superior 70. Hallar los polinomios de Taylor del grado indicado y en el punto indicado para las siguientes

Más detalles

APRENDIZAJE Práctica 1 Implementación de un generador de muestras aleatorias para lenguajes regulares

APRENDIZAJE Práctica 1 Implementación de un generador de muestras aleatorias para lenguajes regulares APRENDIZAJE Práctica 1 Implementación de un generador de muestras aleatorias para lenguajes regulares 1. Introducción 2. Generador de muestras aleatorias para lenguajes regulares 3. Algunas consideraciones

Más detalles

Métodos Numéricos. Grado en Ingeniería en Informática Tema 1 : Aritméticas de Precisión Finita

Métodos Numéricos. Grado en Ingeniería en Informática Tema 1 : Aritméticas de Precisión Finita Métodos Numéricos. Grado en Ingeniería en Informática Tema 1 : Aritméticas de Precisión Finita Luis Alvarez León Univ. de Las Palmas de G.C. Luis Alvarez León () Análisis Numérico Univ. de Las Palmas de

Más detalles

Departamento de Tecnologías de la Información. Tema 4. Máquinas de Turing. Ciencias de la Computación e Inteligencia Artificial

Departamento de Tecnologías de la Información. Tema 4. Máquinas de Turing. Ciencias de la Computación e Inteligencia Artificial Departamento de Tecnologías de la Información Tema 4 Máquinas de Turing Ciencias de la Computación e Inteligencia Artificial Índice 4.1 Límites de los autómatas 4.2 Definición de Máquina de Turing 4.3

Más detalles

Capítulo 9. Introducción a los lenguajes formales. Continuar

Capítulo 9. Introducción a los lenguajes formales. Continuar Capítulo 9. Introducción a los lenguajes formales Continuar Introducción Un lenguaje es un conjunto de símbolos y métodos para estructurar y combinar dichos símbolos. Un lenguaje también recibe el nombre

Más detalles

Computabilidad y Lenguajes Formales: Autómatas Finitos

Computabilidad y Lenguajes Formales: Autómatas Finitos 300CIG007 Computabilidad y Lenguajes Formales: Autómatas Finitos Pontificia Universidad Javeriana Cali Ingeniería de Sistemas y Computación Prof. Gloria Inés Alvarez V. No Determinismo Hasta ahora cada

Más detalles

Tema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I

Tema 4: Gramáticas independientes del contexto. Teoría de autómatas y lenguajes formales I Tema 4: Gramáticas independientes del contexto Teoría de autómatas y lenguajes formales I Bibliografía Hopcroft, J. E., Motwani, R., y Ullman, J. D. Introducción a la Teoría de Autómatas, Lenguajes y Computación.

Más detalles

Tema 1. Espacios Vectoriales Definición de Espacio Vectorial

Tema 1. Espacios Vectoriales Definición de Espacio Vectorial Tema 1 Espacios Vectoriales. 1.1. Definición de Espacio Vectorial Notas 1.1.1. Denotaremos por N, Z, Q, R, C, a los conjuntos de los números Naturales, Enteros, Racionales, Reales y Complejos, respectivamente.

Más detalles

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular.

MODELOS DE COMPUTACION I Preguntas Tipo Test. 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. MODELOS DE COMPUTACION I Preguntas Tipo Test Indicar si son verdaderas o falsas las siguientes afirmaciones: 1. El lema de bombeo puede usarse para demostrar que un lenguaje determinado es regular. 2.

Más detalles

Análisis lógico Cálculo de proposiciones

Análisis lógico Cálculo de proposiciones Sintaxis Semántica Sistemas de demostración Análisis lógico Cálculo de proposiciones Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx Página Web: www.matematicas.unam.mx/fhq

Más detalles

Teoría estructural de grafos y su aplicación a algoritmos de optimización combinatoria

Teoría estructural de grafos y su aplicación a algoritmos de optimización combinatoria Teoría estructural de grafos y su aplicación a algoritmos de optimización combinatoria Flavia Bonomo Universidad de Buenos Aires, FCEyN, Departamento de Computación / CONICET-Universidad de Buenos Aires,

Más detalles

1. El Teorema de Rolle Generalizado.

1. El Teorema de Rolle Generalizado. Proyecto III: Los Teoremas de Rolle y del valor Medio Objetivos: Profundizar el estudio de algunos teoremas del cálculo diferencial 1 El Teorema de Rolle Generalizado La formulación más común del Teorema

Más detalles