首页> 中文期刊>中山大学学报（自然科学版） >基于离散Lagrange方法的分布式SAT问题求解

基于离散Lagrange方法的分布式SAT问题求解

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

基于对离散lagrange方法(DLM)的扩充,提出一个分布式SAT求解算法:EDLMSAT.求解过程中,单个Agent的行为由预先定义的EDLM规则所决定,这些局部的行为聚集起来,形成整个系统对问题的求解趋势.设计了一些对3-SAT基准问题的模拟实验,实验结果表明了这个算法良好的求解性能.

著录项

来源
《中山大学学报（自然科学版）》|2003年第6期|8-1018|共4页
作者
唐屹;
展开▼
作者单位

中山大学数学系,广东,广州,510275//广州大学数学系,广东,广州,510405;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工智能理论;
关键词
离散Lagrange方法; 分布式问题求解; 可满足性问题;

相似文献

中文文献
外文文献
专利

1. 并行计算:提高SAT问题求解效率的有效方法 [J] . 金人超 ,黄文奇 . 软件学报 . 2000,第003期
2. 一种基于离散蛙跳算法的旅行商问题求解方法 [J] . 王亚敏 ,潘全科 ,张振领 . 聊城大学学报（自然科学版） . 2009,第001期
3. 两种新的基于扩展规则#SAT问题求解算法 [J] . 吕帅 ,张桐搏 ,王强 . 东北大学学报（自然科学版） . 2019,第005期
4. 基于混合蚁群遗传算法的SAT问题求解 [J] . 王立冬 ,王楠 ,余军 . 大连民族学院学报 . 2017,第003期
5. 基于混合蚁群遗传算法的SAT问题求解 [J] . 王立冬12 ,王楠1 ,余军2 . 大连民族大学学报 . 2017,第003期
6. 基于对象的分布式问题求解 [C] . 王振宇 . 第三届全国机器学习研讨会 . 1991
7. 基于膜创生膜系统的3-SAT及AT问题求解方法 [A] . 王中玉 . 2013

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号