Zwei Antworten:
1. Eigentlich ist es egal.
2. Strukturiert vorgehen ist aber häufig effizienter.
In der Vorlesung haben wir zu der Reihenfolge der Regeln nichts gesagt, entsprechend für die Übungsaufgabe: Mach's so, wie's dir grad am besten passt.
Der Algorithmus sorgt dafür, dass das Ergebnis immer aus einem Minimalpolyonm besteht, bzw auch aus mehreren, wenn ein zyklisches Überdeckungsproblem besteht - und das unabhängig von der Reihenfolge der Regelanwendung.
Es lohnt sich aber mitunter "greedy" vorzugehen. Also wann immer Regel 1 anwendbar ist, Regel 1 auch durchführen - da diese Regel die PIT am größten beschneidet und man diese Regel sowieso irgendwann ausführen muss, sobald sie anwendbar ist. Es ist zwar nicht garantiert, dass die PIT damit am schnellsten aufgelöst wird, aber für unsere Minimalbeispiele trifft das häufig zu.
------------------
Sven Reimer
Lehrstuhl für Rechnerarchitektur
Geb. 51 / Raum 01-030
