Академический Документы
Профессиональный Документы
Культура Документы
satisfaccin de restricciones
Ezequiel Lpez Rubio y Enrique Domnguez
Departamento de Lenguajes y Ciencias de la Computacin
Universidad de Mlaga
Contenidos
4.1 Introduccin
4.2 Definicin del problema y ejemplos
4.3 Restricciones y consistencia
4.4 Vuelta atrs
4.5 Conclusin
4.1 INTRODUCCIN
4.1 Introduccin
Motivacin
4.1 Introduccin
Motivacin
Cada ao haba que planificar alrededor de 10.00030.000 observaciones, cada una con varias
restricciones operativas y cientficas
4.1 Introduccin
Representaciones factorizadas
T W
T W
O
O
O U
O+O=R+10C10
C10+W+W=U+10C100
C100+T+T=O+10C1000
C1000=F
4.3 RESTRICCIONES Y
CONSISTENCIA
Cada variable se
representa mediante un
nodo, y cada restriccin
binaria se representa con
un arco
Los recuadros
representan las
restricciones
globales
C1000
C100
C10
4.5 CONCLUSIN
4.5 Conclusin
Sumario
4.5 Conclusin
Eplogo