gecode

0热度

1回答

我对CP和MiniZinc有一个简短的介绍，但我不是专家。我有一个CP模型，我不能在这里发布ATM，在MiniZinc中实现。我需要为问题生成所有可行的解决方案。我们希望只有少数几个，比如少于1000个，超过100个。我试图用-a标志传递给minizinc ver来解决模型。 1.6但我注意到很多正在打印的解决方案都是相同的。 Here他们指的是“投影”。在另一篇文章中，我读到他们使用了一些

0热度

2回答

链接Gecode在OS/X

的Gecode（4.3.0）的文件规定，在Mac上安装Gecode后，就可以编译和链接示例如下： g++ -O3 -c money.cpp g++ -framework gecode -o money money.o 编译会成功，但连接失败： Undefined symbols for architecture x86_64: "Gecode::Gist::TextOutput:

4热度

1回答

在跳过对角线的向量上映射上三角矩阵

我有一个问题可以归结为寻找一种将三角矩阵映射到跳过对角线的向量的方法。基本上我需要使用Gecode库 // implied constraints for (int k=0, i=0; i<n-1; i++) for (int j=i+1; j<n; j++, k++) rel(*this, d[k], IRT_GQ, (j-i)*(j-i+1)/2); 向该MiniZ

0热度

1回答

使用MiniZinc从Java调用gecode代码

我想在运行时用Java解决具有动态参数的模型。我有我的问题写在MiniZinc。 mzn2fzn model.mzn model_data.dzn (this produces model.fzn file) fzn-gecode model.fzn (actually solves the model) 基本上有2个步骤，首先我需要模型编译minizinc成flatzinc格式，而供给该数

1热度

1回答

带有可选变量的搜索策略

我在Minizinc中实现了一个简单模型，用于在一系列时间段内安排具有不同优先级和持续时间的任务，但并非所有任务都可以安排，因此有些内容会被忽略，而我试图最大化计划任务的优先级总和。我有一个工作版本，其中任务是在一个变量数组中定义的，而非计划任务的时间为0.约束有几个where子句只考虑计划任务（when [i]> 0 ）。默认的搜索策略非常缓慢，所以我将它改为另一个效果更好的工具，使用Geco

3热度

1回答

如何在Gecode中实现'嵌套'成本函数？

我是通用的gecode和约束编程的新手。到目前为止，我没有太多麻烦拿起gecode，这很好。但我想知道执行“嵌套”成本函数的最佳方法是什么。具体而言，我期望尽量减少X，但在X相等的解决方案空间内，更喜欢将Y最小化的解决方案？我可以通过定义一个看起来像X * large_number + Y的成本函数来破解它，但如果有一个好的解决方案，我宁愿这样做。如果任何人都可以指出我解释如何在Gecode中

1热度

1回答

Minizinc，如何创建地图或字典数据结构

我有一个关于Minizinc的语法的简单问题。我的.dzn文件输入包含一组2门维阵列（约高达30阵列），声明如下： rates_index_0 = array2d(1..3, 1..501, [ 15, 20, 23, .... rates_index_12 = array2d(1..3, 1..501, [ 21, 24, 27, .... ... 注：索引号中都有间隙（例如，12 -

0热度

1回答

你可以使用任意精度算术吗？

我正在建模硬件映射算法Gecode和标准Gecode :: Int :: Limits太小了，至少因为我想要定位超过2^32内存的系统。有没有办法使用Gecode或至少64位整数的任意精度算术？我知道Gecode可以MPIR或GMP相关支持，但似乎这些只是对三角操作？

0热度

1回答

模型建议用于图形为Constraing编程求解器（gecode）

问题：给定一个标记（1..N）无向图中，创建一个Gecode模型查找母图与给定的序列度：难点：主要难点是找到花式模型来精确表达度数：为什么不用邻接矩阵？因为图形趋于大而稀疏为什么不是边缘列表？我们将添加边缘，但我们不知道它们中有多少，CP需要预定义数量的变量（对不对？）为什么不选择Adjacency？建模问题作为我们需要为所有i，j推送约束的集合列表：（j in a [i] < => i

1热度

2回答

如何约束一个变量，取决于其他变量的值在Gecode

我正在使用Gecode工具包，我想为以下情形建模。我有两个变量x和y。取决于值x,y应该具有一定的值。例如。如果X是1，ÿ应该是3，如果X是2，ÿ应该是5.我应该如何在Gecode模型呢？我目前使用reified constraints来模拟这种情况，可以在gist中看到。症结在于使用一个BoolVar和两个指定约束来设置相应的值。 for (IntVarValues i(x); i(); +