举例说明如何用0-1变量把分段函数约束转换为线性约束