Behälterproblem

Das Behälterproblem oder auch bin packing problem ist ein kombinatorisches Optimierungsproblem, das auf folgender Fragestellung basiert:

Gegeben: Eine Anzahl $k\in \mathbb {N}$ von „Behältern“ (englisch bin) der Größe $b\in \mathbb {N}$ und eine Anzahl $n\in \mathbb {N}$ „Objekte“ mit den Größen $a_{1},a_{2},\dotsc ,a_{n}\ \leq \ b$ .
Frage: Können die $n$ „Objekte“ so auf die $k$ „Behälter“ verteilt (packing) werden, dass keiner der „Behälter“ überläuft? Formal:

\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?}}

Das oben beschriebene Entscheidungsproblem ist NP-vollständig; das zugehörige Optimierungsproblem – das Finden einer Zuordnung, bei der die Anzahl an Behältern minimiert wird – ist 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 Verpackungsindustrie eine große Rolle spielen.

Eine etwas allgemeiner formale Definition beschreibt das Bin-Packing-Problem als die Bestimmung einer Partition und Zuordnung einer 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[Bearbeiten | Quelltext bearbeiten]

Da Bin-Packing ein NP-schweres Problem ist, ist es 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 $11 \over 9$ .

Sortiere die Objekte nach absteigendem 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 ${\mathcal {O}}(n\cdot \log n)$ (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 Algorithmen haben eine scharfe asymptotische Gütegarantie von 1,7 und eine Laufzeit von ${\mathcal {O}}(n\cdot \log n)$ . 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 ${\mathcal {O}}(n)$ . 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).