我有一个消除子巡回约束，例如：
x（S，！S）+ x（！S，S）> = z
更具体：
对于每个{N中的k，P中的p，NS中的s：card（S [s]）> = 2和S [s]中的k}}： sum {i in S [s]，j in NO：j not in S [s]} x [i，j，p] + sum {i in S [s]，j in NO：j not in S [s] } x [j，i，p]> = z [k，p];
其中：
N：节点集 NO：具有仓库的节点集 NS：消除子巡回约束的数量 S：子巡视集 P：车辆套 x_ijp：1，如果车辆p通过弧i-j； 0，否则 z_kp：1，如果车辆p通过节点k； 0，否则
在这种情况下，要确定子行程消除约束，解决车厂与车辆p访问的每个节点k之间的最大流量问题是否正确？如果此最大流量小于变量z_kp的值，我是否可以说违反了约束条件？
谢谢。