[Cbc] Problem in using SOS and LotSize objects

[John Forrest]

Marco,

SOS without a convexity row got broken sometime.  I think I have fixed 
it in trunk.

I will look at semi-continuous.

The main culprit was some "improvements" which did not know about odd 
sets etc.

Will post something in a day or so.

John Forrest

On 27/06/14 15:50, mg wrote:
> Hi all,
> I'm trying to use SOS and LotSize/SemiContinuous objects without success.
>
> I have created a very simple program (attached) containing a small 
> problem with SOS and a small problem using LotSize objects...
>
> The SOS test problem is the following:
>
> max         3 * x0 + 2 * x1 + 4 * x2
> subject to
>             x0, x1, x2 binary
>             sos1(x0, x1, x2)
>
> and solving it, I get x0 = 1, x1= 1, x2 = 1 where I expected just one 
> single 1...
>
> The LotSize/SemiContinuous test problem is the following:
>
> min         2 * x0 + 3 * x1 + x2
> subject to
>             3 * x0 + 5 * x1 + 7 * x2 <= 42
>             4 * x0 + 3 * x1 + 2 * x2 <= 31
>             2 * x0 + 1 * x1 + 5 * x2 <= 23
>             x0, x1, x2 integers [0,4]
>             x1 semi-continuous can be 0 or [3,4]
>
> and solving it, I get x0 = 4, x1 = 2 where I expected x1 being 0,3 or 4
>
> Am I doing something wrong ?
>
> Thanks in advance,
> Marco
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140627/9a1d1273/attachment.html>