포장 문제

Packing problems
느슨하게 채워진 구 또는 원(위)과 더 촘촘하게 채워진 원(아래)

패킹 문제는 컨테이너에 개체를 함께 패킹하는 것과 관련된 수학최적화 문제의 한 종류입니다.목표는 단일 컨테이너를 가능한 한 조밀하게 채우거나 가능한 한 적은 수의 컨테이너를 사용하여 모든 개체를 채우는 것입니다.이러한 문제의 대부분은 실제 포장, 보관 및 운송 문제와 관련이 있을 수 있습니다.각 포장 문제에는 이중 덮개 문제가 있습니다. 이중 덮개 문제는 컨테이너의 모든 영역을 완전히 덮는 데 동일한 물체의 수가 얼마나 필요한지 물어보는 것입니다. 이때 물체는 겹칠 수 있습니다.

휴지통 패킹 문제에서는 다음과 같이 표시됩니다.

  • 용기, 보통 2차원 또는 3차원 볼록 영역이며 크기가 무한할 수 있습니다.문제에 따라 여러 개의 용기가 제공될 수 있습니다.
  • 오브젝트 세트입니다.하나 이상의 용기에 일부 또는 전부를 포장해야 합니다.세트에는 크기가 지정된 여러 객체가 포함될 수도 있고 반복적으로 사용할 수 있는 고정 치수의 단일 객체가 포함될 수도 있습니다.

일반적으로 포장은 상품과 다른 상품 또는 용기 벽 사이에 겹치지 않아야 합니다.일부 변형에서는 최대 패킹 밀도로 단일 용기를 포장하는 구성을 찾는 것이 목적입니다.더 일반적으로, 목표는 가능한 [1]한 적은 수의 용기에 모든 개체를 포장하는 것입니다.일부 변형에서는 (물체가 서로 또는 용기의 경계와) 겹치는 것이 허용되지만 최소화되어야 합니다.

무한 공간에서의 포장

이러한 문제들 중 많은 것들이, 용기 크기가 모든 방향으로 증가하면, 무한 유클리드 공간에서 가능한 한 조밀하게 물체를 채우는 문제와 같아진다.이 문제는 많은 과학 분야와 관련이 있으며 상당한 관심을 받고 있다.케플러의 추측토마스 캘리스터 헤일스에 의해 그것이 맞다는 것이 증명되기 수백 년 전에 구를 채우기 위한 최적의 해결책을 가정했다.타원체,[2][4][5] 사면체를 포함한 플라톤아르키메데스[3] 고체, 삼각대 (3개의 양의 축 평행선을 [6]따라 입방체의 합체), 그리고 불평등한 구체의 [7]이합체를 포함한 많은 다른 모양들이 주목을 받았다.

원의 육각형 패킹

2차원 유클리드 평면상의 원의 육각형 패킹.

문제들은 수학적으로 원 채우기의 개념과 다르다.관련된 원 패킹 문제는 평면이나 와 같은 표면에서 크기가 다른 을 패킹하는 문제를 다룹니다.

다른 차원에서의 원의 상대적인 부분은 1보다 큰 차원에서는 완전한 효율로 채워질 수 없습니다(1차원 우주에서는 원의 유사점은 2점에 불과합니다).즉, 동그라미만 채우면 항상 사용되지 않는 공간이 생깁니다.원을 채우는 가장 효율적인 방법인 육각형 패킹은 [8]약 91%의 효율성을 생성합니다.

고차원의 구형 패킹

3차원에서, 촘촘하게 채워진 구조물은 구의 가장 좋은 격자 패킹을 제공하며, 모든 패킹 중에서 최적의 것으로 여겨진다.'단순한' 구면 패킹을 3차원('단순한' 것은 신중하게 정의됨)으로 정의할 수 있는 9가지 [9]패킹이 있습니다.또한 8차원 E8 격자와 24차원 거머리 격자는 각각의 실제 차원 공간에서 최적의 것으로 입증되었습니다.

3차원 플라톤계 고체 포장

입체 공간을 완전히 채우도록 큐브를 쉽게 배치할 수 있으며, 가장 자연스러운 패킹은 큐빅 벌집입니다.다른 Platonic 솔리드는 공간을 타일링할 수 없지만 몇 가지 예비 결과는 알려져 있습니다.사면체는 최소 85%의 패킹을 달성할 수 있다.정십면체의 가장 좋은 패킹 중 하나는 전술한 면중심입방체(FCC) 격자에 기초한다.

사면체와 팔면체는 함께 사면체-팔면체 벌집이라고 알려진 배열로 모든 공간을 채울 수 있습니다.

단단한 격자 패킹의 최적 밀도
20면체 0.836357...[10]
12면체 (5 + 55)/8 = 0.904508...[10]
팔면체 18/19 = 0.947368...[11]

