Linear programming 如何线性化整数和二进制变量的乘积？

我在实现一个算法， 在线性化一个整数和一个二进制变量的乘积时遇到了一些麻烦。作者在那篇文章中提示如下：

假设双线性项的形式为ib，其中b为二进制变量，i为整数变量，下界为0，上界为i。乘积项ib可线性化如下。用新的整数变量z替换术语ib，并添加四个约束：z=i

我使用纸浆来解决这个问题，我是否应该放弃最后一个约束，z>=I

---

我是线性规划方面的新手。

也许他们的意思是z>=0；是的，你说得对。英雄所见略同也许他们只是指z>=0；是的，你说得对。英雄所见略同