TEMA 5

PROBLEMAS DE
SATISFACCIN DE
RESTRICCIONES

Guin
1.-Elementos de los P.S.R. : Variables, valores, dominios,
restricciones. Grafo de restricciones. Asignaciones parciales y
completas.
2.-Tipos de P.S.R.
3.-Los P.S.R. como problemas de bsqueda en espacios de
estados.
4.-Solucin incremental, bsqueda en profundidad con vuelta
atrs.
5.-Heursticas naturales en el mtodo de vuelta atrs : orden de
variables, de valores, propagacin de informacin a travs de
las restricciones, vuelta atrs inteligente. Consistencia de
arcos.
6.-Aprovechamiento de la estructura de los problemas.
7.- Bsqueda local: reparacin heurstica.

Bibliografa

Poole-Mackworth, cap.4, secs. 4.1-4.8

Nilsson, cap.11
Russell-Norvig, cap.5
Palma Mendez-Marn Morales, I.A.,
Mac-Graw Hill 2008, cap.10

1.-Elementos de los P.S.R

Un PSR viene dado por :
Variables {X1 ,X2 ,X3 ,Xn }
Un dominio Di asociado a cada variable,
conteniendo sus valores posibles.
Restricciones, {C1 , C2 , Ck } conjunto de
relaciones entre algunas variables que
expresa condiciones que deben cumplir las
variables. Las restricciones pueden
representarse en un grafo de restricciones
(nodos=variables, aristas=restricciones)

Soluciones (asignaciones)
Asignacin: atribucin de valor a una
variable, dentro de su
correspondiente dominio de modo
que se verifiquen las restricciones
Encontrar una solucin para un PSR
consiste en determinar una
asignacin completa, a todas las
variables, cumpliendo todas las
restricciones

2.-Tipos de P.S.R.
Por el tipo de dominio:
- discretos (finitos o infinitos)
- continuos
Por nmero de variables en las restricciones:
- binarias
- n-arias
. Por el tipo de restriccin:
- de obligado cumplimiento
- de preferencia

Ejemplos

Coloreado de mapas
N- reinas
SAT
Asignacin de tareas a operarios
Problemas criptoaritmticos

4 Los P.S.R. como problemas de

bsqueda en espacios de estados
Un PSR queda convertido de modo natural en un problema de bsqueda en espacio de
estados, resoluble de forma incremental si se toma:
- Como estados: las asignaciones parciales. Inicial=asignacin nula, meta=asignacin
completa
- Como transiciones entre estados : la asignacin a una variable an no asignada, hecha
respetando todas las restricciones
Peculiaridades (ventajosas):
- La formulacin es automtica, idntica para todos los PSR.
- No importa el orden de las variables en la asignacin.
- No importa el camino seguido
- No pueden aparecer estados repetidos en la bsqueda
- La profundidad es limitada: igual al nmero de variables
Solucin incremental: Es natural resolverlo por bsqueda en profundidad con vuelta atrs
cuando no se pueda seguir (cuando haya fallo), sin que sea necesario usar lista de
cerrados (algoritmo de backtracking)

5 Heursticas naturales en el
mtodo de vuelta atrs
En la resolucin incremental de PSR, que parece de
entrada una bsqueda desinformada, se pueden
considerar heursticas naturales (genricas), basadas slo
en la estructura del problema que mejoran su eficiencia:

Orden de asignacin a las variables.

Orden de los valores a asignar en cada dominio.
Propagacin de informacin mediante las
restricciones.
Orden adecuado en la vuelta atrs, cuando
haya que hacerla.
Aprovechamiento de la estructura del problema.

Orden en la asignacin a
variables
Heurstica: menos valores restantes
Conviene asignar antes a las
variables para las que menos valores
posibles queden
Heurstica mayor grado de
restricciones
Conviene asignar antes a las
variables con menor grado de
conexin en el grafo de restricciones.

Mtodo de reparacin
heurstica
En este mtodo no se sigue una tctica de asignacin
incremental, sino una de asignacin completa, que se va
corrigiendo progresivamente:

- Estados: asignaciones completas consistentes o no.

- Inicial: asignacin completa arbitraria.
- Transiciones: cambios de valor de alguna variable,
con la heurstica de disminuir el nmero de
conflictos (restricciones no satisfechas)

Reparacin heurstica
El mtodo consiste en
- empezar con una asignacin completa arbitraria, que constituira el nodo
inicial
-

examinar si es solucin ( todas las restricciones), en cuyo caso

presentarla y terminar

si no lo es, elegir una variable entre las que ms restricciones incumplan

, y generar los sucesores cambiando el valor de dicha variable por otro

elegir el sucesor que ms disminuya el nmero de incumplimientos

repetir el proceso hasta que no haya conflictos (estado solucin) o se

llegue a un lmite preestablecido del nmero de iteraciones, en cuyo
caso se presentara fallo

Incrementales frente a
reparacin
Los mtodos incrementales son completos
Reparacin heurstica no es completo, de hecho
ni siquiera podra detectar la ausencia de
soluciones
Reparacin heurstica es mucho menos costoso
computacionalmente, permitiendo resolver
problemas de mayor tamao
Reparacin heurstica permite cambiar las
restricciones dinmicamente, en el curso de la
ejecucin, lo que es muy importante en
problemas de planificacin en tiempo y espacio