节点文献

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

Banks Election Solving Method Based on Answer Set Programming

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具,请取消加速工具后下载。

【作者】 赖河蒗陈红英赖博先柯万添

【Author】 LAI He-lang,CHEN Hong-ying,LAI Bo-xian,KE Wan-tian(School of Computer,South China Normal University,Guangzhou 510631,China)

【机构】 华南师范大学计算机学院

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

【Abstract】 Banks election using a heuristic algorithm has the problem that the efficiency is low in the implementation,so this paper proposes a solving method based on Answer Set Programming(ASP).It establishes the mapping from Banks election problem to the ASP problem,writes the corresponding ASP,calls the answer set solver to solve,and each ASP model obtained is a solution of the Banks election problem.Experimental results show that when the problem size is 200,the solving time of this method is 4.196 s,solving efficiency is better than that of manual heuristic method.

【基金】 国家自然科学基金资助项目(61173010)
  • 【文献出处】 计算机工程 ,Computer Engineering , 编辑部邮箱 ,2013年08期
  • 【分类号】TP301.6
  • 【被引频次】1
  • 【下载频次】82
节点文献中: 

本文链接的文献网络图示:

本文的引文网络