constraint-programming 相关问题

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

Google OR 工具 - 火车调度问题

我试图解决的问题有点像这里的员工调度问题： https://github.com/google/or-tools/blob/master/examples/python/shift_scheduling_sat.py 然而，有一些...

python scheduling or-tools constraint-programming cp-sat

回答 3 投票 0

约束编程 - 使用变量作为矩阵的索引

我是 or-tools 的新手，我很难使用它，这是我的问题：假设我们有一张包含 3 个点“1”、“2”、“3”的地图，并且有 3 个名称“a”、“b”、“c”。每个点可以取所有名称但必须...

python optimization or-tools constraint-programming cp-sat

回答 2 投票 0

护士调度 CpSolver 陷入某些解决方案中

我正在实现一个复杂的护士调度问题。我希望护士连续轮班工作，并匹配每个轮班所需的最低护士人数。具体来说，问题是我变得可行，但是

python-3.x or-tools constraint-programming cp-sat

回答 1 投票 0

当要求解的变量是使用or-tools cp_model的列表的索引变量时，如何编写约束？

由于数据类型问题，下面的简单代码不起作用： “类型错误：列表索引必须是整数或切片，而不是 _SumArray” 从 ortools.sat.python 导入 cp_model 型号=cp_...

python or-tools constraint-programming cp-sat

回答 1 投票 0

如何使用ortools约束编程最大化任务分配中“索引对”的数量

假设我们有三个有序任务 [0, 1, 2] 和两个有序日期 [0, 1]，我们希望将这三个任务分配给这两天。同时，我们希望尽量减少迪斯科的发生...

or-tools constraint-programming cp-sat

回答 1 投票 0

CPlex：所有决策变量“无值”以及如何解决冲突

我运行代码，结果对于所有决策变量始终“无值”。在冲突选项卡中，它显示：“ct20#1#10#4，ct21#1#10#4，ct22#1#10#4)”，但我卡住了，不知道...

optimization error-handling cplex constraint-programming check-constraints

回答 1 投票 0

有没有办法在车间模型中捕获库存约束？

我一直在尝试捕捉作业车间模型的一些库存限制。 CP-SAT中有没有内置的方法来解决车间的库存问题？库存问题陈述...

python or-tools constraint-programming cp-sat

回答 1 投票 0

在 CP-SAT 中以宽松的方式纳入约束

我的问题设置相当简单。我想在模型找到具有已定义约束的 x 和 y 后，向决策变量 x 和 y 添加 const 值。但我想添加 const 值...

optimization mathematical-optimization or-tools constraint-programming cp-sat

回答 1 投票 0

CP-Sat 中的 NumConflicts 的确切含义是什么？

我想知道solver.Response.NumConflicts信息的确切含义是什么。在文档中我发现了类似的陈述返回自求解器创建以来的冲突数。（https://

optimization or-tools constraint-programming cp-sat

回答 1 投票 0

具有能力限制的护士调度

我正在努力弄清楚如何利用 Google OR Tools CP-SAT 求解器找到护士调度问题的可行解决方案，并稍加修改：每个轮班仅限于 ...

job-scheduling or-tools constraint-programming cp-sat

回答 1 投票 0

Google OR 工具动态增加 CP-SAT 下限

我想知道是否有办法动态增加 on_solution_callback(self) 方法中变量的下限？这只是我想到的一种方法。我有一系列

python or-tools constraint-programming operations-research cp-sat-solver

回答 1 投票 0

可以处理浮点求幂的约束求解器

是否有任何约束求解器可以理解潜在无界浮点数的求幂。实数？鉴于这个简单的程序，变量浮动：x；约束 x^x = 27；解决满足； ...

constraint-programming minizinc coin-or-cbc gecode highs

回答 1 投票 0

如何在CP的Cplex中正确表达逻辑含义

我是 CPLEX 的新手，我正在使用 CP 做一个项目。我有一个多列表 A，它有 4 个参数：一个操作 o、一个外科医生 s、一个房间 r 和一个时间 t A[o,s,r,t] == 1 当且仅当操作...

constraints cplex cp constraint-programming implication

回答 1 投票 0

无法使用 SMT-LIB 和 Z3 解决重量平衡难题

我已经尝试使用 SMT-LIB 为我的问题建模一周了，但发现弄清楚如何使用我的逻辑确实很麻烦。 (声明-const w1 Int) (声明-const w2 Int) （声明-co...

z3 constraint-programming smt-lib

回答 1 投票 0

在 google 的 OR-Tools CP-SAT 中使用 python 创建自定义约束

我刚刚开始学习约束编程，所以如果我的问题可能非常琐碎，请原谅。主要动机是优化我已经通过暴力解决的问题......

python optimization or-tools constraint-programming operations-research

回答 1 投票 0

cp_sat 求解器中的 AddBoolOr 和 AddImplication

嗨，我很难理解以下代码，有人可以帮忙解释一下吗？提前致谢！ model.AddBoolOr(x, y.Not(), b) model.AddImplication(b, x) model.AddImplication(b, y)

or-tools constraint-programming operations-research cp-sat-solver

回答 1 投票 0

或工具 SAT 光线追踪算法并切换布尔值

各位，我正在尝试实现光线追踪算法来检查点是否位于多边形内。我得到了这个 python 代码，我正在尝试在 CP-SAT 中实现以下部分 int pnpoly(int n...

python-3.x or-tools constraint-programming cp-sat-solver convex-polygon

回答 1 投票 0

合金分析仪 - 仅自然数 - 无整数集

有没有办法像Alloy中的Int那样声明自然数？目前我有 util/integer，如果我运行 run 6 Int 我得到：整数={-32, -31, -30, -29, -28, -27, -26, -25, -24, -23, -22, -21, -...

constraint-programming alloy

回答 1 投票 0

Picat 似乎并未针对目标进行优化

这是我第一次使用Picat。我试图写一个基本的背包问题。然而，当运行时，解决方案似乎没有选择任何项目，即使我（认为我）已经要求它最大化......

constraint-programming picat

回答 1 投票 0

pywraplp SAT 与 CP-SAT 有何不同？

在 ortools 中，如果你只有 0-1 个变量，你可以使用 CP-SAT 来自从 ortools.sat.python 导入 cp_model 或者你可以使用从 ortools.linear_solver 导入 pywraplp 求解器 = pywraplp.Solver.

or-tools constraint-programming satisfiability

回答 1 投票 0

constraint-programming 相关问题

最新问题