Está en la página 1de 5

SISTEMAS INTELI

Departamento de Lenguajes y Computacin Teora de Autmatas y Lenguajes Formales !"

ENTES

rado Ingeniera In#orm$tica %& de octu're de !(%%

Tarea 1.- Bsqueda Bsica y Satisfaccin de Restricciones Instrucciones


Cada alumno deber resolver los ejercicios de la relacin de manera individual. La resolucin de los ejercicios (siguiendo el orden de la relacin) se enviar a travs de la plataforma en un archivo en formato WORD o PDF. Los ejercicios se resolvern en pginas adicionales a partir de esta primera que ha de conservarse sin modificacin alguna, salvo la cumplimentacin de los datos del alumno. La fecha de vencimiento para el envo es el da 20 de octubre (el archivo ha de enviarse como fecha tope el da 19). No cumplir alguna de las instrucciones anteriores implica la no calificacin de la tarea.

Alumno:
1. 2. 3.

Juan Pablo Rodrguez Valentn

DNI:

77151519-C

Construir el rbol de bsqueda para el problema de la 3-coloracin de un grafo. Encontrar una solucin a este problema aplicando el algoritmo GT. Encontrar una solucin a este problema aplicando el algoritmo BT.

4. Qu diferencias encuentra entre GT y BT al resolver este problema?

SISTEMAS INTELI
Departamento de Lenguajes y Computacin Teora de Autmatas y Lenguajes Formales !"

ENTES

rado Ingeniera In#orm$tica %& de octu're de !(%%

Planteamiento: Dado que tratamos con un Problema de Satisfaccin de Restricciones (CSP), vamos a definir nuestra terna (V, D, R) con: Variables: V = {X1, X2, X3} .Xi ~ Nodos del grafo a colorear Dominios: D = {D1, D2, D3} , con Di {rojo, verde, azul} Restricciones: R = { R12, R13, R23}, con Ri {( rojo, verde),( rojo, azul),(verde, azul)}

Diseo del rbol:

*Figura 1 NOTA: puede observarse con mejor calidad en el anexo 1.

SISTEMAS INTELI
Departamento de Lenguajes y Computacin Teora de Autmatas y Lenguajes Formales !"

ENTES

rado Ingeniera In#orm$tica %& de octu're de !(%%

Algoritmo GT: Generamos todas las posibles asignaciones completas, realizando un recorrido en profundidad, comprobando si cumplen las restricciones:
{Rojo, Rojo, Rojo}, {Rojo, Rojo, Verde}, {Rojo, Rojo, Azul}, {Rojo, Verde, Rojo}, {Rojo, Verde, Verde}, {Rojo, Verde, Azul}, [ACABA] {Rojo, Azul, Rojo}, {Rojo, Azul, Verde}, {Rojo, Azul, Azul}, {Verde, Rojo, Rojo}, {Verde, Rojo, Verde}, {Verde, Rojo, Azul}, {Verde, Verde, Rojo}, {Verde, Verde, Verde}, {Verde, Verde, Azul}, {Verde, Azul, Rojo}, {Verde, Azul, Verde}, {Verde, Azul, Azul}, {Azul, Rojo, Rojo}, {Azul, Rojo, Verde}, {Azul, Rojo, Azul}, {Azul, Verde, Rojo}, {Azul, Verde, Verde}, {Azul, Verde, Azul}, {Azul, Azul, Rojo}, {Azul, Azul, Verde}, {Azul, Azul, Azul}

Algoritmo BT:

SISTEMAS INTELI
Departamento de Lenguajes y Computacin Teora de Autmatas y Lenguajes Formales !"

ENTES

rado Ingeniera In#orm$tica %& de octu're de !(%%

Trashing
4. Qu diferencias encuentra entre GT y BT al resolver este problema? La diferencia, bajo mi punto de vista, radica en que GT genera todas las posibles asignaciones completas, para luego evaluarlas 1 a 1 hasta dar con la que satisfaga las restricciones. En cambio, BT, a pesar de disponer del problema del trashing, evala a la vez que avanza, lo que nos permite descartar caminos que violan las restricciones, comportndose as de una forma mas eficaz.

SISTEMAS INTELI
Departamento de Lenguajes y Computacin Teora de Autmatas y Lenguajes Formales !"

ENTES

rado Ingeniera In#orm$tica %& de octu're de !(%%

Anexo 1: