 |
|
|
|
| HAL : hal-00140032, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| 4th International Conference, CPAIOR 2007, Brussels : Belgique (2007) |
|
|
|
|
| YIELDS: A Yet Improved Limited Discrepancy Search for CSPs |
|
|
| Wafa Karoui 1, 2Marie-José Huguet 1 |
|
|
| (23/05/2007) |
|
|
|
| In this paper, we introduce a Yet ImprovEd Limited Discrepancy Search (YIELDS), a complete algorithm for solving Constraint Satisfaction Problems. As indicated in its name, YIELDS is an improved version of Limited Discrepancy Search (LDS). It integrates constraint propagation and variable order learning. The learning scheme, which is the main contribution of this paper, takes benefit from failures encountered during search in order to enhance the efficiency of variable ordering heuristic. As a result, we obtain a search which needs less discrepancies than LDS to find a solution or to state a problem is intractable. This method is then less redundant than LDS. The efficiency of YIELDS is experimentally validated, comparing it with several solving algorithms: Depth-bounded Discrepancy Search, Forward Checking, and Maintaining Arc-Consistency. Experiments carried out on randomly generated binary CSPs and real problems clearly indicate that YIELDS often outperforms the algorithms with which it is compared, especially for tractable problems. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'analyse et d'architecture des systèmes (LAAS) |
|
|
|
CNRS : UPR8001 – Université Paul Sabatier - Toulouse III – Institut National Polytechnique de Toulouse - INPT – Institut National des Sciences Appliquées de Toulouse |
|
|
| 2 : | Unité Recherche Opérationnelle pour l'Industrie (ROI) |
|
|
|
Ecole Polytechnique de Tunisie |
|
|
| 3 : | Université de Monastir |
|
|
|
Université de Monastir |
|
|
|
|
|
|
|
|
|
| MOGISA |
|
|
|
|
| Domaine | : | Informatique/Intelligence artificielle Informatique/Recherche opérationnelle |
|
|
| Discrepancy search – CSP – heuristics – learning mechanisms – constraint propagation |
|
|
|
| Liste des fichiers attachés à ce document : | |||||
|
|||||
|
|
|
| hal-00140032, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00140032 | |
| oai:hal.archives-ouvertes.fr:hal-00140032 | |
| Contributeur : Pierre Lopez | |
| Soumis le : Mercredi 4 Avril 2007, 16:02:23 | |
| Dernière modification le : Vendredi 21 Septembre 2007, 15:36:27 | |
