问题标签 [choco]

我正在尝试安装名为 choco 的 java 约束求解器包：http: //choco.sourceforge.net/first.html

请告诉我该怎么做，我已经尝试了几次，但没有成功。

谢谢

有谁知道CHOCO是否支持以下内容：

和

C# 中是否有任何类似的库用于Choco（约束编程

我正在尝试使用 android 运行这个在 eclipse 中制作的项目，并且这个项目使用该CHOCO库。问题是 choco 使用了一个名为的类ArraDeque，它给出了一个错误：

NoClassDefFoundError

java.util.ArrayDeque如果我在我的任何文件中导入这个类NoClassDefFoundError（

我看到了许多与 . 相关的NoClassDefFoundError错误，但没有一个与给出错误的外部 jar 相关。

我在这里放了一些错误的图像。

我有这个问题：

在字母表 W = { A,C,G,T } 上找到一组长度为 8 的字符串（单词），具有以下属性：

1. S 中的每个单词都有 4 个符号{ C,G }

2. S中的每对不同的单词至少有4个位置不同。

我做了第一点。我说过 8 个变量的取值介于 1 和 4 之间，并且 1 和 2 必须出现在 4 个位置：

现在，对于第二点，我不知道。也许我开始的方式是错误的。我不知道是否可以在解决方案之间创建约束。

我用的是choco3，代码如下：

我找到了一个 Choco求解器作为使用 Java 的约束编程软件。我想了解更多。我做了一些基本的例子。但是现在我想尝试一些更复杂的东西（Pritsker project scheduling alg），我需要你的帮助。为了取得进展，我必须了解如何对矩阵变量的行施加约束。确切地说，我需要保持行总和等于 1（任务只启动一次）。我已经尝试过了，但没有成功。你能帮忙吗？我确实使用 Choco 2.1.5 我的矩阵如下：

我使用Choco，当我尝试求解模型时，我收到消息：

这意味着什么？我在文档中找不到它。

我有 n 个任务要安排。时间范围是 0..T 个周期。每个任务在执行时都会消耗资源。资源是有限的，可以是不同的类型。我在 choco 2.1.5 中使用以下决策变量：

如果任务 i 在周期 j 开始，则变量 x[i][j] 等于 1，否则等于 0。如果多个任务可以在同一时期运行，它们必须满足资源容量限制。如果在求解器发现任务应该在哪个时间段开始之前给定任务，我必须为资源添加额外的约束。因此，在给定的时间段内，我必须通过运行任务来计算所有资源的使用情况。而且我必须在解决模型之前以某种方式知道它们何时开始和结束。

换句话说，如何实现由以下总和组成的约束： BigSigma {i | start[i]≤t<start[i]+duration[i]} resourcesRequiredByTask[i] ≤ capacity, (∀ time t)，其中索引 i 是任务编号。

我正在使用 choco API 来解决问题。我需要的是编写一个约束，使我的所有变量的总和等于 1。这段代码保持行的总和等于 1：

但是我需要编写一个代码，使我的所有元素矩阵的总和（行的总和）等于 1，而不是每行的总和 = 1。

我对 Choco 和 CP 完全陌生，但我正在制作一个小模型来解决 Steiner 树问题，并且无论图表是什么，Choco 都会不断强制第一个节点为真（并且它不正确，我检查了）。

我有一个 IntVar 数组es，如果边缘在解决方案中，则 ==1，否则 ==0。vs设置顶点的数组也是如此。我使用数组activeEdgeW能够有一个标量约束，其中系数是可变的。然后我只有通道约束、树约束和 sum == w 约束。并最小化 w。相当简单，但出于某种原因vs[0] == true，对于任何图表总是如此。

我的模型真的很简单，我真的不知道它来自哪里：

那是我的模型，程序的其余部分只是图形数据。

有没有人知道这是哪里来的？我尝试将节点以不同的顺序放入 中UB，但始终第一个节点坚持在其中。我尝试删除通道约束，它向我表明该节点并不总是正确的，但到达它的边缘必须是，所以它变成真的。尽管如此，正如您可以轻松看到的，我对数组没有任何限制es，可以强制边缘为真。

谢谢您的帮助！