<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD>
<META content="text/html; charset=iso-8859-1" http-equiv=Content-Type>
<META name=GENERATOR content="MSHTML 8.00.6001.18975">
<STYLE></STYLE>
</HEAD>
<BODY bgColor=#ffffff>
<DIV>
<DIV><BR>Hi Kipp,<BR> <BR>Please note that I was making reference to the
stable version that I am using (1.2), not trunk.<BR> <BR>I know that the
idea is to get a “better” integer solution from adding cuts to an existing
integer solution.<BR>Infeasibility is quite possible.
<BR><BR>--------------------------------<BR>// continuous is integer<BR>double
objectiveValue = newNode->objectiveValue();<BR>setBestSolution(CBC_SOLUTION,
objectiveValue,<BR>solver_->getColSolution()) ;<BR></DIV>
<DIV>user_function(.......); /////////add cuts,
resolve</DIV>
<DIV>if (feasible and all integer variables still have integer
values) //////////some
integer variables maynot be "fixed" in the solution or by the added cuts
</DIV>
<DIV> setBestSolution(............);</DIV>
<DIV> </DIV>
<DIV>delete newNode ;<BR>newNode = NULL ;<BR>----------------------------</DIV>
<DIV> </DIV>
<DIV> setBestSolution(CBC_SOLUTION,objectiveValue,<BR> solver_->getColSolution())
;<BR> lastHeuristic_ =
NULL;<BR> incrementUsed(solver_->getColSolution());<BR> //assert(nodeInfo->numberPointingToThis()
<= 2) ;<BR> // avoid accidental pruning, if
newNode was final branch
arm<BR> nodeInfo->increment();</DIV>
<DIV> </DIV>
<DIV><BR>user_function(.......); /////////add cuts,
resolve<BR>if (feasible and all integer variables still have integer
values) //////////some
integer variables maynot be "fixed" in the solution or by the added cuts
<BR> setBestSolution(............);<BR></DIV>
<DIV><BR> delete newNode
;<BR> nodeInfo->decrement() ; }
}<BR> /*<BR> This node has been completely
expanded and can be removed from the
live<BR> set.<BR> */<BR><BR>----- Original
Message ----- <BR>From: Kipp Martin <BR>To: cbc@list.coin-or.org <BR>Sent:
Saturday, October 16, 2010 3:36 PM<BR>Subject: [Cbc] Cut Generator
Question<BR><BR><BR>Hi:<BR><BR>When Cbc is implementing branch and cut, if it
finds a node such that <BR>the continuous relaxation is integer will the node be
automatically <BR>fathomed? Is it possible to tell Cbc to call a user cut
generator even <BR>if it finds an integer node?<BR><BR>Thanks<BR><BR><BR>--
<BR>Kipp Martin<BR>Professor of Operations Research<BR>and Computing
Technology<BR>Booth School of Business<BR>University of Chicago<BR>5807 South
Woodlawn Avenue<BR>Chicago, IL
60637<BR>773-702-7456<BR>kmartin@chicagobooth.edu<BR>http://www.chicagobooth.edu/faculty/bio.aspx?person_id=12825325568<BR>http://projects.coin-or.org/OS<BR><BR>_______________________________________________<BR>Cbc
mailing list<BR>Cbc@list.coin-or.org<BR><A
href="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</A></DIV>
<DIV> </DIV>
<DIV>Gabrielle</DIV></DIV>
<BLOCKQUOTE
style="BORDER-LEFT: #000000 2px solid; PADDING-LEFT: 5px; PADDING-RIGHT: 0px; MARGIN-LEFT: 5px; MARGIN-RIGHT: 0px">
<DIV style="FONT: 10pt arial">----- Original Message ----- </DIV>
<DIV
style="FONT: 10pt arial; BACKGROUND: #e4e4e4; font-color: black"><B>From:</B>
<A title=kmartin@chicagobooth.edu href="mailto:kmartin@chicagobooth.edu">Kipp
Martin</A> </DIV>
<DIV style="FONT: 10pt arial"><B>To:</B> <A title=cbc@list.coin-or.org
href="mailto:cbc@list.coin-or.org">cbc@list.coin-or.org</A> </DIV>
<DIV style="FONT: 10pt arial"><B>Sent:</B> Saturday, October 16, 2010 3:36
PM</DIV>
<DIV style="FONT: 10pt arial"><B>Subject:</B> [Cbc] Cut Generator
Question</DIV>
<DIV><BR></DIV>Hi:<BR><BR>When Cbc is implementing branch and cut, if it finds
a node such that <BR>the continuous relaxation is integer will the node be
automatically <BR>fathomed? Is it possible to tell Cbc to call a user cut
generator even <BR>if it finds an integer node?<BR><BR>Thanks<BR><BR><BR>--
<BR>Kipp Martin<BR>Professor of Operations Research<BR>and Computing
Technology<BR>Booth School of Business<BR>University of Chicago<BR>5807 South
Woodlawn Avenue<BR>Chicago, IL 60637<BR>773-702-7456<BR><A
href="mailto:kmartin@chicagobooth.edu">kmartin@chicagobooth.edu</A><BR><A
href="http://www.chicagobooth.edu/faculty/bio.aspx?person_id=12825325568">http://www.chicagobooth.edu/faculty/bio.aspx?person_id=12825325568</A><BR><A
href="http://projects.coin-or.org/OS">http://projects.coin-or.org/OS</A><BR><BR>_______________________________________________<BR>Cbc
mailing list<BR><A
href="mailto:Cbc@list.coin-or.org">Cbc@list.coin-or.org</A><BR><A
href="http://list.coin-or.org/mailman/listinfo/cbc">http://list.coin-or.org/mailman/listinfo/cbc</A></BLOCKQUOTE></BODY></HTML>