MIN_NCC 与 MAX_NCC 的界及图域变量的过滤方案
人工智能
2021-05-04 v1 计算机科学中的逻辑
摘要
图域变量与约束是 Dooms 等人引入的约束规划的扩展。Fages 在其博士论文中进一步研究了该方法。另一方面，Beldiceanu 等人提出了一种基于图性质的全局约束通用过滤方案。该方案强烈依赖于图性质界的计算，并可在图域变量与约束的语境下经少许调整而使用。MIN_NCC 与 MAX_NCC 的界此前已针对 path_with_loops 图类的全局约束基于图的表示而定义。在本注记中，我们将这些界推广到图域变量及任意图类。我们还提供了针对任意图类与任意界的过滤方案。
引用
@article{arxiv.2105.00663,
title = {Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables},
author = {Dimitri Justeau-Allaire and Philippe Birnbaum and Xavier Lorca},
journal= {arXiv preprint arXiv:2105.00663},
year = {2021}
}
备注
short note, 3 pages