<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">2013/12/4 Stefan Lörwald <span dir="ltr"><<a href="mailto:stefan.loerwald@gmail.com" target="_blank">stefan.loerwald@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><br></div><div>if the user requires binary variables any solution having non-binary results are per definition infeasible.</div><div>Therefore SCIP shouldn't report <a href="tel:0.9999999" value="+499999999" target="_blank">0.9999999</a> as a feasible solution (even w.r.t. tolerances), if it isn't 0/1 feasible.</div>


<div>Either it should report as infeasible because the best value <a href="tel:%280.999999" value="+49999999" target="_blank">(0.999999</a>) doesn't satisfy the 0/1 constraint, or it should report as infeasible because rounding to 1 would be infeasible.</div>
<div></div></blockquote></div><br></div><div class="gmail_extra">I believe this is not what we want. If the user requires binary variables, and (w.r.t. tolerances) there is no binary feasible solution, the answer to the computation will be "there is no feasible solution". From a practical perspective, this is not very satisfactory. And it may be a false answer. Maybe there IS a feasible solution, but we did not find it b/c of computations are subject to tolerance.<br>
<br>The solution you get from a MIP solver may be in some rare cases completely irrelevant, wrong or otherwise flawed. Probably, this does not happen too often, but it may happen. Now, I rather see an "almost" feasible solution than "there is no answer". At least as a practitioner. But again, both answers, feasible or infeasible, may be wrong, so I prefer the report "I probably found an almost feasible solution" rather than "the correct answer may be 'infeasible'". <br>
<br></div><div class="gmail_extra">Marco<br><br></div><div class="gmail_extra"><br></div></div>