Heap Eigenschaft

Die Heap Eigenschaft ist hergestellt wenn gilt:

$$\begin{array}{rl}l\le i\le r,l\le 2i\le r& ⟹a[i]\ge a[2i]\\ l\le i\le r,l\le 2i+1\le r& ⟹a[i]\ge a[2i+1]\end{array}$$