浅谈sat问题的判定.ppt
上传人:天马****23 上传时间:2024-09-11 格式:PPT 页数:19 大小:326KB 金币:10 举报 版权申诉
预览加载中,请您耐心等待几秒...

浅谈sat问题的判定.ppt

浅谈sat问题的判定.ppt

预览

免费试读已结束,剩余 9 页请下载文档后查看

10 金币

下载此文档

如果您无法下载资料,请参考说明:

1、部分资料下载需要金币,请确保您的账户上有足够的金币

2、已购买过的文档,再次下载不重复扣费

3、资料包下载后请先用软件解压,在使用对应软件打开

SAT问题的定义k-SAT3-SAT完备性算法问题模型的转化问题模型的转化非完备性算法粒子群优化算法应用于3-SAT问题单纯用这种方法求解容易使f(pg)停留在某个很小的正整数而无法得到0这个解有可能在最优解的附近记当前所得f(pg)=c;若最优解存在的话,至多需要改变3c个变量的值将其余变量的值固定,对这几个变量使用局部随机搜索若仍无法达到最优解,则认为当前解为局部极小值,更新其余解伪代码伪代码一些拓展一些拓展一些拓展一些拓展结语ReferencesThanksforListening!