Content deleted Content added
\scriptstyle too small Tags: Mobile edit Mobile web edit Advanced mobile edit |
Niklas Bäck (talk | contribs) Changed numbers according to the main article |
||
(39 intermediate revisions by 30 users not shown) | |||
Line 1:
{{short description|Problems which attempt to find the most efficient way to pack objects into containers}}
{{about|geometric packing problems|numerical packing problems|Knapsack problem}}
[[File:Seissand.png|thumb|
{{Covering/packing-problem pairs}}
{{Puzzles |topics}}
'''Packing problems''' are a class of [[optimization problem]]s in [[mathematics]] that involve attempting to pack objects together into containers. The goal is to either pack a single container as [[Packing density|densely]] as possible or pack all objects using as few containers as possible. Many of these problems can be related to real
In a [[bin packing problem]],
* A '
* A set of ''objects'
Usually the packing must be without overlaps between goods and other goods or the container walls. In some variants, the aim is to find the configuration that packs a single container with the maximal [[packing density]]. More commonly, the aim is to pack all the objects into as few containers as possible.<ref>{{cite journal|
==Packing in infinite space==
Many of these problems, when the container size is increased in all directions, become equivalent to the problem of packing objects as densely as possible in infinite [[Euclidean space]]. This problem is relevant to a number of scientific disciplines, and has received significant attention. The [[Kepler conjecture]] postulated an optimal solution for [[sphere packing|packing spheres]] hundreds of years before it was [[mathematical proof|proven]] correct by [[Thomas Callister Hales]]. Many other shapes have received attention, including ellipsoids,<ref>{{Cite journal | last1 = Donev | first1 = A. | last2 = Stillinger | first2 = F. | last3 = Chaikin | first3 = P. | last4 = Torquato | first4 = S. | title = Unusually Dense Crystal Packings of Ellipsoids | doi = 10.1103/PhysRevLett.92.255506 | journal = Physical Review Letters | volume = 92 | issue = 25 | year = 2004 | pmid = 15245027|arxiv = cond-mat/0403286 |bibcode = 2004PhRvL..92y5506D | page=255506| s2cid = 7982407 }}</ref> [[Platonic solid|Platonic]] and [[Archimedean
===Hexagonal packing of circles===
[[File:Circle packing (hexagonal).svg|thumb|right|The hexagonal packing of circles on a 2-dimensional Euclidean plane.]]
These problems are mathematically distinct from the ideas in the [[circle packing theorem]]. The related [[circle packing]] problem deals with packing
The [[N-sphere|counterparts of a circle]] in other dimensions can never be packed with complete efficiency in [[
===Sphere packings in higher dimensions===
Line 27 ⟶ 28:
===Packings of Platonic solids in three dimensions===
Cubes can easily be arranged to fill three-dimensional space completely, the most natural packing being the [[cubic honeycomb]]. No other [[Platonic solid]] can tile space on its own, but some preliminary results are known. [[
Tetrahedra and [[octahedra]] together can fill all of space in an arrangement known as the [[tetrahedral-octahedral honeycomb]].
{| class="wikitable"
Line 36 ⟶ 37:
! Optimal density of a lattice packing
|-
| [[icosahedron]]
| 0.836357...<ref name="Betke">{{cite journal|last1=Betke|first1=Ulrich|last2=Henk|first2=Martin|doi=10.1016/S0925-7721(00)00007-9|doi-access=free|issue=3|journal=[[Computational Geometry (journal)|Computational Geometry]]|mr=1765181|pages=157–186|title=Densest lattice packings of 3-polytopes|volume=16|year=2000|arxiv=math/9909172|s2cid=12118403}}</ref>
|-
| dodecahedron
| {{math|1=(5 + {{
|-
| octahedron
Line 49 ⟶ 50:
==Packing in 3-dimensional containers==
[[File:9L cube puzzle solution.svg|thumb|right|Packing nine L tricubes into a cube]]
=== Different cuboids into a cuboid ===
Determine the minimum number of [[cuboid]] containers (bins) that are required to pack a given set of item cuboids
===Spheres into a Euclidean ball===
{{main article|Sphere packing in a sphere}}
The problem of finding the smallest ball such that
To show that this configuration is optimal, let <math>
===Spheres in a cuboid===
{{See also|Sphere packing in a cube}}
===Identical spheres in a cylinder===
{{main article|Sphere packing in a cylinder}}
===Polyhedra in spheres===
==Packing in 2-dimensional containers==
[[Image:Disk pack10.svg|thumb|120px|right|The optimal packing of 10 circles in a circle]]Many variants of 2-dimensional packing problems have been studied
===
{{main article|Circle packing}}
You are given ''n'' [[unit circle]]s, and have to pack them in the smallest possible container. Several kinds of containers have been studied:▼
▲
* [[Circle packing in a circle|Packing circles in a '''circle''']] - closely related to spreading points in a unit circle with the objective of finding the greatest minimal separation, ''d''<sub>''n''</sub>, between points. Optimal solutions have been proven for ''n'' ≤ 13, and ''n'' = 19.▼
* [[Circle packing in a square|Packing circles in a '''square''']] - closely related to spreading points in a unit square with the objective of finding the greatest minimal separation, ''d''<sub>''n''</sub>, between points. To convert between these two formulations of the problem, the square side for unit circles will be ''L'' = 2 + 2/''d''<sub>''n''</sub>. [[File:15 circles in a square.svg|thumb|120px|right|The optimal packing of 15 circles in a square]]Optimal solutions have been proven for ''n'' ≤ 30.▼
▲* [[Circle packing in a circle|Packing circles in a '''circle''']] - closely related to spreading points in a unit circle with the objective of finding the greatest minimal separation,
* [[Circle packing in an isosceles right triangle|Packing circles in an '''isosceles right triangle''']] - good estimates are known for ''n''<300.▼
▲* [[Circle packing in a square|Packing circles in a '''square''']] - closely related to spreading points in a unit square with the objective of finding the greatest minimal separation,
* [[Circle packing in an equilateral triangle|Packing circles in an '''equilateral triangle''']] - Optimal solutions are known for ''n''<13, and conjectures are available for ''n'' < 28.<ref>{{Cite journal | last1 = Melissen | first1 = J. | title = Packing 16, 17 or 18 circles in an equilateral triangle | journal = Discrete Mathematics | volume = 145 | issue = 1–3 | pages = 333–342 | year = 1995 | doi = 10.1016/0012-365X(95)90139-C| url = https://research.utwente.nl/en/publications/packing-16-17-of-18-circles-in-an-equilateral-triangle(b2172f19-9654-4ff1-9af4-59da1b6bef3d).html }}</ref>▼
* [[Circle packing in a rectangle|Packing circles in a '''rectangle''']]
▲* [[Circle packing in an isosceles right triangle|Packing circles in an '''isosceles right triangle''']] - good estimates are known for {{math|''n'' < 300}}.
▲* [[Circle packing in an equilateral triangle|Packing circles in an '''equilateral triangle''']] - Optimal solutions are known for {{math|''n''
{{Anchor|Packing squares}}
=== Packing of squares ===
{{main|Square packing}}
You are given ''n'' [[unit square]]s and have to pack them into the smallest possible container, where the container type varies:▼
▲
* [[Square packing in a square|Packing squares in a '''square''']]: Optimal solutions have been proven for ''n'' = 1–10, 14–16, 22–25, 33–36, 62–64, 79–81, 98–100, and any square integer. The wasted space is asymptotically [[Big O notation|O]](''a''<sup>7/11</sup>).▼
* [[Square packing in a circle|Packing squares in a '''circle''']]: Good solutions are known for ''n'' up to 35.[[Image:10 kvadratoj en kvadrato.svg|thumb|120px|right|The optimal packing of 10 squares in a square]]▼
▲* [[Square packing in a square|Packing squares in a '''square''']]: Optimal solutions have been proven for
===[[Rectangle packing|Packing of rectangles]]===▼
▲* [[Square packing in a circle|Packing squares in a '''circle''']]: Good solutions are known for {{math|''n''
* '''Packing identical rectangles in a rectangle''': The problem of packing multiple instances of a single rectangle of size (''l'',''w''), allowing for 90° rotation, in a bigger rectangle of size (''L'',''W'') has some applications such as loading of boxes on pallets and, specifically, [[woodpulp]] stowage. For example, it is possible to pack 147 rectangles of size (137,95) in a rectangle of size (1600,1230).▼
{{main article|Rectangle packing}}
* '''Packing different rectangles in a rectangle''': The problem of packing multiple rectangles of varying widths and heights in an enclosing rectangle of minimum area (but with no boundaries on the enclosing rectangle's width or height) has an important application in combining images into a single larger image. A web page that loads a single larger image often renders faster in the browser than the same page loading multiple small images, due to the overhead involved in requesting each image from the web server. The problem is NP-complete in general, but there are fast algorithms for solving small instances.▼
▲* '''Packing identical rectangles in a rectangle''': The problem of packing multiple instances of a single [[rectangle]] of size {{math|(''l'',''w'')}}, allowing for 90° rotation, in a bigger rectangle of size {{math|(''L'',''W'' )}} has some applications such as loading of boxes on pallets and, specifically, [[woodpulp]] stowage. For example, it is possible to pack 147 rectangles of size (137,95) in a rectangle of size (1600,1230).
▲* '''Packing different rectangles in a rectangle''': The problem of packing multiple rectangles of varying widths and heights in an enclosing rectangle of minimum [[area]] (but with no boundaries on the enclosing rectangle's width or height) has an important application in combining images into a single larger image. A web page that loads a single larger image often renders faster in the browser than the same page loading multiple small images, due to the overhead involved in requesting each image from the web server. The problem is [[NP-complete]] in general, but there are fast algorithms for solving small instances.
==Related fields==
In tiling or [[tessellation]] problems, there are to be no gaps, nor overlaps. Many of the puzzles of this type involve packing
There are significant
:An ''a''
:[[de Bruijn's theorem]]: A box can be packed with a [[harmonic brick]] ''a''
The study of
A classic puzzle of the second kind is to arrange all twelve [[pentomino]]es into rectangles sized 3×20, 4×15, 5×12 or 6×10.
Line 105 ⟶ 115:
Packing of irregular objects is a problem not lending itself well to closed form solutions; however, the applicability to practical environmental science is quite important. For example, irregularly shaped soil particles pack differently as the sizes and shapes vary, leading to important outcomes for plant species to adapt root formations and to allow water movement in the soil.<ref>C.Michael Hogan. 2010. [http://www.eoearth.org/article/Abiotic_factor?topic=49461 ''Abiotic factor''. Encyclopedia of Earth. eds Emily Monosson and C. Cleveland. National Council for Science and the Environment]. Washington DC</ref>
The problem of deciding whether a given set of
| last1 = Abrahamsen | first1 = Mikkel
| last2 = Miltzow | first2 = Tillmann
Line 114 ⟶ 124:
==See also==
* [[Set packing]]▼
* [[Bin packing problem]]
* [[Close-packing of equal spheres]]▼
* [[Slothouber–Graatsma puzzle]]▼
* [[Conway puzzle]]
* [[Tetris]]▼
* [[Covering problem]]
* [[Knapsack problem]]▼
* [[Tetrahedron packing]]▼
* [[Ellipsoid packing]]▼
* [[Cutting stock problem]]
▲* [[Ellipsoid packing]]
* [[Kissing number problem]]
▲* [[Knapsack problem]]
▲* [[Close-packing of equal spheres]]
* [[Random close pack]]
▲* [[Set packing]]
▲* [[Slothouber–Graatsma puzzle]]
* [[Strip packing problem]]
▲* [[Tetrahedron packing]]
▲* [[Tetris]]
==Notes==
Line 139 ⟶ 149:
{{Commons category}}
* [https://web.archive.org/web/20190303205438/http://pdfs.semanticscholar.org/bb99/86af2f26f7726fcef1bc684eac8239c9b853.pdf Optimizing Three-Dimensional Bin Packing]
Many puzzle books as well as mathematical journals contain articles on packing problems.
* [http://mathworld.wolfram.com/Packing.html Links to various MathWorld articles on packing]
|