Beispiel

Minimum Storage-Time Sequencing

http://www.nada.kth.se/~viggo/wwwcompendium/node176.html

Formulierung mittels

• DAG
• Funktionen

  (Kanten-Gewichte, Knoten-Permutation, Indizierung)

• Summation über Mengen

  (beachte implizite Deklaration der lokalen Variablen)