浅谈sat问题的判定.pptVIP

浅谈3-SAT问题 陈昕昀 SAT问题的定义 k-SAT 3-SAT 完备性算法 非完备性算法 一些拓展 完备性算法 根本思想:回溯法 优化: (1)优先确定短的子句中包含的变量的值 (2)优先确定在较多子句中出现的变量的值 问题模型的转化 问题模型的转化 将X中所有变量的一个赋值方案记为 a={a1,a2,…,an} 令 则原问题转化为判断上述函数最小值 能否达到0 非完备性算法 爬山法 模拟退火 遗传算法 …… 粒子群优化算法 J.?Kennedy,R. C. Eberhart(1995) 第i个粒子的状态用三元组(ai,vi,pi)表示 ai:当前解 vi:粒子运动速度 pi:该粒子达到过的最优解 应用于3-SAT问题 记ai=(xi1, xi2,…, xin) vi=(vi1,vi2,…, vin) (ai,vi,pi)的更新方式如下: 当sig(vij(t+1))≤r3时,xij(t+1)=0,反之为1 其中t为迭代次数,sig(x)=1/(1+e-x) ω∈(0,1),为惯性因子;c1,c2为事先确定的正常数 pg表示整个粒子群所达到过的最优解 r1,r2,r3为相互独立的(0,1)之间的随