Apr
26
Verifikation: Radix und Counting Sort
Samstag, 26. April 2008 21:28
Ein sehr schönes Seminar, was die Verfikation von Algorithmen zum Ziel hatte, also Invarianten finden und ähnliches.
Ich habe dabei als Thema “Sortieren durch Zählen” genommen und die beiden Algorithmen Couting Sort und Radix Sort betrachtet.
Thema: Theorie | Kommentare (0) | Autor: Robert