surveypropagation：一种求解sat的高效算法

surveypropagation是一种新生的sat(csp)算法。它基于统计物理的spinglass模型，针对具体问题进行纵览(survey)，从而极大地降低求解的复杂度。但sp算法在某些时候不收敛，或引导向错误的解。对此，g．parisi提出一种复杂回溯(backtrack)算法，而作者在sp中加入简单回溯，也使一部分此类问题得到解决。