Überdeckung/Partition Reduktionsregel 3

Dr Franke Ghostwriter
vileicht kann mir einer auf die Sprünge helfen, ich habe mit der Reduktionsregel 3 so mein Verständnisproblem (Kurs Ganzahlige Opt., S. 79 bzw. Beispiel 5.4 S. 81). Ich komme einfach nicht dahinter, warum ich Zeile 2 u. 10 streichen darf...

Danke schon mal...

Martin
 
Man muss die Zeilen anschauen und gucken, ob es eine Zeile gibt, die genau dieselben a=1 hat wie eine andere. Dann kann man eine von beiden streichen. Zusätzlich gibt es Zeilen, wo eine Zeile ai, sagen wir mal, drei a=1 hat, und eine andere Zeile ai* genau dieselben drei a=1 hat, aber zusätzlich noch ein oder zwei weitere a=1. Dann kann man ebenfalls Zeile ai* streichen. Die Zeile ai* wird von der Zeile ai dominiert.

In Beispiel 5.4 sieht es so aus.
j= 3 4 5
i=2 1 1 0
i=4 1 0 0
i=6 1 1 0
i=8 0 1 1
i=10 0 1 1

Hier sieht man, dass bspw. Zeile 2 und Zeile 6 genau dieselben a=1 haben. Man kann also eine von beiden streichen. Welche ist ganz gleich, im Skript haben sie halt Zeile 2 gestrichen. Genau dasselbe gilt für Zeilen 8 und 10.
Wenn nicht sowieso Regel 2 zur Anwendung käme, könnte man auch bspw. Zeile 6 noch streichen, weil a43=1 und a63=1. Zeile 6 hat noch eine zusätzliche 1, wird aber von Zeile 4 dominiert.

Bei einem Partitionsproblem wird die Regel 3 verschärft. Hier wird nicht nur die Zeile ai*, die dominiert wird, gestrichen, sondern auch noch alle Spalten, wo ai*k=1 ist, gleichzeitig aber nicht in Zeile ai aik=1 ist.
Gibt es also folgendes Problem:
j= 1 2 3 4
i=1 0 1 1 1
i=2 0 1 1 0
i=3 1 0 0 1

Hier würde ich Zeile i=1 streichen, da es von i=2
 
Hmm, die letzten Sätze wurden gestrichen. Ich wollte noch sagen:

Hier würde ich Zeile i=1 streichen, da es von i=2 dominiert wird. Zusätzlich würde ich aber Spalte 4 streichen, weil es in a14 eine 1 gibt, wo es nur a24 nur eine 0 gibt.

Hoffe, das war verständlich erklärt!
 
Oben