Both problem and solution status are unknown

147 views
Skip to first unread message

Jianqiao Huang

unread,
Feb 2, 2022, 12:06:31 AM2/2/22
to mosek
Hi Mosek,

I call Mosek through Yalmip. The report of Mosek is as follows,

Interior-point solution summary
  Problem status  : UNKNOWN
  Solution status : UNKNOWN
  Primal.  obj: -2.3465823848e+00   nrm: 2e+03    Viol.  con: 4e+03    var: 0e+00    barvar: 0e+00    cones: 0e+00  
  Dual.    obj: -2.3160623778e+00   nrm: 6e+02    Viol.  con: 0e+00    var: 3e-02    barvar: 1e-04    cones: 0e+00  
Optimizer summary
  Optimizer                 -                        time: 7.84.    

How can I fix this problem?

Thanks,
Jianqiao Huang

Erling D. Andersen

unread,
Feb 2, 2022, 1:16:28 AM2/2/22
to mosek
I suggest you read


It is impossible based on the information provide to say anything about why your optimization problem is hard.
We need at least the complete log output.

Jianqiao Huang

unread,
Feb 4, 2022, 3:23:21 PM2/4/22
to mosek
Hi Andersen,

I have attached the Mosek task file. Can you diagnose my problem?

Thanks,
Jianqiao Huang

dump.task.gz

Jianqiao Huang

unread,
Feb 7, 2022, 11:43:04 AM2/7/22
to mosek
Hi Mosek,

If you need more information about my model, please let me know.

Thanks,
Jianqiao Huang

Erling D. Andersen

unread,
Feb 8, 2022, 1:45:42 AM2/8/22
to mosek
I have had a look at your problem. I cannot pinpoint a bad thing about your problem.

Here is what happens.

In every iterations Mosek has to solve a linear equation system. In involves computing a Cholesky factorization
of a symmetric matrix which in theory is positive definite. However, in this case as often happens it becomes semi-definite only.
Next Mosek tries to deal with the singularity using its usual methods/tricks. However, in this case they do not work sufficiently well
and Mosek has to give up. This happens fortunately rarely but for the moment being we do not have a solution that makes your problem solvable.
Sorry.

Jianqiao Huang

unread,
Feb 8, 2022, 4:24:26 PM2/8/22
to mo...@googlegroups.com
Hello Erling D,

Thanks for your reply. Is the matrix you mentioned Schur complement matrix? What parameters should I tune/revise to make the matrix positive definite? Is it possible to know what equality or inequality constraints make the matrix singular?

Thanks,
Jianqiao Huang






--
You received this message because you are subscribed to the Google Groups "mosek" group.
To unsubscribe from this group and stop receiving emails from it, send an email to mosek+un...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/mosek/04395c0b-0026-4a82-9e4b-e73864c0779fn%40googlegroups.com.

Erling D. Andersen

unread,
Feb 9, 2022, 2:42:47 AM2/9/22
to mosek
It is impossible to say anything meaningful about what you should change in your model. 

For instance for LP the matrix in question is

A*diag(x)*diag(s)^{-1}A^T

so it is dependent on the primal (=x) and dual (=s) solutions.

Jianqiao Huang

unread,
Feb 11, 2022, 4:41:49 PM2/11/22
to mosek
Hello  Andersen,

Is it something wrong with matrix A? Can you check whether A is full rank?

Thanks,
Jianqiao Huang

Erling D. Andersen

unread,
Feb 12, 2022, 12:42:45 AM2/12/22
to mosek
No. And I cannot easily check your matrix. In this case we cannot help you. Sorry.

Reply all
Reply to author
Forward
0 new messages