我刚刚开始学习约束编程，所以如果我的问题可能非常微不足道，请原谅我。 主要动机是优化我已经通过蛮力解决的问题。我在 python 或工具模块中使用 CP-SAT 求解器。 这是我面临的问题的描述 ...

我想证明 if 是一个偏对称矩阵，然后是自对偶矩阵。$A$$n\times n$($A^{T}=-A$ )$c\in \mathbb{R}^{n},$$$\begin{array}{cc} \max ...

我正在玩 OR 工具，只是想知道是否有任何方法可以保持满足某个约束的次数？ 在这种情况下，我想跟踪我的“diff”变量为 -1、-2、0、2 等的次数。 我已经从官方文档中获得了解决方案打印机，那...

我想知道是否有办法动态增加方法中变量的下限？on_solution_callback(self) 这只是我想到的一种方法。 我有一个变量数组： vars = [model.NewIntVar(0...

我有一个有 8 个输出变量的问题。我的问题是需要使用利润的最大值并使用面积的最小值（输出变量）。4 个领域具有更高的生产力和 0 成本。其他 4 个是较低的生产率，并且具有与前 4 个不同的使用值。此...

这是我运筹学中的一个问题 我尝试通过这种方法来解决它。但答案是不正确的。在此处输入图像描述顺便说一句，上述问题的正确答案是 u = 0、v =0、w = 5 和 min z = 0。...