调查传播算法和蚁群算法相结合求解可满足性问题

布尔可满足性问题(boolcansatisfiabilityproblcm,sat)是逻辑学的一个基本问题，也是np-hard问题。调查传播算法((surveypropagation,sp)是求解sat的一种非常高效的算法，但sp在难解区域极易不收敛，或者出现错误赋值。将sp算法与蚁群算法结合，把sp算法得到的消息值应用到蚁群算法中来求解3-sat问题，使用这些消息值引导蚁群算法求解，并在算法中加入高效的局部搜索。新算法对于sp算法不收敛的一些实例也能很快找到解。