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

• 作者: 唐屹
• 来源期刊: 中山大学学报(自然科学版)
• 学科: 工学
• 关键词: 离散Lagrange方法 分布式问题求解 可满足性问题
• 年，卷（期）: 2003,（6）
• 页码范围: 8-10,18
• 页数: 4页
• 分类号: TP18
• 字数: 2834字
• 语种: 中文
• DOI: 10.3321/j.issn:0529-6579.2003.06.003

摘要

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