Optimierungsproblem

Bei einem Optimierungsproblem sind ein Lösungsraum (Menge von möglichen Lösungen) \Omega und eine Bewertungsfunktion (auch Ziel- oder Fitnessfunktion) f:\Omega \rightarrow {\mathbb  {R}} gegeben. Man will eine Lösung x\in \Omega mit möglichst großem Wert f(x) finden, oder Aussagen über die Werte der Lösungen machen.

In diesem Fall läge ein Maximierungsproblem vor, bei einem Minimierungsproblem sind Lösungen x mit möglichst kleinem f(x) gesucht, aber dieser Fall lässt sich durch einfaches Negieren von f auf den vorigen zurückführen.

Man unterscheidet drei Problemstellungen:

In der Theoretischen Informatik meint man mit Optimierungsproblem in der Regel ein eigentliches Optimierungsproblem, bei dem also nur der bestmögliche Wert und keine Lösung selbst gesucht ist. Auch betrachtet man üblicherweise den Sonderfall einer diskreten Bewertungsfunktion f:\Omega \rightarrow {\mathbb  {N}}, da dies meist keinen erheblichen Unterschied macht und man reelle Zahlen weniger gut handhaben kann, z.B. näherungsweise als Gleitkommazahlen.

Meistens betrachtet man in der Theoretischen Informatik aber Entscheidungsprobleme. Zu einem Optimierungsproblem lässt sich leicht ein Entscheidungsproblem erzeugen, indem man zur Problemstellung den Grenzwert g\in {\mathbb  {R}} bzw. g\in {\mathbb  {N}} hinzunimmt. Umgekehrt kann man für die meisten praktisch interessanten Probleme zeigen, dass ein Lösungsweg für das Entscheidungsproblem zu einer Lösung des entsprechenden Such- oder Optimierungsproblems modifiziert werden kann, die nicht entscheidend mehr Rechenzeit oder Speicherplatz benötigt.

In der praktischen Anwendung hat man es meistens mit Suchproblemen zu tun, denn der Wert einer optimalen Lösung nützt einem ohne Kenntnis dieser Lösung in der Regel nichts. Einen Algorithmus, der ein Optimierungsproblem löst, nennt man Optimierungsalgorithmus. Analog spricht man beim Minimierungs- und Maximierungsproblem genauer vom Minimierungs- oder Maximierungsalgorithmus. Einen Algorithmus, der ein Optimierungsproblem näherungsweise löst, bezeichnet man als Approximationsalgorithmus, oft aber auch etwas ungenau ebenfalls als Optimierungsalgorithmus.

Siehe auch

Trenner
Basierend auf einem Artikel in: Wikipedia.de
Seitenende
Seite zurück
©  biancahoegel.de
Datum der letzten Änderung:  Jena, den: 28.05. 2021