PPZ 算法用于多于两个真值——约束满足问题的一种算法
数据结构与算法
2010-10-28 v1
摘要
我们分析了所谓的 ppz 算法，用于一般 d（变量可取值的数量）和 k（每个约束的字面量数量）值的 (d,k)-CSP 问题。为了分析其成功概率，我们证明了子模函数的一个相关性不等式。
引用
@article{arxiv.1010.5717,
title = {PPZ For More Than Two Truth Values - An Algorithm for Constraint Satisfaction Problems},
author = {Dominik Scheder},
journal= {arXiv preprint arXiv:1010.5717},
year = {2010}
}
备注
18 pages