互斥图与多团：缩减规划中的基化规模
人工智能
2019-09-19 v1
摘要
我们提出了一种表示大量互斥关系（也称为互斥或互斥约束）的方法。这类约束规定了某些属性、事件、过程等的互斥。它们普遍存在于许多应用领域。对于给定的问题，这些约束的规模可能大到足以成为底层求解器求解效率的瓶颈。在本文中，我们提出了一种基于多团的新图论技术，用于紧凑表示互斥约束，并将其应用于 ASP 中的领域无关规划。由于从互斥图计算最小多团覆盖是 NP 难的，我们提出了一种高效的多团覆盖近似算法，并通过实验表明，在 ASP 中它生成的互斥约束基化规模比先前 SAT 中的已知工作显著更小。
引用
@article{arxiv.1909.08240,
title = {Mutex Graphs and Multicliques: Reducing Grounding Size for Planning},
author = {David Spies and Jia-Huai You and Ryan Hayward},
journal= {arXiv preprint arXiv:1909.08240},
year = {2019}
}
备注
In Proceedings ICLP 2019, arXiv:1909.07646