Informatiker Board | Druckvorschau: Rotationen in Binarbäumen

Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
-- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
--- Rotationen in Binarbäumen (http://www.informatikerboard.de/board/thread.php?threadid=2369)

Geschrieben von Lukases2 am 01.07.2015 um 12:53:

Rotationen in Binarbäumen

Während des Einfügens in einen AVL-Baum kann es notwendig sein, eine Links-Rechts-Rotation durchzuführen. Gegebene Situation (nach einer Links-Rechts-Rotation) :
y
/ \
x z
/ \ / \
t1 t2 t3 t4

Aufgabe
Zeigen Sie:
$[latex](1) \text{Der Balancefaktor von } x \text{ ist } -1 \text{ nach der Rotation } \Longleftrightarrow \text{Der Balancefaktor von } x \text{ war } 1 \text{ vor der Rotation } <br /> (2) \text{Der Balancefaktor von } z \text{ ist } 1 \text{ nach der Rotation } \Longleftrightarrow \text{Der Balancefaktor von } y \text{ war } -1 \text{ vor der Rotation }<br /> [/latex]$

Idee
Ich habe leider quasi keine Idee. Mir fehlt hier so ein grundsätzlicher Ansatz. Auf welche Art kann ich das hier zeigen?