Unbiased Statistics of a CSP - A Controlled-Bias Generator

Abstract : 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.
Type de document :
Chapitre d'ouvrage
Khaled Elleithy. Innovations in Computing Sciences and Software Engineering, Springer, pp.165-170, 2010


https://hal.archives-ouvertes.fr/hal-00641955
Contributeur : Denis Berthier <>
Soumis le : jeudi 17 novembre 2011 - 07:39:38
Dernière modification le : jeudi 17 novembre 2011 - 14:15:30
Document(s) archivé(s) le : samedi 18 février 2012 - 02:30:17

Fichiers

Berthier-CSP-UStats-V4.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00641955, version 1
  • ARXIV : 1111.4083

Collections

Citation

Denis Berthier. Unbiased Statistics of a CSP - A Controlled-Bias Generator. Khaled Elleithy. Innovations in Computing Sciences and Software Engineering, Springer, pp.165-170, 2010. <hal-00641955>

Exporter

Partager

Métriques

Consultations de
la notice

815

Téléchargements du document

102