基于答案集编程的有界组合重配置
人工智能
2023-07-21 v1
摘要
我们开发了一种称为有界组合重配置的方法，用于基于答案集编程（ASP）求解组合重配置问题。其一般任务是研究源组合问题的解空间，并判定是否存在具有特殊性质的可行解序列。由此得到的 recongo 求解器覆盖了最近国际组合重配置竞赛（CoRe Challenge 2022）中求解器赛道的所有度量。recongo 在单引擎求解器赛道的最短度量中排名第一。本文中，我们介绍了有界组合重配置的设计与实现，并给出了独立集重配置问题（最受关注的组合重配置问题之一）的 ASP 编码。最后，我们给出了针对 CoRe Challenge 2022 全部实例的实证分析。
引用
@article{arxiv.2307.10688,
title = {Bounded Combinatorial Reconfiguration with Answer Set Programming},
author = {Yuya Yamada and Mutsunori Banbara and Katsumi Inoue and Torsten Schaub},
journal= {arXiv preprint arXiv:2307.10688},
year = {2023}
}
备注
15 pages