constraint-programming 相关问题

约束网络由三元组<X,C,D>定义,其中X是一组变量,C是一组约束,D是X的域(即从变量到值集的映射)。约束满足问题(CSP)是决定约束网络是否具有解决方案的问题。

MiniZinc'警告:检测到模型不一致'

我已经从这个约束中获取模型不一致错误已有一段时间了,无法弄清它为什么会出现。我了解模型不一致错误是如何发生的,但是找不到...

回答 1 投票 1

使用SAT求解器(Python)查找特定区域内的游离多氨基酸的所有组合

我对SAT解算器世界是陌生的,因此需要有关以下问题的一些指导。考虑到:❶我在4 * 4网格中选择了14个相邻单元格❷我有5个多氨基酸(...

回答 2 投票 1

使用收货和发货限制容量>>

作为OR-Tools库的新手,我无法为我的要求修改现有代码。我需要在收货和送货时增加容量限制,即一个人将送货......>

回答 1 投票 0

需要花费无限时间才能满足约束条件并产生输出的问题

我正在编写一个Minizinc程序,用于安排工人去餐厅做日常工作。约束条件是每个工人每周只能连续工作五天,并且每天的最低工作量...

回答 1 投票 0

给出一个数字列表,找到所有矩阵,使得每一列和每一行的总和为264

假设我有16个数字的清单。使用这16个数字,我可以创建不同的4x4矩阵。我想找到所有4x4矩阵,其中列表中的每个元素都使用一次,并且...

回答 2 投票 4

CPSolver性能问题

我正在尝试使用CPSolver(而不是每个问题都使用MinCostFlow),对于小型数据集,性能似乎很慢。它比OR-Tools指南建议的要慢得多...

回答 1 投票 0

使用CPLEX约束编程的矩形调度程序

我需要使用约束编程在大矩形(命名为bin)中安排一组矩形。在使用CPLEX时,我发现了方形的示例(实际上,我是CPLEX和PPC的新手)。 ...

回答 1 投票 0

Java约束编程

如何在约束规划中表达二次目标函数?在Cplex中,我将其编写如下:IloLQNumExpr objfn = model.lqNumExpr(),但在CP中则不同。

回答 1 投票 -2

添加一个要求数字介于上限和下限之间的约束(ortools约束优化/ CP)

问题的重点:“关于如何在CP工具的ortools中最适当地编码此约束的任何想法?”我要解决的问题有点像员工安排此处概述的工作:...

回答 1 投票 1

为什么会有更多的数组访问表现更好?

我正在选一门使用minizinc的课程。在一项任务中,我一直在旋转轮子,因为我的模型在隐藏的测试用例上表现不佳。我终于解决了...

回答 1 投票 4

重用choco求解器模型来进一步约束解决方案

我正在使用choco求解器库生成一组拼图。我需要运行求解器,检查有多少个解决方案,如果有多个,则添加一个额外的约束。重复此...

回答 1 投票 0

Choco继续中间解决方案

每隔一段时间,我的构建时间就会从5s跃升到200左右。有时候,即使我同时获得了大约17个相同的数据,我也没有任何解决方案。是否可以停止...

回答 1 投票 0

如何向Google OR-Tools作业示例添加截止日期?

我是Google OR-Tools的新手(通常是约束编程),我正试图在Jobshop示例中添加截止日期,但实际上没有用。可以在这里找到我所用的Job-shop示例:...

回答 1 投票 0

朱莉娅 - 在跳跃约束规划

我知道我们可以在朱莉娅跳转使用CPLEX,对例如线性规划。但是,我们可以使用CPLEX在跳,朱莉娅V1.1用于约束编程? CPLEX和OPL可以做约束编程,但...

回答 1 投票 0

在minizinc中具有条件的变量

我正在将目标模型转换为minizinc。在目标中,我有一个变量定义为X与索引域(k,i),其中i,s,t是设置的索引小时X的定义索引i,s,t是:sum((s,t)| ...

回答 1 投票 0

使用Intervals进行调度时如何获得CP中的当前时间

我正在尝试在不同的机器上安排任务。这些机器具有动态可用资源,例如:机器1:最大容量4核心。在T = t1 =>可用CPU = 2核心;在T = t2 => ...

回答 1 投票 0

Backjumping,CSP,AIMA书

上下文:backjumping是对vanilla回溯的优化。它通过智能地跳回到导致失败的节点(而不是......)来减少搜索树的分支因子。

回答 1 投票 -1

NSP中最小化的绝对差异

我是Python和约束编程的新手,我确信有一些非常简单/愚蠢的东西会引发错误。我正在努力减少相对于预测的项目盈余(...

回答 1 投票 1

无法理解如何向工作人员分配的openolver或minizinc表达现实世界的问题

我将开始,我不熟悉Minizinc,也不熟悉约束编程,我在youtube上看过excel“solver”教程,我可以理解,但我不知道我怎么能...

回答 1 投票 0

Google Or-Tools员工安排。条件无法正常运行

我正在使用护士安排示例。我有3名员工2班和7天我有一个条件,如果一名员工在第1班工作,他/她第二天不能在班次0工作。这是我的代码......

回答 1 投票 1

© www.soinside.com 2019 - 2024. All rights reserved.