Algoritmos para CSP1

1. Tcnicas de Consistencia, o Inferenciales I. Inferencia, o consistencia completa Proceso que permite la sntesis de todas las restricciones de un problema en una nica restriccin global, las soluciones se obtienen directamente. El problema de la obtencin de esa restriccin global es que se trata de un problema exponencial. Una restriccin C puede verse como una relacin R (denotada por RA) sobre un conjunto de variables (o mbito) A. Esta relacin, RA, se compone de un conjunto de tuplas (t). una tupla t RA es una secuencia finita de valores, donde cada valor (o componente) corresponde a una variable de A. Operaciones sobre relaciones fundamentales: Proyeccin: dada una relacin RA, su proyeccin sobre un conjunto de restricciones B (B A), es una nueva relacin B(RA) formada por las tuplas de RA en donde se han eliminado las componentes de las variables en A-B. Join: Dadas dos relaciones RA y RB, su join RA || RB es una nueva relacin con mbito A B. Una tupla t pertenece a la nueva relacin, si y slo si, sus componentes corresponden a los de dos tuplas r RA y s RB, tales que r y s tienen los mismos componentes en las variables comunes A B.

Ejemplo: algoritmo ADC (Adaptive Consistency):

Algoritmo ADC

Descripcin detallada de los algoritmos en: http://ltcs.uned.es:8080/aepia/downloadArticulo.do?id=78

II. Inferencia, o consistencia incompleta Consistencia de nodos

Algoritmo NC-1

Consistencia de arcos

Algoritmo AC-3

Caractersticas bsicas del algoritmo: o Redes de restricciones binarias o Complejidad temporal O(ed3) o Q: contiene todas las restricciones binarias del problema en ambos sentidos o Funcin revise(i,j): elimina los valores inconsistentes, entre las variables (xi,xj), del dominio Di

 Consistencia de caminos (path consistency)

Algoritmo PC-2

Caractersticas bsicas del algoritmo: o Redes de restricciones binarias o Complejidad temporal O(n3d5) o Q: se inicializa con todos los posibles tringulos (i,j,k) de variables en la red de restricciones o Funcin revise3(i,j,k): garantiza la consistencia en el nodo intermedio entre las variables i, j

2. Tcnicas de Bsqueda I. Sistemtica: Backtracking Caractersticas bsicas del algoritmo: o Bsqueda en profundidad con retroceso o Cronolgico Caractersticas bsicas de la estrategia de bsqueda: o Completo, pero ineficiente o Estrategias inteligentes (look back, look ahead)

Algoritmo genrico BT

BT(i,Past): ndice i de la siguiente variable a asignar (variable actual), Past conjunto de variables ya asignadas. El algoritmo no especifica: el orden de las variables a seleccionar/asignar, el orden de los valores asignables a una determinada variable

II. Local Diversos mtodos: o Algoritmos genticos o Simulated annealing o Tabu search Caractersticas bsicas del algoritmo: o Funcin objetivo, o funcin de coste o Vecindad: conjuntos accesibles en la sig. Iteracin o Criterio seleccin: dada una vecindad y una f. de coste, cul es el siguiente estado a seleccionar Caractersticas bsicas de la estrategia de bsqueda: o Incompleta o Mnimos locales

Algoritmo genrico de bsqueda local

3. Tcnicas Hbridas (Inferencia + Bsqueda) I. Sistemtica + Inferencia incompleta BackJumping (BJ) Se trata de un algoritmo de tipo BT cronolgico modificado: o Bsqueda en profundidad o Algoritmo de tipo look-back o Cuando se encuentra una situacin sin salida (dead-end) para la variable xi, se salta a la variable ms profunda, o cercana, es decir en lugar de seleccionar xi-1, se selecciona aquella variable xj que est en conflicto con la variable actual, donde j<i

Forward Checking (FC)

Algoritmo FC

Caractersticas bsicas del algoritmo: o Bsqueda en profundidad o Algoritmo de tipo look-ahead o Comprobacin de consistencia en cada arco (para las variables ya asignadas)

o FC(i, Past, D): i variable actual, Past conjunto de variables pasadas (1..i-1), D = [Di,,Dn] conjunto de dominios del resto de variables o Tras asignar una variable se eliminan (temporalmente) de los dominios futuros los valores incompatibles con el asignado. o La funcin: realiza el proceso de arco consistencia sobre el conjunto de restricciones Ccf o NewD: almacena los dominios futuros

MAC (Maintaining Arc Consistency)

Algoritmo MAC

Caractersticas bsicas del algoritmo: o Algoritmo de tipo look-ahead o MAC(i,D): i variable actual, D = [D1,,Dn] conjunto de dominios o Inicialmente se copian los dominios recibidos en Dj o La funcin AC realiza la arco-consistencia para la variable actual (i), considerando a D = [D1,,Di-1, Di,,Dn] como los dominios actuales de las variables o NewD: almacena los dominios futuros o Mantiene la arco-consistencia en cada subproblema o Asignar una variable es equivalente a reducir su dominio a un nico valor

II. Sistemtica + Inferencia completa VES (Variable elimination search)

Algoritmo VES

Caractersticas bsicas del algoritmo: o Se trata de un algoritmo exponencial (tanto espacial como temporal) o Orden esttico de las variables o VES(S,k,P,F,E,D,C): S procedimiento de bsqueda, parmetro k (mx. anchura de la variable considerada), P variables pasadas, F variables futuras, E variables eliminadas, D conjunto de dominios actuales, C conjunto de restricciones actuales.

Bibliografa [1] Javier Larrosa, Pedro Meseguer. Algoritmos para Satisfaccin de Restricciones. Revista Iberoamericana de Inteligencia Artificial. Vol. 20, pp. 31- 42, 2003.