【高级算法】模拟退火算法解决3SAT问题(C++实现)

转载请注明出处：http://blog.csdn.net/zhoubin1992/article/details/46453761

------------------------------------------------------

1 SAT问题描述

命题逻辑中合取范式 (CNF)的可满足性问题 (SAT)是当代理论计算机科学的核心问题,是一典型的NP完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。

------------------------------------------------------

2  模拟退火算法

模拟退火算法来源于固体退火原理，将固体加温至充分高，再让其徐徐冷却，加温时，固体内部粒子随温升变为无序状，内能增大，而徐徐冷却