HOME

TheInfoList



OR:

Square packing is a
packing problem Packing problems are a class of optimization problems in mathematics that involve attempting to pack objects together into containers. The goal is to either pack a single container as densely as possible or pack all objects using as few cont ...
where the objective is to determine how many congruent
square In Euclidean geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, π/2 radian angles, or right angles). It can also be defined as a rectangle with two equal-length a ...
s can be packed into some larger shape, often a square or circle.


Square packing in a square

Square packing in a square is the problem of determining the maximum number of
unit square In mathematics, a unit square is a square whose sides have length . Often, ''the'' unit square refers specifically to the square in the Cartesian plane with corners at the four points ), , , and . Cartesian coordinates In a Cartesian coordina ...
s (squares of side length one) that can be packed inside a larger square of side length a. If a is an
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
, the answer is a^2, but the precise – or even
asymptotic In analytic geometry, an asymptote () of a curve is a line such that the distance between the curve and the line approaches zero as one or both of the ''x'' or ''y'' coordinates tends to infinity. In projective geometry and related contexts, ...
– amount of unfilled space for an arbitrary non-integer a is an open question. The smallest value of a that allows the packing of n unit squares is known when n is a perfect square (in which case it is \sqrt), as well as for n=2, 3, 5, 6, 7, 8, 10, 13, 14, 15, 24, 34, 35, 46, 47, and 48. For most of these numbers (with the exceptions only of 5 and 10), the packing is the natural one with axis-aligned squares, and a is \lceil\sqrt\,\rceil, where \lceil\,\ \rceil is the ceiling (round up) function. The figure shows the optimal packings for 5 and 10 squares, the two smallest numbers of squares for which the optimal packing involves tilted squares. The smallest unresolved case involves packing 11 unit squares into a larger square. 11 unit squares cannot be packed in a square of side length less than \textstyle 2+2\sqrt \approx 3.789. By contrast, the tightest known packing of 11 squares is inside a square of side length approximately 3.877084 found by
Walter Trump Walter Trump (born 1952 or 1953 ) is a German mathematician and retired high school teacher. He is known for his work in recreational mathematics. He has made contributions working on both the square packing problem and the magic tile problem. In ...
.


Asymptotic results

For larger values of the side length a, the exact number of unit squares that can pack an a\times a square remains unknown. It is always possible to pack a \lfloor a\rfloor \!\times\! \lfloor a\rfloor grid of axis-aligned unit squares, but this may leave a large area, approximately 2a(a-\lfloor a\rfloor), uncovered and wasted. Instead, Paul Erdős and
Ronald Graham Ronald Lewis Graham (October 31, 1935July 6, 2020) was an American mathematician credited by the American Mathematical Society as "one of the principal architects of the rapid development worldwide of discrete mathematics in recent years". He ...
showed that for a different packing by tilted unit squares, the wasted space could be significantly reduced to o(a^) (here written in
little o notation Big ''O'' notation is a mathematical notation that describes the limiting behavior of a function when the argument tends towards a particular value or infinity. Big O is a member of a family of notations invented by Paul Bachmann, Edmund Land ...
). Later, Graham and Fan Chung further reduced the wasted space to O(a^). However, as
Klaus Roth Klaus Friedrich Roth (29 October 1925 – 10 November 2015) was a German-born British mathematician who won the Fields Medal for proving Roth's theorem on the Diophantine approximation of algebraic numbers. He was also a winner of the De ...
and
Bob Vaughan Robert Charles "Bob" Vaughan FRS (born 24 March 1945) is a British mathematician, working in the field of analytic number theory. Life Since 1999 he has been Professor at Pennsylvania State University, and since 1990 Fellow of the Royal Socie ...
proved, all solutions must waste space at least \Omega\bigl(a^(a-\lfloor a\rfloor)\bigr). In particular, when a is a
half-integer In mathematics, a half-integer is a number of the form :n + \tfrac, where n is an whole number. For example, :, , , 8.5 are all ''half-integers''. The name "half-integer" is perhaps misleading, as the set may be misunderstood to include number ...
, the wasted space is at least proportional to its
square root In mathematics, a square root of a number is a number such that ; in other words, a number whose ''square'' (the result of multiplying the number by itself, or  ⋅ ) is . For example, 4 and −4 are square roots of 16, because . ...
. The precise asymptotic growth rate of the wasted space, even for half-integer side lengths, remains an
open problem In science and mathematics, an open problem or an open question is a known problem which can be accurately stated, and which is assumed to have an objective and verifiable solution, but which has not yet been solved (i.e., no solution for it is kno ...
. Some numbers of unit squares are never the optimal number in a packing. In particular, if a square of size a\times a allows the packing of n^2-2 unit squares, then it must be the case that a\ge n and that a packing of n^2 unit squares is also possible.


Square packing in a circle

Square packing in a circle is a related problem of packing ''n'' unit squares into a
circle A circle is a shape consisting of all points in a plane that are at a given distance from a given point, the centre. Equivalently, it is the curve traced out by a point that moves in a plane so that its distance from a given point is const ...
with radius as small as possible. For this problem, good solutions are known for ''n'' up to 35. Here are minimum solutions for ''n'' up to 12:


See also

* Circle packing in a square *
Squaring the square Squaring the square is the problem of tiling an integral square using only other integral squares. (An integral square is a square whose sides have integer length.) The name was coined in a humorous analogy with squaring the circle. Squaring the s ...
*
Rectangle packing Rectangle packing is a packing problem where the objective is to determine whether a given set of small rectangles can be placed inside a given large polygon, such that no two small rectangles overlap. Several variants of this problem have been stu ...
*
Moving sofa problem In mathematics, the moving sofa problem or sofa problem is a two-dimensional idealisation of real-life furniture-moving problems and asks for the rigid two-dimensional shape of largest area that can be maneuvered through an L-shaped planar region ...


References


External links

* {{Packing_problems Packing problems Unsolved problems in geometry