模拟退火的方法求解3SAT问题;
GA比起SA ，最大的优势在于对个初始解，而且存在杂交和变异，让SA具有非常强的跳出局部最优解的能力。而且简单通用，健壮性强。但是待定的参数很多，而且计算速度比较慢。选择，杂交，变异算子的选取也很关键
内含详尽的代码与报告说明
2022-04-18 14:10:53
180KB
1
SAT 问题的 DP 并行算法采用master-slaver的策略。由主进程维护一个队列，首先给所有从进程分发一个任务，然后不断从从从进程取出任务并判断是否分发新任务，直至任务结束。
2021-12-14 16:09:20
310KB
1
SAT问题也称为合取范式的可满足问题，一个合取范式形如：A1∧A2∧…∧An，子句Ai（1≤i≤n）形如：a1∨a2∨…∨ak，其中，ai称为文字，为某一布尔变量或该布尔变量的非。SAT问题是指：是否存在一组对所有布尔变量的赋值（TRUE或FALSE），使得整个合取范式取值为真。
2021-10-27 23:50:40
564KB
1
行业分类-外包设计-行业分类-产品外包-SAT问题求解外包过程中的CNF公式数据保护方法.zip.zip
2021-09-02 18:05:36
1.45MB
华中科技大学计算机学院，程序设计综合课程，基于sat的二进制数独游戏求解程序，包括实验报告，源代码，部分求解结果，程序简单操作手册。
2021-02-26 11:21:14
1.76MB
1