PuLP python 中的 XOR 語句

Question

我正在 python 中研究紙漿，我想 model 以下語句：

x 為正 XOR y 為正，其中 x 和 y 為 integer。

如何在紙漿代碼中轉換它？

我從XOR開始

Answer 1

我同意@kabdulla。 二進制變量將是 go 的方式。

進一步擴展該想法：您可以使用二進制變量通過諸如M*binary_variable_for_x <= X類的約束來指示 X 是否為正 (TRUE/1)，其中 M 對於不會限制 X 的問題來說是一個足夠大的數字. 如果 X > 0，則 binary_variable_for_x 可以為 1。

當 Y 為正 (TRUE/1) 時執行相同操作。

然后你可以編寫另一個約束，要求這些布爾值的總和 >= 1。

binary_variable_for_x + binary_variable_for_y >= 1

有多種方法可以解決問題，但這可能是一種方法。