مشاكل التعبئة والتغليف

كرات أو دوائر معبأة بشكل فضفاض (أعلى) وأكثر كثافة (أسفل)

تُعدّ مسائل التعبئة فئةً من مسائل التحسين في الرياضيات ، وتتمثل في محاولة تعبئة الأشياء معًا في حاويات. والهدف هو إما تعبئة حاوية واحدة بأكبر قدر ممكن من الكثافة ، أو تعبئة جميع الأشياء باستخدام أقل عدد ممكن من الحاويات. ويرتبط العديد من هذه المسائل بقضايا التعبئة والتخزين والنقل في الحياة الواقعية . ولكل مسألة تعبئة مسألة تغطية مزدوجة ، والتي تسأل عن عدد الأشياء المتشابهة المطلوبة لتغطية كل منطقة من الحاوية بالكامل، مع السماح بتداخل الأشياء.

في مسألة تعبئة الصناديق ، يُعطى الأشخاص ما يلي:

  • حاوية ، عادةً ما تكون منطقة محدبة ثنائية أو ثلاثية الأبعاد ، وقد تكون ذات حجم لانهائي. يمكن تحديد حاويات متعددة حسب المسألة.
  • مجموعة من الأشياء ، يجب تعبئة بعضها أو كلها في حاوية واحدة أو أكثر. قد تحتوي المجموعة على أشياء مختلفة بأحجام محددة، أو على شيء واحد ذي أبعاد ثابتة يمكن استخدامه بشكل متكرر.

عادةً، يجب أن يكون التعبئة بدون تداخل بين البضائع أو جدران الحاوية. في بعض الحالات، يكون الهدف هو إيجاد التكوين الذي يُحقق أعلى كثافة تعبئة في حاوية واحدة . أما في أغلب الأحيان، فالهدف هو تعبئة جميع العناصر في أقل عدد ممكن من الحاويات. [ 1 ] في بعض الحالات، يُسمح بالتداخل (بين العناصر و/أو مع حدود الحاوية)، ولكن يجب تقليله إلى أدنى حد.

التعبئة في فضاء لانهائي

عند زيادة حجم الحاوية في جميع الاتجاهات، تصبح العديد من هذه المسائل مكافئة لمسألة رصّ الأجسام بأكبر كثافة ممكنة في فضاء إقليدي لانهائي . تُعدّ هذه المسألة ذات صلة بالعديد من التخصصات العلمية، وقد حظيت باهتمام كبير. افترضت حدسية كبلر حلاً أمثل لرصّ الكرات قبل مئات السنين من إثبات صحتها على يد توماس كاليستر هيلز . كما حظيت أشكال أخرى كثيرة بالاهتمام، بما في ذلك الأشكال الإهليلجية، [ 2 ] والمجسمات الأفلاطونية والأرخميدية ، [ 3 ] بما فيها رباعيات الأوجه ، [ 4 ] [ 5 ] والمجسمات ثلاثية الأرجل (اتحادات المكعبات على طول ثلاثة أشعة متوازية مع المحاور الموجبة)، [ 6 ] وثنائيات الكرات غير المتساوية. [ 7 ]

رصّ الدوائر بشكل سداسي

التعبئة السداسية للدوائر على مستوى إقليدي ثنائي الأبعاد.

تختلف هذه المسائل رياضياً عن الأفكار الواردة في نظرية تعبئة الدوائر . وتتناول مسألة تعبئة الدوائر ذات الصلة تعبئة دوائر ، قد تكون بأحجام مختلفة، على سطح ما، على سبيل المثال المستوى أو الكرة .

لا يمكن أبدًا رصّ نظائر الدائرة في أبعاد أخرى بكفاءة كاملة في أبعاد أكبر من بُعد واحد (في كون أحادي البُعد، نظير الدائرة هو نقطتان فقط). أي أنه ستكون هناك دائمًا مساحة غير مُستغلة إذا اقتصر الرصّ على الدوائر فقط. تُحقق الطريقة الأكثر كفاءة لرصّ الدوائر، وهي الرصّ السداسي ، كفاءة تقارب 91%. [ 8 ]

تعبئة الكرات في أبعاد أعلى

في ثلاثة أبعاد، توفر البنى المتراصة أفضل ترتيب شبكي للكرات، ويُعتقد أنها الأمثل بين جميع الترتيبات. مع ترتيبات الكرات "البسيطة" في ثلاثة أبعاد (مع تعريف دقيق لكلمة "بسيطة")، توجد تسعة ترتيبات قابلة للتحديد. [ 9 ] كما ثبت أن شبكة E8 ثمانية الأبعاد وشبكة Leech ذات 24 بُعدًا هما الأمثل في فضاء الأبعاد الحقيقية الخاص بهما.

