From e55d8708a72034a19574c2b6d852a936442c9bc8 Mon Sep 17 00:00:00 2001
From: RLogik <r.bitlogik@gmail.com>
Date: Sat, 13 Nov 2021 16:54:48 +0100
Subject: [PATCH] master > master: protokoll - woche5 (minor)

---
 protocol/woche5.md | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/protocol/woche5.md b/protocol/woche5.md
index fac9017..d055ec3 100644
--- a/protocol/woche5.md
+++ b/protocol/woche5.md
@@ -8,8 +8,15 @@
   - [x] Max-Heap-Eigenschaft (MHE).
   - [x] Theorem: folgende AUssagen sind äquivalent
     - T hat MHE
-    - (Definition) alle Unterbäume von T haben Max in Wurzel
-    - alle dreier-Gruppen haben Max in Wurzel
+    - (Definition) alle Unterbäume von T haben Max in Wurzel, d. h.
+      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).
 - Gruppe 2
   - [x] Alle Sortierverfahren durchgegangen; argumentierte, wieso die Algorithmen korrekt sind.