大图嵌入问题的约束满足问题实现
计算机科学中的逻辑
2019-07-15 v2 人工智能
摘要
大图嵌入是许多关于大图和大图反应系统的结果与工具的关键问题。嵌入比大图匹配提供更多信息，因为它跟踪了红方（客体）各组分在代理（主体）内的对应关系。在本文中，我们提出了一种基于归约为约束满足问题（CSP）的嵌入计算算法。我们证明了该算法是可靠且完备的，并已成功将其实现在 LibBig 中，这是一个用于操作大图反应系统的库。该库可用于实现广泛的工具，并可适应大图的各种扩展。
引用
@article{arxiv.1412.1042,
title = {A CSP implementation of the bigraph embedding problem},
author = {Marino Miculan and Marco Peressotti},
journal= {arXiv preprint arXiv:1412.1042},
year = {2019}
}
备注
arXiv admin note: text overlap with arXiv:1503.02434