/usr/share/mozart/doc/cpitut/node25.html is in mozart-doc 1.4.0-8ubuntu1.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 | <!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN">
<HTML><HEAD><TITLE>3.5 Short Evalution</TITLE><LINK href="ozdoc.css" rel="stylesheet" type="text/css"></HEAD><BODY><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node24.html#lp.tutorial.fdlp"><< Prev</A></TD><TD><A href="lp.html">- Up -</A></TD></TR></TABLE><DIV id="lp.tutorial.eval"><H2><A name="lp.tutorial.eval">3.5 Short Evalution</A></H2><P>The following table shows impressively the benefits of combining propagation-based and linear programming solvers for this kind of problem. We used <EM>LP_SOLVE 2.0</EM> as LP solver. Note using a different LP solver may produce different results. By combining both constraint models the number of nodes in the search tree could be reduced by two resp. one to orders of magnitudes. This results in a speed-up of one order of magnitude and memory saving by the same amount. </P><TABLE align="center" bgcolor="#f0f0e0"><TR valign="top"><TH><P>Model</P></TH><TH><P>Nodes</P></TH><TH><P>Sols</P></TH><TH><P>Failures</P></TH><TH><P>Depth</P></TH><TH><P>runtime </P></TH><TH><P>heap</P></TH></TR><TR valign="top"><TH><P></P></TH><TH><P></P></TH><TH><P></P></TH><TH><P></P></TH><TH><P></P></TH><TH><P>[sec]</P></TH><TH><P>[MB]</P></TH></TR><TR valign="top"><TD><P>FD Model</P></TD><TD><P>5270</P></TD><TD><P>44</P></TD><TD><P>5227</P></TD><TD><P>18</P></TD><TD><P>4.980</P></TD><TD><P>10.4</P></TD></TR><TR valign="top"><TD><P>LP Model</P></TD><TD><P>490</P></TD><TD><P>12</P></TD><TD><P>479</P></TD><TD><P>26</P></TD><TD><P>3.390</P></TD><TD><P>3.3</P></TD></TR><TR valign="top"><TD><P>FD+LP Model</P></TD><TD><P>52</P></TD><TD><P>8</P></TD><TD><P>45</P></TD><TD><P>12</P></TD><TD><P>0.390</P></TD><TD><P>0.6</P></TD></TR></TABLE><P> The times were taken on a Pentium Pro 200MHz with 192 MB memory. </P><P>The described technique has been used to tackle set partitioning problems. In contrast to <A href="bib.html#mueller:98a">[Mül98]</A> all problem could be solve in acceptable time (detailed benchmarks are included as they are available). </P></DIV><TABLE align="center" border="0" cellpadding="6" cellspacing="6" class="nav"><TR bgcolor="#DDDDDD"><TD><A href="node24.html#lp.tutorial.fdlp"><< Prev</A></TD><TD><A href="lp.html">- Up -</A></TD></TR></TABLE><HR><ADDRESS><A href="http://www.ps.uni-sb.de/~tmueller/">Tobias Müller</A><BR><SPAN class="version">Version 1.4.0 (20110908185330)</SPAN></ADDRESS></BODY></HTML>
|