Impatient PPSZ——一种更快的CSP算法
数据结构与算法
2021-09-08 v1
摘要
PPSZ是已知最快的（d,k）-CSP问题算法，适用于大多数d和k值。它按随机顺序遍历变量，并将每个变量随机赋为d种颜色之一，排除那些通过一次查看少量约束即可排除的颜色。我们提出并分析了PPSZ的一种改进：每当某个变量的颜色除2种外均可被排除时，立即将该变量随机赋为剩余颜色之一。我们表明，对于具有唯一满足赋值的公式，我们的新“impatient PPSZ”在所有k和所有d >= 3上均以指数级优于PPSZ。
引用
@article{arxiv.2109.02795,
title = {Impatient PPSZ -- a Faster algorithm for CSP},
author = {Shibo Li and Dominik Scheder},
journal= {arXiv preprint arXiv:2109.02795},
year = {2021}
}