约束网络由三元组<X，C，D>定义，其中X是一组变量，C是一组约束，D是X的域（即从变量到值集的映射）。约束满足问题（CSP）是决定约束网络是否具有解决方案的问题。
如何修改现有 Google OR-Tools 约束编程模型的变量和约束？
我使用Python中的Google OR Tools编写了一个约束编程模型，它使用CP求解器。我需要多次运行该模型，并且在每次运行中我都会修改约束。目前，我创建...
我试图解决的问题有点像这里的员工调度问题： https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py 然而，有一些...
我是 or-tools 的新手，我很难使用它，这是我的问题： 假设我们有一张包含 3 个点“1”、“2”、“3”的地图，并且有 3 个名称“a”、“b”、“c”。每个点可以取所有名称但必须...
我正在实现一个复杂的护士调度问题。 我希望护士连续轮班工作，并匹配每个轮班所需的最低护士人数。 具体来说，问题是我变得可行，但是
当要求解的变量是使用or-tools cp_model的列表的索引变量时，如何编写约束？
由于数据类型问题，下面的简单代码不起作用： “类型错误：列表索引必须是整数或切片，而不是 _SumArray” 从 ortools.sat.python 导入 cp_model 型号=cp_...
如何使用ortools约束编程最大化任务分配中“索引对”的数量
假设我们有三个有序任务 [0, 1, 2] 和两个有序日期 [0, 1]，我们希望将这三个任务分配给这两天。 同时，我们希望尽量减少迪斯科的发生...
我运行代码，结果对于所有决策变量始终“无值”。在冲突选项卡中，它显示：“ct20#1#10#4，ct21#1#10#4，ct22#1#10#4)”，但我卡住了，不知道...
我一直在尝试捕捉作业车间模型的一些库存限制。 CP-SAT中有没有内置的方法来解决车间的库存问题？ 库存问题陈述...
我的问题设置相当简单。我想在模型找到具有已定义约束的 x 和 y 后，向决策变量 x 和 y 添加 const 值。但我想添加 const 值...
CP-Sat 中的 NumConflicts 的确切含义是什么？
我想知道solver.Response.NumConflicts信息的确切含义是什么。 在文档中我发现了类似的陈述 返回自求解器创建以来的冲突数。 （https://
我正在努力弄清楚如何利用 Google OR Tools CP-SAT 求解器找到护士调度问题的可行解决方案，并稍加修改：每个轮班仅限于 ...
我想知道是否有办法动态增加 on_solution_callback(self) 方法中变量的下限？ 这只是我想到的一种方法。 我有一系列
是否有任何约束求解器可以理解潜在无界浮点数的求幂。实数？ 鉴于这个简单的程序， 变量浮动：x； 约束 x^x = 27； 解决满足； ...
我是 CPLEX 的新手，我正在使用 CP 做一个项目。 我有一个多列表 A，它有 4 个参数：一个操作 o、一个外科医生 s、一个房间 r 和一个时间 t A[o,s,r,t] == 1 当且仅当操作...
我已经尝试使用 SMT-LIB 为我的问题建模一周了，但发现弄清楚如何使用我的逻辑确实很麻烦。 (声明-const w1 Int) (声明-const w2 Int) （声明-co...
在 google 的 OR-Tools CP-SAT 中使用 python 创建自定义约束
我刚刚开始学习约束编程，所以如果我的问题可能非常琐碎，请原谅。 主要动机是优化我已经通过暴力解决的问题......
cp_sat 求解器中的 AddBoolOr 和 AddImplication
嗨，我很难理解以下代码，有人可以帮忙解释一下吗？提前致谢！ model.AddBoolOr(x, y.Not(), b) model.AddImplication(b, x) model.AddImplication(b, y)
各位，我正在尝试实现光线追踪算法来检查点是否位于多边形内。我得到了这个 python 代码，我正在尝试在 CP-SAT 中实现以下部分 int pnpoly(int n...
有没有办法像Alloy中的Int那样声明自然数？ 目前我有 util/integer，如果我运行 run 6 Int 我得到： 整数={-32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -...
这是我第一次使用Picat。我试图写一个基本的背包问题。然而，当运行时，解决方案似乎没有选择任何项目，即使我（认为我）已经要求它最大化......