Mosek 不可行性报告支持的问题类型

如何解决Mosek 不可行性报告支持的问题类型

我通过它的 Cvxpy 界面使用 Commercial Mosek。专门利用其不可行报告功能来调试我的不可行问题。

虽然它在样本 LP 问题上运行得非常好，但在 MILP 问题上失败（即求解器日志中没有不可行性报告）。

在 Mosek [0] 的官方文档中，我找不到关于不可行性报告支持的问题类型的任何规范。

请告知不可行性报告支持的问题类型。

（或者它适用于所有问题类型？）

0 - https://docs.mosek.com/9.2/toolbox/debugging-infeas.html

解决方法

不可行性报告基于法卡斯引理，如

https://docs.mosek.com/whitepapers/infeas.pdf

由于 Farkas Lemma 不适用于 MILP，因此此报告不适用于 MILP。