Durch die Verwendung eines formalen Modells für dynamische Programmierung auf Basis von Baumzerlegungen können effiziente Algorithmen für verschiedene Graphpartitionierungsprobleme konstruiert werden.
