我有一个具有以下条件的模型：
z[i] = min{t*x[i][t] | x[i][t] = 1},
x[i][t] - boolean,
z[i] - integer
这意味着我试图在一组整数表达式中找到最小正值。 ＆＃34; min＆＃34;条件可以很容易地转换成一组线性条件，只要我们没有找到正值但是布尔值（0或1）。
这种情况有点复杂。我们来说
t*x[i][t]
可以具有以下值：
0， 3 下，4,5
我正在寻找一种方法来获得值3（最小正值）并将其分配给另一个变量（z[i]）
有没有办法将条件转换为一组线性条件，以便我的模型不是非线性编程模型？