| 基于遗传和模拟退火算法求解3-SAT问题; 3-SAT Problem Solving Based on Genetic and Simulated Annealing Algorithm | |
| 饶丽丽 ; 张东站 | |
| 2012 | |
| 关键词 | SAT Johnson算法 遗传算法 模拟退火算法 SAT Johnson Algorithm Genetic Algorithm Simulated Annealing Algorithm |
| 英文摘要 | 命题逻辑公式的Cnf范式的可满足性问题(SAT)是计算机科学的非常重要的核心问题,能否快速求解SAT问题是目前的研究热点之一。介绍JOHnSOn算法、遗传算法和模拟退火算法,比较三种算法的特性,提出综合gA、SA算法优点的一种混合遗传和模拟退火算法的思想。数值计算结果表明,相对于JOHnSOn算法,采用启发式(SA、gA)算法可以显著地提高3-SAT问题解的质量和求解速度。; Satisfiability problems(SAT) is a very important core problem in computer science,whether it can quickly solve problems of the current study is one of the research hot spots.Introduces the Johnson algorithm,genetic algorithm and simulated annealing algorithm,and compares the characteristics of the three algorithms.Puts forward a hybrid genetic and simulated annealing algorithm based on the merits of the comprehensive GA,SA algorithm.Numerical results show that,compared with Johnson algorithm,using heuristic(SA,GA) algorithm can significantly improve the quality and speed of 3-SAT problem solution. |
| 语种 | zh_CN |
| 内容类型 | 期刊论文 |
| 源URL | [http://dspace.xmu.edu.cn/handle/2288/122910]  |
| 专题 | 信息技术－已发表论文 |
| 推荐引用方式 GB/T 7714 | 饶丽丽,张东站. 基于遗传和模拟退火算法求解3-SAT问题, 3-SAT Problem Solving Based on Genetic and Simulated Annealing Algorithm[J],2012. |
| APA | 饶丽丽,&张东站.(2012).基于遗传和模拟退火算法求解3-SAT问题.. |
| MLA | 饶丽丽,et al."基于遗传和模拟退火算法求解3-SAT问题".(2012). |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论