Articulo de referencia

Problemas de embalaje

Esferas o círculos empaquetados de forma suelta (arriba) y más densa (abajo). Los problemas de empaquetado son un tipo de problemas de optimización en matemáticas que consisten ...

Esferas o círculos empaquetados de forma suelta (arriba) y más densa (abajo).

Los problemas de empaquetado son un tipo de problemas de optimización en matemáticas que consisten en intentar empaquetar objetos en contenedores. El objetivo es llenar un solo contenedor de la forma más densa posible o empaquetar todos los objetos utilizando la menor cantidad de contenedores posible. Muchos de estos problemas se relacionan con cuestiones reales de empaquetado , almacenamiento y transporte. Cada problema de empaquetado tiene un problema de cobertura dual , que plantea cuántos objetos idénticos se necesitan para cubrir completamente cada región del contenedor, donde se permite la superposición de objetos.

En un problema de empaquetamiento de contenedores , a las personas se les da lo siguiente:

  • Un contenedor , generalmente una región convexa bidimensional o tridimensional , posiblemente de tamaño infinito. Dependiendo del problema, se pueden proporcionar varios contenedores.
  • Un conjunto de objetos , algunos o todos los cuales deben empaquetarse en uno o más contenedores. El conjunto puede contener diferentes objetos con sus tamaños especificados, o un único objeto de dimensión fija que se puede utilizar repetidamente.

Por lo general, el embalaje debe evitar que los artículos se superpongan entre sí o con las paredes del contenedor. En algunas variantes, el objetivo es encontrar la configuración que permita embalar un solo contenedor con la máxima densidad de embalaje . Más comúnmente, el objetivo es embalar todos los objetos en la menor cantidad de contenedores posible. [ 1 ] En algunas variantes se permite la superposición (de objetos entre sí y/o con el borde del contenedor), pero debe minimizarse.

Empaquetado en espacio infinito

Muchos de estos problemas, cuando el tamaño del contenedor aumenta en todas las direcciones, se vuelven equivalentes al problema de empaquetar objetos de la manera más densa posible en un espacio euclidiano infinito . Este problema es relevante para varias disciplinas científicas y ha recibido una atención significativa. La conjetura de Kepler postuló una solución óptima para el empaquetamiento de esferas cientos de años antes de que Thomas Callister Hales demostrara su veracidad . Muchas otras formas han recibido atención, incluyendo elipsoides, [ 2 ] sólidos platónicos y arquimedianos, [ 3 ] incluyendo tetraedros , [ 4 ] [ 5 ] trípodes (uniones de cubos a lo largo de tres rayos paralelos a los ejes positivos), [ 6 ] y dímeros de esferas desiguales. [ 7 ]

Empaquetamiento hexagonal de círculos

El empaquetamiento hexagonal de círculos en un plano euclidiano bidimensional.

Estos problemas son matemáticamente distintos de las ideas del teorema de empaquetamiento de círculos . El problema relacionado del empaquetamiento de círculos trata de empaquetar círculos , posiblemente de diferentes tamaños, sobre una superficie, por ejemplo, un plano o una esfera .

Las contrapartes de un círculo en otras dimensiones nunca pueden empaquetarse con total eficiencia en dimensiones mayores que una (en un universo unidimensional, el análogo del círculo son solo dos puntos). Es decir, siempre habrá espacio sin usar si solo se empaquetan círculos. La forma más eficiente de empaquetar círculos, el empaquetamiento hexagonal , produce aproximadamente un 91 % de eficiencia. [ 8 ]

Empaquetamientos de esferas en dimensiones superiores

En tres dimensiones, las estructuras compactas ofrecen el mejor empaquetamiento reticular de esferas y se consideran el óptimo de todos los empaquetamientos. Con empaquetamientos de esferas "simples" en tres dimensiones (donde "simple" se define cuidadosamente) existen nueve empaquetamientos definibles posibles. [ 9 ] También se ha demostrado que la red E8 de 8 dimensiones y la red Leech de 24 dimensiones son óptimas en sus respectivos espacios de dimensiones reales.

