如何写约束以表示pyomo中的p或q然后r？

Question

嗨，我正在学习使用pyomo进行优化，我有一个问题，其中一个变量仅在其他两个变量之一或两者都获得值时才应获得值。

就像（P V Q）=>重言式中的R。有人可以帮忙如何在pyomo中将其写为约束。

示例：如果我使用3种成分制造产品，则如果使用1,2中的任何一种或同时使用1,2中的任何一种，则应始终使用第三种。

Answer 1

我不知道优化中的“获取价值”是什么。模型中的所有变量“获取值”。将其视为方程式+目标系统。

但是，当然

 (P V Q) => R

相当于

  R >= P
  R >= Q

其中R，P和Q是二进制变量。

Answer 2

您所描述的是析取编程。 Pyomo通过Pyomo.GDP：https://pyomo.readthedocs.io/en/latest/modeling_extensions/gdp.html提供了对此的支持，更多的逻辑表达支持即将出现。

对于简单的问题，欧文建议的直接代数公式可能是最简单的。