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