问约束规划求解器(gecode)图的模型建议
EN

Stack Overflow用户

提问于 2016-11-25 08:31:41

回答 1查看 66关注 0票数 0

问题：给定标记(1.n)无向图，在Gecode中创建一个模型，用于查找具有给定序列度的超图：

accurately ：主要的困难是找到精确表达学位的花式模型：

为什么不使用邻接矩阵呢？因为图往往是大而稀疏的

为什么不是边缘列表？我们将添加边，但我们不知道其中有多少条边，CP需要预定义的变量数(我说得对吗？)

为什么不邻接列表？建模问题作为一个集合列表，我们需要对所有i，j：(j在ai <=> i中的j)施加一个约束。

回答已采纳

发布于 2016-11-30 15:12:03

在你提供的可能性中，使用“邻接列表”可能是最好的。

您所关心的是，您必须有许多传播人员才能在集合之间进行信道传输；然而，Gecode包含了一个特殊的通道传播器，用于在集合之间传输：1ChannelSet.html。此传播者的通道与您所描述的完全相同，并且应该尽量减少在保持集合一致性方面所花费的精力。

票数 2

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/40800620

复制

相似问题

问约束规划求解器(gecode)图的模型建议EN