Soutenance de thèse de Mathieu Vavrillé

Mathieu Vavrillé, doctorant au sein de l’équipe TASC, présentera sa thèse intitulée :

« Trouver des Solutions Diverses en Programmation par Contraintes avec des Approches Probabilistes »

Elle aura lieu le 14.09.2023 à 14h, Salle 3, bâtiment 11, UFR Sciences & Techniques

Résumé : Dans cette thèse, je présente de nouvelles approches pour générer des solutions aléatoires ou diverses dans le cadre de la Programmation Par Contraintes (PPC). Utilisées comme outil d’aide à la décision, les solutions impactent les personnes : la planification d’employé·es, l’itinéraire des livreur·euses, les congés des soignant·es de garde. L’algorithme utilisé dans les solveurs de PPC est efficace, mais c’est un cadre rigide, qui renvoie des solutions basées sur des heuristiques de branchement qui peuvent être biaisées en faveur d’un espace de solution particulier. Les décideur·euses veulent aussi choisir entre plusieurs solutions, ces solutions doivent donc être diversifiées.
Mon travail s’appuie sur des outils probabilistes. Le hasard est utilisé pour briser la rigidité du backtrack-search des solveurs de PPC et pour trouver des solutions dans un ordre différent à présenter à l’utilisateur·ice. Pour ce faire, j’ai conçu TableSampling, un échantillonneur travaillant dans le cadre de la PPC, qui bénéficie ainsi de toutes les améliorations des solveurs de PPC (temps d’exécution, ou nouvelles contraintes).
Cependant, le caractère aléatoire n’est pas suffisant pour assurer la diversité. J’ai étudié et modifié des stratégies de recherche aléatoire pour générer des solutions diverses. La recherche peut ainsi être guidée vers des solutions dans des espaces intéressants.

Mots-clés : Programmation par Contraintes, Échantillonnage, Approche Probabiliste, Diversité, Solution

Abstract : In this thesis, I present new approaches to generate random or diverse solutions in the Constraint Programming (CP) framework. When used as a decision support tool, the solutions have an impact on people: the scheduling of employees, the route of delivery drivers, the day off for healthcare workers on rosters. The backtrack-search algorithm used in CP solvers is efficient, but it is also a rigid framework, returning solutions based on branching heuristics that may be biased towards a particular solution space. Furthermore, decision makers may also want to choose between multiple solutions, so these solutions should be diverse.
My work relies on probabilistic tools. Randomness is used to break the rigid backtrack-search of CP solvers and find solutions in a different order to present to a user. To do so, I designed TableSampling, a sampler working in the CP framework, that thus benefits from all the improvements in CP solvers (running time, or new constraints).
However, randomness alone is not sufficient to provide diversity. I studied and modified random search strategies to generate diverse solutions. The search can thus be guided to solutions in interesting spaces.

Keywords: Constraint Programming, Sampling, Probabilistic Approach, Diversity, Solution