互斥网络高效表示中的至多一个约束
人工智能
2020-06-11 v1
摘要
至多一个（AMO）约束是基数约束的一种特例，要求一组布尔变量中至多有一个被置为 TRUE。AMO 对于将问题建模为布尔可满足性（SAT）十分重要，这些问题来自这样的领域：其决策变量表示某些对象在空间或时间上的放置，而这些对象不能共享同一空间或时间槽。AMO 约束可用于由两两互斥（禁止一对布尔变量同时为 TRUE）组成的互斥网络中，以实现更高效的表示与问题求解。本文提出了一种在线方法，用于自动检测团以高效表示增量式互斥网络，其中新的互斥关系通过 AMO 到达。文中展示了使用不同编码、由 AMO 约束表示的互斥网络在基于 SAT 的问题求解上的对比。
引用
@article{arxiv.2006.05962,
title = {At-Most-One Constraints in Efficient Representations of Mutex Networks},
author = {Pavel Surynek},
journal= {arXiv preprint arXiv:2006.05962},
year = {2020}
}