Empaquetamientos de sólidos platónicos en tres dimensiones

Los cubos se pueden organizar fácilmente para llenar completamente el espacio tridimensional, siendo el panal cúbico la forma de empaquetamiento más natural . Ningún otro sólido platónico puede recubrir el espacio por sí solo, pero se conocen algunos resultados preliminares. Los tetraedros pueden alcanzar un empaquetamiento de al menos el 85 %. Uno de los mejores empaquetamientos de dodecaedros regulares se basa en la red cúbica centrada en las caras (FCC) mencionada anteriormente.

Los tetraedros y los octaedros juntos pueden llenar todo el espacio en una disposición conocida como panal tetraédrico-octaédrico .

Las simulaciones que combinan métodos de mejora local con empaquetamientos aleatorios sugieren que los empaquetamientos reticulares para icosaedros, dodecaedros y octaedros son óptimos en la clase más amplia de todos los empaquetamientos. [ 3 ]

Embalaje en contenedores tridimensionales

Empaquetar nueve tricubos L en un cubo

Diferentes cuboides en un cuboide

Determina el número mínimo de contenedores cúbicos necesarios para empaquetar un conjunto dado de cuboides. Los cuboides rectangulares que se van a empaquetar pueden girar 90 grados sobre cada eje.

Esferas en una bola euclidiana

El problema de encontrar la bola más pequeña tal que k bolas unitarias abiertas disjuntas puedan empaquetarse dentro de ella tiene una respuesta simple y completa en el espacio euclidiano n- dimensional siknorte+1{\displaystyle k\leq n+1}y en un espacio de Hilbert de dimensión infinita sin restricciones. Vale la pena describirlo en detalle aquí, para dar una idea del problema general. En este caso, se dispone de una configuración de k bolas unitarias tangentes por pares . Se colocan los centros en los vértices.a1,,ak{\displaystyle a_{1},\dots ,a_{k}}de un regular(k1){\displaystyle (k-1)}simplex dimensional con arista 2; esto se realiza fácilmente partiendo de una base ortonormal . Un pequeño cálculo muestra que la distancia de cada vértice al baricentro es2(11k){\textstyle {\sqrt {2{\big (}1-{\frac {1}{k}}{\big )}}}}Además, cualquier otro punto del espacio necesariamente tiene una mayor distancia de al menos uno de los k vértices. En términos de inclusiones de bolas, las k bolas unitarias abiertas centradas ena1,,ak{\displaystyle a_{1},\dots ,a_{k}}están incluidos en una bola de radiork:=1+2(11k){\textstyle r_{k}:=1+{\sqrt {2{\big (}1-{\frac {1}{k}}{\big )}}}}, que es mínimo para esta configuración.

