Muestra las diferencias entre dos versiones de la página.
— |
materias:programacion_por_restricciones [2015/12/09 11:57] (actual) laura.triana creado |
||
---|---|---|---|
Línea 1: | Línea 1: | ||
+ | ======Programación por Restricciones====== | ||
+ | |||
+ | =====Objetivos===== | ||
+ | |||
+ | El estudiante que completa este curso está calificado para: | ||
+ | • Entender y aplicar técnicas para solucionar problemas de satisfacción de restricciones (CSP) | ||
+ | • Resolver problemas de mediana complejidad que involucran CSP | ||
+ | • Entender y explicar los fundamentos de los modelos y lenguajes para la solución de restricciones | ||
+ | • Identificar clases de problemas en los que la programación de restricciones puede aplicarse exitosamente | ||
+ | • Modelar problemas de mediana complejidad mediante restricciones y expresar estos modelos en un lenguaje de programación apropiado, incluyendo estrategias de búsqueda | ||
+ | • Conocer áreas de aplicación en la industria de la programación de restricciones | ||
+ | |||
+ | =====Contenidos===== | ||
+ | |||
+ | 1. Restricciones y dominios | ||
+ | 2. Problemas de satisfacción de restricciones (CSP). | ||
+ | 3. Modelos y lenguaje para programación de restrcciones. | ||
+ | 4. La noción de “propagador”. Propiedades, corrección, propagadores globales. | ||
+ | 5. Métodos y técnicas para solución de restricciones (propagación, consistencia, relajación, optimización, búsqueda, restricciones globales) | ||
+ | 6. Técnicas y estrategia de búsqueda: primera falla, mínimo ancho de banda, expandir-acotar. | ||
+ | 7. Modelamiento de un p0roblema y su solución. | ||
+ | 8. Aplicaciones a diferentes clases de problemas (e.g.planteamiento, “scheduling”, asignación de recursos, logística, optimización) | ||
+ | |||
+ | |||
+ | =====Bibliografía===== | ||
+ | |||
+ | • K. Apt. Principles of Constraint Programming. Cambridge University Press. 2003 | ||
+ | • Rina Dechter. Constraint Processing. Morgan Kaufmann, 2004 | ||
+ | • F Rossi, P. Van Beek, T. Walsh (eds). Handbook of Constraint Programming. Elsevier 2006. | ||
+ | • Kim Marriott, Peter J. Stuckey. Programming with Constraints. An Introduction. MIT Press. 1998. | ||
+ | • P.Van Hentenryck. The OPL Optimization Programming Language. The MIT Press, 1999. | ||
+ | • P.Van Hentenryck, L. Michel and Y. Deville. Numerica A Modeling Language for Global Optimization, The MIT Press. 1997 | ||
+ | |||
+ | |||
+ | |||