约束满足问题的无偏统计——一种受控偏差生成器
人工智能
2015-06-03 v1
摘要
我们表明，估计固定规模约束满足问题（CSP）实例的复杂度（均值与分布）可能非常困难。我们处理该问题的两个主要方面：定义复杂度度量与生成随机无偏实例。对于第一个问题，我们依赖于一个通用框架以及我们在 CISSE08 上提出的一种复杂度度量。对于生成问题，我们将分析限定于数独示例，并给出一个解决方案，同时也解释了为何该问题如此困难。
引用
@article{arxiv.1111.4083,
title = {Unbiased Statistics of a CSP - A Controlled-Bias Generator},
author = {Denis Berthier},
journal= {arXiv preprint arXiv:1111.4083},
year = {2015}
}