模拟退火的方法求解3SAT问题; GA比起SA ,最大的优势在于对个初始解,而且存在杂交和变异,让SA具有非常强的跳出局部最优解的能力。而且简单通用,健壮性强。但是待定的参数很多,而且计算速度比较慢。选择,杂交,变异算子的选取也很关键 内含详尽的代码与报告说明
2022-04-18 14:10:53 180KB GA SA 3sat
1
里面包含了13组数据,来测试自己的速度,数据格式里面有解释。
2021-04-19 14:52:17 15KB 3sat benchmark 测试数据 3CNF
1