ترتيبات الأجسام الأفلاطونية في ثلاثة أبعاد

يمكن ترتيب المكعبات بسهولة لملء الفراغ ثلاثي الأبعاد بالكامل، وأكثر التراص طبيعية هو شكل قرص العسل المكعب . لا يوجد أي مجسم أفلاطوني آخر قادر على ملء الفراغ بمفرده، ولكن بعض النتائج الأولية معروفة. يمكن أن تحقق رباعيات الأوجه نسبة تعبئة لا تقل عن 85%. أحد أفضل تراكيب المجسمات الاثني عشرية المنتظمة يعتمد على الشبكة المكعبة ذات المراكز الوجهية (FCC) المذكورة سابقًا.

يمكن للأشكال الرباعية الأوجه والأشكال الثمانية الأوجه معًا أن تملأ كل الفراغ في ترتيب يُعرف باسم خلية النحل الرباعية الأوجه والثمانية الأوجه .

صلبالكثافة المثلى لتعبئة الشبكة
المجسم العشري الوجوه0.836357... [ 10 ]
مجسم ذو اثني عشر وجهًا(5 + 5 )/8 = 0.904508... [ 10 ]
المجسم الثماني18/19 = 0.947368... [ 11 ]

تشير عمليات المحاكاة التي تجمع بين أساليب التحسين المحلية والتعبئة العشوائية إلى أن تعبئة الشبكة للأشكال العشرية الوجوه، والأشكال الاثني عشرية الوجوه، والأشكال الثمانية الوجوه هي الأمثل في الفئة الأوسع لجميع التعبئة. [ 3 ]

التعبئة في حاويات ثلاثية الأبعاد

تعبئة تسعة مكعبات ثلاثية الأبعاد بحجم L في مكعب واحد

تحويل متوازيات المستطيلات المختلفة إلى متوازي مستطيلات

حدد الحد الأدنى لعدد الحاويات المكعبة (الصناديق) اللازمة لتعبئة مجموعة معينة من المكعبات. يمكن تدوير المكعبات المستطيلة المراد تعبئتها بزاوية 90 درجة حول كل محور.

الكرات في كرة إقليدية

إن مسألة إيجاد أصغر كرة يمكن وضع k من الكرات المفتوحة المنفصلة بداخلها لها حل بسيط وكامل في الفضاء الإقليدي ذي الأبعاد n إذاكن+1{\displaystyle k\leq n+1}وفي فضاء هيلبرت لانهائي الأبعاد بدون قيود. يجدر وصف ذلك بالتفصيل هنا لإعطاء فكرة عن المسألة العامة. في هذه الحالة، يتوفر تكوين من k كرات وحدة متماسّة مثنى مثنى . يضع الباحثون المراكز عند الرؤوس.أ1،...،أك{\displaystyle a_{1},\dots ,a_{k}}من شخص عادي(ك-1){\displaystyle (k-1)}مُجَسَّمٌ مُعَمَّدٌ ذو ضلعين؛ يُمكن تحقيقه بسهولة انطلاقًا من أساس متعامد . تُظهر عملية حسابية بسيطة أن بُعد كل رأس عن مركز الثقل هو2(1-1ك){\textstyle {\sqrt {2{\big (}1-{\frac {1}{k}}{\big )}}}}علاوة على ذلك، فإن أي نقطة أخرى في الفضاء تكون بالضرورة على مسافة أكبر من رأس واحد على الأقل من الرؤوس k . من حيث احتواء الكرات، فإن الكرات الوحدوية المفتوحة k المتمركزة عندأ1،...،أك{\displaystyle a_{1},\dots ,a_{k}}يتم تضمينها في كرة نصف قطرهارك:=1+2(1-1ك){\textstyle r_{k}:=1+{\sqrt {2{\big (}1-{\frac {1}{k}}{\big )}}}}وهو الحد الأدنى لهذا التكوين.

