基于回答集编程的Banks选举求解方法

• 作者: 柯万添 赖博先 赖河蒗 陈红英
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 回答集编程 Banks选举 计算复杂度 求解器 启发式算法 最大传递子图
• 年，卷（期）: 2013,（8）
• 所属期刊栏目: 人工智能及识别技术
• 页码范围: 266-269
• 页数: 4页
• 分类号: TP18
• 字数: 5102字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2013.08.058

摘要

采用启发式算法的Banks选举在进行求解时执行效率较低.为解决该问题,提出一种基于回答集编程(ASP)的求解方法.通过建立Banks选举问题到ASP问题的映射,编写相对应的ASP,调用回答集求解器进行求解,得到的每一个ASP模型就是Banks选举问题的一个解.实验结果表明,当问题规模为200时,该方法的求解时间为4.196 s,求解效率高于手工启发式方法.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈红英	华南师范大学计算机学院	19	71	6.0	7.0
2	赖河蒗	华南师范大学计算机学院	1	1	1.0	1.0
3	赖博先	华南师范大学计算机学院	1	1	1.0	1.0
4	柯万添	华南师范大学计算机学院	1	1	1.0	1.0