국소 개선 방법과 랜덤 패킹을 결합한 시뮬레이션은 이코사면, 도데카면 및 팔면체에 대한 격자 패킹이 모든 [3]패킹의 광범위한 클래스에서 최적임을 시사한다.

3차원 용기 포장

서로 다른 입방체를 입방체로 변환

특정 항목 큐보이드 세트를 포장하는 데 필요한 큐보이드 용기(빈)의 최소 수를 결정합니다.패킹할 직사각형 입방체는 각 축에서 90도 회전할 수 있습니다.

구를 유클리드 공으로 만들다

k개의 분리열린 단위 볼이 채워질 수 있는 가장 작은 볼을 찾는 문제는 kn + {\ k n인 경우 n차원 유클리드 공간과 제한 없는 무한 차원 힐베르트 공간에서 간단하고 완전한 답을 얻을 수 있다.일반적인 문제의 정취를 나타내기 위해 여기에 자세히 기술할 가치가 있다.이 경우 k쌍의 접선 단위 볼을 구성할 수 있습니다.엣지 2를 가진 정규( - )\ ( k - ) \ dots , { } 치수 심플렉스 a 1, { , a _ { }에 중심을 배치합니다.이것은 직교 정규 기준부터 쉽게 실현됩니다.작은 계산 결과, 중심에서 각 정점의 거리는 2- )(\big입니다. 또한 공간의 다른 점은 k개의 정점 중 적어도 하나에서 더 큰 거리를 가질 필요가 있습니다.볼의 포함에 관해서는 열린 단위 볼이+ (- k k:=clacrt } (1 - {1 - flac )의 볼에 되어 있습니다.

이 설정이 최적인 것을 x1, k(\k})를 0(\을 중심으로 하는 반지름 r의 볼에 포함되는 k개의 분리된 열린 유닛볼이라고 합니다.유한{1,…, }, k, { style 을 고려합니다.{k}\}}{1,…, k}{\displaystyle\와 같이{a_{1},\dots ,a_{k}\에}모든 1≤에 나는 <}}은 해당하는은 j{\displaystyle a_{j}에}1≤ j.;j≤ k{\displaystyle 1\leq i<, j\leq k}, ‖ 바삭바삭한 j− ‖ xj{\displaystyle x_{j}≤ k{1\leq j\leq k\displaystyle}를 복용하고 있다. =2≤ - j { display _ { i } - _ { j } 2 \ \ x _ { } -_ { j } 이 맵은 1-립시츠이며, Kirszbraun 정리에 의해 1-립시츠 맵까지 확장됩니다.의 포인트가 존재합니다.- j - j { \ a{ 0} - {} \ { }\ k + j 1 + + x0 - j ≤ ≤ {\ {\ \ r r 무한 차원 Hilbert 공간에서는 이 1+ r 1 + {\에만 r의 볼 내에 무한히 많은 열린 유닛볼이 있음을 알 수 있습니다.예를 들어 유닛볼은 (\에 중심을 맞춥니다.rt { \ { _ { } \ _ { } )는 직교 정규 기준이며, 원점을 중심으로 한 1+ 1 + { \ {2 볼에 포함되어 .또한r < + { r < + { \ }} r r r -( - ) \ { ( r - 1 )^ { \{ 2 - ( r - 1 )^2 } { \ } { \ }}

정육면체의 구

× ×c \ a \ b \ c 의 입방체에 넣을 수 있는 d 직경의 구형 객체의 수를 결정합니다.

실린더 내의 동일한 구

반지름 r(< R)[12]의 n개의 동일한 구를 채우는 주어진 반지름 R을 가진 실린더최소 높이 h를 결정한다.작은 반지름 R의 경우, 구들은 기둥 구조라고 불리는 질서 있는 구조들로 배열된다.

구체의 다면체

n개의 동일한 [13]단위 부피 다면체채우는 최소 반지름 R을 결정합니다.

2차원 용기 포장

원 안에 10개의 원을 최적으로 채우는 방법

2차원 패킹 문제의 많은 변형이 연구되어 왔다.자세한 내용은 링크된 페이지를 참조하십시오.

원의 패킹

n개의 단위 원이 주어지고 가능한 한 작은 용기에 포장해야 합니다.몇 가지 종류의 컨테이너가 연구되었습니다.

  • 안에 원을 채우는 것 - 점 사이의 최소n 간격 d를 찾기 위해 단위 원 안에 점을 펼치는 것과 밀접하게 관련되어 있습니다.최적 솔루션은 n 13 13, n = 19에 대해 입증되었습니다.
  • 정사각형을 채우는 것 - 점 사이의 최소 간격 dn 찾기 위해 단위 정사각형에 점을 펼치는 것과 밀접하게 관련되어 있습니다.문제의 두 공식 사이를 변환하려면 단위 원의 정사각형 변은 L + / n { L + / _ { } 이 .
    정사각형에 15개의 원을 최적으로 채우는 방법
    최적 솔루션은 n/30대해 검증되었습니다.
  • 이등변 직각 삼각형의 패킹 원 - n < 300대해 적절한 추정치가 알려져 있습니다.
  • 정삼각형 내 패킹 원 - 최적 용액은 n < 13으로 알려져 있으며, n < 28[14]추측할 수 있다.

정사각형 패킹

n개의 단위 정사각형이 주어지고 가능한 가장 작은 용기에 채워야 합니다. 여기서 용기 유형은 다양합니다.

  • 정사각형 정사각형 채우기:1-10, 14-16, 22-25, 33-36, 62-64, 79-81, 98-100 및 임의의 제곱 정수에 대해 최적의 솔루션이 검증되었습니다.낭비된 공간은 점근적으로 O(a7/11)입니다.
  • 의 정사각형 채우기: 좋은 용액은 n are 35알려져 있습니다.
    정사각형 10개의 최적 패킹

직사각형 패킹

  • 직사각형에 동일한 직사각형 채우기:90° 회전을 허용하는 단일 직사각형(l,w)의 여러 인스턴스(instance)를 큰 직사각형(L,W)으로 포장하는 문제는 팔레트, 특히 우드펄프 보관함에 박스를 적재하는 것과 같은 몇 가지 응용이 있다.예를 들어 크기(1600,1230)의 직사각형에 크기(137,95)의 직사각형 147개를 채울 수 있습니다.
  • 직사각형에 서로 다른 직사각형 채우기:최소 면적의 둘러싸인 직사각형(단, 둘러싸인 직사각형의 너비 또는 높이의 경계가 없음)에 폭과 높이가 다른 여러 직사각형을 채우는 문제는 이미지를 하나의 큰 이미지로 결합하는 데 중요한 응용 프로그램이 있습니다.하나의 큰 이미지를 로드하는 웹 페이지는 웹 서버에서 각 이미지를 요구할 때 오버헤드가 발생하기 때문에 같은 페이지에서 여러 개의 작은 이미지를 로드하는 것보다 브라우저에서 더 빨리 렌더링됩니다.문제는 일반적으로 NP-complete이지만 작은 인스턴스를 해결하기 위한 빠른 알고리즘이 있습니다.

관련 필드

타일링이나 테셀레이션 문제에서는 공백이나 겹침이 없어야 합니다.이러한 유형의 퍼즐의 대부분은 직사각형이나 폴리오미노를 더 큰 직사각형이나 다른 정사각형 모양으로 채우는 것과 관련이 있습니다.

간격이나 겹침이 없는 직사각형(구면체)의 직사각형(및 입방체) 타일링에는 다음과 같은 유의한 이론이 있습니다.

a × b 직사각형은 n이 a 또는 n이 [15][16]b를 나누는 경우에만 1 × n 스트립으로 채울 수 있다.
브루인 정리:상자에 어떤 자연수 p, q, r(즉, 박스는 벽돌의 배수)에 대해 p × a q × a c r의 치수를 가질 경우 고조파 벽돌 a × a b × a c를 충전할 수 있다.[15]

폴리오미노 타일링 연구는 주로 두 가지 종류의 문제에 관한 것입니다. 즉, 직사각형에 합동 타일을 붙이는 것과 각각의 n-미노를 직사각형에 채우는 것입니다.

두 번째 종류의 고전적인 퍼즐은 12개의 펜토미노를 모두 3×20, 4×15, 5×12 또는 6×10 크기의 직사각형으로 배열하는 것이다.

불규칙한 물건의 포장

불규칙한 물건을 포장하는 것은 폐쇄적인 형태의 해결책에 적합하지 않은 문제이지만, 실용적인 환경 과학에 대한 적용은 매우 중요하다.예를 들어, 불규칙한 모양의 토양 입자는 크기와 모양이 다양할수록 다르게 채워지며, 식물 종들이 뿌리 형성을 적응하고 [17]토양에서 물이 이동할 수 있도록 하는 중요한 결과를 초래한다.

주어진 폴리곤 집합이 주어진 정사각형 용기에 들어갈 수 있는지 여부를 결정하는 문제[18]실존론에 대해 완전한 것으로 나타났다.

「 」를 참조해 주세요.

메모들

  1. ^ Lodi, A., Martello, S., Monaci, M. (2002). "Two-dimensional packing problems: A survey". European Journal of Operational Research. Elsevier. 141 (2): 241–252. doi:10.1016/s0377-2217(02)00123-6.{{cite journal}}: CS1 maint: 작성자 파라미터 사용(링크)
  2. ^ Donev, A.; Stillinger, F.; Chaikin, P.; Torquato, S. (2004). "Unusually Dense Crystal Packings of Ellipsoids". Physical Review Letters. 92 (25): 255506. arXiv:cond-mat/0403286. Bibcode:2004PhRvL..92y5506D. doi:10.1103/PhysRevLett.92.255506. PMID 15245027. S2CID 7982407.
  3. ^ a b Torquato, S.; Jiao, Y. (August 2009). "Dense packings of the Platonic and Archimedean solids". Nature. 460 (7257): 876–879. arXiv:0908.4107. Bibcode:2009Natur.460..876T. doi:10.1038/nature08239. ISSN 0028-0836. PMID 19675649. S2CID 52819935.
  4. ^ Haji-Akbari, A.; Engel, M.; Keys, A. S.; Zheng, X.; Petschek, R. G.; Palffy-Muhoray, P.; Glotzer, S. C. (2009). "Disordered, quasicrystalline and crystalline phases of densely packed tetrahedra". Nature. 462 (7274): 773–777. arXiv:1012.5138. Bibcode:2009Natur.462..773H. doi:10.1038/nature08641. PMID 20010683. S2CID 4412674.
  5. ^ Chen, E. R.; Engel, M.; Glotzer, S. C. (2010). "Dense Crystalline Dimer Packings of Regular Tetrahedra". Discrete & Computational Geometry. 44 (2): 253–280. arXiv:1001.0586. Bibcode:2010arXiv1001.0586C. doi:10.1007/s00454-010-9273-0. S2CID 18523116.
  6. ^ Stein, Sherman K. (March 1995), "Packing tripods", Mathematical entertainments, The Mathematical Intelligencer, 17 (2): 37–39, doi:10.1007/bf03024896, S2CID 124703268.전재
  7. ^ Hudson, T. S.; Harrowell, P. (2011). "Structural searches using isopointal sets as generators: Densest packings for binary hard sphere mixtures". Journal of Physics: Condensed Matter. 23 (19): 194103. Bibcode:2011JPCM...23s4103H. doi:10.1088/0953-8984/23/19/194103. PMID 21525553.
  8. ^ "Circle Packing".
  9. ^ Smalley, I.J. (1963). "Simple regular sphere packings in three dimensions". Mathematics Magazine. 36 (5): 295–299. doi:10.2307/2688954. JSTOR 2688954.
  10. ^ a b Betke, Ulrich; Henk, Martin (2000). "Densest lattice packings of 3-polytopes". Computational Geometry. 16 (3): 157–186. arXiv:math/9909172. doi:10.1016/S0925-7721(00)00007-9. MR 1765181. S2CID 12118403.
  11. ^ 민코프스키, H. 디크테스트 지터포르미지 라게룽 콩크루엔터 쾨르퍼.나흐르 아카드 비스 괴팅겐 수학 신체. KI. II 311 ~ 355 (1904)
  12. ^ Stoyan, Y. G.; Yaskov, G. N. (2010). "Packing identical spheres into a cylinder". International Transactions in Operational Research. 17: 51–70. doi:10.1111/j.1475-3995.2009.00733.x.
  13. ^ Teich, E.G.; van Anders, G.; Klotsa, D.; Dshemuchadse, J.; Glotzer, S.C. (2016). "Clusters of Polyhedra in Spherical Confinement". Proc. Natl. Acad. Sci. U.S.A. 113 (6): E669–E678. Bibcode:2016PNAS..113E.669T. doi:10.1073/pnas.1524875113. PMC 4760782. PMID 26811458.
  14. ^ Melissen, J. (1995). "Packing 16, 17 or 18 circles in an equilateral triangle". Discrete Mathematics. 145 (1–3): 333–342. doi:10.1016/0012-365X(95)90139-C.
  15. ^ a b Honsberger, Ross (1976). Mathematical Gems II. The Mathematical Association of America. p. 67. ISBN 0-88385-302-7.
  16. ^ Klarner, D.A.; Hautus, M.L.J (1971). "Uniformly coloured stained glass windows". Proceedings of the London Mathematical Society. 3. 23 (4): 613–628. doi:10.1112/plms/s3-23.4.613.
  17. ^ C. 마이클 호건, 2010년비생물학적 요인. 지구 백과사전. Ed Emily Monosson과 C. 클리블랜드. 전미 과학 환경 위원회워싱턴 DC
  18. ^ 를 클릭합니다Abrahamsen, Mikkel; Miltzow, Tillmann; Nadja, Seiferth (2020), Framework for -Completeness of Two-Dimensional Packing Problems, arXiv:2004.07558.

레퍼런스

외부 링크

수학 저널뿐만 아니라 많은 퍼즐북에는 포장 문제에 대한 기사가 실려 있다.