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