90.187.14.241: /* Algorithmen */

2025-06-05T10:24:19Z

Algorithmen

Neue Seite

Das '''Behälterproblem''' oder auch '''bin packing problem''' ist ein [[Kombinatorische Optimierung|kombinatorisches Optimierungsproblem]], das auf folgender Fragestellung basiert:
* ''Gegeben:'' Eine Anzahl <math>k \in \mathbb{N}</math> von „Behältern“ ([[Englische Sprache|englisch]] ''bin'') der Größe <math>b \in \mathbb{N}</math> und eine Anzahl <math>n \in \mathbb{N}</math> „Objekte“ mit den Größen <math> a_1,a_2,\dotsc,a_n\ \leq\ b </math>.
* ''Frage:'' Können die <math>n</math> „Objekte“ so auf die <math>k</math> „Behälter“ verteilt (''packing'') werden, dass keiner der „Behälter“ überläuft? Formal:
::<math> \exists\ f\colon \{1,\dotsc,n\} \to \{1,\dotsc,k\}\text{, so dass für alle } j \in \{1,\dotsc,k\} \quad \sum_{f(i)=j} a_i \leq b \text{ gilt?}</math>

Das oben beschriebene [[Entscheidungsproblem]] ist [[NP-Vollständigkeit|NP-vollständig]]; das zugehörige [[Optimierungsproblem]] – das Finden einer Zuordnung, bei der die Anzahl an Behältern minimiert wird – ist [[NP-Schwere|NP-schwer]].

Die hier gegebene Formulierung des Bin-Packing-Problems ist nur die Motivation beziehungsweise Basis für eine Vielzahl weiterer ''Packing-Problems'', die unter anderem in der [[Verpackung]]sindustrie eine große Rolle spielen.

Eine etwas allgemeiner formale Definition beschreibt das Bin-Packing-Problem als die Bestimmung einer [[Partition (Mengenlehre)|Partition]] und Zuordnung einer [[Menge (Mathematik)|Menge]] von Objekten, so dass eine bestimmte Bedingung erfüllt bzw. eine Zielfunktion minimiert oder maximiert wird.

Man unterscheidet zwischen Offline- und Online-Varianten, wobei offline bedeutet, dass im Voraus alle Objekte bekannt sind. Bei Online-Verfahren muss sofort entschieden werden, in welchen Behälter das Objekt gepackt wird, ohne die folgenden Objekte zu kennen.

== Algorithmen ==

Da Bin-Packing ein NP-schweres Problem ist, ist es [[P-NP-Problem|vermutlich]] unmöglich, es in polynomialer Laufzeit zu lösen. Johnsons [[Approximationsalgorithmus]] ''First Fit Decreasing'' löst das Problem in polynomieller Zeit mit einer asymptotischen [[Gütegarantie]] von <math>11 \over 9</math>.

# Sortiere die Objekte nach absteigender Größe
# Füge die Objekte der Reihe nach ein, sodass jedes in den ersten Behälter gegeben wird, in dem noch genug Platz ist.
# Falls in keinem der bereits geöffneten Behälter genügend Platz ist, öffne einen neuen.

Die Laufzeit beträgt <math>\mathcal O(n\cdot\log n)</math> (sowohl für das Sortieren, als auch für das Einfügen).
Dieselben Resultate gelten auch für ''Best Fit Decreasing''. Dabei wird ein Objekt nicht in den ersten Behälter eingefügt, in den es passt, sondern in den Behälter, in den es gerade noch passt (die Restkapazität wird also minimiert).

Bei der Online-Variante ist es nicht möglich, die Objekte im Voraus nach Größe zu sortieren. Die Algorithmen ''First Fit'' und ''Best Fit'' arbeiten analog zu den oben genannten, jedoch ohne vorheriges Sortieren. Beide [[Algorithmus|Algorithmen]] haben eine scharfe asymptotische Gütegarantie von 1,7 und eine Laufzeit von <math>\mathcal O(n\cdot\log n)</math>. ''Best Fit'' sucht in allen bisher vorhandenen Behältern nach dem kleinsten noch passenden freien Platz.

Der naive Algorithmus ''Next Fit'' packt die Objekte der Reihe nach in den letzten geöffneten Behälter, falls sie hineinpassen. Ansonsten wird der Behälter geschlossen, ein neuer geöffnet und das aktuelle Objekt in den leeren Behälter gegeben. Die asymptotische Gütegarantie beträgt 2, die Laufzeit <math>\mathcal O(n)</math>. Der Vorteil dieses naiven Algorithmus ist, dass immer nur ein Behälter gleichzeitig geöffnet ist (was in der praktischen Anwendung eine Bedingung sein kann).

== Literatur ==
* Bernhard Korte, Jens Vygen: ''Kombinatorische Optimierung.'' Springer, Berlin Heidelberg 2008, ISBN 978-3-540-76918-7, S. 485ff

== Weblinks ==
* [https://pdfs.semanticscholar.org/bb99/86af2f26f7726fcef1bc684eac8239c9b853.pdf?_ga=1.50320358.1394974689.1485463187 Optimizing Three-Dimensional Bin Packing]
* [https://algo.rwth-aachen.de/~algorithmus/algo24.php Artikel im ''Algorithmus der Woche'']

{{SORTIERUNG:Behalterproblem}}
[[Kategorie:Kombinatorische Optimierung]]
[[Kategorie:Komplexitätstheorie]]

Behälterproblem - Versionsgeschichte

90.187.14.241: /* Algorithmen */