基于遗传和模拟退火算法求解3-SAT问题

3-SAT Problem Solving Based on Genetic and Simulated Annealing Algorithm

命题逻辑公式的CNF范式的可满足性问题(SAT)是计算机科学的非常重要的核心问题,能否快速求解SAT问题是目前的研究热点之一。介绍Johnson算法、遗传算法和模拟退火算法,比较三种算法的特性,提出综合GA、SA算法优点的一种混合遗传和模拟退火算法的思想。数值计算结果表明,相对于Johnson算法,采用启发式(SA、GA)算法可以显著地提高3-SAT问题解的质量和求解速度。

Through the analysis of the characteristics of students in independent college, lists the comprehensive training problems existed in practical teaching. Proposes project oriented, task driven teaching mode of computer course and through the practical application to realize the teaching goals that cultivating applied talents.