master > master: protokoll - woche5 (minor)
This commit is contained in:
parent
ea7dfc5bef
commit
e55d8708a7
|
@ -8,8 +8,15 @@
|
||||||
- [x] Max-Heap-Eigenschaft (MHE).
|
- [x] Max-Heap-Eigenschaft (MHE).
|
||||||
- [x] Theorem: folgende AUssagen sind äquivalent
|
- [x] Theorem: folgende AUssagen sind äquivalent
|
||||||
- T hat MHE
|
- T hat MHE
|
||||||
- (Definition) alle Unterbäume von T haben Max in Wurzel
|
- (Definition) alle Unterbäume von T haben Max in Wurzel, d. h.
|
||||||
- alle dreier-Gruppen haben Max in Wurzel
|
für alle Knoten, e, gilt
|
||||||
|
```
|
||||||
|
value(e) ≥ max{value(e') | e' Unterhalb von e in T}
|
||||||
|
```
|
||||||
|
- für alle Knoten, e, gilt
|
||||||
|
```
|
||||||
|
value(e) ≥ max{value(e') | e' Tochterknoten von e in T}
|
||||||
|
```
|
||||||
- L[i] = L[2i+1] und L[i] = L[2i+2] (jeweils solange Indexes in Listendarstellung L, wobei L = Listendarstellung von Baum T).
|
- L[i] = L[2i+1] und L[i] = L[2i+2] (jeweils solange Indexes in Listendarstellung L, wobei L = Listendarstellung von Baum T).
|
||||||
- Gruppe 2
|
- Gruppe 2
|
||||||
- [x] Alle Sortierverfahren durchgegangen; argumentierte, wieso die Algorithmen korrekt sind.
|
- [x] Alle Sortierverfahren durchgegangen; argumentierte, wieso die Algorithmen korrekt sind.
|
||||||
|
|
Loading…
Reference in New Issue