问题标签 [jacop]

请有人帮我解决这个错误谢谢，我使用 JaCoP 库，这是一个传输问题，我需要找到 OptimalSearch 它的约束编程

http://pastebin.com/ZV4j234S示例类

http://pastebin.com/at7nfAwE传输类

我正在尝试从 jRuby 的 JaCop 约束编程库中初始化此类。我使用了正确类型的参数，但由于某种原因，我不断收到此错误消息：

它指向的代码是这样的：

Java 类构造函数的签名是这样的：

我不明白为什么 jRuby 抱怨找不到构造函数，因为它应该能够找到它。

我正在尝试使用 Java 中的JaCoP 库进行优化，但我在翻译我的函数时遇到了一些麻烦。

我有一堆变量，比如：x1 到 xn，我有一个函数使用它们来输出最大似然估计量（尽管它可以是使用这些参数的任何函数）。

我知道如何对变量设置约束，例如 x1+..+xn < C （常量）。我想不通的是如何获得最大化上述函数的解决方案，例如get x1 to xn where max(a_function(x1,..,xn))。

我现在没有发布任何代码，因为我唯一能做的就是对我的初始变量设置简单的约束，如此处所述。随着 JaCoP 越来越好，我会更新这个问题。

如果有人可以在正确的方向上推动我如何设置这样的条件，我将不胜感激。

谢谢

[编辑]

好吧，我作弊了……因为我以前在我的 Java 项目中安装了 Rcaller，所以我将使用 R 来计算我的最大似然模型与约束。我被JaCop打败了。R 使用起来更加直观（从数学角度来看），并且由于 Rcaller 与 Java 的“对话”非常好，我对结果相当满意。

我是 Jacop 约束求解器的初学者。我查看了它的文档，但找不到如何解决我的以下问题。我有一个matrix[n][n]域nxn变量IntVar。现在，我需要对其应用以下约束：

matrix[matrix[i][j]][k] == x

这x是一个常规整数，我的意思不是域变量。我面临的问题是这matrix[i][j]是一个域变量，我无法再次将其作为第一个索引matrix[index][k]。我将非常感谢您的帮助。

我一直在尝试学习 Jacop 来解决我的约束满足问题。除了 Api，我在网上找不到任何教程。

所以我试图测试它的方法是如何工作的。

例如使用 SumInt。我试图计算一个数字出现在列表中的次数。我怎样才能使用 JaCop 做到这一点？

就像我有一个包含这些数据的列表：10,20,10,30,10,50,40

我如何计算 10, 20 , 30 ,40 , 50 使用 JaCop 出现了多少次？这是我从在线 Api 页面获得的示例。但这看起来不像我想做的。

我正在使用 JaCoP（Java 的约束编程求解器）来计算复杂调度问题的解决方案。现在我面临的问题是找到的解决方案不正确。

我施加以下约束：

完成搜索后，求解器找到了一个解决方案，但不幸的是，这个解决方案显然是错误的，违反了上面的约束。

我在consistency()开始搜索并返回之前检查商店的一致性true，但在搜索之后返回false。

在搜索之后，我还迭代了商店的所有约束，如果满意，则使用以下代码进行打印：

false在上面的约束上返回的方法。

我的问题是：是否有一个合乎逻辑的解释，为什么不是每个约束都必须满足才能获得正确的解决方案？我忽略了什么吗？

附录：我正在使用 JaCoP 4.4.0

我是 Scala 编程的新手，flatmap 函数让我很头疼。

在您要求我搜索之前，我对 Stackoverflow 进行了一些研究：https ://stackoverflow.com/search?q=scala+map+to+list但我没有找到可以轻松解决我的问题的方法。

这是我的问题：

对于 Jacop ( http://jacopguide.osolpro.com/guideJaCoP.html ) 的 Scala 编程项目，

我需要转换这种地图

至 ：

我知道我应该多次使用 flatMap 但我想知道在我的情况下如何正确使用它。

谢谢你的帮助

我正在尝试使用 JaCop 库在 Java 中编写二进制拼图以进行约束编程，并且正在努力使行不相等。标准 XneqY 约束仅适用于单个变量，并且 IntVar[] 没有等效约束。我尝试使用 LexOrder 作为替代方案，但它限制太多，因为它强制一行在字典上大于另一行，我不能使用 or 约束来允许它更大或更小，因为它只能用于LexOrder 不是原始约束。有谁知道这样做的好方法？我目前正在尝试创建一个新的约束来修改 XneqY 并通过将其转换为二进制并将二进制转换回整数来为行/列分配一个数值，但我会很感激任何新想法。