博客中所有内容均来源于自己学习过程中积累的经验以及对yalmip官方文档的翻译：https://yalmip.github.io/tutorials/
这篇博客将详细介绍yalmip工具箱中约束条件操作相关函数的用法。
1 .约束条件操作的相关函数
1.1 boundingbox函数
boundingbox函数用于求出一组约束条件中所包含变量的上下限，即提取约束条件中变量的显式边界，使用语法如下：
[B,L,U] = boundingbox(Constraint,options,x)
其中，Constraint 表示约束条件(必要输入)，options 表示Yalmip设置(可选输入)，x 表示需要提取边界的变量（可选输入），B 为变量x的上下限约束，为lmi变量形式，L 和U分别表示变量的上下限，均为矩阵形式(可选输出)，下面是一个简单的示例：
**例1：**使用boundingbox求出约束x²+y²<=4中变量的上下界，并画图展示
sdpvar x y
Ball = x^2+y^2 <= 4;
[Box,L,U] = boundingbox(Ball);
plot(Box,[x y]);
hold on
plot(Ball,[x y],'y')
运行结果：
图1 boundingbox函数效果展示
L =
-2.0000
-2.0000
U =
2.0000
2.0000
光看上面的例子，可能很难体会到这个函数的作用，但其实这个函数在求解优化问题时是非常有用的。我们知道在求解优化问题的过程中，经常会有非线性项，需要用到大M法将其转为线性项，这时候如果可以确定变量的边界，将会非常有效地提高优化问题求解效率，下面进行举例说明：
**例2：**有1个0-1变量x和1个大于0的连续变量y相乘，使用大M法将其线性化。
引入大于0的连续辅助变量z=xy，可以使用变量z和3个辅助约束条件代替这个非线性项：
z≤Mx，z≤y，z≥y-M(1-x)
其中M是变量y的一个上界，下面分析一下两者是否等效：
1)当x=0时，由z=xy可得z=0，由z≤Mx和z≥0同样可得z=0，两者等效；
2)当x=1时，由z=xy可得z=y，由z≤Mx，z≤y，z≥y-M(1-x)可得z≤y且z≥y，即z=y，两者仍然等效。
但在实际使用时，M的取值不能太大也不能太小，如果M取值太大，可能会因为浮点数精度的问题造成约束的偏差，也扩大了约束的范围，降低求解效率；如果M取值太小，甚至小于变量y的上界，那可能会改变变量y的取值范围，甚至导致模型不可解(例如，变量y∈[0,100]，M取了50，那么约束z≤Mx会将y的范围限制在[0,50]之间，改变了y的取值范围)。
因此，M最合适的取值就是y的上限，使用boundingbox函数可以方便的求出变量的上界，这就是其作用所在：求出变量的上界之后，如果Yalmip建模时用到了大M法，将会自动使用变量的上界进行等效转换。
1.2 chebyball函数
chebyball函数用于求解一组约束条件所限定的边界中最大的内切圆(如果有3个或以上的变量，就是内切球以及内切超球体)，其基本语法如下：
[xc,r] = chebyball(Constraint,options)
其中，Constraint 表示约束条件，options 表示Yalmip选项，xc 和r分别表示内切圆的圆心坐标和半径。举例说明如下：
**例3：**已知变量x和y满足约束0≤x≤1，0≤y≤1，画出该范围内最大的圆。
代码和运行结果如下：
sdpvar x y
Box = -1 <= [x y] <= 1;
[xc,r] = chebyball(Box);
plot(Box);
hold on
plot((x-xc(1))^2 + (y-xc(2))^2 <= r^2,[],'y')
运行结果：
图2 chebyball函数效果展示
例3和例1正好正好是一个逆向过程。
1.3 check函数
check函数用在约束问题求解之后，用于检查约束条件的满足情况，其基本语法如下：
[pres,dres] = check(F)
其中，F表示约束条件，pres 和dres分别表示原始约束和对偶约束的残差，残差即为约束实际取值和约束条件边界的偏差值，当约束条件满足时，残差为正数，当约束条件不满足时，残差为负数(具体理论不做介绍，可以使用help check或者自行查找相关理论)，举例说明如下：
例4：
sdpvar x
F0 = [x == 1];
F1 = [x == 1.25];
F2 = [0.9 <= x <= 1.2];
F3 = [x >= 2];
optimize(F0);
[pres1,dres1] = check(F1);
[pres2,dres2] = check(F2);
[pres3,dres3] = check(F3);
pres1
pres2
pres3
运行结果：
pres1 =
-0.250
pres2 =
0.1000
pres3 =
-1
x实际取值为1，约束条件F1不满足，所以残差为负数，取值为-0.25，约束条件F2满足，所以残差为正数，取值为0.1，约束条件F3不满足，所以残差为负数，取值为-1。在调试代码时check函数可以发挥很大作用。
1.4 dual函数
dual函数用于求出与约束条件相应的对偶变量，其语法如下：
Z = dual(F)
其中，F 表示约束条件，Z表示其对偶变量的取值。由于该方法是直接获取对偶变量的取值，所以一般都需要优化问题求解成功后才可以使用。首先来看官方文档给出的例子，学习一下dual函数的用法。
**例5：**求解优化问题后，使用dual函数提取约束条件对应的对偶变量。
A = [-1 2;-3 -4];
P = sdpvar(2,2);
F = [P >= 0, A'*P+P*A <= 0, trace(P) == 1];
optimize(F);
Z2 = dual(F(2));
运行结果：
Z2 =
1.0e-09 *
0.8605 -0.1947
-0.1947 0.0440
求解优化问题后，使用dual函数就可以求出某个约束条件对应的对偶变量取值。由线性规划的理论可知，如果原问题具有最优解，那么当原问题取得最优解时，其对偶问题也取得最优解，且两个问题的最优目标函数相同，我们用一个例子来验证：
**例6：**已知一个线性规划的原问题和对偶问题，使用dual函数验证强对偶定理(即原问题的最优解和对偶问题的最优解相同)
原问题为：
对偶问题为：
matlab代码和运行结果：
sdpvar x1 x2
z = 50*x1 + 100*x2;
F = [ x1 + x2 <= 300 , ...
2*x1 + x2 <= 400 , ...
x2 <= 500 , x1 >= 0 , x2 >= 0];
optimize(F , -z)
y = dual(F(1:3))
z = value(z)
w = [300 400 250]*y
运行结果：
y =
100
0
0
z =
30000
w =
30000
由结果可知，原问题和对偶问题的最优解相等，满足强对偶定理。
1.5 hull函数
hull函数用于求出一组约束条件的凸包(convex hull，此处不再做理论介绍，只介绍用法)，标准语法如下：
F = hull(F1,F2,...)
其中F1，F2...表示原始的约束条件，F表示这组约束条件的凸包，官方文档中用图形直观地展示了这个函数的作用：
例7：
sdpvar x y
F1 = [-1 <= x <= 1, -1 <= y <= 1];
F2 = [-1.5 <= x-y <= 1.5, -1.5 <= x+y <= 1.5];
H = hull(F1,F2);
plot(H);hold on
plot(F2);
plot(F1);
运行结果：
图3 约束条件和相应的convex hull
1.6 vertex函数
(该函数仅最新版yalmip才有，如果没有去官网下载最新版即可)vertex函数用于求出一组约束的顶点，其标准语法如下：
V = vertex(Constraint,[x])
其中，Constraint 表示约束条件，x 表示决策变量，V表示顶点坐标，举例说明如下：
例8：
二维空间：
x = sdpvar(2,1);
B = [-1 <= x <= 1, sum(x) <= 3/2];
clf
plot(B,[],[],[],sdpsettings('plot.shade',0.1));
hold on;grid on
v = vertex(B,x);
m = plot(v(1,:),v(2,:),'bo');
set(m,'Markersize',10);
set(m,'Markerface','yellow');
三维空间：
x = sdpvar(3,1);
P = [-1 <= x <= 1, sum(abs(x)) <= 1,sum(x)>=.5]
clf
plot(P,x,[],[],sdpsettings('plot.shade',0.1));
hold on;grid on
v = vertex(P,x);
m = plot3(v(1,:),v(2,:),v(3,:),'bo');
set(m,'Markersize',10);
set(m,'Markerface','yellow');
运行结果为：
图4 二维约束的顶点
图5 三维约束的顶点
2.调试小技巧，给约束命名
当所求优化问题比较复杂时，有的时候很难记住每个约束在对应的约束变量中是第几个位置，调试代码时很不方便，这时候可以使用一个:加上一个字符串，就可以给约束命名，用于在约束变量中打上标记。例如：
sdpvar x
Constraints = [(x >= 0):'Positivity',(x <= 1):'Bounded']
运行结果：
当需要用到某个约束时，还可以用对应的'Tag'来索引，例如：
sdpvar x
Constraints = [(x >= 0):'Positivity',(x <= 1):'Bounded'];
Constraints('Bounded')
运行结果：
