Location:
Search - 3sat
Search list
Description: 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
Platform: |
Size: 1785 |
Author: 自由人 |
Hits:
Description: 用模拟退火方法解决3SAT问题，里面的3sat.c就是源程序
Platform: |
Size: 10594 |
Author: liu |
Hits:
Description: 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
Platform: |
Size: 453547 |
Author: Goliath |
Hits:
Description: 著名的3SAT问题 用蒙特卡罗算法实现的！-famous 3SAT uses Monte Carlo algorithm!
Platform: |
Size: 992 |
Author: 王乐 |
Hits:
Description: 著名的3SAT问题 用蒙特卡罗算法实现的！-famous 3SAT uses Monte Carlo algorithm!
Platform: |
Size: 1024 |
Author: 王乐 |
Hits:
Description: 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
Platform: |
Size: 1024 |
Author: 自由人 |
Hits:
Description:
Platform: |
Size: 135168 |
Author: liu |
Hits:
Description: 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT-Published in 1971 Cook Cook theorem, to prove the first of the NPC problems: 3SAT
Platform: |
Size: 453632 |
Author: Goliath |
Hits:
Description: Proff of the NP-Completeness of the 3-SAT problem
Platform: |
Size: 92160 |
Author: besbatti |
Hits:
Description: 3sat验证程序，算法验证，计算机算法设计与分析课程-3sat verification process, algorithm verification, program design and analysis of computer algorithms
Platform: |
Size: 1024 |
Author: 汪超 |
Hits:
Description: 模拟退火求解 3SAT问题-模拟退火求解求解3SAT问题
Platform: |
Size: 88064 |
Author: JLH |
Hits:
Description: 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 of local optima. And simple generic, robust and strong. However, many parameters to be determined, and the calculation speed is slower. Selection, hybridization, mutation operator selection is also critical.
Platform: |
Size: 89088 |
Author: JLH |
Hits:
Description: 解决3sat经典问题的模板算法，可随问题的文法少做变更即可-the template for 2-SAT
Platform: |
Size: 21504 |
Author: acm |
Hits:
Description: 自己写的遗传算法测试程序,部分内容需要调试-Write their own genetic algorithm test program, part of the contents need to debug
Platform: |
Size: 526336 |
Author: lizj |
Hits:
Description: 使用模拟退火算法（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.
Platform: |
Size: 2048 |
Author: sjj |
Hits: