sat问题求解算法流程图_基于演化算法的SAT问题求解

基于演化算法的

SAT

问题求解

陈昊

【摘

要】

演化计算方法是近年来迅速发展起来的一种全新随机搜索和优化方法

.

首

先介绍了演化算法的基本原理

,

然后给出了基于演化思想求解著名逻辑学问题

--

布

尔可满足问题

(SAT)

的过程

,

最后分析了该方法的主要特点

.

【期刊名称】

《湖北大学学报(自然科学版)》

【年

(

卷

),

期】

2007(029)002

【总页数】

3

页

(P138-140)

【关键词】

演化计算

;NP

难

;

交叉

;

变异

【作

者】

陈昊

【作者单位】

湖北大学

,

数学与计算机科学学院

,

湖北

,

武汉

,430062

【正文语种】

中

文

【中图分类】

基础科学

【文献来源】

https://www.zhangqiaokeyan.com/academic-journal-cn_journal-hubei-

university-natural-science_thesis/0201249416149.html

第

2 9

卷第

2

期

湖北

大学学报(自然科学

版)

V ol.2 9 N o.2 20 0 7

年

6

月

Jo

u r n al o f H u b ei U m v e r sity( N a t u r al S ci e n c e ) Ju n.2 0 0 7 == =

= = = = = = = = =

一

== = = = = = = = = = = = = = = = = = = = = = = =

= = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = =