Einführung

Prinzip

Verzweigung

Beschränkung

Für jeden aus einem Verzweigungsschritt erzeugten Knoten wird eine Beschränkung, die sogenannte Wertschranke, bestimmt. Abhängig davon, ob ein Optimum maximaler- oder minimaler Gestalt gesucht wird, stehen verschiedene Verfahren zur Ermittlung der Wertschranke zur Verfügung. Die Schranke gibt an, dass für den aktuellen Knoten k_i mit Wertschranke bound_k_i kein durch Expansion erzeugter Folgeknoten k_i+n mit bound_k_i+n > bound_k_i existiert.

Dominanz

Rucksackproblem

kleine Übung

Traveling Salesman Problem

kleine Übung

Maximum Satisfiability Problem

kleine Übung