Métaheuristiques et satisfaction de contraintes

元启发式和约束满足

• 批准号: 251139-2006
• 负责人: Galinier, Philippe
• 金额: $ 1.31万
• 依托单位: École Polytechnique de Montréal
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2008
• 资助国家: 加拿大
• 起止时间: 2008-01-01 至 2009-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=394853
• 关键词: taheuristiques; et; satisfaction; de; contraintes

Le programme de recherche proposé vise à contribuer au développement des techniques d'optimisation appelées 'métaheuristiques'. Il s'agit de techniques de résolution qui visent à trouver des solutions approchées (non nécessairement optimales) pour des exemplaires de grande taille de problèmes difficiles (NP-difficiles). Une métaheuristique (par  exemple, la recherche avec tabou, le recuit simulé, l'algorithme génétique, etc.) constitue un schéma d'algorithme générique, c'est-à-dire applicable à de nombreux problèmes. Le programme de recherche proposé comporte les trois axes suivants. Le premier axe consiste à proposer de nouvelles métaheuristiques, à compléter et améliorer les techniques déjà connues, à les hybrider et à étudier leur comportement. Il se rapporte aussi à la manière d'adapter une métaheuristique à un problème particulier ou une famille donnée de problèmes : ceci concerne la définition de fonctions de voisinage pour le problème cible et la spécialisation des opérateurs de recherche (par exemple, les opérateurs de recombinaison dans un algorithme évolutionniste). Un des projets proposés consiste à étudier le problème de k-partitionnement de graphe. Le deuxième axe porte sur la résolution des problèmes de satisfaction de contraintes (CSP) à l'aide de méthodes de réparation. Il s'agit de techniques de recherche locale fondées sur la minimisation de pénalités attribuées pour la violation des contraintes et qui utilisent des voisinages simples. Nous poursuivrons le développement d'un système logiciel générique de résolution de CSP - bibliothèque en langage C++. Un autre projet consistera à approfondir et appliquer l'approche originale que nous avons proposée récemment et qui permet de détecter, dans un CSP irréalisable (sur-contraint), un sous-problème lui-même irréalisable mais 'minimal'. Le troisième axe porte sur l'utilisation de métaheuristiques pour la résolution d'applications dans le domaine des réseaux de télécommunications.

Le programme de recherche proposé vise à contributer Au dépement des technologies d'optimization appelées 'metaesthistiques'. Il s'agit de techniques de résolution qui visent à trouver des solutions approachées（non nécessairement optimales）pour des exemplaires de Problèmes difficiles（NP-difficiles）. Une metaesthistique（par aple，la recherche avec tabou，le recuit simulé，l'algorithme génétique，etc.）构成了一个通用算法的框架，它适用于许多问题。拟议的研究方案涉及三个方面。Le premier axe consiste à proposer de nouvelles metaesthistiques，à compléter et améliquiles techniques déjà connues，à les hybrider et à étudier muscle comportement. Il se rapporte aussi à la manière d'adapter une metaesthistique à un problème particulier ou une famille donnée de problèmes：ceci concerne la definition de fonctions de voispour le problème cible et la spécialisation des opéraesthesde recherche（par apple，les opéraesthesde recombinaison dans un algorithme évolutionniste）. Un des projets proposés consiste à étudier le problème de k-partitionnement de graphe. Le deuxième axe porte sur la résolution des problèmes de satisfaction de constraintes（CSP）à l'aide de methodes de réparation. Il s'agit de techniques de recherche locale fondées sur la minimisation de pénalités attributées pour la violation des constraintes et qui utilisent des voisinages simples. Nous poursuivrons le d'un système logiciel générique de résolution de CSP - bibliothèque en langage C++. Un autre projet consistera à approfondir et appliquer l 'approche originale que nous avons proposée récement et qui permet de détector，dans un CSP可实现（超约束），一个可实现迈斯可实现的问题。第三个重点是利用媒体解决电信网络领域的应用问题。