sistemas expertos copyright 2005, david mauricio 1 i. complejidad de problemas

23
Sistemas Expertos Copyright 2005, David Mauricio 1 I. Complejidad de Problemas

Upload: nicolas-figueroa-san-martin

Post on 02-Feb-2016

216 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

1

I. Complejidad de Problemas

Page 2: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

2

1. Complejidad de Problemas

TópicosTópicos

Clasificación de Problemas

Clasificación por su Naturaleza

Clasificación por su Tratabilidad

Clasificación por el tipo de Respuesta

Page 3: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

3

1.1 Clasificación de Problemas Algorítmicos

Por su Naturaleza

Los problemas algorítmicos son clasificados de acuerdo a su naturaleza intrínseca respecto a la posibilidad y dificultad de resolverlos.

Por el tipo de Respuesta

Los problemas son clasificados de acuerdo a la respuesta requerida por el problema.

Por su Tratabilidad

Los problemas que admiten solución son clasificados de acuerdo a la complejidad que presentan los algoritmos para resolverlos.

Page 4: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

4

1.2 Clasificación por su Naturaleza

Los problemas de naturaleza algorítmica que no admiten solución por algoritmo son llamados no - computables.

Los problemas de decisión y no-computables son llamados de indecidíbles.

Los problemas para los cuales existen algoritmos de complejidad polinomial para resolverlos son llamados de tratables.

Los problemas que admiten solución y para los cuales comprobadamente no pueden ser resueltos por algoritmos de complejidad polinomial son rotulados de intratables

Page 5: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

5

1.2 Clasificación por su Naturaleza

No computableNo computable

Problemas que no admitenProblemas que no admitenSolución algorítmicaSolución algorítmica IndecidíbleIndecidíble

TratableTratableProblemas que admitenProblemas que admitenSolución algorítmicaSolución algorítmica IntratableIntratable

Page 6: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

6

Ejemplo.

Algoritmo Prob_Abierto(x°) Inicio

Leer(x°)x := x°

Mientras x 1 hacer Si (x MOD 2) = 0

Entonces x := x/2 Sino x := 3x + 1;

Fin

Problema: Determine si el algoritmo siempre termina para cualquier x° entero positivo.

1.2 Clasificación por su Naturaleza

Page 7: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

7

Ejemplo Algoritmo Prob_Abierto(x°)

Respuesta:

NO SE SABE

1.2 Clasificación por su Naturaleza

Es un Problema No Computable

Es un Problema de Decisión

Es un Problema de Indecidible

Page 8: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

8

Ejemplo

El Problema general de la Programación Lineal

• ES UN PROBLEMA TRATABLE

En 1984 Narendra Karmakar presentó el algoritmo llamado de puntos Interiores de O (Ln**4) para resolver problemas de la Programación Lineal

Donde:

n: es el número de variables del problema

L: es el tamaño en bits de la instancia

1.2 Clasificación por su Naturaleza

Page 9: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

9

Ejemplo

El Problema de Selección de Proyectos

Considere un conjunto de proyectos, con utilidades esperadas y costos conocidos. Considere también un presupuesto dado. El problema consiste en seleccionar un conjunto de proyectos talque que presente máxima suma de utilidades y costo total no mayor al presupuesto dado

1.2 Clasificación por su Naturaleza

Page 10: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

10

Ejemplo

El Problema de Selección de Proyectos

Proyectos: P1 P2 P3 ... Pn Utilidades: u1 u2 u3 ... un

Costo: c1 c2 c3 ... cn

Presupuesto: b

Determine un conjunto de proyectos que presente máxima suma de utilidades y costo total no mayor a “b”. Los proyectos seleccionados serán ejecutado al 100%.

1.2 Clasificación por su Naturaleza

Page 11: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

11

Ejemplo

El Problema de Selección de Proyectos

ES UN PROBLEMA INTRATABLE

Todos los algoritmos exactos presentan complejidad no polinomial

1.2 Clasificación por su Naturaleza

Page 12: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

12

La Clase P

Está constituida por todos los problemas comprobadamente tratables, esto es, problemas

que pueden ser resueltos por algoritmos de complejidad polinomial.

1.3 Clasificación por su Tratabilidad: P y NP

Page 13: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

13

Algunos Problemas de la Clase P

• Resolución de Sistemas de Ecuaciones Lineales

• Contabilidad (registrar y/o modificar transacciones)

• Ordenar números, buscar palabras en un texto

• Juntar Archivos

• En general los sistemas operacionales (facturación,

control de almacenes, planillas, ventas, etc.)

• Cualquier problema de la Programación Lineal

• Sistemas de transacciones bancarias

• En general los sistemas de información gerencial

