Exploitation de la monotonie des fonctions dans la propagation de contraintes sur intervalles

IGNACIO DANIEL ARAYA ZAMORANO, Gilles Trombettoni, Bertrand Neveu

Resultado de la investigación: Contribución a una conferenciaArtículorevisión exhaustiva

1 Cita (Scopus)

Resumen

We propose a new interval constraint propagation algorithm, called MOnotonic Hull Consistency (Mohc), that exploits monotonicity of functions. The propagation is standard, but the Mohc-Revise procedure, used to filter/contract the variable domains w.r.t. an individual constraint, uses monotonic versions of the classical HC4- Revise and BoxNarrow procedures. Mohc-Revise appears to be the first adaptive re- vise procedure ever proposed in constraint program- ming. Also, when a function is monotonic w.r.t. every variable, Mohc-Revise is proven to compute the optimal/sharpest box enclosing all the solutions of the corresponding constraint (hull consistency). Very promising experimental results suggest that Mohc has the potential to become an alternative to the state-of-the-art HC4 and Box algorithms.

Título traducido de la contribuciónExploitation of the monotony of functions in interval constraint propagation
Idioma originalFrancés
Páginas23-31
Número de páginas9
EstadoPublicada - 1 dic 2010
EventoSixiemes Journees Francophones de Programmation par Contraintes, JFPC 2010 - 6th French Speaking Conference on Constraint Programming, JFPC 2010 - Caen, Francia
Duración: 9 jun 201011 jun 2010

Conferencia

Conferencia
PaísFrancia
CiudadCaen
Período9/06/1011/06/10

Citar esto