Interval methods for verifying structural optimality of circle packing configurations in the unit square

Mihály Csaba Markót
<span title="">2007</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/av75skmu6neednu63f27tpk7qu" style="color: black;">Journal of Computational and Applied Mathematics</a> </i> &nbsp;
The paper is dealing with the problem of finding the densest packings of equal circles in the unit square. Recently, a global optimization method based exclusively on interval arithmetic calculations has been designed for this problem. With this method it became possible to solve the previously open problems of packing 28, 29, and 30 circles in the numerical sense: tight guaranteed enclosures were given for all the optimal solutions and for the optimum value. The present paper completes the
more &raquo; ... mality proofs for these cases by determining all the optimal solutions in the geometric sense. Namely, it is proved that the currently best-known packing structures result in optimal packings, and moreover, apart from symmetric configurations and the movement of well-identified free circles, these are the only optimal packings. The required statements are verified with mathematical rigor using interval arithmetic tools.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cam.2005.08.039">doi:10.1016/j.cam.2005.08.039</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/ycxy53vjpjeuhowtcxr6ykkf4y">fatcat:ycxy53vjpjeuhowtcxr6ykkf4y</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190307121903/https://core.ac.uk/download/pdf/82772538.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/2d/43/2d43313ee1d63175cf973ee8e6a27d45693e431b.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/j.cam.2005.08.039"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> elsevier.com </button> </a>