基于回答集编程的Banks选举求解方法 (2013年)

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