不耐烦PPSZ --求解CSP的一种快速算法
Impatient PPSZ -- a Faster algorithm for CSP
摘要：
PPSZ是已知的最快的算法（d，k）-CSP问题，对于大多数d和k值。它以随机顺序遍历变量，并将每个变量随机设置为d种颜色之一，不包括那些可以通过一次查看几个约束来排除的颜色。我们提出并分析了一个修改PPSZ：每当所有，但2种颜色可以排除一些变量，立即设置该变量随机剩下的颜色之一。我们表明，我们的新的“不耐烦PPSZ”优于PPSZ指数为所有k和所有d >= 3的公式与一个唯一的满意的分配。
英文摘要：
PPSZ is the fastest known algorithm for (d,k)-CSP problems, for most values of d and k. It goes through the variables in random order and sets each variable randomly to one of the d colors, excluding those colors that can be ruled out by looking at few constraints at a time. We propose and analyze a modification of PPSZ: whenever all but 2 colors can be ruled out for some variable, immediately set that variable randomly to one of the remaining colors. We show that our new "impatient PPSZ" outperforms PPSZ exponentially for all k and all d >= 3 on formulas with a unique satisfying assignment.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
