<br><font size=2 face="sans-serif">Michael,</font>
<br>
<br><font size=2 face="sans-serif">CglPreprocess can detect some integer
variables but is not very sophisticated. &nbsp;One can always use priorities
so that the extra variables are only used in cut generation and not in
branching.</font>
<br>
<br><font size=2 face="sans-serif">John</font>
<br>
<br>
<br>
<table width=100%>
<tr valign=top>
<td width=40%><font size=1 face="sans-serif"><b>Michael Hennebry &lt;hennebry@web.cs.ndsu.nodak.edu&gt;</b>
</font>
<br><font size=1 face="sans-serif">Sent by: coin-discuss-bounces@list.coin-or.org</font>
<p><font size=1 face="sans-serif">06/04/2006 02:27 AM</font>
<table border>
<tr valign=top>
<td bgcolor=white>
<div align=center><font size=1 face="sans-serif">Please respond to<br>
Discussions about open source software for Operations Research &nbsp; &nbsp;
&nbsp; &nbsp;&lt;coin-discuss@list.coin-or.org&gt;</font></div></table>
<br>
<td width=59%>
<table width=100%>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">To</font></div>
<td><font size=1 face="sans-serif">Discussions about open source software
for Operations Research &lt;coin-discuss@list.coin-or.org&gt;</font>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">cc</font></div>
<td>
<tr valign=top>
<td>
<div align=right><font size=1 face="sans-serif">Subject</font></div>
<td><font size=1 face="sans-serif">Re: [Coin-discuss] Suggestions on how
to go about tuning?</font></table>
<br>
<table>
<tr valign=top>
<td>
<td></table>
<br></table>
<br>
<br>
<br><tt><font size=2>On Sat, 3 Jun 2006, John J Forrest wrote:<br>
<br>
&gt; The first thing to do is solve the problem however slowly and look
at log<br>
&gt; and solution. &nbsp;Using defaults this took 1148 seconds and 150K
nodes.<br>
&gt; Looking at the log file it looked as if strong branching was not buying<br>
&gt; very much. &nbsp;What was more interesting was that all variables
took integer<br>
&gt; values although only half were declared integer. &nbsp;Assuming this
would<br>
&gt; always be true I tried setting them all integer. &nbsp;This time strong<br>
&gt; branching was kicking in and it took 5K nodes and 413 seconds. &nbsp;I
also saw<br>
&gt; that cuts and heuristics were not doing much good so switched them
off.<br>
<br>
It occurs to me that sometimes it might be important to be able<br>
to distinguish between constraints that define the problem<br>
and constraints that can be inferred or can be accepted.<br>
<br>
In the case at hand, at least one solver runs faster and gets<br>
the right answer with all variables specified as integer.<br>
<br>
'Twouldn't be a surprise if some solver ran faster with<br>
only the original integer variables declared integer.<br>
<br>
A solver that knew which kind it was could accept or reject<br>
constraints that didn't define the problem accordingly.<br>
Better yet, it might use a strategy that enforces or relaxes<br>
a non-problem-defining constraint whichever is more efficient.<br>
<br>
In the case at hand, a solver might employ a rounding heuristic<br>
that did not enforce integrality on all the variables,<br>
but it might nevertheless use Gomory fractional cuts,<br>
which require integer variables.<br>
<br>
-- <br>
Mike &nbsp; hennebry@web.cs.ndsu.NoDak.edu<br>
&quot;it stands to reason that they weren't always called the ancients.&quot;<br>
 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;
&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp;-- &nbsp;Daniel Jackson<br>
<br>
_______________________________________________<br>
Coin-discuss mailing list<br>
Coin-discuss@list.coin-or.org<br>
http://list.coin-or.org/mailman/listinfo/coin-discuss<br>
</font></tt>
<br>