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.

DNI:

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?