Я решаю SDP в cvxpy с MOSEK в качестве решателя. Моя проблема неосуществима, и у MOSEK есть приятная особенность, которая предоставляет «Отчет о неосуществимости». В моем случае отчет выглядит так:
MOSEK PRIMAL INFEASIBILITY REPORT.
Problem status: The problem is primal infeasible
The following constraints are involved in the primal infeasibility.
Index Name Lower bound Upper bound Dual lower Dual upper
37 none -0.000000e+00 0.000000e+00 2.647059e-03
406 none 3.000000e+02 0.000000e+00 6.250000e-04
2364 none -0.000000e+00 0.000000e+00 6.183824e-03
2980 none -8.100000e-01 0.000000e+00 1.000000e+00
3049 -0.000000e+00 -0.000000e+00 0.000000e+00 4.235294e+00
3052 -0.000000e+00 -0.000000e+00 0.000000e+00 1.000000e+00
Я бы хотел выяснить, на какие ограничения ссылается этот отчет. Мой список ограничений в cvxpy содержит только 105 ограничений, но многие из них являются матричными или векторными ограничениями. Это объясняет, почему индекс, о котором сообщает MOSEK, составляет до 3052. Однако трудно определить, какие из моих ограничений перечислены в отчете.
Есть ли способ узнать, какое из моих ограничений cvxpy сообщили в МОСЭК?