[Scip] Cutpool

[Jonas Witt]

I forgot to mention that I disabled presolving. Otherwise the problem is 
solved due to presolving.

Best regards
Jonas

Am 18.06.2013 15:41, schrieb Jonas Witt:
> Hi all,
>
> I use a sub-SCIP and get all cuts of the cutpool via SCIPgetPoolCuts() 
> to use these cuts for my SCIP-instance. The problem is that one of the 
> cuts in the cutpool seemes to be not valid for my sub-SCIP.
>
> The sub-SCIP is some kind of knapsack of the form max{c^T x: w^T x <= 
> B*y, x_i and y binary} (so x is a vector, but y is just a binary 
> variable) where w_i >= 0 for all i and B >= 0.  The cut of the cutpool 
> which is not valid has the form x_i - y <= -1 (for some i) and was 
> generated by the cmir separator. Since the zero vector is feasible for 
> this problem the cut is not valid, right? Or have I overlooked something?
>
> I attached the problem file to this mail.
>
> Best regards
> Jonas
>
>
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> http://listserv.zib.de/mailman/listinfo/scip

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://listserv.zib.de/mailman/private/scip/attachments/20130618/498b8f35/attachment.html