
目标函数为取最大值或是取最小值,如下样例:


输入:变量X= [𝑥1,𝑥2,𝑥3,𝑥4,𝑥5],均为01变量
输出:X中最后一个为1的索引
样例:X= [0,1,1,1,0];

代入后得:

注:变量均为01变量,当 x 1 x_1 x1和 x 2 x_2 x2都取1的时候,存在约束 D i s t ( x 1 , x 2 ) Dist({x_1},{x_2}) Dist(x1,x2)小于 C C C,其中 D i s t Dist Dist为 ( x 1 , x 2 ) (x_1,x_2) (x1,x2)的映射函数,C为常数,如下所示

考虑所有情况

综合纳入所有情况:引入极大数
k
k
k,构建线性约束


因为
k
k
k为极大数,所以三种情况均成立。
欢迎大家进行补充!
······
2022.11.10 // 18.10 西安