约束网络由三元组<X,C,D>定义,其中X是一组变量,C是一组约束,D是X的域(即从变量到值集的映射)。约束满足问题(CSP)是决定约束网络是否具有解决方案的问题。
我已经从这个约束中获取模型不一致错误已有一段时间了,无法弄清它为什么会出现。我了解模型不一致错误是如何发生的,但是找不到...
使用SAT求解器(Python)查找特定区域内的游离多氨基酸的所有组合
我对SAT解算器世界是陌生的,因此需要有关以下问题的一些指导。考虑到:❶我在4 * 4网格中选择了14个相邻单元格❷我有5个多氨基酸(...
作为OR-Tools库的新手,我无法为我的要求修改现有代码。我需要在收货和送货时增加容量限制,即一个人将送货......>
我正在编写一个Minizinc程序,用于安排工人去餐厅做日常工作。约束条件是每个工人每周只能连续工作五天,并且每天的最低工作量...
给出一个数字列表,找到所有矩阵,使得每一列和每一行的总和为264
假设我有16个数字的清单。使用这16个数字,我可以创建不同的4x4矩阵。我想找到所有4x4矩阵,其中列表中的每个元素都使用一次,并且...
我正在尝试使用CPSolver(而不是每个问题都使用MinCostFlow),对于小型数据集,性能似乎很慢。它比OR-Tools指南建议的要慢得多...
我需要使用约束编程在大矩形(命名为bin)中安排一组矩形。在使用CPLEX时,我发现了方形的示例(实际上,我是CPLEX和PPC的新手)。 ...
如何在约束规划中表达二次目标函数?在Cplex中,我将其编写如下:IloLQNumExpr objfn = model.lqNumExpr(),但在CP中则不同。
添加一个要求数字介于上限和下限之间的约束(ortools约束优化/ CP)
问题的重点:“关于如何在CP工具的ortools中最适当地编码此约束的任何想法?”我要解决的问题有点像员工安排此处概述的工作:...
我正在选一门使用minizinc的课程。在一项任务中,我一直在旋转轮子,因为我的模型在隐藏的测试用例上表现不佳。我终于解决了...
我正在使用choco求解器库生成一组拼图。我需要运行求解器,检查有多少个解决方案,如果有多个,则添加一个额外的约束。重复此...
每隔一段时间,我的构建时间就会从5s跃升到200左右。有时候,即使我同时获得了大约17个相同的数据,我也没有任何解决方案。是否可以停止...
我是Google OR-Tools的新手(通常是约束编程),我正试图在Jobshop示例中添加截止日期,但实际上没有用。可以在这里找到我所用的Job-shop示例:...
我知道我们可以在朱莉娅跳转使用CPLEX,对例如线性规划。但是,我们可以使用CPLEX在跳,朱莉娅V1.1用于约束编程? CPLEX和OPL可以做约束编程,但...
我正在将目标模型转换为minizinc。在目标中,我有一个变量定义为X与索引域(k,i),其中i,s,t是设置的索引小时X的定义索引i,s,t是:sum((s,t)| ...
我正在尝试在不同的机器上安排任务。这些机器具有动态可用资源,例如:机器1:最大容量4核心。在T = t1 =>可用CPU = 2核心;在T = t2 => ...
上下文:backjumping是对vanilla回溯的优化。它通过智能地跳回到导致失败的节点(而不是......)来减少搜索树的分支因子。
我是Python和约束编程的新手,我确信有一些非常简单/愚蠢的东西会引发错误。我正在努力减少相对于预测的项目盈余(...
无法理解如何向工作人员分配的openolver或minizinc表达现实世界的问题
我将开始,我不熟悉Minizinc,也不熟悉约束编程,我在youtube上看过excel“solver”教程,我可以理解,但我不知道我怎么能...
我正在使用护士安排示例。我有3名员工2班和7天我有一个条件,如果一名员工在第1班工作,他/她第二天不能在班次0工作。这是我的代码......