将 max 或 min 或 0-1 判断条件转为线性表达式

数学建模过程中，经常会遇到下面的表达式：
x = max ⁡ { y , 0 } x=\max\{y, 0\} x=max{y,0}
这是一个非线性表达式，如何将这个表达式转化为线性，进而调用线性规划软件求解呢？通常需要引入一个 0-1 变量 $\delta$， 一个大常数 M，转化为五个不等式。如下：
$$\begin{array}{rl}x& \le y+(1-\delta )M\\ x& \ge y-(1-\delta )M\\ x& \le \delta M\\ y& \le \delta M\\ x& \ge 0\end{array}$$

（不等式 $y\ge -(1-\delta )M$ 不需要，因为自动满足）
上面第 2 个不等式也可以更简单地写成：
$$x\ge y$$

另外，假如有下面的 0-1 判断条件：
$$x=\{\begin{array}{ll}a& z=1\\ b& z=0\end{array}$$

则可以转化为下面的线性表达式：

$$\begin{array}{rl}x& \le a+(1-z)M\\ x& \ge a-(1-z)M\\ x& \le b+zM\\ x& \ge b-zM\end{array}$$

牢记这个小技巧非常方便！