[Coin-symphony] how to save cut generated by feasibility test?

[tkr2 at lehigh.edu]

Quoting Michael Hennebry <hennebry at web.cs.ndsu.nodak.edu>:

> On Tue, 31 May 2005 tkr2 at lehigh.edu wrote:
> 
> > In theory, it would be possible to actually load the cuts directly from
> > user_is_feasible(), but the problem is that user_is_feasible() is also
> called
> > during strong branching and loading cuts during strong branching can cause
> > problems. Try the first solution above and if this is not satisfactory, let
> me
> 
> What are the consequences of lying during strong branching?
> Presumably it would lessen the efficiency of the b&b.
> Would a false claim of feasibility also affect correctness?

Yes, it would certainly affect correctness. For one, it is possible that this 
cold cause a node to be fathomed when it should not be, thus preventing the 
true optimal solution from being discovered, in the worst case. Second, a 
false feasible solution would also produce a false upper bound, which could be 
smaller than the true minimum, again preventing discovery of the true optimum.

Ted


-------------------------------------------------
This mail sent through IMP: http://horde.org/imp/