用GA、SA实现3SAT问题的求解

时间:2015-10-10 06:33:49
【文件属性】:

文件名称:用GA、SA实现3SAT问题的求解

文件大小:180KB

文件格式:RAR

更新时间:2015-10-10 06:33:49

GA SA 3sat

模拟退火的方法求解3SAT问题; GA比起SA ,最大的优势在于对个初始解,而且存在杂交和变异,让SA具有非常强的跳出局部最优解的能力。而且简单通用,健壮性强。但是待定的参数很多,而且计算速度比较慢。选择,杂交,变异算子的选取也很关键 内含详尽的代码与报告说明


【文件预览】:
实验17
----GA求解3SAT()
--------input.txt(2KB)
--------GA求解3SAT报告.doc(115KB)
--------output.txt(2KB)
--------GA3SAT.cpp(5KB)
----SA求解3SAT()
--------input.txt(2KB)
--------SA求解3SAT报告.doc(111KB)
--------SA3Sat.cpp(3KB)

网友评论

  • 自带一组规模较小的输入输出数据,并附有简短的报告;代码不错,不过没有什么注释;算法方面确实实现了GA和SA,比较可惜没有写与之齐名的PSO,没有做其他的优化,代码风格还是不错的;效率方面对于规模较小、难度在3~4以下的合取范式速度较快,如果难度和规模稍有提升,速度明显下降,当然这也是整个世界亟待解决的问题。总的来说,写的不错,完整地传递了GA和SA的思想,值得刚刚接触NP近似计算的新手借鉴并学习!
  • 看过了。代码还是不错的。谢谢!
  • 思路不错,,,谢谢了。
  • 是用了GA,但是到测了自己的benchmar,有些数据还是很难收敛到最优
  • 代码有点粗糙。但是基本思想可以借鉴。