%0 Journal Article
%T 调查传播算法和蚁群算法相结合求解可满足性问题
%A 王 芙
%A 周育人
%A 叶 立？
%J 计算机科学
%D 2012
%X 布尔可满足性问题(boolcansatisfiabilityproblcm,sat)是逻辑学的一个基本问题，也是np-hard问题。调查传播算法((surveypropagation,sp)是求解sat的一种非常高效的算法，但sp在难解区域极易不收敛，或者出现错误赋值。将sp算法与蚁群算法结合，把sp算法得到的消息值应用到蚁群算法中来求解3-sat问题，使用这些消息值引导蚁群算法求解，并在算法中加入高效的局部搜索。新算法对于sp算法不收敛的一些实例也能很快找到解。
%K 调查传播算法
%K 难解区域
%K 蚁群算法
%K 局部搜索
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=120453&flag=1