Utilisation des techniques de programmation par contraintes pour une implémentation rigoureuse et efficace de la réduction basée sur l'optimalité

Description

La réduction basé sur l'optimalité (ou RBO) est une technique qui a été proposée pour améliorer les algorithmes d'optimisation globale. Elle cherche à profiter des bornes connues du domaine de la fonction objectif pour tenter de réduire les bornes des domaines des variables et, ainsi, accélérer le processus de recherche d'un optimum global. Toutefois, l'algorithme de base de la RBO n'est pas sûr et peut donc rendre le processus de recherche de l'optimum global incomplet et l'empêcher Récemment, Kearfott a proposé une implémentation sûre de la RBO. Malheureusement, son approche souffre de certaines limitations et est relativement lente. Dans cet article, nous montrons comment les techniques de filtrage des CSPs peuvent être avantageusement utilisées pour implémenter la RBO de manière sûre et efficace.

Additional details