Solution sampling with random table constraints - Archive ouverte HAL
Article Dans Une Revue Constraints Année : 2022

Solution sampling with random table constraints

Résumé

Constraint programming provides generic techniques to efficiently solve combinatorial problems. In this paper, we tackle the natural question of using constraint solvers to sample combinatorial problems in a generic way. We propose an algorithm, inspired from Meel's ApproxMC algorithm on SAT, to add hashing constraints to a CP model in order to split the search space into small cells. By uniformly sampling the solutions in one cell, we can generate random solutions without revamping the model of the problem. We ensure the randomness by introducing a new family of hashing constraints: randomly generated tables, which keeps the cost of the hashing process tractable. We implemented this solving method using the constraint solver Choco-solver. The quality of the randomness and the running time of our approach are experimentally compared to a random branching strategy. We show that our approach improves the randomness while being in the same order of magnitude in terms of running time. We also use our algorithm with an other, more powerful, set of hashing constraints: linear modular equalities. We experimentally show that the resulting sampling is uniform, at the cost of a longer running time.
Fichier principal
Vignette du fichier
Constraints_table_sampling.pdf (1.13 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03776149 , version 1 (14-09-2022)

Identifiants

Citer

Mathieu Vavrille, Charlotte Truchet, Charles Prud’homme. Solution sampling with random table constraints. Constraints, 2022, 27, pp.381-413. ⟨10.1007/s10601-022-09329-w⟩. ⟨hal-03776149⟩
88 Consultations
176 Téléchargements

Altmetric

Partager

More