<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"><style>body { line-height: 1.5; }blockquote { margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em; }div.foxdiv20140925142820370486 { }body { font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; color: rgb(0, 0, 0); line-height: 1.5; }</style></head><body>
<div><span></span>Dear Gerald，</div><div> </div><!--[if gte mso 9]><xml><w:WordDocument><w:BrowserLevel>MicrosoftInternetExplorer4</w:BrowserLevel><w:DisplayHorizontalDrawingGridEvery>0</w:DisplayHorizontalDrawingGridEvery><w:DisplayVerticalDrawingGridEvery>2</w:DisplayVerticalDrawingGridEvery><w:DocumentKind>DocumentNotSpecified</w:DocumentKind><w:DrawingGridVerticalSpacing>7.8</w:DrawingGridVerticalSpacing><w:View>Normal</w:View><w:Compatibility><w:DontGrowAutofit></w:DontGrowAutofit><w:BalanceSingleByteDoubleByteWidth></w:BalanceSingleByteDoubleByteWidth><w:DoNotExpandShiftReturn></w:DoNotExpandShiftReturn><w:UseFELayout></w:UseFELayout></w:Compatibility><w:Zoom>0</w:Zoom></w:WordDocument></xml><![endif]--><!--[if gte mso 9]><xml><w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true" DefSemiHidden="true" DefQFormat="false" DefPriority="99" LatentStyleCount="156" ><w:LsdException Locked="false" Priority="99" Name="Normal" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 1" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 6" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 7" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 8" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="heading 9" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 1" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 6" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 7" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 8" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index 9" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 1" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 6" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 7" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 8" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toc 9" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Normal Indent" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="footnote text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="annotation text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="header" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="footer" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="index heading" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="caption" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="table of figures" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="envelope address" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="envelope return" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="footnote reference" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="annotation reference" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="line number" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="page number" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="endnote reference" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="endnote text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="table of authorities" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="macro" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="toa heading" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Bullet" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Number" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Bullet 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Bullet 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Bullet 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Bullet 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Number 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Number 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Number 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Number 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Title" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Closing" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Signature" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Default Paragraph Font" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text Indent" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Continue" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Continue 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Continue 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Continue 4" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="List Continue 5" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Message Header" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Subtitle" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Salutation" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Date" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text First Indent" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text First Indent 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Note Heading" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text Indent 2" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Body Text Indent 3" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Block Text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Hyperlink" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="FollowedHyperlink" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Strong" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Emphasis" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Document Map" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Plain Text" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="E-mail Signature" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Normal (Web)" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Acronym" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Address" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Cite" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Code" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Definition" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Keyboard" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Preformatted" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Sample" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Typewriter" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="HTML Variable" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Normal Table" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="annotation subject" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="No List" ></w:LsdException><w:LsdException Locked="false" Priority="99" Name="Balloon Text" ></w:LsdException></w:LatentStyles></xml><![endif]--><!--StartFragment--><p class="p0" style="margin: 0pt; text-align: justify; font-size: 10.5pt; font-family: 'Times New Roman';"><span style="letter-spacing: 0pt; font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; background-position: initial initial; background-repeat: initial initial;">I have tried </span><span style="letter-spacing: 0pt; font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; background-position: initial initial; background-repeat: initial initial;">SCIPsetObjIntegral()</span><span style="letter-spacing: 0pt; font-size: 10.5pt; font-family: 'Microsoft YaHei UI'; background-position: initial initial; background-repeat: initial initial;"> in several places ( main.c , read_col.c, pricer.c) but it could not work.</span></p><p class="p0" style="margin: 0pt; text-align: justify; font-size: 10.5pt; font-family: 'Times New Roman';"><span style="font-size: 10.5pt; line-height: 1.5; background-color: window; letter-spacing: 0pt; font-family: 'Microsoft YaHei UI';"> Where should </span><span style="font-size: 10.5pt; line-height: 1.5; background-color: window; letter-spacing: 0pt; font-family: 'Microsoft YaHei UI';">SCIPsetObjIntegral()</span><span style="font-size: 10.5pt; line-height: 1.5; background-color: window; letter-spacing: 0pt; font-family: 'Microsoft YaHei UI';"> be placed?</span></p><!--EndFragment-->
<div><br></div><div>Thanks,</div><div><br></div><div>Kai Wei</div>
<blockquote style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;"><div> </div><div style="border:none;border-top:solid #B5C4DF 1.0pt;padding:3.0pt 0cm 0cm 0cm"><div style="PADDING-RIGHT: 8px; PADDING-LEFT: 8px; FONT-SIZE: 12px;FONT-FAMILY:tahoma;COLOR:#000000; BACKGROUND: #efefef; PADDING-BOTTOM: 8px; PADDING-TOP: 8px"><div><b>From:</b> <a href="mailto:gamrath@zib.de">Gerald Gamrath</a></div><div><b>Date:</b> 2014-09-24 17:15</div><div><b>To:</b> <a href="mailto:lixiangyong@163.com">lixiangyong@163.com</a>; <a href="mailto:gleixner@zib.de">Ambros Gleixner</a></div><div><b>CC:</b> <a href="mailto:scip@zib.de">scip</a></div><div><b>Subject:</b> Re: [Scip] How to terminate SCIP earlier?</div></div></div><div><div class="FoxDiv20140925142820370486">
<div class="moz-cite-prefix">Dear Xiangyong,<br>
<br>
when using SCIPsetObjIntegral(), you do not need to call
SCIPinterruptSolve() yourself, but SCIP will stop because it knows
that optimality has been proven as soon as the primal bound is x
and the lower bound is greater than x - 1.<br>
Also the LP solving might be sped up, since a smaller cutoff bound
can be set (which is irrelevant for branch-and-price, however).<br>
Furthermore, also some plugins use this information to improve
their algorithms.<br>
<br>
Summing up: If you know that every solution will have an integer
value, you should tell SCIP about that. For branch-and-cut, SCIP
will automatically detect this, however, for branch-and-price, not
all variables are present, so it cannot be detected automatically.<br>
<br>
Best,<br>
Gerald<br>
<br>
Am 24.09.2014 um 02:32 schrieb <a class="moz-txt-link-abbreviated" href="mailto:lixiangyong@163.com">lixiangyong@163.com</a>:<br>
</div>
<blockquote cite="mid:2014092408320915414913@163.com" type="cite" style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div><span></span>Dear Dr. <span style="font-size: 12pt;
line-height: 1.5; background-color: window;">Ambros,</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;"><br>
</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;">I want to know the </span><span style="font-size: 12pt; line-height: 1.5; background-color:
window;">advantage of calling SCIPsetObjIntegral() if at the
beginning I </span><span style="font-size: 12pt; line-height:
1.5; background-color: window;">know any feasible solution
should have an integer objective value? Can</span><span style="font-size: 12pt; line-height: 1.5; background-color:
window;"> it speed up the solving process?</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;"><br>
</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;">Thanks,</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;"><br>
</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;">Xiangyong Li</span></div>
<div><span style="font-size: 12pt; line-height: 1.5;
background-color: window;"><br>
</span></div>
<blockquote style="margin-top: 0px; margin-bottom: 0px; margin-left: 0.5em;">
<div> </div>
<div style="border:none;border-top:solid #B5C4DF
1.0pt;padding:3.0pt 0cm 0cm 0cm">
<div style="PADDING-RIGHT: 8px; PADDING-LEFT: 8px; FONT-SIZE:
12px;FONT-FAMILY:tahoma;COLOR:#000000; BACKGROUND: #efefef;
PADDING-BOTTOM: 8px; PADDING-TOP: 8px">
<div><b>From:</b> <a moz-do-not-send="true" href="mailto:gleixner@zib.de">Ambros Gleixner</a></div>
<div><b>Date:</b> 2014-09-24 08:21</div>
<div><b>To:</b> <a moz-do-not-send="true" href="mailto:scip@zib.de">scip</a>; <a moz-do-not-send="true" href="mailto:lixiangyong@163.com">lixiangyong@163.com</a></div>
<div><b>Subject:</b> Re: [Scip] How to terminate SCIP
earlier?</div>
</div>
</div>
<div>
<div>Dear Xiangyong,</div>
<div> </div>
<div> </div>
<div>Am 24.09.2014 02:08, schrieb <a class="moz-txt-link-abbreviated" href="mailto:lixiangyong@163.com">lixiangyong@163.com</a>:</div>
<div>> Dear Dr. Gerald,</div>
<div>></div>
<div>> Thanks, I have used SCIPinterruptSolve() to
terminate my solving</div>
<div>> process since I know the current incumbent is the
optimal solution.</div>
<div>></div>
<div>> BTW, can you tell me the advantage of calling
SCIPsetObjIntegral() if I</div>
<div>> know any feasible solution should have an integer
objective value? Can</div>
<div>> it speed up the solving process?</div>
<div> </div>
<div>Yes. If (in minimization) the primal bound is x and the
lower bound is </div>
<div>greater than x - 1, the solution process can be stopped
already.</div>
<div> </div>
<div>Best regards,</div>
<div>Ambros</div>
<div> </div>
<div> </div>
<div>></div>
<div>></div>
<div>> Thanks,</div>
<div>></div>
<div>></div>
<div>> Xiangyong</div>
<div>></div>
<div>> *From:* Gerald Gamrath
<a class="moz-txt-link-rfc2396E" href="mailto:gamrath@zib.de"><mailto:gamrath@zib.de></a></div>
<div>> *Date:* 2014-09-23 17:16</div>
<div>> *To:* <a class="moz-txt-link-abbreviated" href="mailto:lixiangyong@163.com">lixiangyong@163.com</a>
<a class="moz-txt-link-rfc2396E" href="mailto:lixiangyong@163.com"><mailto:lixiangyong@163.com></a>; scip</div>
<div>> <a class="moz-txt-link-rfc2396E" href="mailto:scip@zib.de"><mailto:scip@zib.de></a></div>
<div>> *Subject:* Re: [Scip] How to terminate SCIP
earlier?</div>
<div>> Dear Xiangyong Li,</div>
<div>></div>
<div>> if you know that every feasible solution will
have an integer</div>
<div>> objective value and therefore want to stop the
solving process when</div>
<div>> the dualbound is larger than primalbound - 1,
you can just inform</div>
<div>> SCIP that this is the case by calling
SCIPsetObjIntegral().</div>
<div>></div>
<div>> Otherwise, you can call SCIPinterruptSolve() to
stop the solving</div>
<div>> process, but SCIP will then print that it was
interrupted, not that</div>
<div>> it was solved to optimality.</div>
<div>></div>
<div>> Best,</div>
<div>> Gerald</div>
<div>></div>
<div>> Am 23.09.2014 um 10:02 schrieb
<a class="moz-txt-link-abbreviated" href="mailto:lixiangyong@163.com">lixiangyong@163.com</a>:</div>
<div>>> Dear all,</div>
<div>>></div>
<div>>> I am using SCIP to implement my branch and
price algorithm.</div>
<div>>> Now I want to terminate the SCIP earlier
since I can judge the</div>
<div>>> problem has been optimally solved when some
condition is satisfied.</div>
<div>>> Suppose UB and LB be the objective value of
best incumbent and the</div>
<div>>> best remaining node in the branch and bound
tree.</div>
<div>>> For my instances considered, SCIP has
optimally solved one</div>
<div>>> instance if UB-LB < 1.</div>
<div>>></div>
<div>>> Can you tell me how to set the earlier
termination condition in SCIP?</div>
<div>>></div>
<div>>> Thanks,</div>
<div>>></div>
<div>>></div>
<div>>> Xiangyong Li</div>
<div>>></div>
<div>>></div>
<div>>></div>
<div>>></div>
<div>>>
_______________________________________________</div>
<div>>> Scip mailing list</div>
<div>>> <a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a></div>
<div>>> <a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a></div>
<div>></div>
<div>></div>
<div>></div>
<div>> _______________________________________________</div>
<div>> Scip mailing list</div>
<div>> <a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a></div>
<div>> <a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a></div>
<div>></div>
<div> </div>
<div>-- </div>
<div>____________________________________________________________</div>
<div>Ambros M. Gleixner</div>
<div>Zuse Institute Berlin - Matheon - Berlin Mathematical
School</div>
<div><a class="moz-txt-link-freetext" href="http://www.zib.de/gleixner">http://www.zib.de/gleixner</a></div>
</div>
</blockquote>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</div></div></blockquote>
</body></html>