Generierung lokaler Optimierungen - IPD Snelting
Generierung lokaler Optimierungen - IPD Snelting
Generierung lokaler Optimierungen - IPD Snelting
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
4 Implementierung<br />
Für die in diesem Verfahren betrachteten Graphen bzw. Muster trifft dies allerdings<br />
nicht zu. Die Ursache hierfür ist die mögliche Mehrfachnutzung von Knoten durch unterschiedliche<br />
Teilmuster. Im Folgenden wird dies anhand von Abbildung 4.13 und Abbildung<br />
4.14 erläutert. Angenommen es existieren die beiden Regel r und r ′ wie in der<br />
Abbildung gezeigt, sowie die Operationen op1, op2, op3, op4 mit den jeweiligen Kosten<br />
costT (op1) = costT (op3) = 1 und costT (op2) = costT (op4) = 3. Die Kosten der jeweiligen<br />
Muster sind in den Abbildungen angegeben.<br />
var0<br />
op1<br />
op1<br />
op1<br />
op1<br />
add<br />
var0<br />
op1<br />
op1<br />
op1<br />
op1<br />
Kosten 4<br />
var1<br />
m1, Kosten 5<br />
⇒<br />
Regel r<br />
var0<br />
op2<br />
Kosten 3<br />
var0<br />
op2<br />
add<br />
var1<br />
m2, Kosten 4<br />
var0<br />
op1<br />
op1<br />
op1<br />
op3<br />
var0<br />
op1<br />
op1<br />
op1<br />
op3<br />
Kosten 4<br />
add<br />
var1<br />
m3, Kosten 5<br />
⇒<br />
Regel r ′<br />
var0<br />
op4<br />
Kosten 3<br />
var0<br />
op4<br />
add<br />
var1<br />
m4, Kosten 4<br />
Abbildung 4.13: Abbildung zweier Regeln r und r ′ sowie jeweils ein optimales (m2 und<br />
m4) und ein nicht-optimales (m1 und m3) Muster, das aus der Kombination<br />
des rechten bzw. linken Musters der jeweiligen Regel mit einer<br />
Addition und einer Variablen erzeugt wurde.<br />
37