如何在不违反约束角色的情况下将原始MILP转换为双MILP

Question

我有一个原始的MILP，其中包含一些与我正在解决的优化问题的特定结构相关的约束。

基本上，它涉及两个决策变量A[u,x] and B[u,v,x,y]的组合，其中B是众所周知的多商品流变量。约束如下：

A[u,x] + A[v,y] <= B[u,v,x,y] -Constraint 1

我想知道如果转向双MILP，约束1将不会像原始程序那样发挥作用？如果是的话，应该如何处理这个问题并提出解决方案。

由于