Search - 3sat - CodeBus

Search - 3sat - List

[Other resource] 3SAT DL : 0: 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
Update : 2008-10-13 Size : 1.74kb Publisher : 自由人
[Other resource] mycode DL : 0: 用模拟退火方法解决3SAT问题，里面的3sat.c就是源程序
Update : 2008-10-13 Size : 10.35kb Publisher : liu
[Other resource] cook_theorem DL : 0: 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT
Update : 2008-10-13 Size : 442.92kb Publisher : Goliath
[Mathimatics-Numerical algorithms] 040320173 DL : 0: 著名的3SAT问题用蒙特卡罗算法实现的！-famous 3SAT uses Monte Carlo algorithm!
Update : 2008-10-13 Size : 992byte Publisher : 王乐
[Mathimatics-Numerical algorithms] 040320173 DL : 0: 著名的3SAT问题用蒙特卡罗算法实现的！-famous 3SAT uses Monte Carlo algorithm!
Update : 2025-02-17 Size : 1kb Publisher : 王乐
[Data structs] 3SAT DL : 0: 对于给定的带权3-CNF，设计一个蒙特卡罗算法，使其权值之和尽可能大-regard to the right to bring 3-CNF, a Monte Carlo algorithm design, make it the right value and the greatest possible
Update : 2025-02-17 Size : 1kb Publisher : 自由人
[AI-NN-PR] mycode DL : 0: Update : 2025-02-17 Size : 132kb Publisher : liu
[Other] cook_theorem DL : 0: 1971年Cook发表的库克定理,证明了第一的NPC问题:3SAT-Published in 1971 Cook Cook theorem, to prove the first of the NPC problems: 3SAT
Update : 2025-02-17 Size : 443kb Publisher : Goliath
[Industry research] 3SAT-NP-Completeness DL : 0: Proff of the NP-Completeness of the 3-SAT problem
Update : 2025-02-17 Size : 90kb Publisher : besbatti
[Data structs] 3SAT DL : 0: 3sat验证程序，算法验证，计算机算法设计与分析课程-3sat verification process, algorithm verification, program design and analysis of computer algorithms
Update : 2025-02-17 Size : 1kb Publisher : 汪超
[AI-NN-PR] 3SAT DL : 0: 模拟退火求解 3SAT问题-模拟退火求解求解3SAT问题
Update : 2025-02-17 Size : 86kb Publisher : JLH
[AI-NN-PR] 3SAT DL : 0: 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.
Update : 2025-02-17 Size : 87kb Publisher : JLH
[Mathimatics-Numerical algorithms] PKU-PS_3683-2-sat DL : 0: 解决3sat经典问题的模板算法，可随问题的文法少做变更即可-the template for 2-SAT
Update : 2025-02-17 Size : 21kb Publisher : acm
[Other] 3SAT-TEST8 DL : 0: 自己写的遗传算法测试程序,部分内容需要调试-Write their own genetic algorithm test program, part of the contents need to debug
Update : 2025-02-17 Size : 514kb Publisher : lizj
[Algorithm] 3SAT(SA) DL : 0: 使用模拟退火算法（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.
Update : 2025-02-17 Size : 2kb Publisher : sjj