Square packing explained

Square packing is a packing problem where the objective is to determine how many congruent squares 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 squares (squares of side length one) that can be packed inside a larger square of side length

a

. If

a

is an integer, the answer is

a2,

but the precise – or even asymptotic – 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{n}

), 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{n}\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 is

n=11

. It is known that 11 unit squares cannot be packed in a square of side length less than

style2+2\sqrt{4/5}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.[1]

The smallest case where the best known packing involves squares at three different angles is

n=17

. It was discovered in 1998 by John Bidwell, an undergraduate student at the University of Hawaiʻi, and has side length

a4.6756

.

Below are the minimum solutions for values up to n=12:[2] (The case for n=11 remains unresolved)

Number of unit squares

n

Minimal side length

a

of big square
11
22
32
42
52.707...
2+\sqrt{2
}
63
73
83
93
103.707...
3+\sqrt{2
}
113.877...?
124

Asymptotic results

For larger values of the side length

a

, the exact number of unit squares that can pack an

a x a

square remains unknown.It is always possible to pack a

\lfloora\rfloor x \lfloora\rfloor

grid of axis-aligned unit squares,but this may leave a large area, approximately

2a(a-\lfloora\rfloor)

, uncovered and wasted.Instead, Paul Erdős and Ronald Graham showed that for a different packing by tilted unit squares, the wasted space could be significantly reduced to

o(a7/11)

(here written in little o notation).Later, Graham and Fan Chung further reduced the wasted space to

O(a3/5)

.However, as Klaus Roth and Bob Vaughan proved, all solutions must waste space at least

\Omegal(a1/2(a-\lfloora\rfloor)r)

. In particular, when

a

is a half-integer, the wasted space is at least proportional to its square root. The precise asymptotic growth rate of the wasted space, even for half-integer side lengths, remains an open problem.

Some numbers of unit squares are never the optimal number in a packing. In particular,if a square of size

a x a

allows the packing of

n2-2

unit squares, then it must be the case that

a\gen

and that a packing of

n2

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 with radius as small as possible. For this problem, good solutions are known for n up to 35. Here are the minimum known solutions for up to n=12: (Only the cases n=1 and n=2 are known to be optimal)

Number of squaresCircle radius
1
\sqrt{2
} ≈ 0.707...
2
\sqrt{5
} ≈ 1.118...
3
5\sqrt{17
} ≈ 1.288...
4

\sqrt{2}

≈ 1.414...
5
\sqrt{10
} ≈ 1.581...
61.688...
7
\sqrt{13
} ≈ 1.802...
81.978...
9
\sqrt{1105
} ≈ 2.077...
10
3\sqrt{2
} ≈ 2.121...
112.214...
12

\sqrt{5}

≈ 2.236...

See also

Notes and References

  1. The 2000 version of listed this side length as 3.8772; the tighter bound stated here is from
  2. Web site: Archived copy . 2024-10-17 . 2024-10-07 . https://web.archive.org/web/20241007131608/https://mathworld.wolfram.com/SquarePacking.html . live .