[SCIP] FW: Methods to calculate IIS in SCIP

[xu liwei]

Hi Mark,

I’m truly excited to hear that the feature for calculating IIS will be available soon!
I totally understand there may be some performance challenges initially, but it's still a significant step forward. I hardly find any open-source solver with the feature of calculating IIS, and your efforts in making it available are truly appreciated.

Thank you,

Sincerely,
Leslie

________________________________
发件人: xu liwei <leweeXu at outlook.com>
发送时间: 2024年11月5日 14:35
收件人: Mark Turner <turner at zib.de>
主题: Re: [SCIP] Methods to calculate IIS in SCIP

Hi Mark,

I’m truly excited to hear that the feature for calculating IIS will be available soon!
I totally understand there may be some performance challenges initially, but it's still a significant step forward. I hardly find any open-source solver with the feature of calculating IIS, and your efforts in making it available are truly appreciated.

Thank you,

Sincerely,
Leslie

________________________________
发件人: Mark Turner <turner at zib.de>
发送时间: 2024年11月4日 18:36
收件人: xu liwei <leweeXu at outlook.com>; scip at zib.de <scip at zib.de>
主题: Re: [SCIP] Methods to calculate IIS in SCIP


Hi Leslie,


This is an insanely rewarding email to hear!

I am currently working on implementing an IIS plugin for SCIP, so the answer to your question is that there will soon be such functionality! I will be cautiously optimistic and suggest that the feature exists by the end of this month (let's hope this doesn't age poorly). A note of warning though: It will sadly not be as performant as the algorithms implemented in some of the closed-source solvers. A substantial amount of work needs to be done for that to happen.
The reality for right now: There is no such functionality, and the answer to the question from 2015 is still up to date. That is, one would either need to write their own algorithm or use the existing MinUC functionality and work around that output.


Hopefully this functionality exists soon, and thanks for the email justifying the need for this!


Cheers and happy optimising,

Mark


On 11/4/24 10:43, xu liwei wrote:
Hi,

I would like to know if there are any methods for calculating the IIS(Irreducible Infeasible Subset) in SCIP Optimization Suite?

I have looked through the API pages, and i find Conlict Analysis in Methods for managing plugins of Core API. But it seems confusing. I also checked the mail list history, there was a similar question of IIS in 2015, and the answer was None.

I'm using SCIP solver in my C++ programming. SCIP is very powerful, but i don't find the tools to get IIS to debug my model. Thank you!

Leslie



_______________________________________________
Scip mailing list
Scip at zib.de<mailto:Scip at zib.de>
https://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20241105/90249e8b/attachment.html>