Beitrags-Archiv für die Kategory 'Theorie'

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.

Presentation zum Thema Radixsort (PDF)

Thema: Theorie | Kommentare (0) | Autor: