Symmetry-reinforced Nogood Recording from Restarts

dans le cadre de CP'11International audienceNogood recording from restarts is a form of lightweight learn- ing that combines nogood recording with a restart strategy. At the end of each run, nogoods are extracted from the current (rightmost) branch of the search tree. These nogoods can be used to prevent parts of the search space from being explored more than once. In this paper, we propose to reinforce nogood recording (from restarts) by exploiting symmetries: every time the solver has to be restarted, not only the nogoods that are extracted from the current branch are recorded, but also some additional nogoods that can be computed by means of the previously identi ed problem symmetries. This mechanism of computing symmetric nogoods can be iterated until a xed-point is reached, and controlled (if necessary) by limiting the number and/or the size of recorded nogoods

Lightweight Detection of Variable Symmetries for Constraint Satisfaction

International audienceIn this paper, we propose to automatically detect vari- able symmetries of CSP instances by computing for each constraint scope a partition exhibiting locally symmetric variables. From this local information obtained in polyno- mial time, we can build a so-called lsv-graph whose auto- morphisms correspond to (global) variable symmetries. In- terestingly enough, our approach allows us to disregard the representation (extension, intension, global) of constra ints. Besides, the size of the lsv-graph is linear with respect to the number of constraints (and their arity)

Abscon 112: towards more robustness

dans le cadre de CP'08International audienceThis paper describes the three main improvements made to the solver Abscon 109 [9]. The new version, Abscon 112, is able to automatically break some variable symmetries, infer allDifferent constraints from cliques of variables that are pair-wise irreexive, and use an optimized version of the STR (Simple Tabular Reduction) technique initially introduced by J. Ullmann for table constraints

Des symétries locales de variables aux symétries globales

National audienceDans cet article, nous proposons de détecter automatiquement les symétries de variables pour les instances CSP en calculant au préalable pour chaque contrainte une partition mettant en valeur les variables dites localement symétriques. A partir de cette information qui peut être obtenue en temps polynomial, nous pouvons alors construire un graphe (appelé lsvgraphe) dont les automorphismes correspondent aux symétries de variables (globales). De manière intéressante, notre approche permet de nous abstraire de la représentation (extension, intention, globale) des contraintes, tandis que la taille des lsv-graphes reste linéaire en fonction de la somme des arités des contraintes. Pour éliminer les symétries de variables, une approche classique consiste à poster des contraintes d'ordre lexicographique. Nous proposons ici un nouvel algorithme qui établit GAC sur de telles contraintes. Celui-ci est simple à implanter, adapté aux solveurs génériques tout en étant capable de gérer des variables partagées. Les résultats expérimentaux obtenus montrent la robustesse de cette approche dans son ensemble : appliquée à de nombreuses séries de problèmes, un nombre plus important d'instances sont résolues tandis que le temps observé pour l'identification (et l'exploitation) des symétries est négligeable

Propagation des contraintes tables souples Etude pr eliminaire

National audienceWCSP is a framework that has attracted a lot of at- tention during the last decade. In particular, there have been many developments of ltering approaches based on the concept of soft local consistencies such as node consistency (NC), arc consistency (AC), full directio- nal arc consistency (FDAC), existential directional arc consistency (EDAC), virtual arc consistency (VAC) and optimal soft arc consistency (OSAC). Almost all algo- rithms related to these properties have been introduced for binary weighted constraint networks, and most of the conducted experiments typically include constraint networks involving only binary and ternary constraints. In this paper, we focus on extensional soft constraints of large arity. We propose an algorithm to lter such constraints and embed it in PFC-MRDAC.Durant ces dix derni ères ann ées, de nombreuses études ont ét és r éalis ées pour le cadre WCSP (Weighted Constraint Satisfaction Problem). En particulier, ont ét é propos ées de nombreuses techniques de filtrage bas ées sur le concept de coh érence locale souple telle que la co- h érence de n oeud, et surtout la coh érence d'arc souple. Toutefois, la plupart de ces algorithmes ont ét és intro- duits pour le cas des contraintes binaires, et la plupart des exp érimentations ont ét és men ées sur des r éseaux de contraintes comportant uniquement des contraintes binaires et/ou ternaires. Dans cet article, nous nous in- t eressons aux contraintes tables souples de grande arit é. Nous proposons un premier algorithme pour filtrer ces contraintes et nous l'int égrons a PFC-MRDAC

Tables de transposition pour la satisfaction de contraintes

Dans ce papier, nous proposons une approche basée sur la reconnaissance d'états dans le cadre de la résolution du problème de satisfaction de contraintes (CSP). L'idée principale consiste en la mémorisation d'états pendant la recherche de manière à prévenir la résolution de sous-réseaux similaires. Les techniques classiques évitent la réapparition de conflits précédemment rencontrés en enregistrant des ensembles conflits (conflict sets). Ceci contraste avec notre approche basée sur les états qui mémorise des sous-réseaux déjà explorés, c'est à dire une photographie de certains domaines sélectionnés. Ces informations sont ensuite exploitées pour éviter soit le parcours d'états in consistants, soit de recalculer l'ensemble des solutions de ces sous-réseaux. Les deux approches présentent une certaine complémentarité : en effet différents états peuvent être évités à partir d'une même instantiation partielle ou ensemble conflits tandis que différentes instantiations partielles peuvent mener à un même état qui n'a besoin d'être exploré qu'une seule fois. De plus notre méthode permet de détecter et casser dynamiquement certaines formes de symétries (notamment l'interchangeabilité au voisinage). Les résultats expérimentaux obtenus laissent entrevoir des perspectives promette uses pour la recherche basée sur les états

Recherche dirigée par le dernier conflit

Dans ce papier, nous proposons une nouvelle approche pour guider la recherche vers la source des conflits. Son principe est le suivant : après chaque conflit, la dernière variable assignée est sélectionnée en priorité tant que le réseau de contraintes est inconsistant. Ceci permet de découvrir la variable coupable la plus récente (i.e. à l'origine de l'échec) en remontant la branche courante de la feuille vers la racine de l'arbre de recherche. Autrement dit, l'heuristique de choix de variables est violée jusqu'au moment où un retour-arrière sur la variable coupable est effectué et que l'on découvre une valeur singleton consistante. En conséquence, ce type de raisonnement, qui représente un moyen original d'éviter le thrashing, peut facilement être intégré à de nombreux algorithmes de recherche. Les expérimentations effectuées sur un large éventail d'instances démontrent l'efficacité de cette approche

Use of multi-sources 10-years quantitative precipitation estimation re-analyses in a lumped rainfall-runoff model

International audienceL'objectif principal de ce projet est de produire une base de donnée de référence couvrant une période de 10 ans pour l'estimation quantitative de lames d'eaux précipitées (LEP). L'objectif est d'utiliser de façon optimale l'ensemble des informations disponibles (radars, pluviomètres horaires et journaliers, données atellite....) afin d'obtenir la meilleure estimation possible de la pluie précipitée. La base de données résultante sera une série de LPE horaire, de 1km2, associée a une estimation des incertitudes sur l'ensemble du territoire français. Cela sera une référence commune pour les hydrologues, permettant des applications telles que le calage des paramètres de modèles, l'evaluation de la valeur ajoutée d'une entrée spatio-temporelle haute résolution pour les modèles hydrologiques ect... / This project main objective is to produce a 10-year reference database of Quantitative Precipitation Estimations (QPE). The objective is to make use optimally at any time of all the available information (radars, hourly and daily rain gauges, satellite data, etc) to obtain the best possible surface precipitation estimation. The resulting data base, will consist of hourly, 1km² gridded QPE and associated estimation uncertainties over the entire French territory. This will represent a common reference for hydrologists useful for various applications such as the calibration of the hydrological model parameters, the assessment of the the added value of high space-time resolution input for hydrological models, etc