如果您无法下载资料,请参考说明:
1、部分资料下载需要金币,请确保您的账户上有足够的金币
2、已购买过的文档,再次下载不重复扣费
3、资料包下载后请先用软件解压,在使用对应软件打开
SAT问题的定义k-SAT3-SAT完备性算法问题模型的转化问题模型的转化非完备性算法粒子群优化算法应用于3-SAT问题单纯用这种方法求解容易使f(pg)停留在某个很小的正整数而无法得到0这个解有可能在最优解的附近记当前所得f(pg)=c;若最优解存在的话,至多需要改变3c个变量的值将其余变量的值固定,对这几个变量使用局部随机搜索若仍无法达到最优解,则认为当前解为局部极小值,更新其余解伪代码伪代码一些拓展一些拓展一些拓展一些拓展结语ReferencesThanksforListening!