Beweis der Korrektheit der Prozedur 4-way-merge mit Hilfe des 0-1-Prinzips
Durch rekursive Anwendung der Prozedur 4-way-merge kann ein völlig unsortiertes Feld grobsortiert werden:
Prozedur roughsort(k)
www.iti.fh-flensburg.deProof of the correctness of procedure 4-way merge using the 0-1-principle
By recursive application of procedure 4-way merge a totally unsorted array is roughly sorted:
Procedure roughsort (k)
www.iti.fh-flensburg.deIn beiden Fällen jedoch führt das Sortieren der Spalten in Schritt 4 zu der in Bild 1f gezeigten Situation, nämlich einem grobsortierten kk-Feld.
Beweis der Korrektheit der Prozedur 4-way-merge mit Hilfe des 0-1-Prinzips
Bild 1:
www.iti.fh-flensburg.deIn both cases however, sorting of the columns in step 4 leads to the situation shown in Figure 2 ( f ), namely a roughly sorted kk-array.
Proof of the correctness of procedure 4-way merge using the 0-1-principle
Figure 1:
www.iti.fh-flensburg.deSortieren der Spalten ;
Die Korrektheit der Prozedur 4-way-merge kann in sehr anschaulicher Weise mithilfe des 0-1-Prinzips gezeigt werden.
(Das 0-1-Prinzip gilt auch für den Begriff "grobsortiert", da durch anschließendes Sortieren der Zeilen der sortierte Zustand herbeigeführt werden kann.)
www.iti.fh-flensburg.desort the columns ;
The correctness of procedure 4-way merge can be shown in an illustrative way by the 0-1-principle.
(The 0-1-principle is also valid for the term "roughly sorted", since by subsequent sorting of the rows a sorted array can be obtained.)
www.iti.fh-flensburg.deVoulez-vous ajouter des mots, des phrases ou des traductions ?
Proposez de créer une nouvelle entrée pour un mot.