Die lokale Suche ist ein Oberbegriff für eine Reihe von metaheuristischen Suchverfahren der kombinatorischen Optimierung. Die Verfahren werden in vielen Variationen dafür genutzt, komplizierte Optimierungsprobleme näherungsweise zu lösen (z. B. das Problem des Handlungsreisenden). Das Grundprinzip besteht darin, ausgehend von einer gegebenen Startlösung eine bessere Lösung zu finden, indem durch eine lokale Änderung der aktuellen Lösung eine bessere Lösung aus der gerade betrachteten Nachbarschaft gefunden wird.
Formale Definition Bearbeiten
Eine Instanz eines kombinatorischen Optimierungsproblems ist ein Paar , bei der die Menge die Menge aller möglicher Lösungen bezeichnet und die Funktion jeder Lösung einen Kostenwert zuweist. Ziel der Optimierung ist es (bei einem Minimierungsproblem), eine Lösung zu finden, so dass für alle gilt. Die lokale Suche geht folgendermaßen vor:
- Bestimme eine Startlösung .
- Definiere eine Nachbarschaft von zu „ähnlichen“ Lösungen.
- Suche diese Nachbarschaft oder einen Teil davon ab und bestimme die beste Lösung.
Die genaue Art der lokalen Suche bestimmt sich dadurch, wie eine Startlösung generiert wird (z. B. zufällig generiert oder durch eine Konstruktionsheuristik), wie der Nachbarschaftsbegriff definiert ist und wie die Abbruchbedingungen festgelegt sind. Diese Festlegungen sind in aller Regel problemspezifisch. Im Folgenden sollen einige Beispiele für Nachbarschaftsfunktionen genannt werden:
- Bei den K-Opt-Heuristiken für das Problem des Handlungsreisenden sind zwei Lösungen (in diesem Fall Rundreisen) benachbart, wenn durch Entfernen von Kanten und Hinzunahme von anderen Kanten in der einen Tour die andere Tour konstruiert werden kann.
- Bei ganzzahligen linearen Programmen können zwei Lösungen benachbart sein, wenn eine bestimmte Menge von Variablen in beiden Lösungen den gleichen Wert besitzt. Eine mögliche lokale Suchstrategie ist hier, diese Variablen auf den gemeinsamen Wert zu fixieren und das restliche Problem exakt zu lösen.
Algorithmen Bearbeiten
Literatur Bearbeiten
- Local Search in Combinatorial Optimization, Emile Aarts and Jan Karel Lenstra, John Wiley & Sons, 1997, ISBN 0471948225
Einzelnachweise Bearbeiten
- Juraj Hromkovic, Theoretische Informatik: S. 279