Chapitre D'ouvrage Année : 2010

Unbiased statistics of a Constraint Satisfaction Problem - A controlled-bias generator

Résumé

We show that estimating the complexity (mean and distribution) of the instances of a fixed size Constraint Satisfaction Problem (CSP) can be very hard. We deal with the main two aspects of the problem: defining a measure of complexity and generating random unbiased instances. For the first problem, we rely on a general framework and a measure of complexity we presented at CISSE08. For the generation problem, we restrict our analysis to the Sudoku example and we provide a solution that also explains why it is so difficult.

Fichier principal
Vignette du fichier
Berthier-CSP-UStats-V4.pdf (255.67 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-00641955 , version 1 (17-11-2011)

Licence

Identifiants

Citer

Denis Berthier. Unbiased statistics of a Constraint Satisfaction Problem - A controlled-bias generator. Tarek Sobh; Khaled Elleithy. Innovations in Computing Sciences and Software Engineering, Springer Netherlands, pp.91-97, 2010, 978-90-481-9112-3. ⟨10.1007/978-90-481-9112-3⟩. ⟨hal-00641955⟩
1631 Consultations
607 Téléchargements

Altmetric

Partager

  • More