constraint-programming

0热度

2回答

我有一个名为“调度”其中有7种布尔类型的类。我想在hibernate中编写一个约束来检查至少有一个布尔字段是否为真。这里是“调度”级。 public class Scheduler { private String description; @NotNull private Boolean sMondays; @NotNull private Boolean sTuesdays;

0热度

3回答

自动参数调整

我有一个音频处理应用程序，它接收一个输入音频文件，处理它，并且吐出一个修改后的输出音频文件。这个音频处理应用程序有10-15个参数影响它如何处理音频，从而影响输出音频文件的内容（它可能有不同的频率响应，更响亮，更安静等）。所有这些参数都有约束范围（例如，x0必须是< 1和> -1）。输出音频文件由一个工具评估得分。该工具知道“理想”输出应该听起来像什么，并相应地对输出文件进行评分。得分为1.0意

2热度

2回答

序言：迭代

晚上好，我有一个简单的问题，并且我警告你，我对prolog很新。假设有三个相同大小的列表，每个只包含1s，0s或-1s。我想验证的是，对于所有我，这三个列表中的第i个元素，只有一个非零。该代码会为一个固定的我： :- use_module(library(clpfd)). compat1(V1,V2,V3,I) :- length(V1,G), nth1(I,V1,

0热度

1回答

解决约束问题需要帮助（2nd）

我已经解决了以下约束处理任务。你能否确认它是否正确？ One of the prisoners of a high-level security prison sees a way to escape. Almost free, he reaches a corridor of 20 meters long, guarded by 5 cameras, behind which is the

1热度

1回答

CHOCO约束求解器功能

有谁知道CHOCO是否支持以下功能： Dynamic Variable Ordering 和 Precedence Constraints ?

3热度

1回答

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

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

1热度

1回答

如何运行在序言暂停目标与约束

我试图用prologs约束求解器来解决特定的问题，我坚持：d 的我的问题，需要一个更普遍的版本是这样的： :- lib(ic).:- lib(ic). solve([A1*X+B1*Y=C1, A2*X+B2*Y=C2]):- X::[0..999], Y::[0..999], X #\= 0, Y #\= 0, A1*X+B1*Y#=C1, % line1 A2*X+B2*Y#=

1热度

1回答

Swi prologs clpq库的替代方案，用于单纯化

对不起，如果这是错误的地方问。我一直在使用SWI Prolog的clpq库来解决单工。我觉得语法非常简单和富有表现力。它看起来像这样： :- use_module(library(clpq)). main(U, V, W) :- { 0 =< U, U =< 1, 0 =< V, V =< 1, 0 =< W, W =< 1 },

1热度

1回答

完整图k着色求解器

我正在寻找一个完整的CSP求解器，这意味着它总是会找到一个解决方案，如果它存在并会告诉你，如果没有解决方案存在。针对图形着色优化的求解器是优选的，但不是必需的。有很多迭代算法/求解器，但我需要完整性（？）来完成我的工作。我已经使用弱承诺搜索算法实现了自己的求解器，但是我确定有很多优化和基于线程的特性可以提高求解器的速度，并允许我增加变量的数量在我的模拟中使用。我意识到这是一个指数级的难题，但每一

0热度

1回答

保证边界点的二次规划求解器？

我有一个问题，我已经表示为具有线性约束的凸二次方程的最小化。问题是我想禁止任何严格内部的点（即，如果它位于可行区域的顶点，我只能找到有用的答案）。我想在不修改目标函数的情况下执行此操作。我已经考虑了几个修改，这将使这是一个没有问题，但他们都有不幸的结果，使程序非凸。据我估计，我唯一的选择有效的解决方案将是一个求解器，使用有没有人知道一个像样的求解器？我目前的目标函数是parabol ic圆筒