搜索资源列表
3SAT
- 对于给定的带权3-CNF,设计一个蒙特卡罗算法,使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
mycode
- 用模拟退火方法解决3SAT问题,里面的3sat.c就是源程序
040320173
- 著名的3SAT问题 用蒙特卡罗算法实现的!-famous 3SAT uses Monte Carlo algorithm!
3SAT-NP-Completeness
- Proff of the NP-Completeness of the 3-SAT problem
3SAT
- 3sat验证程序,算法验证,计算机算法设计与分析课程-3sat verification process, algorithm verification, program design and analysis of computer algorithms
3SAT
- 模拟退火求解 3SAT问题-模拟退火求解求解3SAT问题
3SAT
- GA比起SA ,最大的优势在于对个初始解,而且存在杂交和变异,让SA具有非常强的跳出局部最优解的能力。而且简单通用,健壮性强。但是待定的参数很多,而且计算速度比较慢。选择,杂交,变异算子的选取也很关键。-GA than SA, the biggest advantage of an initial solution, and there is hybridization and mutation, so that SA has a very strong ability to jump out
PKU-PS_3683-2-sat
- 解决3sat经典问题的模板算法,可随问题的文法少做变更即可-the template for 2-SAT
3SAT-TEST8
- 自己写的遗传算法测试程序,部分内容需要调试-Write their own genetic algorithm test program, part of the contents need to debug
3SAT(SA)
- 使用模拟退火算法(SA)解决3-SAT问题,程序中有详细注释,采用文件方式输入输出,数据规模可在程序中修改。-Using simulated annealing algorithm (SA) to solve the 3-SAT problem, the program has detailed notes, the use of input and output files, data scale can be modified in the program.
遗传算法计算框架
- 遗传算法计算框架,包含3SAT问题、旅行商问题和背包问题的解法,并可以通过已有的框架方便的开发出其他问题的解。