Para demostrar que esta configuración es óptima, dejemosincógnita1,,incógnitak{\displaystyle x_{1},\dots ,x_{k}}sean los centros de k bolas unitarias abiertas disjuntas contenidas en una bola de radio r centrada en un puntoincógnita0{\displaystyle x_{0}}. Consideremos la aplicación del conjunto finito{incógnita1,,incógnitak}{\displaystyle \{x_{1},\dots ,x_{k}\}}en{a1,,ak}{\displaystyle \{a_{1},\dots ,a_{k}\}}tomandoincógnitaj{\displaystyle x_{j}}en el correspondienteaj{\displaystyle a_{j}}para cada1jk{\displaystyle 1\leq j\leq k}. Dado que para todos1i<jk{\displaystyle 1\leq i<j\leq k},aiaj=2incógnitaiincógnitaj{\displaystyle \|a_{i}-a_{j}\|=2\leq \|x_{i}-x_{j}\|}Este mapa es 1- Lipschitz y, por el teorema de Kirszbraun, se extiende a un mapa 1-Lipschitz definido globalmente; en particular, existe un puntoa0{\displaystyle a_{0}}de tal manera que para todos1jk{\displaystyle 1\leq j\leq k}uno tienea0ajincógnita0incógnitaj{\displaystyle \|a_{0}-a_{j}\|\leq \|x_{0}-x_{j}\|}, para que tambiénrk1+a0aj1+incógnita0incógnitajr{\displaystyle r_{k}\leq 1+\|a_{0}-a_{j}\|\leq 1+\|x_{0}-x_{j}\|\leq r}Esto demuestra que hay k bolas abiertas unitarias disjuntas en una bola de radio r si y solo sirrk{\displaystyle r\geq r_{k}}Nótese que en un espacio de Hilbert de dimensión infinita esto implica que hay infinitas bolas unitarias abiertas disjuntas dentro de una bola de radio r si y solo sir1+2{\displaystyle r\geq 1+{\sqrt {2}}}Por ejemplo, las bolas unitarias centradas en2mij{\displaystyle {\sqrt {2}}e_ {j}}, dónde{mij}j{\displaystyle \{e_{j}\}_{j}}es una base ortonormal, son disjuntos y están incluidos en una bola de radio1+2{\displaystyle 1+{\sqrt {2}}}centrado en el origen. Además, parar<1+2{\displaystyle r<1+{\sqrt {2}}}, el número máximo de bolas unitarias abiertas disjuntas dentro de una bola de radio r es22(r1)2.{\displaystyle \left\lfloor {\frac {2}{2-(r-1)^{2}}}\right\rfloor .}

Esferas en un cuboide

Las personas determinan la cantidad de objetos esféricos de un diámetro dado d que se pueden empaquetar en un cuboide de tamañoa×b×do{\displaystyle a\times b\times c}.

Esferas idénticas en un cilindro

Las personas determinan la altura mínima h de un cilindro con un radio R dado que empaquetará n esferas idénticas de radio r (< R ) . [ 12 ] Para un radio R pequeño, las esferas se organizan en estructuras ordenadas, llamadas estructuras columnares .

Poliedros en esferas

Las personas determinan el radio mínimo R que permitirá empaquetar n poliedros idénticos de volumen unitario de una forma dada. [ 13 ]

Embalaje en contenedores bidimensionales

El empaquetamiento óptimo de 10 círculos en un círculo

Se han estudiado muchas variantes de problemas de empaquetamiento bidimensional.

Empaquetamiento de círculos

A las personas se les dan n círculos unitarios y deben empaquetarlos en el contenedor más pequeño posible. Se han estudiado varios tipos de contenedores:

Empaquetamiento de cuadrados

A las personas se les entregan n cuadrados unitarios y deben empaquetarlos en el recipiente más pequeño posible, donde el tipo de recipiente varía:

Empaquetamiento de rectángulos

  • Empaquetado de rectángulos idénticos en un rectángulo : El problema de empaquetar múltiples instancias de un solo rectángulo de tamaño ( l , w ) , permitiendo una rotación de 90°, en un rectángulo más grande de tamaño ( L , W ) tiene algunas aplicaciones, como la carga de cajas en paletas y, específicamente, el almacenamiento de pulpa de madera . Por ejemplo, es posible empaquetar 147 rectángulos de tamaño (137,95) en un rectángulo de tamaño (1600,1230).
  • Empaquetar diferentes rectángulos dentro de un rectángulo : El problema de empaquetar múltiples rectángulos de diferentes anchos y alturas dentro de un rectángulo contenedor de área mínima (pero sin límites en el ancho o la altura del rectángulo contenedor) tiene una aplicación importante en la combinación de imágenes para crear una sola imagen de mayor tamaño. Una página web que carga una sola imagen de mayor tamaño suele renderizarse más rápido en el navegador que la misma página que carga varias imágenes pequeñas, debido a la sobrecarga que implica solicitar cada imagen al servidor web. El problema es NP-completo en general, pero existen algoritmos rápidos para resolver instancias pequeñas.

