Mosek 不可行性报告支持的问题类型
Supported Problem types for Mosek Infeasibility Report
我通过其 Cvxpy 界面使用 Commercial Mosek。特别利用其 不可行性报告功能 来调试我的不可行问题。
虽然它 运行 对于示例 LP 问题非常好,但 在 MILP 问题上失败 (即求解器日志中没有不可行性报告)。
在 Mosek [0] 的官方文档中,我找不到关于不可行性报告支持的问题类型的任何规范。
请告知不可行性报告支持的问题类型。
(或者它适用于所有问题类型?)
0 - https://docs.mosek.com/9.2/toolbox/debugging-infeas.html
不可行性报告基于
中讨论的 Farkas 引理
https://docs.mosek.com/whitepapers/infeas.pdf
由于 Farkas 引理不适用于 MILP,因此此报告不适用于 MILP。
我通过其 Cvxpy 界面使用 Commercial Mosek。特别利用其 不可行性报告功能 来调试我的不可行问题。
虽然它 运行 对于示例 LP 问题非常好,但 在 MILP 问题上失败 (即求解器日志中没有不可行性报告)。
在 Mosek [0] 的官方文档中,我找不到关于不可行性报告支持的问题类型的任何规范。
请告知不可行性报告支持的问题类型。
(或者它适用于所有问题类型?)
0 - https://docs.mosek.com/9.2/toolbox/debugging-infeas.html
不可行性报告基于
中讨论的 Farkas 引理https://docs.mosek.com/whitepapers/infeas.pdf
由于 Farkas 引理不适用于 MILP,因此此报告不适用于 MILP。