Systematische Suche SS10
Inhaltsverzeichnis |
Autoren: Daniel Horbach Richard Hettmann
Rucksackproblem
Das Rucksackproblem ist ein Optimierungsproblem der Kombinatorik. Aus einer Menge von Objekten, die jeweils ein Gewicht und einen Wert haben, soll eine Teilmenge ausgewählt werden, deren Gesamtgewicht eine vorgegebene Gewichtsschranke nicht überschreitet. Unter dieser Bedingung soll der Wert der ausgewählten Objekte maximiert werden. Zur Veranschaulichung dieses klassischen Problems wird auch gerne der Dieb herangezogen, der nur einen kleinen Teil der Beute im Rucksack abtransportieren kann und nun versucht, den größtmöglichen Wert herauszuschlagen.
Grundsätzliches
Gegeben sei eine nichtleere Menge von n Gegenständen, von denen jeder einen Wert w_i und ein Gewicht g_i. Da unser Rucksack nicht unbegrenzt belastbar ist, brauchen wir noch die Aufnahmekapazität K, welche keinesfalls durch das aktuelle Gesamtgewicht überschritten werden darf.
Unser Ziel ist es nun, den Rucksack so zu füllen, dass die Wertsumme der eingepackten Gegenstände maximal ist und die Aufnamekapazität nicht überschrittn wird.
Man unterscheidet diese zwei grundsätzlich veschiedenen Arten von Rucksackproblemen:
Bruchteilrucksackproblem
Ein beliebiger Teil t eines jeden Gegenstandes darf eingepackt werden.
t , 0 \% <= t <= 100 \%
0/1 Rucksackproblem
Jeder einzelne Gegenstand wird entweder vollständig (1) oder garnicht (0) in den Rucksack aufgenommen
Wir befassen uns nur mit dem 0/1 Rucksackproblem
Ziel
Unser Ziel ist das Erreichen der maximalen Wertsumme ohne die Aufnahmekapazität zu überschreiten.
\sum \limits _{i =1}^n {x_i w_i} \to max , wobei \sum \limits _{i =1}^n {x_i g_i} \leq K , mit x_i \in \{0,1\}
Teilmengen-Summen-Problem
Das Teilmengen-Summen-Problem ist ein Spezialfall des Rucksackproblems. Aus einer Menge natürlicher Zahlen M wird eine Teilmenge gesucht, deren Elementensumme möglichst nahe an die Kapazitätsgrenze K herankommt und diese auch erreichen darf. Dieser Spezialfall ergibt sich immer dann, wenn Gewicht und Wert eines jeden Gegenstandes zahlenmäßig überein stimmen.
M = \{ a_i | 1 \leq i \leq n und a_i, n \in N \}
g_i = w_i , mit g_i,w_i \in N
Dieses Problem entsteht beispielsweise in Transporunternehmen, wenn in einem LKW, dessen Ladekapazität natürlich beschränkt ist, unterschiedliche Frachtgüter befördert werden sollen. Um die Transportkapazität optimal nutzen zu können, also das Fahrzeug nicht zu überlasten oder Transportkapazität zu vergeuden, ist eine sorgfältige Auswahl der Transportgüter nötig.
Intuitives Verfahren
Welche Möglichkeiten haben wir um das Rucksackproblem zu lösen? Natürlich könnte man den Rucksack mit zufällig ausgewählten Gegenständen füllen und danach den einen oder anderen Gegenstand austauschen bis man der Meinung ist das man das globale Wertmaximum erreicht hat. Da diese Verfahren aber weder systenmatisch noch zielführend ist, kann man sich dessen niemals sicher sein. Der bessere Weg ist die Benutzung von Suchstrategien, die dafür sorgen das sämtliche Packmöglichkeitn des Rucksacks erzeugt und anschließend bewertet werden. Mit zwei dieser Strategien werden wir uns näher beschäftigen, der Tiefensuche und der Breitensuche.
Grundlegende Graphentheorie
Bevor wir uns der Tiefensuche und Breitensuche zuwenden, möchten wir die Grundbegriffe und die von uns verwendete allgemeine Darstellung erläutern. Ein Graph besteht aus mehreren Knoten, welch durch Kanten miteinander verbunden sind. Je nach Art und Weise der Verbindung dieser Knoten entstehen unterschiedlich Varianten von Graphen. Um alle Knoten eines Graphen effizient betrachten zu können, werden gerne Bäume aus dem Graphen konstruiert. Die Wurzel dieses Baumes ist der Startknoten, von dem eine oder mehrere Kanten zu weiteren Knoten abgehen, von denen wiederum Kanten zu weiteren Knoten abgehen können. Ein spezieller und oft verwendeter Baum ist der Binärbaum. Hierbei kann jeder Knoten maximal zwei Kanten haben, welche mit 0 und 1 dargestellt werden können.
Wir stellen die Knoten wie folgt dar:
Knoten = Rucksackliste und Gegenstandsliste
Die elemente dieser Listen bezeichnen die Gegenstände. Eine leere Rucksackliste und eine Gegenstandsliste mit 3 Gegenständen Würde so aussehen:
()|({g}_{1}, {g}_{2}, {g}_{3})Die Kanten repräsentieren einen alternativen Weg, wo win Gegenstand der Gegenstandsliste entnommen und der Rucksackliste hinzugefügt wird.
Graphendurchlauf
Ausgehend vom Startknoten wird beim Graphendurchlauf jeder Knoten in einer bestimmten Reihenfolge berührt. Die erste Berührung eines Knoten nennt man Prewalk. Wenn dieser Knoten ein zweites Mal besucht wird heißt es Centralwalk und beim dritten Mal Postwalk.
