constraint-programming

1热度

1回答

我只是想要做这样的事情 schedule(Activities, GLB) :- get_start_times(Activities,StartTimes), get_resources(Activities,Resources), get_durations(Activities,Durations), sum_list(Durations, Max

0热度

2回答

MATLAB ga（）忽略用户提供的初始群体

我正在尝试使用MATLAB ga（）函数来解决优化问题。我会尽量简短。它基本上是一个最小二乘拟合问题，我操纵一些输入来尝试匹配一个目标函数。该问题有40个变量。有约束约束，线性等式，线性不等式和非线性约束。之前我让MATLAB选择初始人口，但结果很差。我觉得这是由于MATLAB的选择缺乏多样性。因此，我编写了一个函数，该函数可以创建一个满足除非线性约束条件（这些是模拟后计算）之外的所有约束条件

6热度

1回答

表达设置时间与累积值

有安排上的问题，许多家庭。我期待到那里我的地方从一个家庭到另一个家庭过渡需要重新配置机器（建立时间）工作/家庭任务的一个问题。我使用cumulatives[2/3]来解决这个问题，但我不确定如何设置时间可以表示。在这个小例子，我有属于3个不同家庭的10种任务。任何任务都可以在任何机器上运行，但是从一个系列中的一个任务切换到另一个系列中的另一个任务需要添加安装时间。 :- use_modu

0热度

1回答

巧克力错误：初始传播：矛盾是由于

我用Choco，当我尝试解决一个模型，我得到的消息： - Initial Propagation: Contradiction due to [48.89604359598426,4.0] 这是什么意思？我无法在文档中找到它。

2热度

1回答

需要帮助来定义适当的约束条件

我很新来约束编程，并试图找到一些真实的情况来测试它。我发现一个我认为可能与CP解决。它在这里：我有一群孩子，我必须分配给一些活动。这些孩子填写一个表格，他们按照喜好指定3个选项。活动有最大数量的参与者，所以，想法是找到一个解决方案，其中的选择是最好的，没有beyondind max。因此，在第一种方法中，我为[1,2,3]域定义了孩子的变量（选择的数量，活动和孩子在其他地方知道的链接）

0热度

1回答

最小延迟图算法

我需要关于图问题的帮助。我正在寻找和现有的解决方案或算法，而不是实施我自己的，如果有一个，请帮助我。我尝试了谷歌搜索没有成功。我的问题是：我有几个地点访问，并且每个地点都有截止日期。通常情况下，我永远无法访问它们，并且超过最后期限。我也有一段时间访问它们，例如每天8小时。我正在寻找一种算法，可以达到dealine后的最小延迟。例如，我有位置A，B和C.位置A延迟1小时30分，位置B和C每个

1热度

1回答

用最少的步骤可能变换顺序

我的问题是，我应该用什么算法来实现该工程按照以下Python示例功能 translate： >>> translate('aa', 'a') [('S', -1)] >>> translate('a', 'aa') [('R', 0, 'x'), ('S', 1), ('W', 0, 'x')] >>> translate('abc', bca') [('R', 0, 'x'), ('R

0热度

1回答

使用约束编程生成独特的解决方案

我对CP和MiniZinc有一个简短的介绍，但我不是专家。我有一个CP模型，我不能在这里发布ATM，在MiniZinc中实现。我需要为问题生成所有可行的解决方案。我们希望只有少数几个，比如少于1000个，超过100个。我试图用-a标志传递给minizinc ver来解决模型。 1.6但我注意到很多正在打印的解决方案都是相同的。 Here他们指的是“投影”。在另一篇文章中，我读到他们使用了一些

3热度

2回答

Prolog逻辑拼图和约束编程

我有一个家庭作业任务来定义序言中的10个事实来解决这个难题。 Five translators are working in an international organization: Spaniard, Englishman, Frenchman, German and Russian. Each of them speaks its native language and also tw

1热度

1回答

在基于另一个阵列的SystemVerilog中约束整个阵列

是否可以将SystemVerilog中的整个数组约束为与另一个数组具有相同的值？我尝试这样做： class some_class; rand bit array1[10][10]; rand bit array2[10][10]; constraint arrays_c { array1 == array2; } enclass 这不是