En los problemas de teselación , no debe haber huecos ni superposiciones. Muchos de estos rompecabezas consisten en encajar rectángulos o poliominós dentro de un rectángulo más grande u otra figura cuadrada.

Existen teoremas importantes sobre el recubrimiento de rectángulos (y cuboides) con rectángulos (cuboides) sin huecos ni superposiciones:

Un rectángulo de a × b puede rellenarse con 1 × n tiras si y solo si n divide a o n divide a b . [ 15 ] [ 16 ]
Teorema de De Bruijn : Una caja puede llenarse con un ladrillo armónico a × ab × abc si la caja tiene dimensiones ap × abq × abcr para algunos números naturales p , q , r (es decir, la caja es un múltiplo del ladrillo). [ 15 ]

El estudio de los recubrimientos con poliominós se centra principalmente en dos tipos de problemas: recubrir un rectángulo con piezas congruentes y colocar una pieza de cada tipo (n -ominó) dentro de un rectángulo.

Un rompecabezas clásico del segundo tipo consiste en colocar los doce pentominós en rectángulos de tamaño 3×20, 4×15, 5×12 o 6×10.

Embalaje de objetos irregulares

El empaquetamiento de objetos irregulares es un problema que no se presta fácilmente a soluciones analíticas; sin embargo, su aplicabilidad a la ciencia ambiental práctica es muy importante. Por ejemplo, las partículas de suelo de forma irregular se empaquetan de manera diferente según varían sus tamaños y formas, lo que conlleva consecuencias importantes para que las especies vegetales adapten la formación de sus raíces y permitan el movimiento del agua en el suelo. [ 17 ]

Se ha demostrado que el problema de decidir si un conjunto dado de polígonos cabe en un contenedor cuadrado dado es completo para la teoría existencial de los números reales . [ 18 ]

Véase también

