问题标签 [mosek]

我们正在使用 Cvxpy 和 Mosek 解决我们的大规模 MI 优化问题。

通常情况下，Mosek 消耗的运行时间比我们规定的两小时超时时间要长。

有没有办法系统地捕获那些超时异常？

最小可重现示例：

在下面的代码片段中，我尝试使用 cvxpy 和 mosek 求解器进行非常简单的线性回归

但我一直低于错误。

我检查了手册：https ://docs.mosek.com/latest/pythonapi/response-codes.html#mosek.rescode.err_lower_bound_is_a_nan 但我到底错过了什么？

我正在解决这样的问题：

也就是说，我想得到一个最多包含一个非零元素的 X 的解。

我不确定 mosek 是否可以解决此类问题。有人可以给我一些帮助吗？非常感谢！

我必须解决具有大量约束的线性程序。我使用 MOSEK ( mosekopt，MSK_IPAR_INTPNT_BASIS设置等于MSK_BI_NEVER以节省时间)。由于维数较大，求解器需要时间来求解程序。

我考虑过手动编码以下迭代过程：

1. 取一个随机的约束子集并求解受限线性程序。

2. 如果限制线性规划的解不存在，则停止。

3. 如果存在受限线性规划的解，则检查它是否是原始线性规划的解。如果是，请停止。如果不是，请从 1. 开始重复。使用包含此迭代约束的更大约束集。

该过程似乎没有显着节省时间。我想知道这是否是因为 1.,2.,3。本质上是求解器在不需要我输入的情况下所做的。你能建议吗？

如果在从 3. 移到 1. 时，我提供mosekopt了受限线性程序的旧解决方案，我可以做些改进吗？

我们正在整个组织中使用 Mosek 浮动许可证产品。

有时会出现以下情况：团队成员不可用，但已占用 Mosek 许可证，使其他人无法使用（即使紧急需要）。

为了在这些情况下提供帮助，Mosek 是否有任何实用程序可以强制释放该占用的许可证？

例如，如果许可证视图实用程序：lmutil lmstat -c 27007@127.0.0.1 -a.，那么许可证发布的实用程序是什么？

首先，Mosek 的初始化 API 效果很好。我们能够将优化速度提高 25 倍，仅通过对样本问题进行决策变量初始化（所有变量都受积分约束）。

现在，我们正在解决一个新的大规模 MIQCQP 问题（具有一些变量积分约束和一些连续），我们想要初始化所有这些变量。

在使用task.putxxsliceAPI [1] 时，我们在确定whichsol参数的值时遇到了问题。

疑点：

1. 既然我们的问题既有积分又有连续，那么用whichsol = mosek.soltype.itg所有变量（积分和连续）来代替是否正确？

2. 我们的最终目标是添加此通用支持自定义 Cvxpy。我们几乎已经实现了这一点，只是——whichsol在 Cvxpy 中是否有任何程序化方式来决定？或者更好地问 - 这是正确的方法吗？

[1] - https://docs.mosek.com/latest/pythonapi/optimizer-task.html#mosek.task.putxxslice

我正在按照 Mosek 文档检索求解器的信息。特别是我想通过以下方式获得约束的数量：

但是它返回 anaProNumCon=0（应该是 3）。通话中可能有什么问题？

最好的

如何在现有的 mosek 模型中添加另一个客观项，例如 M？

M.objective('obj', ObjectiveSense.Minimize, newObjTerm) 将完全替换目标，我不希望那样。我想要这样的东西。

M.objective('obj', ObjectiveSense.Minimize,Expr.add(M.getObjective(), newObjTerm))

就像我们可以随时添加约束一样，我们应该能够随时添加或删除客观术语。

我想使用 Mosek 解决以下问题：

约束是凸的。在 Mosek 可以解决的问题的指导下，我找不到一个“接近”的例子。因此，我想知道：（1）Mosek 是否适合解决上述问题？（2）如果是，我该如何重新调整上述问题以由 Mosek 解决？(3) 如果没有，您能否建议我可能使用的替代求解器？

我有以下约束要在 Mosek 中实现，其中未知变量是 x。

我正在尝试关注这里的讨论。我可以将约束写为 15 个指数锥和一半空间之间的交集。但是，鉴于我有未知 x 的元素的线性组合，在 Mosek 中编写指数锥的最佳方法是什么？