1.3 Clasificación por su Tratabilidad: P y NP

Page 14: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

14

La clase P está constituido por losproblemas tratables.

1.3 Clasificación por su Tratabilidad: P y NP

Page 15: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

15

La Clase NP

Está constituido por todos los problemas que pueden ser resueltos por algoritmos enumerativos,

cuya búsqueda en el espacio de soluciones es realizada en un árbol con profundidad limitada por una función polinomial respecto al tamaño de la

instancia del problema y con ancho eventualmente exponencial.

1.3 Clasificación por su Tratabilidad: P y NP

Page 16: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

16

Relación P y NP

Ciertamente la clase NP incluye todos los problemas intratables. Además los problema de la clase P pueden ser resueltos también por algoritmos enumerativos. Por consiguiente se puede afirmar que:

NP P

1.3 Clasificación por su Tratabilidad: P y NP

Page 17: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

17

Los problemas de la Clase NP queson intratables son llamados de NP-difícil

1.3 Clasificación por su Tratabilidad: P y NP

Page 18: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

18

Algunos Problemas de la Clase NP-difícil

• Clique

• Cobertura de Vértices y Aristas

• Coloración de Grafos

• Mochila Lineal y Cuadrática

• Optimización de Desperdicios

• Agente Viajero

• Gestión Optima de cortes

• Programación de Tareas

• Aprendizaje

1.3 Clasificación por su Tratabilidad: P y NP

Page 19: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

19

Los Problemas Los Problemas por el tipo de respuesta por el tipo de respuesta se clasifican en:se clasifican en:

• Problemas de Decisión

• Problemas de Localización

• Problemas de Optimización 

1.4 Clasificación por el tipo de Respuesta

Page 20: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

20

Problemas de DecisiónProblemas de Decisión Objetivo:Objetivo:

Responder SI o NO a una determinada indagaciónResponder SI o NO a una determinada indagación

Problemas de LocalizaciónProblemas de Localización Objetivo:Objetivo:

Encontrar, caso exista, una estructura que verifique las Encontrar, caso exista, una estructura que verifique las restricciones del problema, dicha estructura es denominada restricciones del problema, dicha estructura es denominada de solución viable . de solución viable .

Problemas de OptimizaciónProblemas de Optimización  Objetivo:Objetivo:

Encontrar una estructura que verifique las restricciones Encontrar una estructura que verifique las restricciones del problema y optimice un criterio pre-definido. Esto es, del problema y optimice un criterio pre-definido. Esto es, encontrar una solución viable que optimice un criterio pre-encontrar una solución viable que optimice un criterio pre-determinadodeterminado

1.4 Clasificación por el tipo de Respuesta

Page 21: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

21

Ejemplo:Ejemplo: El Problema de los Misioneros y Caníbales El Problema de los Misioneros y Caníbales

Considere tres misioneros, tres caníbales y una canoa de capacidad máxima de dos pasajeros; todos ellos se encuentran en una de las orilla de un río. El problemaconsiste en encontrar una secuencia de viajes quepermita trasladar a todos los misioneros y caníbales alotro lado de la orilla del río. Se debe respetar que en cada orilla el número de misioneros (si lo hubiera) debe ser siempre no menor al número de caníbales

1.4 Clasificación por el tipo de Respuesta

Page 22: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

22

Ejemplo:Ejemplo: El Problema de los Misioneros y Caníbales El Problema de los Misioneros y Caníbales

1.4 Clasificación por el tipo de Respuesta

http://www.plastelina.net/game2.html

Page 23: Sistemas Expertos Copyright  2005, David Mauricio 1 I. Complejidad de Problemas

Sistemas ExpertosCopyright 2005, David Mauricio

23

Asociado al problema de los Misioneros y Caníbales, tenemos Asociado al problema de los Misioneros y Caníbales, tenemos los siguientes problemas:los siguientes problemas:

Problema 1:Problema 1:Determine una secuencia de viajes que permita trasladar a Determine una secuencia de viajes que permita trasladar a

todos los misioneros y caníbales a la otra orilla del río.todos los misioneros y caníbales a la otra orilla del río.

Problema 2:Problema 2:Existe una secuencia de viajes que permita trasladar a Existe una secuencia de viajes que permita trasladar a

todos los misioneros y caníbales a la otra orilla del río.todos los misioneros y caníbales a la otra orilla del río.

Problema 3:Problema 3:Determine la menor secuencia de viajes que permita Determine la menor secuencia de viajes que permita

trasladar a todos los misioneros y caníbales a la otra orillatrasladar a todos los misioneros y caníbales a la otra orilla del ríodel río

1.4 Clasificación por el tipo de Respuesta