constraint-programming

0热度

1回答

使用或约束的RealVariables我用巧克力2.1.5与Eclipse IDE在Windows 8.1 当我编译下面的代码： CPModel m = new CPModel(); m.setDefaultExpressionDecomposition(false); RealVariable A = Choco.makeRealVar("a", -5.5, 5.5); RealVaria

1热度

1回答

在多个图表上运行Google或工具TSP约束求解程序时出现DuplicateFlagError

我使用Google的ortools.constraint_solver来查找旅行推销员问题的解决方案。 As seen here.当我在一组点上运行程序时，一切都按预期工作。现在我得到了那个工作，我试图通过遍历所有集合并调用每个集合上的约束求解器来解决多个点集合的TSP问题。我有下面的代码重新定义gflagtsp_size取决于特定问题（不是所有集合的大小相同）的大小： gflags.DEFI

1热度

1回答

带有可选变量的搜索策略

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

1热度

1回答

Prolog CLPFD试图为列表的列表定义域

我正在研究Prolog中的约束编程问题，我在尝试为列表列表定义一个域时遇到了问题。问题的最初的挑战如下： trains([[1,2,0,1], %from station, to station, departs at, arrives at [2,3,4,5], [2,3,0,1], [3,4,5,6], [3,4,2,3],

-1热度

1回答

Minizinc中回文的有效谓词

为了帮助我学习Minizinc，我试图解决一个简单的问题。我的代码找到了答案，但我很惊讶，大约需要10秒才能运行这样一个简单的问题。问题是“什么是最小的回文整数> 10，所以它的数字总和> 10，回文也是？”。我希望代码只做大的假设：答案最多只有8位数字。我的代码（在toNum谓语来自hakank网站）： predicate toNum(array[int] of var int: a, v

1热度

1回答

我该如何制定限制？

我是新来的世界cp优化器，这开始做小测试。我有以下问题，我需要你的帮助。这是我的代码：数据 const IloInt nbPair = 6; const IloInt nbPairElements = 15; const IloInt nbElement = 2; IloIntVarArray SolPair(env, nbPair,0,1); IloIntArray PairCost

1热度

1回答

将不可满足的约束集合转换为可满足的较小约束集合

我在我的脑海中有一个项目，我很好奇之前是否做过类似的事情。假设有一组不同的约束条件，并且这些约束条件不能一起满足。 C = {C1，C2，C3，...，CN} （c1和c2和c3 ... CN）：不符合要求我的目标是分割该组分为k集合（可能k非常小），使得每一组约束都可单独满足。基本的解决方案是使用贪婪的方法。约束将被选作第一个约束并标记为第一组。然后，将选择第二个，并检查它是否可用第一个约束

0热度

1回答

我在Solver Foundation模型中定义了多少个术语/变量/约束/非零？

我在我的程序中使用Microsoft Solver Foundation Express eddition，Express版本根据this link限制在模型大小中。有没有办法找到多少：条款变量约束非零我在模型中定义，使用代码？

3热度

2回答

序言 - 如何找到最大的一套组件，它们的和等于N

我的比赛即将从给定的名单，他们的总和是N 例如采摘最大元素集合：L=[1,1,2,2,3,2,4,5,6]，N = 6，子列表将等于[1,1,2,2] 我需要一个使用约束逻辑编程的提示。

2热度

3回答

约束条件最活跃的社区和资源编程工具箱

我是新来的CP。到目前为止，我已经玩过MiniZinc，我发现这很有趣。之前，我犯了太多，我想弄清楚&求解器是什么CP语言最好先在最活跃的社区而言，积极地开发和研究使用，最好的学习资源（例子&教程）。目前为止的选项似乎是：MiniZinc，ECLiPSe和or-tools。谢谢，