使用yalmip的kkt命令进行多目标求解时的错误解决方案/持续更新_one of the constraints evaluates to a false logica

问题1

使用yalmip下的KKT命令，构建双层规划模型，在运行过程中报错如下：

One of the constraints evaluates to a FALSE LOGICAL variable. Your model is infeasible

为了解决这个问题，再次查询yalmip的官网网站进行问题查找，网址如下：

https://yalmip.github.io/debugginginfeasible

可惜的是，没有找到相关的解决方法。不过该网址仍然可以收藏，在遇到问题时查找。

问题2

从 constraint 转换为 logical 时出现以下错误: 无法从 constraint 转换为 logical。

1.处理方式1

如果在yalmip中需要用到if判断的，可以通过implies这个命令实现。
详见官网对于implies的具体描述:
F = implies(A,B)
d = binvar(1);
F = implies(d,Ax <= b);
d = binvar(1);
F = implies(Ax <= b, d);

2.处理方式2

yalmip环境中变量是无法比较大小的，只能用约束的形式写出：
Constraints=[];
Constraints=[Constraints, ];

其他网址：

https://yalmip.github.io/example/modellingif/