Verifikation: Radix und Counting Sort
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.