Notas

  1. Lodi, A.; Martello, S.; Monaci, M. (2002). "Problemas de empaquetamiento bidimensional: una revisión". European Journal of Operational Research . 141 (2). Elsevier: 241– 252. doi : 10.1016/s0377-2217(02)00123-6 .
  2. Donev, A.; Stillinger, F.; Chaikin, P.; Torquato, S. (2004). "Empaquetamientos cristalinos inusualmente densos de elipsoides". Physical Review Letters . 92 (25) 255506. arXiv : cond-mat/0403286 . Bibcode : 2004PhRvL..92y5506D . doi : 10.1103/PhysRevLett.92.255506 . PMID 15245027 . S2CID 7982407 .  
  3. 1 2 Torquato, S.; Jiao, Y. (agosto de 2009). "Empaquetamientos densos de los sólidos platónicos y arquimedianos". 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, AS; Zheng, X.; Petschek, RG; Palffy-Muhoray, P.; Glotzer, SC (2009). "Fases desordenadas, cuasicristalinas y cristalinas de tetraedros densamente empaquetados". Nature . 462 (7274): 773– 777. arXiv : 1012.5138 . Bibcode : 2009Natur.462..773H . doi : 10.1038/nature08641 . PMID 20010683 . S2CID 4412674 .  
  5. Chen, ER; Engel, M.; Glotzer, SC (2010). "Empaquetamientos densos de dímeros cristalinos de tetraedros regulares" . Geometría discreta y computacional . 44 (2): 253– 280. arXiv : 1001.0586 . Bibcode : 2010arXiv1001.0586C . doi : 10.1007/s00454-010-9273-0 . S2CID 18523116 . 
  6. Stein, Sherman K. (marzo de 1995), "Empaquetando trípodes", Entretenimientos matemáticos, The Mathematical Intelligencer , 17 (2): 37–39 , doi : 10.1007/bf03024896 , S2CID 124703268 Reimpreso en Gale, David (1998), Gale, David (ed.), Tracking the Automatic ANT , Springer-Verlag, pp. 131–136 , doi : 10.1007/978-1-4612-2192-0 , ISBN  0-387-98272-8, MR 1661863 
  7. Hudson, TS; Harrowell, P. (2011). "Búsquedas estructurales utilizando conjuntos isopuntuales como generadores: Empaquetamientos más densos para mezclas binarias de esferas duras". Journal of Physics: Condensed Matter . 23 (19) 194103. Bibcode : 2011JPCM...23s4103H . doi : 10.1088/0953-8984/23/19/194103 . PMID 21525553 . S2CID 25505460 .  
  8. "Empaquetamiento circular" .
  9. Smalley, IJ (1963). "Empaquetamientos de esferas regulares simples en tres dimensiones". Mathematics Magazine . 36 (5): 295– 299. doi : 10.2307/2688954 . JSTOR 2688954 . 
  10. 1 2 Betke, Ulrich; Henk, Martin (2000). "Empaquetamientos reticulares más densos de 3-politopos" . Geometría Computacional . 16 (3): 157– 186. arXiv : math/9909172 . doi : 10.1016 / S0925-7721(00)00007-9 . MR 1765181. S2CID 12118403 .  
  11. Minkowski, H. Dichteste gitterförmige Lagerung kongruenter Körper. Nachr. Akád. Wiss. Matemáticas de Gotinga. Física. KI. II 311–355 (1904).
  12. Stoyan, YG; Yaskov, GN (2010). "Empaquetado de esferas idénticas en un cilindro". International Transactions in Operational Research . 17 : 51–70 . doi : 10.1111/j.1475-3995.2009.00733.x .
  13. Teich, EG; van Anders, G.; Klotsa, D.; Dshemuchadse, J.; Glotzer, SC (2016). "Clústeres de poliedros en confinamiento esférico" . Proc. Natl. Acad. Sci. USA . 113 (6): E669– E678. Bibcode : 2016PNAS..113E.669T . doi : 10.1073/pnas.1524875113 . PMC 4760782. PMID 26811458 .  
  14. Melissen, J. (1995). "Empaquetamiento de 16, 17 o 18 círculos en un triángulo equilátero" . Matemáticas Discretas . 145 ( 1–3 ): 333–342 . doi : 10.1016/0012-365X(95)90139-C .
  15. 1 2 Honsberger, Ross (1976). Mathematical Gems II . The Mathematical Association of America . p. 67. ISBN  0-88385-302-7.
  16. Klarner, DA ; Hautus, MLJ (1971). "Ventanas de vidrieras de colores uniformes". Actas de la Sociedad Matemática de Londres . 3. 23 (4): 613– 628. doi : 10.1112/plms/s3-23.4.613 .
  17. C. Michael Hogan. 2010. Factor abiótico . Enciclopedia de la Tierra. eds. Emily Monosson y C. Cleveland. Consejo Nacional para la Ciencia y el Medio Ambiente . Washington D. C.
  18. Abrahamsen, Mikkel; Miltzow, Tillmann; Nadja, Seiferth (2020), Marco paraR{\displaystyle \exists \mathbb {R} }-Completitud de los problemas de empaquetamiento bidimensional , arXiv : 2004.07558.

Referencias

  • Optimización del empaquetado tridimensional de contenedores

Muchos libros de acertijos, así como revistas matemáticas, contienen artículos sobre problemas de empaquetamiento.

  • Enlaces a varios artículos de MathWorld sobre empaquetamiento.
  • Notas de MathWorld sobre el empaquetamiento de cuadrados.
  • Centro de Empaquetado de Erich
  • www.packomania.com Un sitio con tablas, gráficos, calculadoras, referencias, etc.
  • "Embalaje de cajas", de Ed Pegg, Jr. , Proyecto de demostraciones de Wolfram , 2007.
  • Empaquetamientos más conocidos de círculos iguales dentro de un círculo, hasta 1100

  • Problema de empaquetamiento circular en Python