<html dir="ltr">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style id="owaParaStyle" type="text/css">P {margin-top:0;margin-bottom:0;}</style>
</head>
<body ocsi="0" fpstyle="1" bgcolor="#FFFFFF">
<div style="direction: ltr;font-family: Tahoma;color: #000000;font-size: 10pt;">Hi John,<br>
Terrific! OK, done. That's a subtle one I must say....<br>
Cheers & thanks<br>
James.<br>
<div><br>
<div class="BodyFragment"><font size="2"><span style="font-size:10pt;">
<div class="PlainText">James Gunning<br>
CSIRO <br>
Clayton, Vic., Australia</div>
</span></font></div>
</div>
<div style="font-family: Times New Roman; color: #000000; font-size: 16px">
<hr tabindex="-1">
<div style="direction: ltr;" id="divRpF5535"><font face="Tahoma" color="#000000" size="2"><b>From:</b> cbc-bounces@list.coin-or.org [cbc-bounces@list.coin-or.org] on behalf of John Forrest [john.forrest@fastercoin.com]<br>
<b>Sent:</b> Friday, 8 May 2015 9:15 PM<br>
<b>To:</b> cbc@list.coin-or.org<br>
<b>Subject:</b> Re: [Cbc] "Integer infeasible..." issue?<br>
</font><br>
</div>
<div></div>
<div>
<div class="moz-cite-prefix">James,<br>
<br>
It is not a bug in Cbc, but an error (feature?) in Coin's lp format reader. The reader does not like the last two constraints - if I replace<br>
<br>
<i>p0_2 + p1_2 = x2</i><i><br>
</i><i>p0_3 + p1_3 = x3<br>
<br>
by<br>
<br>
</i><i></i><i>p0_2 + p1_2 - x2 = 0</i><i><br>
</i><i>p0_3 + p1_3 - x3</i><i> = 0<br>
<br>
everything is fine<br>
<br>
John Forrest<br>
</i><br>
<br>
On 08/05/15 09:07, James Gunning wrote:<br>
</div>
<blockquote type="cite">Hello All,<br>
This is probably a dumb question: why does this simple .lp file<br>
<br>
<i>Min</i><i><br>
</i><i>obj: -10.9139 p1_3 +15.3211 x1 -3.30662 x3 </i><i><br>
</i><i>s.t.</i><i><br>
</i><i>x0 - p0_2 >= 0</i><i><br>
</i><i>x2 - p0_2 >= 0</i><i><br>
</i><i>p0_2 - x0 - x2 >= -1</i><i><br>
</i><i>x0 - p0_3 >= 0</i><i><br>
</i><i>x3 - p0_3 >= 0</i><i><br>
</i><i>p0_3 - x0 - x3 >= -1</i><i><br>
</i><i>x1 - p1_2 >= 0</i><i><br>
</i><i>x2 - p1_2 >= 0</i><i><br>
</i><i>p1_2 - x1 - x2 >= -1</i><i><br>
</i><i>x1 - p1_3 >= 0</i><i><br>
</i><i>x3 - p1_3 >= 0</i><i><br>
</i><i>p1_3 - x1 - x3 >= -1</i><i><br>
</i><i>x0 + x1 = 1</i><i><br>
</i><i>x2 + x3 = 1</i><i><br>
</i><i>p0_2 + p1_2 = x2</i><i><br>
</i><i>p0_3 + p1_3 = x3</i><i><br>
</i><i>Binaries</i><i><br>
</i><i>x0 x1 x2 x3 p0_2 p0_3 p1_2 p1_3</i><i><br>
</i><i>End</i><br>
<br>
<br>
<br>
Give me "Integer infeasible..." under cbc?<br>
<br>
lp_solve gives me an integer solution <br>
<br>
p1_3 0<br>
x1 0<br>
x3 1<br>
x0 1<br>
p0_2 0<br>
x2 0<br>
p0_3 1<br>
p1_2 0<br>
<br>
<br>
<br>
I'm sure I've done something stupid, but it may be a subtle roundoff thing?<br>
This is cbc 2.8.12.<br>
<br>
Best wishes all & kudos to John for keeping things going so well...<br>
James.<br>
<br>
<br>
<br>
<br>
<fieldset class="mimeAttachmentHeader" target="_blank"></fieldset> <br>
<pre>_______________________________________________
Cbc mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Cbc@list.coin-or.org" target="_blank">Cbc@list.coin-or.org</a>
<a class="moz-txt-link-freetext" href="http://list.coin-or.org/mailman/listinfo/cbc" target="_blank">http://list.coin-or.org/mailman/listinfo/cbc</a>
</pre>
</blockquote>
<br>
</div>
</div>
</div>
</body>
</html>