ΤΜΗΜΑ ΜΗΧΑΝΙΚΩΝ Η/Υ ΚΑΙ ΠΛΗΡΟΦΟΡΙΚΗΣ Red- black δέντρα Εκτενείς Δομές Δεδομένων (Κεφ. ) Δομές Δεδομένων Μπαλτάς Αλέξανδρος 4 Μαρτίου 0 ampaltas@ceid.upatras.gr
Περιεχόμενα. Εισαγωγή. Ορισμός red- black δέντρων 3. Αναζήτηση σε red- black δέντρα 4. Ένθεση σε red- black δέντρα. Απόσβεση σε red- black δέντρα 6. Απόδοση red- black δέντρων 7. Ισοδυναμία red- black δέντρων και (,4) δέντρων 4 Μαρτίου 0
Εισαγωγή Η δομή που θα παρουσιαστεί έχει τις εξής ιδιότητες: Είναι πλήρες δυαδικό δέντρο Υψοζυγισμένο δέντρο ( & η ζύγιση επιτυγχάνεται με τη χρήση ενός μόνο bit) Αποθηκεύει δεδομένα μόνο στους εσωτερικούς κόμβους και όχι στα φύλλα 4 Μαρτίου 0 3
Ορισμός red- black tree Ένα πλήρες δυαδικό δέντρο είναι red- black δέντρο όταν κάθε κόμβος είναι είτε κόκκινος είτε μαύρος και ικανοποιούνται οι εξής περιορισμοί: Π. Η ρίζα είναι μαύρη Π. Τα φύλλα είναι μαύρα Π3. Κάθε μονοπάτι από τη ρίζα ως τα φύλλα έχει τον ίδιο αριθμό μαύρων κόμβων Π4. Κάθε κόκκινος κόμβος έχει μαύρο πατέρα 4 7 9 4 Μαρτίου 0 4
Αναζήτηση (Access) Για την αναζήτηση του στοιχείου x σε ένα red- black tree ακολουθούνται τα εξής βήματα:. Ξεκίνα από τη ρίζα.. Για κάθε κόμβο v:. Αν x<v επισκέψου το αριστερό παιδί του v. Αν x>v επισκέψου το δεξιό παιδί του v 3. Aν x=v επέστρεψε 4 Μαρτίου 0
Ένθεση (Inser{on) Για την εισαγωγή του στοιχείου x σε ένα red- black tree ακολουθούνται τα εξής βήματα:. Εύρεση του κατάλληλου φύλλου y στο δέντρο για την εισαγωγή της τιμής x (Κλήση της Access(x)).. Αντικατάσταση του y με έναν κόκκινο κόμβο με τιμή x και μαύρα παιδιά- φύλλα. 3. Εφαρμογή διάφορων μετασχηματισμών αναδρομικά από την ρίζα στον κόμβο x έτσι ώστε να ικανοποιούνται οι περιορισμοί. 4 Μαρτίου 0 6
Ένθεση (Inser{on) Περίπτωση : Το x είναι η ρίζα. [Καταπάτηση Π] Λύση: Χρωματισμός της ρίζας. [Τερματική περίπτωση] x x 4 Μαρτίου 0 7
Ένθεση (Inser{on) Περίπτωση : Ο πατέρας του x, p(x) είναι μαύρος. [Καμμία Καταπάτηση] p(x) x 4 Μαρτίου 0 8
Ένθεση (Inser{on) Περίπτωση 3: Ο πατέρας του x, p(x) και ο αδερφός του p(x) είναι και οι κόκκινοι. [Καταπάτηση Π4] Λύση: Εναλλαγή χρωμάτων. [Μη τερματική περίπτωση] p(x) p(x) x x 4 Μαρτίου 0 9
Ένθεση (Inser{on) Περίπτωση 4: Ο πατέρας του x, p(x) είναι κόκκινος, ο αδερφός του p(x) είναι μαύρος και οι x και p(x) είναι και οι παιδιά του ίδιου είδους (δηλαδή είναι και τα αριστερά ή και τα δεξιά παιδιά του πατέρα τους). [Καταπάτηση Π4] Λύση: Απλή περιστροφή. [Τερματική περίπτωση] p(p(x)) p(x) p(p(x)) p(x) p(p(x)) p(x) x x x 4 Μαρτίου 0 0
Ένθεση (Inser{on) Περίπτωση : Ο πατέρας του x, p(x) είναι κόκκινος, ο αδερφός του p(x) είναι μαύρος και οι x και p(x) είναι και οι παιδιά διαφορετικού είδους (δηλαδή ο ένας είναι αριστερό και ο άλλος δεξιό παιδί του πατέρα τους). [Καταπάτηση Π4] Λύση: Διπλή περιστροφή. [Τερματική περίπτωση] p(p(x)) p(p(x)) x p(p(x)) p(x) x p(x) x p(x) 4 Μαρτίου 0
Άσκηση (Inser{on) Να αποθηκευτούν οι τιμές,,,3,4 σε ένα red- black tree.. Insert(). Insert() 3. Insert() 4. Insert(3). Insert(4) 4 Μαρτίου 0
Άσκηση (Inser{on) ) Insert() 4 Μαρτίου 0 3
Άσκηση (Inser{on) ) Insert() 4 Μαρτίου 0 4
Άσκηση (Inser{on) ) Insert() 4 Μαρτίου 0
Άσκηση (Inser{on) ) Insert() 4 Μαρτίου 0 6
Άσκηση (Inser{on) ) Insert() 4 Μαρτίου 0 7
Άσκηση (Inser{on) 3) Insert() 4 Μαρτίου 0 8
Άσκηση (Inser{on) 3) Insert() 4 Μαρτίου 0 9
Άσκηση (Inser{on) 3) Insert() 4 Μαρτίου 0 0
Άσκηση (Inser{on) 3) Insert() 4 Μαρτίου 0
Άσκηση (Inser{on) 4) Insert(3) 4 Μαρτίου 0
Άσκηση (Inser{on) 4) Insert(3) 3 4 Μαρτίου 0 3
Άσκηση (Inser{on) 4) Insert(3) 3 3 4 Μαρτίου 0 4
Άσκηση (Inser{on) 4) Insert(3) 3 3 3 4 Μαρτίου 0
Άσκηση (Inser{on) ) Insert(4) 3 4 Μαρτίου 0 6
Άσκηση (Inser{on) ) Insert(4) 3 3 4 4 Μαρτίου 0 7
Άσκηση (Inser{on) ) Insert(4) 4 3 3 3 4 4 Μαρτίου 0 8
Άσκηση (Inser{on) ) Insert(4) 4 3 3 3 4 3 4 4 Μαρτίου 0 9
Απόσβεση (Dele{on) Η διαγραφή είναι μια πολύπλοκη διαδικασία από την ένθεση. Για την διαγραφή του στοιχείου x από ένα red- black tree ακολουθούνται τα εξής βήματα:. Εύρεση της κατάλληλης θέσης στο δέντρο για την απόσβεση της τιμής x (Κλήση της Access(x)).. Έστω v ο πατέρας του x και y ο αδερφός του. Αντικατάσταση του v με τον y και απόσβεση του v και του x από το δέντρο. 3. Εφαρμογή διάφορων μετασχηματισμών αναδρομικά από την ρίζα στον κόμβο x έτσι ώστε να ικανοποιούνται οι περιορισμοί. 4 Μαρτίου 0 30
Απόσβεση (Dele{on) Οι πιθανοί μετασχηματισμοί που μπορούν να γίνουν είναι:. Εναλλαγές χρώματος. Μη τερματική. Τερματική. Περιστροφές. Μη τερματική απλή περιστροφή. Τερματική διπλή περιστροφή 3. Τερματική απλή περιστροφή Αρχικά εφαρμόζονται οι μη τερματικοί μετασχηματισμοί επαναληπτικά, μέχρι να μπορεί να εφαρμοστεί κάποιος τερματικός μετασχηματισμός. 4 Μαρτίου 0 3
Απόδοση Red- Black tree Ύψος red- black δέντρου: Θ(logn) Για κάθε ένθεση ή απόσβεση απατούνται: Πράξεις εναλλαγής χρωμάτων: Ο(logn) Περιστροφές: Ο() Κόστος για Access, Insert, Delete: O(logn) 4 Μαρτίου 0 3
Ισοδυναμία red- black δέντων και (,4) δέντρων Από οποιοδήποτε (,4) δέντρο μπορεί να προκύψει ένα ισοδύναμο red- black δέντρο (και αντίστροφα) εφαρμόζοντας κάποιους απλούς μετασχηματισμούς. 4 Μαρτίου 0 33
Ισοδυναμία red- black δέντων και (,4) δέντρων Μετασχηματισμός κόμβου με 3 παιδιά Α Α Β C Β C 4 Μαρτίου 0 34
Ισοδυναμία red- black δέντων και (,4) δέντρων Μετασχηματισμός κόμβου με 3 παιδιά Α Β B A A E C B C D E C D D E 4 Μαρτίου 0 3
Ισοδυναμία red- black δέντρων και (,4) δέντρων Μετασχηματισμός κόμβου με 4 παιδιά Α Β C A B C D E F G D E F G 4 Μαρτίου 0 36
References hžp://en.wikipedia.org/wiki/red%e%80%93black_tree hžps://www.cs.usfca.edu/~galles/visualiza{on/redblack.html 4 Μαρτίου 0 37
Ευχαριστώ!? 4 Μαρτίου 0 38