Exploiting problem structure for solution counting - INRAE - Institut national de recherche pour l’agriculture, l’alimentation et l’environnement Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Exploiting problem structure for solution counting

Résumé

This paper deals with the challenging problem of counting the number of solutions of a CSP, denoted #CSP. Recent progress have been made using search methods, such as BTD [15], which exploit the constraint graph structure in order to solve CSPs. We propose to adapt BTD for solving the #CSP problem. The resulting exact counting method has a worst-case time complexity exponential in a specific graph parameter, called tree-width. For problems with sparse constraint graphs but large tree-width, we propose an iterative method which approximates the number of solutions by solving a partition of the set of constraints into a collection of partial chordal subgraphs. Its time complexity is exponential in the maximum clique size - the clique number - of the original problem, which can be much smaller than its tree-width. Experiments on CSP and SAT benchmarks shows the practical efficiency of our proposed approaches.

Dates et versions

hal-02754934 , version 1 (03-06-2020)

Identifiants

Citer

Aurélie Favier, Simon de Givry, Philippe Jégou. Exploiting problem structure for solution counting. 15th International Conference on Principles and Practice of Constraint Programming, Sep 2009, Lisbonne, Portugal. 841p., ⟨10.1007/978-3-642-04244-7_27⟩. ⟨hal-02754934⟩
4 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More