问题标签 [mosek]

我们正在制定一个优化问题并使用 Mosek 求解器。

但对于 Mosek 来说，这将是更好的建模框架，其中包括：

1. Cvxpy：之前我们使用过 Cvxpy，但它缺少 Mosek 的 Optimizer API 中存在的一些功能（例如解决方案初始化）。
2. Mosek Optimizer API：Cvxpy 似乎对问题进行了大量转换，然后将其提供给 Mosek。如果我们直接使用 Mosek Optimizer API，这将丢失。这种转变对摩西真的有帮助（改变游戏规则）吗？

一句话，这两种选择是否有明显的赢家，还是我们需要找到一个平衡点？

给定一个优化问题Cvxpy，它会在将其提交给求解器之前对其进行大量转换。

但是我们需要将原始/未转换的问题提交给求解器（因为我们想解释求解器的不可行性报告 - 例如Mosek，Gurobi）。

有没有办法：

1. 要么完全压制Cvxpy的转变？
2. 或者以某种方式将转换后的问题映射回原始/原始问题？

在 Mosek 的不可行性白皮书中，它提到了不可行性提取的两个公式，即

1. 没有宽容：

2. 有公差：

其中，Mosek 使用了哪些公式？

如果是第二选择，我们如何设置 Є 容差的值？

我正在尝试解决以下优化问题，这是逻辑回归的最大熵公式，m是数据集中的特征数，q是目标分类变量中的目标类数，$\hat{y} _{ik}$ 是观察 i 属于类别 k 的估计概率。

这是我实现的一部分

在某些情况下用 MOSEK 解决这个问题似乎会产生一个不可行的双重解决方案。对于某些数据集，它可以正常工作，而对于其他数据集则失败。这是 MOSEK 使用 cvxpy 包进行优化的部分输出。

我真的不明白这里发生了什么。在我看来，这个问题永远不应该是不可行的。我弄错了吗？在这里，输出似乎表明所有变量都导致问题不可行。有人可以为我澄清一下吗？

注意：数据按比例缩放。

我们正在 Cvxpy 中制定优化问题并使用 Mosek 求解器。

我们的问题恰好是不可行的。

调试其中，我们需要 Mosek 提供这两个信息：

1. 不可行性报告：我们能够完美地生成此报告。

2. 不可行性证明：我们无法获得此证明。

certificate of infeasibility将 Mosek 与 Cvxpy 一起使用时，有没有办法获得, ？

我有一个奇怪的错误仍然无法弄清楚。

在这里，当我使用 M->constraint(Expr::mul(A, x), Domain::lessThan(b_rep));表达式时，它工作正常。但是同样的事情可以通过以下方式来完成，但这是行不通的，

我收到以下错误

我通过以下方式有一组约束，但无法正确制定它。

通过以下方式，我可以接受规范，但我们如何获得它的力量？

如果我们可以将Expr::sub(x_0, start_)表达式转换为变量，我可以尝试制定规范，然后是幂，但仍然无法理解如何做到这一点？

问题：

我不会得到从 Matlab 实现中得到的结果，我不确定pow_pos(norm(x(:, 1) - start'), 2)我是否正确转换，这是转换后的代码

输出

这里黑点代表我从 Matlab 中得到的，绿点代表我从 C++ 中得到的

这是我在 Matlab 中编写的原始代码，它给出了预期的输出

这是使用 Mosek 将上述内容转换为 c++ 的代码

我们已经购买了多个 Mosek 浮动许可证

我们想要获取 Mosek License 的使用信息（即哪个员工在什么时间点使用了该许可证）。像这样的东西：

虽然，似乎有一个低级日志文件lmgrd.log（记录每个许可证请求），但这需要实现解析器层来提取信息。

我们有以下问题：

• Mosek 是否提供任何开箱即用的实用程序（最好通过其 CVXPY API）来获取此许可证使用信息？
• 如果没有，在 Mosek 中实现这一目标的最佳方法是什么？
• 最后，如果从 lmgrd.log 中提取信息是唯一的选择 - 那么该 lmgrd.log 的结构/格式是什么？

mosek.dparam.optimizer_max_time参数的单位是什么。我的意思是它是否期望输入值：秒/毫秒？

如果文档没有明确指定（例如mosek.dparam.mio_max_time，...），假设时间单位始终是秒是否安全？