Κεφάλαιο 10 Ψηφιακά Λεξικά

Transcript

1 Κεφάλαιο 10 Ψηφιακά Λεξικά Περιεχόμενα 10.1 Εισαγωγή Ψηφιακά Δένδρα Υλοποίηση σε Java Συμπιεσμένα και τριαδικά ψηφιακά δένδρα Ασκήσεις Βιβλιογραφία Εισαγωγή Σε αυτό το κεφάλαιο μελετάμε μια διαφορετική κατηγορία λεξικών (δομών αναζήτησης) από αυτή που είδαμε στα Κεφάλαια 7 και 8. Εδώ επιθυμούμε να αποθηκεύσουμε ένα δυναμικό σύνολο στοιχειών τα οποία είναι ακολουθίες συμβόλων x = x 1 x 2 x μ από ένα πεπερασμένο αλφάβητο Σ = {σ 1, σ 2,, σ R. Θα αναφερόμαστε σε τέτοιες ακολουθίες συμβόλων x ως «λέξεις» και σε μια δομή η οποία διαχειρίζεται ένα σύνολο λέξεων ως «ψηφιακό λεξικό». Για μια λέξη x = x 1 x 2 x μ η οποία αποτελείται από μ χαρακτήρες θα λέμε ότι έχει μήκος μ. Το αλφάβητο καθορίζεται από το είδος των λέξεων που θέλουμε να αποθηκεύσουμε. Για παράδειγμα, R = 256 για ακολουθίες χαρακτήρων των 8 bit, R = 10 για ακολουθίες δεκαδικών ψηφίων, R = 4 για ακολουθίες DNA κλπ. Ένα ψηφιακό λεξικό D υποστηρίζει τις βασικές λειτουργίες ενός λεξικού : κατασκευή() : Επιστρέφει ένα κενό λεξικό. αναζήτηση(x) : Αν το D περιέχει τη λέξη x τότε επιστρέφει «αληθές». Διαφορετικά επιστρέφει «ψευδές». εισαγωγή(x) : Εισαγάγει στο D μια νέα λέξη x. διαγραφή(x) : Διαγράφει από το D τη λέξη x. Στα ψηφιακά λεξικά μπορούμε να εκμεταλλευτούμε το γεγονός ότι αποθηκεύουμε ακολουθίες συμβόλων, για να υποστηρίξουμε κάποιες χρήσιμες λειτουργίες, τις οποίες φαίνεται δύσκολο να υλοποιήσουμε αποδοτικά με τις δομές των Κεφαλαίων 7 και 8. Έστω δύο λέξεις y = y 1 y 2 y λ και x = x 1 x 2 x μ, όπου λ μ. Η λέξη y αποτελεί πρόθεμα της x αν x i = y i για 1 i λ. Μια μερική λέξη y = y 1 y 2 y λ είναι μια ακολουθία συμβόλων από το αλφάβητο Σ {?, όπου το σύμβολο «?» είναι ένας ειδικός χαρακτήρας ο οποίος μπορεί να αντικατασταθεί από οποιοδήποτε χαρακτήρα του Σ. Μια λέξη x = x 1 x 2 x μ ταυτίζεται με τη μερική λέξη y = y 1 y 2 y λ, αν για 1 i λ έχουμε x i = y i ή y i =?. 213

2 Ένα ψηφιακό λεξικό D υποστηρίζει ακόμα τις ακόλουθες λειτουργίες: πρόθεμα(y) : Επιστρέφει όλες τις λέξεις x του D οι οποίες έχουν ως πρόθεμα τη λέξη y. ταύτιση(y) : Επιστρέφει όλες τις λέξεις x του D οι οποίες ταυτίζονται με τη μερική λέξη y. Στη συνέχεια, θα σχεδιάσουμε μια δομή δεδομένων η οποία υποστηρίζει τις παραπάνω λειτουργίες Ψηφιακά Δένδρα Ένα ψηφιακό δένδρο Τ είναι ένα δένδρο αναζήτησης, κάθε εσωτερικός κόμβος Ζ του οποίου έχει ακριβώς R = Σ παιδιά Ζ 1, Ζ 2,, Ζ R. Κάθε παιδί Ζ i του Ζ αντιστοιχεί στο σύμβολο σ i του αλφάβητου Σ, όπως φαίνεται στην Εικόνα Εικόνα 10.37: Εσωτερικός κόμβος Ζ ενός ψηφιακού δένδρου και τα παιδιά του Ζ 1, Ζ 2,, Ζ R. Όπως στο Κεφάλαιο 8, θα συμβολίζουμε το i-οστό παιδί ενός κόμβου Z ως Z.παιδί(i). Σε αντίθεση με τα λεξικά των Κεφαλαίων 7 και 8, όπου κάθε λέξη αποθηκεύεται αυτούσια σε ένα ξεχωριστό κόμβο, σε ένα ψηφιακό δένδρο οι λέξεις αποθηκεύονται με έμμεσο τρόπο. Κάθε κόμβος αντιστοιχεί σε ένα χαρακτήρα του αλφάβητου και μια λέξη αντιστοιχεί σε ένα μονοπάτι από τη ρίζα προς κάποιο εσωτερικό κόμβο. Μια αναπαράσταση ενός τέτοιου δένδρου φαίνεται στην Εικόνα Σε αυτήν την αναπαράσταση παραλείπουμε τις αναφορές σε κενούς κόμβους, και σημειώνουμε με έντονη γραμμή τους κόμβους που αντιστοιχούν σε τερματικούς χαρακτήρες των λέξεων. 214

3 Εικόνα 10.38: Γραφική αναπαράσταση ενός ψηφιακού δένδρου για τις λέξεις «ακολουθία», «αλγόριθμος», «αλληλουχία», «αλφάβητο», «δεδομένα», «δεν», «δενδρική». Συγκεκριμένα, ας θεωρήσουμε ότι έχουμε αποθηκεύσει στο δένδρο τη λέξη σ i1 σ i2 σ iμ. Η λέξη αυτή αντιστοιχεί στο μονοπάτι Z 0, Z 1,, Z μ του ψηφιακού δένδρου, όπου Z 0 είναι η ρίζα του δένδρου και Ζ j+1 = Z j.παιδί(i j ) για 0 j μ 1. Δείτε την Εικόνα Εικόνα 10.39: Το μονοπάτι στο ψηφιακό δένδρο της Εικόνα που αντιστοιχεί στη λέξη αλληλουχία. 215

4 Με την παραπάνω δομή μπορούμε να επιτύχουμε τους χρόνους εκτέλεσης που δίνονται στον Πίνακας Πίνακας 10.1: Χρόνοι εκτέλεσης χειρότερης περίπτωσης των βασικών λειτουργιών ενός ψηφιακού δένδρου Τ. Η λέξη η οποία δίνεται ως παράμετρος έχει μήκος μ. Για τις λειτουργίες πρόθεμα και ταύτιση, ν είναι το πλήθος των λέξεων που επιστρέφει η αντίστοιχη λειτουργία. Επιπλέον, για τη λειτουργία πρόθεμα, λ είναι το μέσο μήκος των λέξεων που επιστρέφονται. αναζήτηση εισαγωγή διαγραφή πρόθεμα ταύτιση Ο(μ) Ο(μ) Ο(μ) Ο(μ + (λ μ)ν) O(μν) Θα περιγράψουμε αναλυτικά την υλοποίηση ενός τέτοιου ψηφιακού δένδρου. Κάθε κόμβος Z του δένδρου περιλαμβάνει ένα πίνακα R = Σ θέσεων, όπου η i-οστή θέση αντιστοιχεί στον i-οστό χαρακτήρα σ i του αλφάβητου Σ και αποθηκεύει μια αναφορά στον κόμβο Z.παιδί(i). Δείτε την Εικόνα Επιπλέον, διατηρούμε ένα bit επισήμανσης, με το οποίο ελέγχουμε αν ο τρέχων κόμβος σηματοδοτεί το τέλος μιας λέξης του δένδρου. Καλούμε ένα τέτοιο κόμβο επισημασμένο. Εικόνα 10.40: Υλοποίηση ενός κόμβου ψηφιακού δένδρου για λέξεις από το ελληνικό αλφάβητο. Ας θεωρήσουμε τώρα ένα κόμβο Z του ψηφιακού δένδρου, ο οποίος βρίσκεται σε απόσταση λ από τη ρίζα. Το μονοπάτι από τη ρίζα προς τον κόμβο Z κωδικοποιεί μια λέξη y = σ i1 σ i2 σ iλ, η οποία αποτελεί πρόθεμα μιας ή περισσότερων λέξεων που έχουν αποθηκευτεί στο ψηφιακό δένδρο. Έτσι, για 1 i R, η αναφορά Z.παιδί(i) δείχνει σε εσωτερικό κόμβο του δένδρου αν και μόνο αν έχουμε αποθηκεύσει στο δένδρο κάποια λέξη με πρόθεμα yσ i. Δείτε την Εικόνα Εικόνα 10.41: Πραγματική αναπαράσταση ενός τμήματος του ψηφιακού δένδρου της Εικόνα Ο αλγόριθμος αναζήτησης μιας λέξης x στο ψηφιακό δένδρο ακολουθεί το μονοπάτι από τη ρίζα το οποίο αντιστοιχεί στους χαρακτήρες της x. Παρακάτω δίνουμε μια αναδρομική περιγραφή αυτής της διαδικασίας. 216

5 Αλγόριθμος αναζήτησης λέξης σε ψηφιακό δένδρο αναζήτηση(ζ, x, d) 1. αν ο κόμβος Z είναι κενός, τότε επίστρεψε τον κενό κόμβο 2. αν η λέξη x έχει μήκος d, τότε επίστρεψε τον κόμβο Ζ 3. έστω σ i ο χαρακτήρας της λέξης x στη θέση d εκτέλεσε αναδρομικά αναζήτηση(z.παιδί(i), x, d + 1) τέλος αναζήτηση(z, x, d) αρχή αναζήτησης 5. εκτέλεσε Z αναζήτηση(τ.ρίζα, x, 0) 6. αν ο Ζ είναι κενός ή δεν είναι επισημασμένος τότε επίστρεψε ψευδές 7. διαφορετικά επίστρεψε αληθές τέλος αναζήτησης Για την εισαγωγή μιας λέξης ακολουθούμε μια ανάλογη διαδικασία, με τη διαφορά ότι αν ο επόμενος κόμβος Z.παιδί(i) του μονοπατιού αναζήτησης είναι κενός, τότε τον δημιουργούμε και τον συνδέουμε με τον τρέχοντα κόμβο Z. Έπειτα, συνεχίζουμε την ίδια διαδικασία αναδρομικά. Τέλος, θέτουμε το bit επισήμανσης στον τερματικό κόμβο του μονοπατιού εισαγωγής. Αλγόριθμος εισαγωγής λέξης σε ψηφιακό δένδρο εισαγωγή(ζ, x, d) 1. αν ο κόμβος Z είναι κενός, τότε δημιούργησε ένα νέο εσωτερικό κόμβο Ζ 2. αν η λέξη x έχει μήκος d, τότε θέσε το bit επισήμανσης του Ζ και επίστρεψε τον Ζ 3. έστω σ i ο χαρακτήρας της λέξης x στη θέση d εκτέλεσε αναδρομικά Z.παιδί(i) εισαγωγή(z.παιδί(i), x, d + 1) τέλος εισαγωγή(z, x, d) αρχή εισαγωγής 5. εκτέλεσε Τ.ρίζα εισαγωγή(τ.ρίζα, x, 0) τέλος εισαγωγής Η Εικόνα δίνει ένα παράδειγμα διαδοχικών εισαγωγών λέξεων σε αρχικά κενό ψηφιακό δένδρο. 217

6 Εικόνα 10.42: Κατασκευή ψηφιακού δένδρου με διαδοχική εισαγωγή λέξεων. Εισάγουμε, με τη σειρά, τις λέξεις «ακολουθία», «αλγόριθμος», «αλληλουχία», «αλφάβητο», «δεδομένα», «δενδρική» και «δεν». Σε αυτό το σημείο είναι χρήσιμο να αναφέρουμε κάποια χαρακτηριστικά των επιδόσεων των ψηφιακών δένδρων: Η μορφή του ψηφιακού δένδρου είναι ανεξάρτητη από τη σειρά εισαγωγής των στοιχείων. Κάθε δεδομένο σύνολο διακριτών λέξεων στοιχείων δημιουργεί ένα μοναδικό ψηφιακό δένδρο. Η αναζήτηση ή εισαγωγή μιας λέξης μήκους μ χαρακτήρων απαιτεί Ο(μ) χρόνο στη χειρότερη περίπτωση. Έστω Ν το πλήθος των συνδέσμων (κενών ή μη) σε ένα ψηφιακό δένδρο κατασκευασμένο από n λέξεις μέσου μήκους μ από αλφάβητο R χαρακτήρων. Ισχύει Rn Ν Rnλ. Ας εξετάσουμε τώρα την περίπτωση της διαγραφής μιας λέξης x. Πρώτα αναζητούμε τη λέξη x στο δένδρο. Αν δεν υπάρχει, τότε δε γίνεται καμία αλλαγή στο δένδρο. Διαφορετικά, αν η x υπάρχει, βρίσκουμε τον κόμβο Ζ που αντιστοιχεί στο τελευταίο της γράμμα και σβήνουμε την 218

7 επισήμανση του. Αν ο Ζ δεν έχει απογόνους στο δένδρο, τότε τον διαγράφουμε και συνεχίζουμε την ίδια διαδικασία στους προγόνους του Ζ, μέχρι να φτάσουμε σε κόμβο με απογόνους ή με επισήμανση. Αλγόριθμος διαγραφής σε ψηφιακό δένδρο αρχή διαγραφής 1. εκτέλεσε Z αναζήτηση(τ.ρίζα, x, 0) 2. αν ο Ζ είναι κενός ή δεν είναι επισημασμένος, τότε επίστρεψε (δεν γίνεται καμία αλλαγή στο δένδρο) 3. σβήσε την επισήμανση του Ζ 4. ενόσω ο Ζ δεν είναι κενός και δεν έχει επισήμανση και δεν έχει παιδιά 5. έστω Υ ο γονέας του Ζ στο δένδρο 6. διάγραψε τον κόμβο Ζ 7. θέσε Z Υ τέλος διαγραφής Στην Εικόνα φαίνονται οι διάφορες περιπτώσεις διαγραφής λέξης σε ένα ψηφιακό δένδρο. Στην πρώτη περίπτωση, για τη διαγραφή της λέξης «δεν», αρκεί να σβήσουμε την επισήμανση του κόμβου Ζ, ο οποίος αντιστοιχεί στο τελευταίο γράμμα της λέξης. Καθώς ο κόμβος Ζ έχει παιδί, το δένδρο δεν υφίσταται καμία άλλη αλλαγή. Στη δεύτερη περίπτωση, όπου διαγράφουμε τη λέξη «δενδρική», η αναζήτηση της λέξης καταλήγει σε κόμβο Ζ χωρίς κανένα παιδί. Έτσι, διαγράφουμε όλους τους προγόνους του Ζ στο δένδρο μέχρι τον κοντινότερο πρόγονο ο οποίος είναι επισημασμένος. Ομοίως, στην τρίτη περίπτωση, κατά τη διαγραφή της λέξης «αλληλουχία» καταλήγουμε σε κόμβο Ζ χωρίς κανένα παιδί. Αυτή τη φορά, διαγράφουμε όλους τους προγόνους του Ζ στο δένδρο μέχρι τον κοντινότερο πρόγονο ο οποίος έχει παιδιά. Όπως και με τις λειτουργίες της αναζήτησης και της εισαγωγής, η διαγραφή μιας λέξης μήκους μ χαρακτήρων απαιτεί Ο(μ) χρόνο στη χειρότερη περίπτωση. 219

8 Εικόνα 10.43: Διαγραφή των λέξεων «δεν», «δενδρική» και «αλληλουχία» από το ψηφιακό δένδρο της Εικόνα Κάθε διαγραφή εκτελείται στο αρχικό δένδρο. 220

9 Πριν προχωρήσουμε στις υπόλοιπες δύο εντολές, είναι χρήσιμο να εξετάσουμε πώς μπορούμε να συλλέξουμε όλες τις λέξεις οι οποίες είναι αποθηκευμένες σε ένα ψηφιακό δένδρο. Καλούμε αυτή τη διαδικασία συλλογή. Εύκολα μπορούμε να διαπιστώσουμε ότι η διαδικασία της συλλογής μπορεί να πραγματοποιηθεί με μια προδιατεταγμένη διάσχιση του δένδρου. Κατά τη διάρκεια της διάσχισης, σχηματίζουμε ένα τρέχον πρόθεμα y = σ i1 σ i2 σ iμ το οποίο αντιστοιχεί στο μονοπάτι Z 0, Z 1,, Z μ του ψηφιακού δένδρου, όπου Z 0 είναι η ρίζα του δένδρου, Z μ είναι ο τρέχων κόμβος της διάσχισης, και Ζ j+1 = Z j.παιδί(i j ) για 0 j μ 1. Δείτε την Εικόνα Αν ο τρέχων κόμβος Z μ είναι επισημασμένος, τότε το πρόθεμα y είναι λέξη που έχει αποθηκευτεί στο δένδρο και την τοποθετούμε σε μια ουρά Q. Παρατηρήστε ότι, αν κατά τη διάρκεια της διάσχισης επισκεπτόμαστε τα παιδιά κάθε κόμβου σε αλφαβητική σειρά, τότε στο τέλος αυτής της διαδικασίας η ουρά Q θα περιέχει όλες τις λέξεις του ψηφιακού δένδρου, διατεταγμένες σε λεξικογραφική σειρά. Εικόνα 10.44: Σχηματισμός προθέματος κατά τη προδιατεταγμένη διάσχιση του ψηφιακού δένδρου της Εικόνα Μπορούμε να εκτελέσουμε την ίδια διαδικασία, με αφετηρία κάποιο αυθαίρετο κόμβο Z του ψηφιακού δένδρου αντί για τη ρίζα. Έστω y το πρόθεμα το οποίο αντιστοιχεί στο μονοπάτι του ψηφιακού δένδρου από τη ρίζα προς τον Ζ. Το αποτέλεσμα θα είναι να συλλέξουμε στην ουρά Q τις καταλήξεις των λέξεων του δένδρου οι οποίες έχουν ως πρόθεμα το y. Καλούμε αυτή τη διαδικασία συλλογή(ζ). Από τα παραπάνω, γίνεται κατανοητό ότι μπορούμε να υλοποιήσουμε τη λειτουργία πρόθεμα(y) όπως φαίνεται στον επόμενο αλγόριθμο. Αλγόριθμος εύρεσης όλων των λέξεων του ψηφιακού δένδρου με πρόθεμα y αρχή πρόθεμα(y) 1. εκτέλεσε Z αναζήτηση(τ.ρίζα, y, 0) 2. αν ο Ζ είναι κενός τότε επίστρεψε την κενή ουρά Q 3. επίστρεψε την ουρά Q συλλογή(ζ) τέλος πρόθεμα(y) 221

10 10.3 Υλοποίηση σε Java Tο πρόγραμμα StringDT. java υλοποιεί ένα ψηφιακό δένδρο το οποίο αποθηκεύει λέξεις, δηλαδή αντικείμενα τύπου String όπου ο κάθε χαρακτήρας είναι γράμμα του λατινικού αλφάβητου a-z. Κάθε κόμβος Ζ του ψηφιακού δένδρου περιέχει έναν πίνακα Node next[r] συνδέσμων σε το πολύ R = 26 παιδιά, που ο σύνδεσμος Ζ. next[j] αντιστοιχεί στο γράμμα ( a + j). Δηλαδή ο Ζ. next[0] στο a, o Ζ. next[1] στο b,, και o Ζ. next[25] στο z. Κάθε κόμβος Ζ του ψηφιακού δένδρου περιλαμβάνει επίσης μια μεταβλητή σήμανσης boolean mark, όπου Ζ. mark == true, αν ο Ζ αντιστοιχεί στο τέλος μιας λέξης που έχει εισαχθεί στη δομή. public class StringDT { private static int R = 26; // πλήθος διαφορετικών χαρακτήρων private static int N = 0; // πλήθος λέξεων στο ψηφιακό δένδρο private Node root; // ρίζα του ψηφιακού δένδρου // κόμβος ψηφιακού δένδρου private static class Node { private boolean mark; // true αν είναι το τέλος μιας λέξης private Node[] next = new Node[R]; // αναφορές σε R παιδιά // επιστρέφει true αν βρει τη λέξη x public boolean contains(string x) { Node Z = contains(root, x, 0); if (Z == null) { return false; else { return Z.mark; // αναζήτηση στους απόγονους του Z για τη λέξη που περιέχει το x // από τη θέση d και μετά private Node contains(node Z, String x, int d) { if (Z == null) { return null; if (d == x.length()) { return Z; // τέλος της λέξης char c = x.charat(d); // επόμενος χαρακτήρας int j = (int) c - 'a'; // αντίστοιχη θέση του επόμενου χαρακτήρα return contains(ζ.next[j], x, d + 1); // εισαγωγή της λέξης x public void insert(string x) { root = insert(root, x, 0); // εισαγωγή στους απόγονους του Z της λέξης που περιέχει το x // από τη θέση d και μετά private Node insert(node Ζ, String x, int d) { if (Z == null) { Z = new Node(); 222

11 if (d == x.length()) { Ζ.mark = true; N++; return Z; // τέλος της λέξης char c = s.charat(d); // επόμενος χαρακτήρας int j = (int) c - 'a'; // αντίστοιχη θέση του επόμενου χαρακτήρα Ζ.next[j] = insert(ζ.next[j], x, d + 1); return Ζ; // διαγραφή της λέξης x public void delete(string x) { root = delete(root, x, 0); // διαγραφή από τους απόγονους του Z της λέξης που περιέχει το x // από τη θέση d και μετά private Node delete(node Ζ, String x, int d) { if (Z == null) { return null; if (d == x.length()) { Z.mark = false; // τέλος της λέξης N--; else { char c = s.charat(d); // επόμενος χαρακτήρας int j = (int) c - 'a'; // αντίστοιχη θέση του επόμενου χαρακτήρα Ζ.next[j] = delete(ζ.next[j], x, d + 1); if (Z.mark) { return Z; // o Z είναι επισημασμένος και δεν τον διαγράφουμε for (int j = 0; j < R; j++) { if (Ζ.next[j]!= null) { return Ζ; // o Z έχει μη κενά παιδιά και δεν τον διαγράφουμε return null; 10.4 Συμπιεσμένα και τριαδικά ψηφιακά δένδρα Το ψηφιακό δένδρο της Ενότητας 10.2 είναι υπερβολικά σπάταλο σε χώρο μνήμης, όταν αποθηκεύουμε λέξεις με μεγάλο μήκος και με χαρακτήρες από μεγάλο αλφάβητο. Σε αυτήν την ενότητα αναφέρουμε, εν συντομία, δύο εναλλακτικές μορφές ψηφιακών δένδρων, οι οποίες αποσκοπούν στη βελτίωση των απαιτήσεων σε μνήμη. Συμπιεσμένα ψηφιακά δένδρα Ένας τρόπος, για να ελαττώσουμε τον αποθηκευτικό χώρο που απαιτεί το ψηφιακό δένδρο, είναι να απαλείψουμε τους κόμβους του δένδρου που δεν δημιουργούν πολλαπλές διακλαδώσεις. Συγκεκριμένα, έστω Z 0, Z 1,, Z μ ένα μονοπάτι του ψηφιακού δένδρου, όπου 223

12 Ζ j+1 = Z j.παιδί(i j ) και ο κόμβος Ζ j+1 είναι το μοναδικό παιδί του Z j, για 0 j μ 1. Τότε, μπορούμε να αντικαταστήσουμε το μονοπάτι αυτό με ένα νέο κόμβο Z, όπως φαίνεται στην Εικόνα Για να διατηρήσουμε την πληροφορία του αρχικού μονοπατιού Z 0, Z 1,, Z μ, αποθηκεύουμε στον κόμβο Z του συμπιεσμένου ψηφιακού δένδρου τη λέξη y = σ i1 σ i2 σ iμ. Επιπλέον, σημειώνουμε τους χαρακτήρες της y οι οποίοι αποτελούν τερματικούς χαρακτήρες κάποιας λέξης. Έτσι, στο παράδειγμα της Εικόνα 10.45, στον κόμβο ο οποίος αποθηκεύει τη λέξη «νδρική», σημειώνουμε ότι ο πρώτος και ο τελευταίος χαρακτήρας είναι τερματικοί χαρακτήρες λέξεων του δένδρου. Εικόνα 10.45: Κατασκευή συμπιεσμένου ψηφιακού δένδρου. Η παραπάνω αντιμετωπίζει το πρόβλημα χώρου, αλλά ο χειρισμός του ψηφιακού δένδρου γίνεται αρκετά πιο περίπλοκος. Δείτε την Άσκηση Τριαδικά ψηφιακά δένδρα Ένας διαφορετικός τρόπος για να ελαττώσουμε τον αποθηκευτικό χώρο που απαιτεί το ψηφιακό δένδρο, είναι να μειώσουμε το πλήθος των συνδέσμων του κάθε κόμβου. Αυτή την ιδέα εφαρμόζει ένα τριαδικό ψηφιακό δένδρο, οι κόμβοι του οποίου έχουν ακριβώς τρεις συνδέσμους. Δείτε την Εικόνα Εικόνα 10.46: Κόμβος και σύνδεσμοι τριαδικού ψηφιακού δένδρου. Όπως και στα τυπικά ψηφιακά δένδρα, ένα μονοπάτι από τη ρίζα προς κάποιο κόμβο Z αντιστοιχεί σε ένα πρόθεμα y. Ο κόμβος Z ελέγχει μόνο ένα χαρακτήρα σ i του αλφάβητου. Ο μεσαίος σύνδεσμος οδηγεί σε λέξεις με πρόθεμα yσ i. Ο αριστερός σύνδεσμος αντιστοιχεί στις λέξεις με πρόθεμα y στις οποίες ο επόμενος χαρακτήρας είναι μικρότερος του σ i. Τέλος, ο 224

13 δεξιός σύνδεσμος αντιστοιχεί στις λέξεις με πρόθεμα y και επόμενο χαρακτήρα μεγαλύτερο του σ i. Δείτε την Εικόνα Εικόνα 10.47: Γραφική αναπαράσταση ενός τριαδικού ψηφιακού δένδρου μετά την εισαγωγή των λέξεων «ακολουθία», «αλληλουχία», «αλγόριθμος», «αλφάβητο», «δεδομένα», «δεν», «δενδρική». Οι λέξεις έχουν εισαχθεί με αυτήν τη σειρά. Σε αντίθεση με τα τυπικά ψηφιακά δένδρα (και τα συμπιεσμένα ψηφιακά δένδρα), η μορφή ενός τριαδικού ψηφιακού δένδρου δεν καθορίζεται μόνο από το σύνολο των λέξεων που εισάγουμε, αλλά επίσης και από τη σειρά εισαγωγής. Τέλος, σημειώνουμε ότι είναι δυνατό να συνδυάσουμε δύο ή παραπάνω δομές ψηφιακών δένδρων και να κατασκευάσουμε υβριδικές μορφές τους. Δείτε την Άσκηση Ασκήσεις 10.1 Έστω Ν το πλήθος των συνδέσμων (κενών ή μη) σε ένα ψηφιακό δένδρο κατασκευασμένο από n λέξεις μέσου μήκους μ από αλφάβητο R χαρακτήρων. Δικαιολογήστε γιατί ισχύει η σχέση Rn Ν Rnλ. Δώστε κατάλληλα παραδείγματα ψηφιακών δένδρων τα οποία απαιτούν Rn και Rnλ συνδέσμους αντίστοιχα Περιγράψτε μια αποδοτική υλοποίηση της λειτουργίας ταύτιση σε ένα ψηφιακό δένδρο Περιγράψτε πώς μπορούν να υλοποιηθούν οι λειτουργίες αναζήτησης, εισαγωγής και διαγραφής μιας λέξης σε ένα συμπιεσμένο ψηφιακό δένδρο Περιγράψτε πώς μπορούν να υλοποιηθούν οι λειτουργίες αναζήτησης, εισαγωγής και διαγραφής μιας λέξης σε ένα συμπιεσμένο ψηφιακό δένδρο. 225

14 10.5 Έστω ένα τριαδικό ψηφιακό δένδρο κατασκευασμένο από n λέξεις μέσου μήκους μ από αλφάβητο R χαρακτήρων. Δώστε ένα άνω και ένα κάτω φράγμα για το πλήθος των συνδέσμων (κενών ή μη) σε ένα τέτοιο δένδρο Περιγράψτε την υλοποίηση ενός υβριδικού ψηφιακού δένδρου το οποίο συνδυάζει τα τυπικά ψηφιακά δένδρα με τα τριαδικά ψηφιακά δένδρα ως εξής. Στη ρίζα του δένδρου βρίσκεται ένας κόμβος τυπικού ψηφιακού δένδρου με R συνδέσμους. Κάθε μη κενός σύνδεσμος δείχνει σε ένα τριαδικό ψηφιακό δένδρο. Δηλαδή, το i-οστό παιδί της ρίζας είναι η ρίζα ενός τριαδικού ψηφιακού δένδρου για τις λέξεις που ξεκινούν με το χαρακτήρα σ i Υλοποιήστε σε Java και συγκρίνετε πειραματικά την απόδοση των ψηφιακών δένδρων, των τριαδικών ψηφιακών δένδρων και των υβριδικών ψηφιακών δένδρων της Άσκησης Μετρήστε το χρόνο κατασκευής των δένδρων καθώς και το χώρο που καταλαμβάνουν στη μνήμη. Βιβλιογραφία Goodrich, M. T., & Tamassia, R. (2006). Data Structures and Algorithms in Java, 4th edition. Wiley. Mehlhorn, K., & Sanders, P. (2008). Algorithms and Data Structures: The Basic Toolbox. Springer-Verlag. Sedgewick, R., & Wayne, K. (2011). Algorithms, 4th edition. Addison-Wesley. Tarjan, R. E. (1983). Data Structures and Network Algorithms. Society for Industrial and Applied Mathematics. Μποζάνης, Π. Δ. (2006). Δομές Δεδομένων. Εκδόσεις Τζιόλα. 226