لإثبات أن هذا التكوين هو الأمثل، دعx1،...،xك{\displaystyle x_{1},\dots ,x_{k}}لتكن مراكز k كرات مفتوحة منفصلة ذات وحدة واحدة محصورة في كرة نصف قطرها r مركزها نقطةx0{\displaystyle x_{0}}. لنفترض الخريطة من المجموعة المنتهية{x1،...،xك}{\displaystyle \{x_{1},\dots ,x_{k}\}}داخل{أ1،...،أك}{\displaystyle \{a_{1},\dots ,a_{k}\}}أخذxج{\displaystyle x_{j}}في المقابلأج{\displaystyle a_{j}}لكل1جك{\displaystyle 1\leq j\leq k}بما أن ذلك ينطبق على الجميع1أنا<جك{\displaystyle 1\leq i<j\leq k}،أأنا-أج=2xأنا-xج\displaystyle \|a_{i}-a_{j}\|=2\leq \|x_{i}-x_{j}\|}هذه الخريطة هي خريطة ليبشيتز -1، وبحسب نظرية كيرزبراون، فإنها تمتد إلى خريطة ليبشيتز-1 معرفة عالميًا؛ على وجه الخصوص، توجد نقطةأ0{\displaystyle a_{0}}بحيث يكون ذلك لجميع1جك{\displaystyle 1\leq j\leq k}يمتلك المرءأ0-أجx0-xج{\displaystyle \|a_{0}-a_{j}\|\leq \|x_{0}-x_{j}\|}، بحيث يكون ذلك أيضًارك1+أ0-أج1+x0-xجر{\displaystyle r_{k}\leq 1+\|a_{0}-a_{j}\|\leq 1+\|x_{0}-x_{j}\|\leq r}يُبين هذا أنه يوجد k كرة مفتوحة منفصلة من نوع الوحدة في كرة نصف قطرها r إذا وفقط إذاررك{\displaystyle r\geq r_{k}}لاحظ أنه في فضاء هيلبرت ذي أبعاد لا نهائية، فإن هذا يعني وجود عدد لا نهائي من الكرات المفتوحة المنفصلة ذات الوحدة داخل كرة نصف قطرها r إذا وفقط إذار1+2{\displaystyle r\geq 1+{\sqrt {2}}}على سبيل المثال، الكرات الوحدوية المتمركزة عند2هـج{\displaystyle {\sqrt {2}}e_{j}}، أين{هـج}ج{\displaystyle \{e_{j}\}_{j}}هي أساس متعامد، وهي منفصلة ومضمنة في كرة نصف قطرها1+2{\displaystyle 1+{\sqrt {2}}}متمركزة عند نقطة الأصل. علاوة على ذلك، لـر<1+2{\displaystyle r<1+{\sqrt {2}}}، الحد الأقصى لعدد الكرات المفتوحة المنفصلة ذات الوحدة داخل كرة نصف قطرها r هو22-(ر-1)2.{\displaystyle \left\lfloor {\frac {2}{2-(r-1)^{2}}}\right\rfloor .}

كرات داخل متوازي مستطيلات

يحدد الناس عدد الأجسام الكروية ذات القطر المحدد d التي يمكن وضعها في متوازي مستطيلات بحجمأ×ب×ج{\displaystyle a\times b\times c}.

كرات متطابقة داخل أسطوانة

يحدد العلماء الحد الأدنى للارتفاع h لأسطوانة ذات نصف قطر R معين بحيث يمكن وضع n كرة متطابقة نصف قطرها r (< R ) . [ 12 ] بالنسبة لنصف قطر صغير R ، تترتب الكرات في هياكل منتظمة تسمى الهياكل العمودية .

المجسمات متعددة الأوجه في الكرات

يحدد الناس الحد الأدنى لنصف القطر R الذي يسمح بتعبئة n من المجسمات متعددة الأوجه المتطابقة ذات الحجم الواحد من شكل معين. [ 13 ]

التعبئة في حاويات ثنائية الأبعاد

التعبئة المثلى لعشر دوائر في دائرة

تمت دراسة العديد من المتغيرات لمشاكل التعبئة ثنائية الأبعاد.

تعبئة الدوائر

يُعطى الأشخاص عددًا من الدوائر الموحدة ، وعليهم وضعها في أصغر حاوية ممكنة. وقد دُرست أنواع عديدة من الحاويات:

تعبئة المربعات

يُعطى الأشخاص n مربعًا وحدة ، وعليهم وضعها في أصغر حاوية ممكنة، حيث يختلف نوع الحاوية:

