cvxpy - Mosek 行为：Mosek 的不可行性证明公式是什么？

Question

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

1. 没有宽容：

2. 有公差：

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

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