Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Inteligencia Articial Problemas de Satisfacci on de Restricciones

Elizabeth Montero Ureta
Departamento de Inform atica Universidad T ecnica Federico Santa Mar a Campus Santiago

1er Semestre 2009

7

1/16

2/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Problemas de Satisfacci on de Restricciones

CSP : Constraint Satisfaction Problem Los problemas de satisfacci on de restricciones forman parte de los problemas de Inteligencia Articial y de Investigaci on de Operaciones. Una restricci on x y + z = y pone en relaci on a las variables x , y y z limitando los valores que ellas pueden tomar simult aneamente. La resoluci on de un CSP trata de encontrar los valores de los dominios de x , y y z que respetan la ecuaci on, es decir, la restricci on. Cuando se pasa a dominios discretos se agrega complejidad al problema. Pasar de PL a PLE corresponde a pasar de problemas polinomiales a una clase de problemas, que se sabe por ahora, se resuelven en tiempo exponencial: El problema de decisi on se convierte en NP-completo.
3/16

Denici on formal de un CSP

Un conjunto de Variables: X = {X1 , . . . , Xn } Un conjunto de Dominios: D = {D1 , . . . , Dn }, donde Di es el conjunto nito de los valores posibles de Xi Un conjunto de Restricciones: C = {C1 , . . . , Cm }, donde Ci est a denida sobre un conjunto de variables {Xil , . . . , Xik } Un conjunto de Relaciones: R = { R1 , . . . , Rn } , donde Ri es el conjunto de las combinacionees de valores que satisfacen Ci
4/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Representaci on de un problema

M etodo de la Variable Encapsuladora

Para un problema binario, las variables y la restricciones forman un grafo Para un problema n-ario, las variables y las restricciones forman un hiper-grafo

5/16

6/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Formulaci on

Representaciones vs Tama no del espacio de B usqueda

Problema: Localizar N reinas sobre un tablero de ajedrez de NxN , de tal forma que ninguna este atrapada. Una variable para cada reina Una variable para cada casilla Una variable para cada columna

7/16

8/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Posible soluci on

Formulaci on
Problema: Identicar las casillas que contienen una bomba a partir de la informaci on desplegada por sus casillas adyacentes.

9/16

10/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Formulaci on
Problema: El objetivo es rellenar una cuadr cula de nxn celdas dividida en subcuadr culas de n/3xn/3 con las cifras del 1 al 9 partiendo de algunos n umeros ya dispuestos en algunas de las celdas. No se debe repetir ninguna cifra en una misma la, columna o subcuadr cula. Un sudoku est a bien planteado si la soluci on es u nica.

Formulaci on

El objetivo de este problema consiste en asignar distintos colores a los v ertices de un grafo, de manera que ning un par de v ertices adyacentes compartan el mismo color.

11/16

12/16

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

El problema
Hay cinco casas de diferentes colores, en las cuales viven personas de diferentes nacionalidades, con diferentes mascotas, que gustan de diferentes bebidas y practican diferentes deportes. Adem as se consideran las siguientes restricciones:
1 2 3 4 5 6 7 8 9 10 11 12 13 14

An alisis
Conjunto de atributos:
Nacionalidades = { Ingl es, Espa nol, Irland es, Nigeriano, Japon es} N1 N2 N3 N4 N5 Ingl es Espa nol Irland es Nigeriano Japon es Colores = { Roja, Verde, Marl, Amarilla, Azul} C1 C2 C3 C4 C5 Roja Verde Marl Amarilla Azul Deportes = { Go, Cricket, Judo, Poker, Polo} D1 D2 D3 D4 D5 Go Cricket Judo Poker Polo Bebidas = { Caf e, T e, Leche, Jugo de Naranja, Cervezas} B1 B2 B3 B4 B5 Caf e T e Leche Jugo de Naranja Cervezas Mascotas = { Perro, Caracoles, Lobo, Caballo, Cebra} M1 M2 M3 M4 M5 Perro Caracoles Lobo Caballo Cebra
13/16 14/16

El Ingl es vive en la casa Roja El Espa nol tiene un Perro El hombre de la casa Verde bebe Caf e El Irland es bebe T e La casa Verde est a a la derecha de la casa Marl El jugador de Go es due no de Caracoles El hombre de la casa Amarilla juega Cricket El hombre de la casa del medio bebe Leche El Nigeriano vive en la primera casa El jugador de Judo vive cerca del hombre que tiene un Lobo El jugador de cricket vive cerca del due no del caballo El jugador de Poker bebe Jugo de naranja El Japon es pr actica Polo El Nigeriano vive cerca de la casa Azul

La pregunta es: Qui en es el due no de la Cebra? y Qui en bebe Cervezas?

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Introducci on Transformaci on de CSPs N-arios a CSPs Binarios Problema de las N reinas El Buscaminas Sudoku Coloreo de Grafos El problema de la Cebra

Planteo I

Planteo II
La casa Verde est a a la derecha de la casa Marl Es decir, la persona de la casa Verde (C2 ) debe ser mayor que la persona de la casa Marl (C3 ) C2 > C3 El hombre de la casa del medio bebe Leche Es decir, la persona que bebe Leche (B3 ) es 3 B3 = 3 El jugador de Judo vive cerca del hombre que tiene un Lobo Importante: Qu e es vivir cerca? Vivir cerca signica que viven a lo m as una casa de distancia |D3 M3 | = 1

Considere:
La persona que vive en la primera casa es 1 ... La persona que vive en la u ltima casa es 5

Ejemplo de planteo de restricciones:

El Ingl es vive en la casa Roja Es decir, la persona de nacionalidad inglesa (N1 ) es la misma que vive en la casa roja (C1 ) N1 = C1

15/16

16/16