تعبئة المستطيلات

  • تعبئة مستطيلات متطابقة داخل مستطيل : تُعدّ مشكلة تعبئة عدة مستطيلات متطابقة بأبعاد ( طول × عرض ) مع إمكانية تدويرها بزاوية 90 درجة، داخل مستطيل أكبر بأبعاد ( طول × عرض من المشكلات الشائعة في تطبيقات مثل تحميل الصناديق على المنصات، وتحديدًا في تخزين لب الخشب . على سبيل المثال، يمكن تعبئة 147 مستطيلاً بأبعاد (137 × 95) داخل مستطيل بأبعاد (1600 × 1230).
  • تجميع مستطيلات مختلفة داخل مستطيل : تُعدّ مشكلة تجميع عدة مستطيلات بأطوال وعرض مختلفة داخل مستطيل محيط ذي مساحة دنيا (دون تحديد عرض أو ارتفاع المستطيل المحيط) ذات أهمية بالغة في دمج الصور في صورة واحدة أكبر. غالبًا ما يتم عرض صفحة الويب التي تُحمّل صورة واحدة كبيرة بشكل أسرع في المتصفح من الصفحة نفسها التي تُحمّل عدة صور صغيرة، وذلك بسبب العبء الإضافي الناتج عن طلب كل صورة من خادم الويب. تُصنّف هذه المشكلة عمومًا ضمن فئة NP-complete ، ولكن توجد خوارزميات سريعة لحلّ الحالات الصغيرة منها.

في مسائل التبليط أو التبليط ، لا يُسمح بوجود فجوات أو تداخلات. تتضمن العديد من الألغاز من هذا النوع رصّ المستطيلات أو الأشكال متعددة الأضلاع داخل مستطيل أكبر أو شكل مربع آخر.

There are significant theorems on tiling rectangles (and cuboids) in rectangles (cuboids) with no gaps or overlaps:

An a × b rectangle can be packed with 1 × n strips if and only if n divides a or n divides b.[15][16]
de Bruijn's theorem: A box can be packed with a harmonic bricka × a b × a b c if the box has dimensions a p × a b q × a b c r for some natural numbersp, q, r (i.e., the box is a multiple of the brick.)[15]

The study of polyomino tilings largely concerns two classes of problems: to tile a rectangle with congruent tiles, and to pack one of each n-omino into a rectangle.

A classic puzzle of the second kind is to arrange all twelve pentominoes into rectangles sized 3×20, 4×15, 5×12 or 6×10.

Packing of irregular objects

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.[17]

The problem of deciding whether a given set of polygons can fit in a given square container has been shown to be complete for the existential theory of the reals.[18]

See also

Notes

  1. Lodi, A.; Martello, S.; Monaci, M. (2002). "Two-dimensional packing problems: A survey". European Journal of Operational Research. 141 (2). Elsevier: 241–252. doi:10.1016/s0377-2217(02)00123-6.
  2. دونيف، أ.؛ ستيلينجر، ف.؛ تشايكين، ب.؛ توركواتو، س. (2004). "ترتيبات بلورية كثيفة بشكل غير عادي للأشكال الإهليلجية". رسائل المراجعة الفيزيائية . 92 (25) 255506. arXiv : cond-mat/0403286 . Bibcode : 2004PhRvL..92y5506D . doi : 10.1103/PhysRevLett.92.255506 . PMID 15245027. S2CID 7982407 .  
  3. 1 2 توركواتو، س.؛ جياو، ي. (أغسطس 2009). "التعبئة الكثيفة للأجسام الأفلاطونية والأرخميدية". مجلة نيتشر . 460 (7257): 876-879 . arXiv : 0908.4107 . Bibcode : 2009Natur.460..876T . doi : 10.1038 / nature08239 . ISSN 0028-0836 . PMID 19675649. S2CID 52819935 .   
  4. حاجي أكبري، أ.؛ إنجل، م.؛ كيز، أ.س.؛ تشنغ، ش.؛ بيتسشيك، ر.ج.؛ بالفي-موهوراي، ب.؛ غلوتزر، س.س. (2009). "الأطوار غير المنتظمة وشبه البلورية والبلورية للرباعيات المكتظة". مجلة نيتشر . 462 (7274): 773-777 . arXiv : 1012.5138 . Bibcode : 2009Natur.462..773H . doi : 10.1038/nature08641 . PMID: 20010683. S2CID : 4412674 .  
  5. تشين، إي آر؛ إنجل، إم؛ غلوتزر، إس سي (2010). "تعبئة ثنائية بلورية كثيفة من رباعيات الأوجه المنتظمة" . الهندسة المنفصلة والحسابية . 44 (2): 253-280 . arXiv : 1001.0586 . Bibcode : 2010arXiv1001.0586C . doi : 10.1007/s00454-010-9273-0 . S2CID 18523116 . 
  6. شتاين، شيرمان ك. (مارس 1995)، "حزم الحوامل الثلاثية"، تسليات رياضية، مجلة الرياضيات الذكية ، 17 (2): 37-39 ، doi : 10.1007/bf03024896 ، S2CID 124703268 أُعيد طبعه في: غيل، ديفيد (1998)، غيل، ديفيد (محرر)، تتبع الشبكة الآلية للنمل ، سبرينغر-فيرلاغ، ص 131-136 ، doi : 10.1007/978-1-4612-2192-0 ، ISBN  0-387-98272-8MR 1661863 
  7. هدسون، تي إس؛ هارويل، بي. (2011). "عمليات بحث هيكلية باستخدام مجموعات النقاط المتساوية كمولدات: أكثر التعبئة كثافة لخلائط الكرات الصلبة الثنائية". مجلة الفيزياء: المادة المكثفة . 23 (19) 194103. رمز Bibcode : 2011JPCM...23s4103H . doi : 10.1088/0953-8984 / 23/19/194103 . PMID 21525553. S2CID 25505460 .  
  8. "التعبئة الدائرية" .
  9. سمولي، آي جيه (1963). "تعبئة الكرات المنتظمة البسيطة في ثلاثة أبعاد". مجلة الرياضيات . 36 (5): 295-299 . doi : 10.2307/2688954 . JSTOR 2688954 . 
  10. 1 2 بيتكه، أولريش؛ هينك، مارتن (2000). "أكثر تعبئات الشبكة كثافةً للمضلعات ثلاثية الأبعاد" . الهندسة الحسابية . 16 (3): 157-186 . arXiv : math/9909172 . doi : 10.1016 / S0925-7721(00)00007-9 . MR 1765181. S2CID 12118403 .  
  11. ^ مينكوفسكي، هـ. Dichteste gitterförmige Lagerung kongruenter Körper. ناشر. أكاد. ويس. الرياضيات في غوتنغن. فيز. كي. الثاني 311-355 (1904).
  12. ستويان، واي جي؛ ياسكوف، جي إن (2010). "تعبئة كرات متطابقة في أسطوانة". المعاملات الدولية في بحوث العمليات . 17 : 51-70 . doi : 10.1111/j.1475-3995.2009.00733.x .
  13. تايخ، إي جي؛ فان أندرس، جي؛ كلوتسا، دي؛ دشيموشادزه، جي؛ غلوتزر، إس سي (2016). "تجمعات من متعددات السطوح في حيز كروي" . وقائع الأكاديمية الوطنية للعلوم في الولايات المتحدة الأمريكية . 113 (6): E669– E678 . Bibcode : 2016PNAS..113E.669T . doi : 10.1073/pnas.1524875113 . PMC 4760782. PMID 26811458 .  
  14. ميليسن، ج. (1995). "تعبئة 16 أو 17 أو 18 دائرة في مثلث متساوي الأضلاع" . الرياضيات المتقطعة . 145 ( 1-3 ): 333-342 . doi : 10.1016/0012-365X(95)90139-C .
  15. 1 2 هونسبرغر، روس (1976). جواهر رياضية II . الجمعية الرياضية الأمريكية . ص 67. ISBN  0-88385-302-7.
  16. كلارنر، د.أ .؛ هاوتوس، م.ل.ج. (1971). "نوافذ زجاجية ملونة موحدة اللون". وقائع الجمعية الرياضية بلندن . 3. 23 (4): 613-628 . doi : 10.1112/plms/s3-23.4.613 .
  17. سي. مايكل هوجان. 2010. العوامل غير الحيوية . موسوعة الأرض. تحرير إميلي مونوسون وسي. كليفلاند. المجلس الوطني للعلوم والبيئة . واشنطن العاصمة
  18. ^ أبراهامسن، ميكيل. ميلتزو، تيلمان. ناديا، سيفرث (2020)، إطار عملR{\displaystyle \exists \mathbb {R} }اكتمال مسائل التعبئة ثنائية الأبعاد ، arXiv : 2004.07558.

مراجع

  • تحسين تعبئة الصناديق ثلاثية الأبعاد

تحتوي العديد من كتب الألغاز، بالإضافة إلى المجلات الرياضية، على مقالات حول مسائل التعبئة.