Minimum Perimeter Rectangles That Enclose Congruent Non-Overlapping Circles

We use computational experiments to find the rectangles of minimum perimeter into which a given number n of non-overlapping congruent circles can be packed. No assumption is made on the shape of the rectangles. In many of the packings found, the circles form the usual regular square-grid or hexagonal patterns or their hybrids. However, for most values of n in the tested range n =< 5000, e.g., for n = 7, 13, 17, 21, 22, 26, 31, 37, 38, 41, 43...,4997, 4998, 4999, 5000, we prove that the optimum cannot possibly be achieved by such regular arrangements. Usually, the irregularities in the best packings found for such n are small, localized modifications to regular patterns; those irregularities are usually easy to predict. Yet for some such irregular n, the best packings found show substantial, extended irregularities which we did not anticipate. In the range we explored carefully, the optimal packings were substantially irregular only for n of the form n = k(k+1)+1, k = 3, 4, 5, 6, 7, i.e., for n = 13, 21, 31, 43, and 57. Also, we prove that the height-to-width ratio of rectangles of minimum perimeter containing packings of n congruent circles tends to 1 as n tends to infinity.Comment: existence of irregular minimum perimeter packings for n not of the form (10) is conjectured; smallest such n is n=66; existence of irregular minimum area packings is conjectured, e.g. for n=453; locally optimal packings for the two minimization criteria are conjecturally the same (p.22, line 5); 27 pages, 12 figure

Online Packing to Minimize Area or Perimeter

We consider online packing problems where we get a stream of axis-parallel rectangles. The rectangles have to be placed in the plane without overlapping, and each rectangle must be placed without knowing the subsequent rectangles. The goal is to minimize the perimeter or the area of the axis-parallel bounding box of the rectangles. We either allow rotations by 90^? or translations only. For the perimeter version we give algorithms with an absolute competitive ratio slightly less than 4 when only translations are allowed and when rotations are also allowed. We then turn our attention to minimizing the area and show that the competitive ratio of any algorithm is at least ?(?n), where n is the number of rectangles in the stream, and this holds with and without rotations. We then present algorithms that match this bound in both cases and the competitive ratio is thus optimal to within a constant factor. We also show that the competitive ratio cannot be bounded as a function of Opt. We then consider two special cases. The first is when all the given rectangles have aspect ratios bounded by some constant. The particular variant where all the rectangles are squares and we want to minimize the area of the bounding square has been studied before and an algorithm with a competitive ratio of 8 has been given [Fekete and Hoffmann, Algorithmica, 2017]. We improve the analysis of the algorithm and show that the ratio is at most 6, which is tight. The second special case is when all edges have length at least 1. Here, the ?(?n) lower bound still holds, and we turn our attention to lower bounds depending on Opt. We show that any algorithm for the translational case has a competitive ratio of at least ?(?{Opt}). If rotations are allowed, we show a lower bound of ?(?{Opt}). For both versions, we give algorithms that match the respective lower bounds: With translations only, this is just the algorithm from the general case with competitive ratio O(?n) = O(?{Opt}). If rotations are allowed, we give an algorithm with competitive ratio O(min{?n,?{Opt}}), thus matching both lower bounds simultaneously

Visualizing Set Relations and Cardinalities Using Venn and Euler Diagrams

In medicine, genetics, criminology and various other areas, Venn and Euler diagrams are used to visualize data set relations and their cardinalities. The data sets are represented by closed curves and the data set relationships are depicted by the overlaps between these curves. Both the sets and their intersections are easily visible as the closed curves are preattentively processed and form common regions that have a strong perceptual grouping effect. Besides set relations such as intersection, containment and disjointness, the cardinality of the sets and their intersections can also be depicted in the same diagram (referred to as area-proportional) through the size of the curves and their overlaps. Size is a preattentive feature and so similarities, differences and trends are easily identified. Thus, such diagrams facilitate data analysis and reasoning about the sets. However, drawing these diagrams manually is difficult, often impossible, and current automatic drawing methods do not always produce appropriate diagrams. This dissertation presents novel automatic drawing methods for different types of Euler diagrams and a user study of how such diagrams can help probabilistic judgement. The main drawing algorithms are: eulerForce, which uses a force-directed approach to lay out Euler diagrams; eulerAPE, which draws area-proportional Venn diagrams with ellipses. The user study evaluated the effectiveness of area- proportional Euler diagrams, glyph representations, Euler diagrams with glyphs and text+visualization formats for Bayesian reasoning, and a method eulerGlyphs was devised to automatically and accurately draw the assessed visualizations for any Bayesian problem. Additionally, analytic algorithms that instantaneously compute the overlapping areas of three general intersecting ellipses are provided, together with an evaluation of the effectiveness of ellipses in drawing accurate area-proportional Venn diagrams for 3-set data and the characteristics of the data that can be depicted accurately with ellipses

Minimizing waste in the 2-dimensional cutting stock problem

The 2-dimensional cutting stock problem is an important problem in the garment manufacturing industry. The problem is to arrange a given set of 2-dimensional patterns onto a rectangular bolt of cloth such that the efficiency is maximised. This arrangement is called a marker. Efficiency is measured by pattern area I marker area. Efficiency varies depending on the shape and number of patterns being cut, but an improvement in efficiency can result in significant savings. Markers are usually created by humans with the aid of CAD software. Many researchers have attempted to create automatic marker making software but have failed to produce marker efficiencies as high as human generated ones. This thesis presents a mathematical model which optimally solves the 2-dimensional cutting stock problem. However, the model can only be solved in a practical amount of time for small markers. Subsequently, two compaction algorithms based on mathematical modelling have been developed to improve the efficiency of human generated markers. The models developed in this thesis make use of a geometrical calculation known as the no-fit polygon. The no-fit polygon is a tool for determining whether polygons A and B overlap. It also gives all feasible positions for polygons B with respect to polygon A, such that the two polygons do not overlap. For the case when both polygons A and B are non-convex, current calculation methods are either time consuming or unreliable. This thesis presents a method which is both computationally efficient and robust for calculating the no-fit polygon when polygons A and B are non-convex. When tested on a set of industrial markers, the compaction algorithms improved the marker efficiencies by over 1.5% on average

Reshaping Convex Polyhedra

Given a convex polyhedral surface P, we define a tailoring as excising from P a simple polygonal domain that contains one vertex v, and whose boundary can be sutured closed to a new convex polyhedron via Alexandrov's Gluing Theorem. In particular, a digon-tailoring cuts off from P a digon containing v, a subset of P bounded by two equal-length geodesic segments that share endpoints, and can then zip closed. In the first part of this monograph, we primarily study properties of the tailoring operation on convex polyhedra. We show that P can be reshaped to any polyhedral convex surface Q a subset of conv(P) by a sequence of tailorings. This investigation uncovered previously unexplored topics, including a notion of unfolding of Q onto P--cutting up Q into pieces pasted non-overlapping onto P. In the second part of this monograph, we study vertex-merging processes on convex polyhedra (each vertex-merge being in a sense the reverse of a digon-tailoring), creating embeddings of P into enlarged surfaces. We aim to produce non-overlapping polyhedral and planar unfoldings, which led us to develop an apparently new theory of convex sets, and of minimal length enclosing polygons, on convex polyhedra. All our theorem proofs are constructive, implying polynomial-time algorithms.Comment: Research monograph. 234 pages, 105 figures, 55 references. arXiv admin note: text overlap with arXiv:2008.0175