Entwurfsmethoden für schwere Optimierungsprobleme

Zusammenfassung

Im vorherigen Abschnitt haben wir Entscheidungsprobleme in Probleme formaler Sprachen transformiert, indem wir L ⊆ Σ* als die Sprache all jener codierten Instanzen des Problems definierten, für die das Entscheidungsproblem das Ergebnis Ja liefert. In diesem Kapitel wollen wir unseren Blickwinkel erweitern und (ähnlich wie in Abschnitt 7.6 zur linearen Programmierung) Optimierungsprobleme untersuchen.