Korrektheit von Prim’s Algorithmus Geschichte Laufzeit mit Prioritswartesschlangen aus Binary Heaps Aus Discrete Mathematics MOC