约束满足问题中的抽取流
Decimation flows in constraint satisfaction problems
摘要：
我们研究了硬约束满足问题的抽取方法的消息传递算法的基础上。抽取在问题空间中产生了一个重正化流，我们利用了这个流将一些约束转换为GF（2）上的线性约束的事实。特别地，当流遇到线性问题的子空间时，可以停止抽取并使用高斯消除。我们引入了一个新的抽取算法，它使用这种线性结构，并显示出强烈的改进性能相对于通常的抽取方法的一些最难锁定的占领问题。
英文摘要：
We study hard constraint satisfaction problems with a decimation approach based on message passing algorithms. Decimation induces a renormalization flow in the space of problems, and we exploit the fact that this flow transforms some of the constraints into linear constraints over GF(2). In particular, when the flow hits the subspace of linear problems, one can stop decimation and use Gaussian elimination. We introduce a new decimation algorithm which uses this linear structure and shows a strongly improved performance with respect to the usual decimation methods on some of the hardest locked occupation problems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
