In Kapitel 6.3.1 der Arbeit Reinfunktionale Datenstrukturen heißt es:
Dann, wenn wir einen neuen Baum aus einem neuen Element und einem Segment erstellen von Bäumen der Ränge 0 ... r-1 vergleichen wir einfach das neue Element mit dem erste Wurzel in dem Segment (d. h. die Wurzel des Baums mit Rang 0). Das kleineres Element wird zur neuen Wurzel und das größere Element wird der Rang 0 Kind der Wurzel.
Die Frage ist, dass Schritt 3 zu zwei Rang 1-Bäumen führt, was im Konflikt mit den Binomialhaufen steht.
Missverständnis ich?
Wir erstellen einen Baum vom Rang r. Die Struktur eines Baumes vom Rang r ist ein Wurzelknoten mit r Kindern der Ränge 0..r-1.
Was der von Ihnen zitierte Teil bedeutet, ist dies.
Nun ist T ein Binomialbaum vom Rang r und befindet sich in Heap-Reihenfolge.
Tags und Links haskell data-structures functional-programming lisp ml