Das Branch-and-Bound-Verfahren am angepassten Problem soll in diesem Abschnitt anhand des Maximierungsproblems aus dem Abschnitt: Ganzzahlige lineare Optimierung veranschaulicht werden.
Gegeben sei das folgenden Ausgangsproblem :
max!
u.d.N.
(1)
(2)
und ganzzahlig
Untere Schranke
Die untere globale Schranke liegt in diesem Fall (aufgrund der Nichtnegativitätsbedingung) bei und damit bei einem Zielfunktionswert von . Dies stellt damit auch gleichzeitig die untere globale Schranke des Ausgangsproblems dar (die Zielfunktion kann aufgrund der Nichtnegativitätsbedingung nicht negativ werden).
Obere Schranke
Für das obige angegebene ganzzahlige lineare Optimierungsproblem wird nun zunächst die Ganzzahligkeitsbedingung aufgehoben und das Maximierungsproblem mittels primalen Simplex-Algorithmus oder grafisch gelöst. Das Maximierungsproblem ohne Ganzzahligkeitsbedingung wird dabei mit bezeichnet, das Ausgangsproblem mit . Die grafische Lösung erfolgte bereits im Abschnitt Ganzzahlige lineare Optimierung und ergab eine optimale Lösung für das Problem (Ganzzahligkeitsbedingung nicht gegeben) von . Diese ermittelte optimale Lösung ist nicht ganzzahlig, deswegen für das obige Ausgangsproblem auch nicht zulässig. Der Zielfunktionswert dieser nichtganzzahligen Lösung beträgt und stellt die obere Schranke für das Branch-and-Bound-Verfahren dar.
Die obere Schranken des Ausgangsproblems ist: .
Diese obere Schranken resultierte für nichtganzzahlige Variablen und ist deshalb so nicht zulässig. Das Problem muss demnach verzweigt werden. Die Entscheidung mit welcher Variable begonnen wird in diesem Fall für getroffen, diese einen größeren Wert aufweist.
Verzweigung
Es wird nun das Problem verzweigt in die Teilprobleme und . Dabei wird die obere Schranke des angepassten Problems gewählt. Die untere Schranke ist dabei zunächst . Dabei wird die Entscheidungsvariable betrachtet, da diese den größten Wert aufweist. Dabei liegt zwischen den ganzen Zahlen und . Es werden also die Bedingungen für das Problem hinzugefügt und für das Problem . Für beide Probleme muss nun wieder die optimale Lösung mittels Simplexalgorithmus oder grafisch erfolgen, indem die angepassten Probleme und gelöst werden (Vernachlässigung der Ganzzahligkeitsbedingung). Es soll hier die grafische Vorgehensweise gewählt werden, da der Simplexalgorithmus zeitaufwendiger ist. Die optimale Lösung für die zusätzliche Bedingung von ergibt sich wie folgt:
Es ist die Restriktion hinzugefügt worden (schwarze Linie). Die optimale Lösung erhält man dann durch Verschiebung der Zielfunktionsgeraden parallel zu sich selbst bis sich diese gerade noch im zulässigen Bereich befindet. Die zulässige Lösung ergibt sich hier beim Punkt . Einsetzen die die Zielfunktion:
Für das Problem gilt die neue obere Schranke . Es handelt sich hierbei um keine zulässige Lösung für das Ausgangsproblem, da keine ganzzahlige Lösung vorliegt.
Für das Problem wird die Nebenbedingung hinzugefügt:
Die neue Nebenbedingung ist hinzugefügt worden. Hier muss beachtet werden, dass nur der Bereich oberhalb von betrachtet werden darf, aber unterhalb der beiden Nebenbedingungen (1) und (2) des Ausgangsproblems, da diese -Bedingungen darstellen. Der zulässige Bereich ist durch die schwarzen dicken Linien gekennzeichnet. Die Zielfunktion wird nun innerhalb dieses Bereiches (parallel zu sich selbst) verschoben, bis diese gerade noch in diesem Bereich liegt. Der Punkt stellt die optimale Lösung dar. Einsetzen in die Zielfunktion ergibt:
Für das Problem gilt die neue obere Schranke . Es handelt sich hierbei um keine zulässige Lösung für das Ausgangsproblem, da keine ganzzahlige Lösung vorliegt.
Es wird nun das Problem weiter verzweigt, weil dieses einen höheren Zielfunktionswert aufweist.
Bei der weiteren Verzweigung wird als nächstes die Variable betrachtet. Diese liegt zwischen den ganzen Zahlen und . Es wird demnach für die Bedingung und für die Bedingung hinzugefügt.
Es wird nun wieder das angepasste Problem gelöst mit zusätzlicher Berücksichtigung der Bedingung und das Problem mit . Hier wird wieder die Grafik verwendet:
In der obigen Grafik sind nun die beiden Teilprobleme veranschaulicht. Zur Bestimmung der oberen Schranke für wurde als zusätzliche Restriktion eingefügt. Die Restriktion für musste dabei erhalten bleiben. Es ergibt sich also der rechteckige zulässige Bereich in welchem die Zielfunktionsgerade verschoben werden muss, bis diese den Bereich gerade noch berührt. Der optimale Punkt liegt bei . Damit ergibt sich die erste ganzzahlige Lösung, die oberhalb der untersten Schranke liegt. Es handelt sich hierbei um den Fall b, denn , wobei die gegebene Lösung ganzzahlig und zulässig ist (innerhalb des zulässigen Bereiches liegt). Einsetzen der Werte und in die Zielfunktion ergibt die neue untere Schranke:
Methode
Hier klicken zum Ausklappen
Zur Bestimmung der oberen Schranke für wurde als zusätzliche Restriktion eingefügt. Die Restriktion für musste dabei erhalten bleiben. Da es sich hierbei um eine größer-gleich-Bedingung handelt, die Variable also größer als werden muss ist das Problem nicht lösbar, da der Punkt dann nicht mehr im zulässigen Bereich liegt, sondern außerhalb. Es ist der Fall c gegeben.
Die Verzweigung am linken Ast ist nun abgeschlossen. Es wird nun der rechte Ast betrachtet und dieser verzweigt. Dabei gilt für die Bedingung und für die Bedingung . Die optimale Lösung für die angepassten Probleme ergibt sich wie folgt:
In der obigen Grafik sind nun die beiden Teilprobleme veranschaulicht. Zur Bestimmung der oberen Schranke für wurde als zusätzliche Restriktion eingefügt. Die Restriktion für musste dabei erhalten bleiben. Es ergibt sich also der Bereich auf der -Achse () und oberhalb von , aber unterhalb der grünen Restriktion. Es ergibt sich demnach der Punkt , welcher gerade noch im zulässigen Bereich liegt. Damit ergibt sich eine ganzzahlige Lösung, die oberhalb der untersten Schranke liegt. Es handelt sich hierbei allerdings um den Fall a, da die untere Schranke bereits größer/gleich diesem Wert ist.
Zur Bestimmung der oberen Schranke für wurde als zusätzliche Restriktion eingefügt. Die Restriktion für musste dabei erhalten bleiben. Da es sich hierbei um eine größer-gleich-Bedingung handelt, die Variable also größer als und größer als werden muss ist das Problem nicht lösbar, da der Punkt dann nicht mehr im zulässigen Bereich liegt, sondern außerhalb. Es ist der Fall c gegeben.
Die beste zulässige Lösung des ganzzahligen Maximierungsproblems ist bei und mit gegeben. Es ist deutlich zu erkennen, dass das Ergebnis dasselbe ist, wie mit dem Branch-and-Bound Verfahren ohne Bestimmung der optimalen Lösung. Der Rechenaufwand für dieses hier gezeigte Verfahren ist um einiges höher, weshalb sich das Branch-and-Bound Verfahren ohne vorherige Ermittlung der optimalen Lösung empfiehlt.
