我需要一些帮助将以下逻辑建模为车辆路线问题的混合整数线性规划约束。
涉及的变量如下：
- X ij、SDV lmj和 MDV hkbj是二元决策变量。当某个链接 (ij) 或路由/路径 (lmj 或 hkbj) 通过时，它们等于 1。
- SOC Li和SOC j R都是系统变量，在 0 到 100 之间连续，表示车辆的充电状态，决定了其在特定节点的行驶范围。
指数
所有索引 (i,j,l,m,h,k,b) 都与网络中的节点有关，并且在特定约束中使用时指代不同的节点。索引 i 和 j 将是我问题的重点。
逻辑
IF (X ij = 1 AND (SDV lmj = MDV hkbj = 0) THEN (SOC L i = SOC j R )。
当这个逻辑不成立时，我希望 SOC Li和SOC j R的值不具有约束力。
关于其他当前约束的附加说明，可能会更清楚（不需要帮助）。
- SDV lmj + MDV hkbj <= 1 对于所有 j
- 如果所有节点 j 的X ij = 1， SDV lmj或 MDV hkbj只能 = 1 。但是即使 SDV lmj和 MDV hkbj都 = 0 ， X ij也可以 = 1。（我已经把它记下来了。只是为我试图实现的逻辑提供更多上下文）
我目前所拥有的...
(1) SOC L i <= SOC j R + BigM(1-X ij )
(2) SOC L i => SOC j R - BigM(1-X ij )
(3) SDV lmj +MDV hkbj <=1
(4) SDV lmj +MDV hkbj <= X ij
然而，当前公式的问题在于，当 (SDV lmj + MDV hkbj ) = 1 时，基于约束 (4)，X ij必须等于 1，这将约束 (1) 和 (2) 中的 BigM 乘以零，有效地将值 SOC L i绑定到等于我试图避免 的 SOC j R 。
任何帮助将非常感激。