python - PULP:根据约束检查变量设置

Question

我希望使用 PULP 在 Python 中设置约束检查。假设我有变量 A1,..,Xn 和约束 (AffineExpression) A1X1 + ... + AnXn <= B，其中 A1,..,An 和 B 都是常量。

给定 X 的分配(例如 X1=1、X2=4、...Xn=2)，如何检查约束是否满足？我知道如何使用 Numpy 对矩阵执行此操作，但想知道是否可以使用 PULP 让库处理这项工作。

我希望我可以检查特定的变量分配。我不想对问题运行优化算法(例如 prob.solve())。

PULP 可以做到这一点吗？有没有更好的不同的 Python 库？我考虑过 Google 的 OR-Tools，但发现其文档比 PULP 的文档更难解析。

Answer 1

看起来可以执行以下操作:

1. 定义 PULP 变量和约束并将其添加到 LpProblem
2. 以 {'variable name': value} 的形式创建作业字典
3. 使用 LpProblem.assignVarsVals(your_assignment_dict) 分配这些值
4. 运行 LpProblem.valid() 以检查您的作业是否满足所有约束和变量限制

请注意，这几乎肯定会比使用 numpy 和 Ax <= b 慢。制定问题可能会更容易，但性能会因 PULP 运行这些检查的方式而受到影响。