constraint-programming

1热度

1回答

列给定的矩阵Z [N，M]： 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 我想检查多少个“1”，也有在不同的列的矩阵。因此，在这种情况下给定k = 1，问题应该是不可满足的，因为在列中有2个“1”，所以“数目1”> k。我试过这种方式，但它不起作用： constraint forall(i in n, j in m) forall

1热度

1回答

限制优化使用 - 为社区服务组织创建最佳志愿者计划

我是一名大学生，他是一名志愿者，担任当地社区服务组织的项目经理。我工作的一大部分是将志愿者时间表（通过文本和电子邮件提交给我）与tutee时间表（由教师通过Google表单提交）相匹配。在过去的两年里，我一直在使用excel表格和颜色编码手动匹配所需的时间段和志愿者的可用性。到目前为止，这很容易，因为我收到了相对较少的导师请求和志愿者注册。在过去两个月里，我一直努力在我管理的学校发展辅导计划。这

0热度

1回答

choco中的复变量

如果复杂变量满足约束，如何检入Choco？例如，如果我有配置的以下列表： int[][] configurations = new int[][] { {20, 24, 10, 3, 4}, {20, 13, 1, 3, 4}}; 其中CONFIG1 = {20，24，10，3,4}和CONFIG2 = {20，13，1，3，4} int[] constraints =

1热度

1回答

Minizinc lazyfd解决方案忽略约束条件

问题是要找到一些时间表，让一些人以固定大小的群体打高尔夫球（或其他）。我们必须保证每个玩家一次只能在一个组中。这里是我的代码： int: gr; % number of groups int: sz; % size of groups int: we; % number of weeks int: n=gr*sz; % number of players set

1热度

1回答

差异LP/MIP和CP

约束规划（CP）和线性规划（LP）或混合整数规划（MIP）有什么区别？我知道LP和MIP是什么，但不了解与CP的区别 - 或者CP与MIP和LP相同？我对此感到困惑......

0热度

1回答

如何获取z3中给定的可能整数集合中的整数列表？

最小示例如下：给定一组可能的整数[1, 2, 3]使用z3py创建大小为5的任意列表。允许重复。预期的结果是一样的东西[1, 1, 1, 1, 1]或[3, 1, 2, 2, 3]等如何解决这个问题，以及如何实现“选择”？最后，我想找到所有解决方案，可以通过添加其他约束来解决，如link中所述。任何帮助将非常感激。

2热度

1回答

Python元素总和和连续次数约束

我有这样的数据。 a = [10, 11, 12, 13, 14] b = [15, 16, 17, 18, 19] c = [20, 21, 22, 23, 24] 我要检查是否每一个列表中的第i个元素的总和，即，逐元素总和加起来大于50，其中i = [0，1，2，3， 4]。我也想检查总和是否大于50连续三次。有没有办法做到这一点作为约束满意度问题在Python？

2热度

1回答

Choco求解器 - 如果在运行时间非常长的情况下，如何获得最接近的解决方案（满足大多数约束）？

在巧克力求解器中，如果找到解决方案可能需要很长时间，您如何获得最接近的解决方案（目前满足大多数约束的解决方案，但可能无法满足所有约束）？例如，如果我正在为解决方案运行Model.getSolver（）。solve（），并且我已经决定尽管找不到解决方案需要足够长时间，但是如何输出最接近的解决方案至今？

3热度

1回答

查找单词的所有可能的组合在给定的格式

我有100万行长期词典： w([w,o,r,d]). w([h,a,p,p,y]). w([q,u,e,s,t,i,o,n]). ... 现在我在脚本的工作，将返回所有可能的话，把满足给定的格式。例如： w([A,B,C]), w([B,C]), A \== B, A \== C, B \== C. 我发现，使不同的所有变量的源： alldif([]). alldif([E|Es

6热度

2回答

如何使用loco进行基本优化

我正在尝试使用loco做一个基本的优化示例。我有一个成本向量，它的索引对应于多个时隙的整数值，并且希望最小化不同子集的时隙的总和。请参阅下面的我的尝试，因为没有选择的插槽和成本之间的“链接”，这失败了。 (def costs [10 10 20 20 30 30 40 40 10 10]) (let [slot-vars (for [i (range 5)] ($in [:slot i]