当前位置: X-MOL 学术arXiv.cs.LO › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Bounds of MIN_NCC and MAX_NCC and filtering scheme for graph domain variables
arXiv - CS - Logic in Computer Science Pub Date : 2021-05-03 , DOI: arxiv-2105.00663
Dimitri Justeau-Allaire, Philippe Birnbaum, Xavier Lorca

Graph domain variables and constraints are an extension of constraint programming introduced by Dooms et al. This approach had been further investigated by Fages in its PhD thesis. On the other hand, Beldiceanu et al. presented a generic filtering scheme for global constraints based on graph properties. This scheme strongly relies on the computation of graph properties' bounds and can be used in the context of graph domain variables and constraints with a few adjustments. Bounds of MIN_NCC and MAX_NCC had been defined for the graph-based representation of global constraint for the path_with_loops graph class. In this note, we generalize those bounds for graph domain variables and for any graph class. We also provide a filtering scheme for any graph class and arbitrary bounds.

中文翻译:

MIN_NCC和MAX_NCC的界限以及图域变量的过滤方案

图域变量和约束是Dooms等人引入的约束编程的扩展。Fages在其博士论文中对此方法进行了进一步的研究。另一方面,Beldiceanu等。提出了一种基于图属性的全局约束通用过滤方案。该方案强烈依赖于图形属性边界的计算,并且可以在图形域变量和约束条件下进行一些调整来使用。已经为path_with_loops图类的全局约束的基于图的表示形式定义了MIN_NCC和MAX_NCC的界限。在本说明中,我们概括了图域变量和任何图类的界限。我们还为任何图类和任意范围提供了一种过滤方案。
更新日期:2021-05-04
down
wechat
bug