一种可满足模理论的拟物优化求解算法

• 作者: 卢道设
• 来源期刊: 福建电脑
• 关键词: 拟物拟人算法 可满足模理论 萤火虫优化算法 SAT 最优化算法
• 年，卷（期）: 2021,（7）
• 所属期刊栏目: 论著|Research Articles
• 页码范围: 23-26
• 页数: 4页
• 分类号: TP391
• 语种: 中文
• DOI: 10.16707/j.cnki.fjpc.2021.07.005

摘要

为了研究改善可满足性模理论的求解效率,本文基于拟物方法结合萤火虫优化算法,设计出新的优化求解方案.实验结果表明,使用萤火虫优化算法求解可满足性问题在特定应用案例上效果显著,基于Benchmarks(可满足模理论求解器公开基准测试案例库)的基准测试案例中求解效率平均比纯拟物拟人算法上提高至少10％的性能.基于拟物方法结合最优化算法在特定领域的可满足性求解算法不仅容易实现,同时能有效提高求解效率.