Heaps und Priority Queues Oliver Kohlbacher. 2 Heaps (Halden) Def.: Ein Heap ist eine Datenstruktur in Form eines Baums mit der folgenden Eigenschaft:
