摘要：
##谓词逻辑与归结原理的一些概念题 答案均取自网络或是书本的理解修改整理 ####什么是合取范式和析取范式？ 合取范式：仅由有限个简单析取式构成的合取式称为合取范式，即单元子句、单元子句的或的与 析取范式：仅由有限个简单析取式构成的析取式称为析取范式，即单元子句、单元子句的与的或 关于判断的话，简单 阅读全文
摘要：
##模拟退火 Simulated annealing 看看有空把图片完善一下好了 ###模拟退火算法的一些背景 既然要说模拟退火算法，就应该说一下模拟退火算法的背景，模拟退火算法是局部搜索算法的一种扩展，该算法的思想最早由Metropolis在1953年提出，然后又由其他人在1983年成功将模拟退火 阅读全文