Please enable JavaScript.
Coggle requires JavaScript to display documents.
Problemas de satisfacción de restricciones (Búsqueda con vuelta atrás…
Problemas de satisfacción de restricciones
Conjunto
Variables
Dominio no vacío de valores posibles
Restricciones
Subconjunto de variables
Formulación incremental
Estado inicial
Función sucesor
Test objetivo
Costo del camino
Dominios finitos
Búsqueda con vuelta atrás
Conmutatividad
No hay valor legal para asignar
MVR
Grado heurísico
Valor menos restringido
Comprobación hacia adelante
Mira c/variable no asignada
Propagación de restricciones
Implicaciones de una restricción
Arco consistente
Búsqueda local para problemas de satisfacción de
restricciones
Mínimo conflicto
Nuevo valor para variable
Estructura de los problemas
Estructura grafo restricciones
Tiempo lineal
Acondicionamiento de acorte
Descomposición en árbol