Πανεπιστημιο Πατρων Πολυτεχνικη Σχολη

Σχετικά έγγραφα
(Γραμμικές) Αναδρομικές Σχέσεις

(Γραμμικές) Αναδρομικές Σχέσεις

(Γραμμικές) Αναδρομικές Σχέσεις

O n+2 = O n+1 + N n+1 = α n+1 N n+2 = O n+1. α n+2 = O n+2 + N n+2 = (O n+1 + N n+1 ) + (O n + N n ) = α n+1 + α n

a n + 6a n a n 2 + 8a n 3 = 0, a 0 = 1, a 1 = 2, a 2 = 8

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Διάλεξη 17: Δυαδικά Δέντρα. Διδάσκων: Κωνσταντίνος Κώστα Διαφάνειες: Δημήτρης Ζεϊναλιπούρ

(a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ).

Διάλεξη 22: Δυαδικά Δέντρα. Διδάσκων: Παναγιώτης Ανδρέου

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα

Χρήστος Ι. Σχοινάς Αν. Καθηγητής ΔΠΘ. Συμπληρωματικές σημειώσεις για το μάθημα: «Επιχειρησιακή Έρευνα ΙΙ»

Επαγωγή και αναδρομή για συνεκτικά γραφήματα

Δομές Δεδομένων. Δημήτρης Μιχαήλ. Ουρές Προτεραιότητας. Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο

ΚΕΦΑΛΑΙΟ 5 ΓΕΝΝΗΤΡΙΕΣ ΣΥΝΑΡΤΗΣΕΙΣ

Δυναμικός Κατακερματισμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Δυναμικός Κατακερματισμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Δομές Δεδομένων (Εργ.) Ακ. Έτος Διδάσκων: Ευάγγελος Σπύρου. Εργαστήριο 10 Δυαδικά Δένδρα Αναζήτησης

Διδάσκων: Κωνσταντίνος Κώστα

- εξίσωση που εκφράζει τον n-οστό όρο a n της ακολουθίας, - µέσω ενός ή περισσότερων όρων από τους a 0, a 1,..., a n 1, - για κάθε n n 0, όπου n 0 N.

Δυναμικός Κατακερματισμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Π(n) : 1 + a + + a n = αν+1 1

Μη γράφετε στο πίσω μέρος της σελίδας

Διακριτά Μαθηματικά. Γιάννης Εμίρης. Τμήμα Πληροφορικής & Τηλεπικοινωνιών ΕΚΠΑ. Νοέμβριος

Διδάσκων: Παναγιώτης Ανδρέου

Διάλεξη 12: Δέντρα ΙΙ Δυαδικά Δέντρα

Αριθμήσιμα σύνολα. Μαθηματικά Πληροφορικής 5ο Μάθημα. Παραδείγματα αριθμήσιμων συνόλων. Οι ρητοί αριθμοί

ιακριτές Μέθοδοι για την Επιστήμη των Υπολογιστών

Κατακερµατισµός. Οργάνωση Αρχείων (σύνοψη) Οργάνωση αρχείων: πως είναι τοποθετημένες οι εγγραφές ενός αρχείου όταν αποθηκεύονται στο δίσκο

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Δυναμικός Κατακερματισμός. Βάσεις Δεδομένων Ευαγγελία Πιτουρά 1

Διάλεξη 14: Δέντρα IV - B-Δένδρα

Θεωρία Γραφημάτων 5η Διάλεξη

α n z n = 1 + 2z 2 + 5z 3 n=0

Συνδετικότητα γραφήματος (graph connectivity)

Αριθμητική Ανάλυση και Εφαρμογές

Εισαγωγή στους Αλγόριθμους. Παύλος Εφραιμίδης, Λέκτορας

Θεωρία Γραφημάτων 5η Διάλεξη

Μπαλτάς Αλέξανδρος 21 Απριλίου 2015

έντρα ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο

Δυναμικός προγραμματισμός για δέντρα

Λυσεις προβλημάτων τελικής φάσης Παγκύπριου Μαθητικού Διαγωνισμού Πληροφορικής 2007

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Δώστε έναν επαγωγικό ορισμό για το παραπάνω σύνολο παραστάσεων.

Κατανεμημένα Συστήματα Ι

a n = 3 n a n+1 = 3 a n, a 0 = 1

Υπολογιστικά & Διακριτά Μαθηματικά

u v 4 w G 2 G 1 u v w x y z 4

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

Απειροστικός Λογισμός Ι, χειμερινό εξάμηνο Λύσεις δεύτερου φυλλαδίου ασκήσεων.

βασικές έννοιες (τόμος Β)

R-Trees, kd-trees, QuadTrees. Εαρινό Εξάμηνο Τμήμα Μηχανικών Η/Υ και Πληροϕορικής Πολυτεχνική Σχολή, Πανεπιστήμιο Πατρών

Red- black δέντρα Εκτενείς Δομές Δεδομένων (Κεφ. 5)

Άσκηση 3 (ανακοινώθηκε στις 24 Απριλίου 2017, προθεσμία παράδοσης: 2 Ιουνίου 2017, 12 τα μεσάνυχτα).

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 4: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ - ΔΕΝΤΡΑ

Οργάνωση αρχείων: πως είναι τοποθετηµένες οι εγγραφές ενός αρχείου όταν αποθηκεύονται στο δίσκο

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Θεωρία Γραφημάτων 6η Διάλεξη

Μαθηµατικά για Πληροφορική

Προγραμματισμός ΙI (Θ)

τις αναδρομικές ακολουθίες (recursive sequences) στις οποίες ορίζαμε

ΠΛΗ 20, 6 η ΟΣΣ: Δέντρα Εξετάσεις

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Γεννήτριες Συναρτήσεις

Διάλεξη 13: Δέντρα ΙΙΙ Ισοζυγισμένα Δέντρα, AVL Δέντρα

ΔΙΑΧΕΙΡΙΣΗ ΠΕΡΙΕΧΟΜΕΝΟΥ ΠΑΓΚΟΣΜΙΟΥ ΙΣΤΟΥ ΚΑΙ ΓΛΩΣΣΙΚΑ ΕΡΓΑΛΕΙΑ. Data Mining - Classification

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

Διάλεξη 13: Δέντρα ΙΙΙ Ισοζυγισμένα Δέντρα, AVL Δέντρα. Διδάσκων: Παναγιώτης Ανδρέου

Άσκηση 1 (ανακοινώθηκε στις 20 Μαρτίου 2017, προθεσμία παράδοσης: 24 Απριλίου 2017, 12 τα μεσάνυχτα).

Δένδρα. Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα:

Ανάλυση Συσχέτισης IΙ

Υπολογισμός του πίνακα A n, n Z Νίκος Χαλιδιάς Τμήμα Στατιστικής και Αναλογιστικών - Χρηματοοικονομικών Μαθηματικών Πανεπιστήμιο Αιγαίου

sin(5x 2 ) sin(4x) e 5t 2 1 (ii) lim x 0 10x 3 (iii) lim (iv) lim. 10t sin(ax) = 1. = 1 1 a lim = sin(5x2 ) = 2. f (x) = sin x. = e5t 1 = 1 0 = 0.

ΗΥ360 Αρχεία και Βάσεις εδοµένων

Ερώτημα 1. Μας δίνεται μια συλλογή από k ακολοθίες, k >=2 και αναζητούμε το πρότυπο Ρ, μεγέθους n.

Ενότητες 3 & 4: Δένδρα, Σύνολα & Λεξικά Ασκήσεις και Λύσεις

Red-black δέντρα (Κεφ. 5)

Γεννήτριες Συναρτήσεις

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Ο Αλγόριθμος FP-Growth

4.3 Ορθότητα και Πληρότητα

ΤΕΧΝΟΛΟΓΙΚΟ ΕΚΠΑΙΔΕΥΤΙΚΟ ΙΔΡΥΜΑ ΚΕΝΤΡΙΚΗΣ ΜΑΚΕΔΟΝΙΑΣ ΣΧΟΛΗ ΤΜΗΜΑ. Μαθηματικά 2. Σταύρος Παπαϊωάννου

Μαθηματικά Διοικητικών & Οικονομικών Επιστημών

Graph Algorithms. Παρουσίαση στα πλαίσια του μαθήματος «Παράλληλοι Αλγόριθμοι» Καούρη Γεωργία Μήτσου Βασιλική

ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΚΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.

Τεχνητή Νοημοσύνη. 6η διάλεξη ( ) Ίων Ανδρουτσόπουλος.

Ταξινόμηση κάδου και ταξινόμηση Ρίζας Bucket-Sort και Radix-Sort

Οδηγός Ασκήσεων Υποδικτύωσης

Συντομότερες Διαδρομές

Αναδρομικές Σχέσεις «ιαίρει-και-βασίλευε»

Εισαγωγικά. 1 η Εβδομάδα. Κάθε Τρίτη (17:00-20:00) και Τετάρτη (13:00 15:00) στην αίθουσα Ι5. 4 ώρες Θεωρία (ΤΡ : 1η-2η ώρα, ΤΕ : 1η-2η ώρα)

ΔΕΝΔΡΙΚΑ ΓΡΑΦΗΜΑΤΑ ΚΕΦΑΛΑΙΟ 3

Ενότητα 9 Ξένα Σύνολα που υποστηρίζουν τη λειτουργία της Ένωσης (Union-Find)

Απειροστικός Λογισμός Ι Ασκήσεις

ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 2: ΠΑΡΑΓΩΓΟΣ ΣΥΝΑΡΤΗΣΗΣ - ΚΑΝΟΝΕΣ ΠΑΡΑΓΩΓΙΣΗΣ - ΠΑΡΑΓΩΓΟΣ ΣΥΝΘΕΤΗΣ ΣΥΝΑΡΤΗΣΗΣ

5.1. Προσδοκώμενα αποτελέσματα

Ανάλυση αλγορίθμων. Χρόνος εκτέλεσης: Αναμενόμενη περίπτωση. - απαιτεί γνώση της κατανομής εισόδου

Transcript:

Πανεπιστημιο Πατρων Πολυτεχνικη Σχολη Τμημα Μηχανικων Ηλεκτρονικων Υπολογιστων και Πληροφορικης Ειδικά Θέματα Θεμελιώσεων της Επιστήμης των Υπολογιστών Καθηγητής: Λευτέρης Κυρούσης Διάλεξη 3η: 14 Δεκεμβρίου 2011 1 Αριθμοί Stirling 1 oυ Είδους Οιαριθμοί Stirling 1 oυ είδουςσυμβολίζονταιως [ ] k s(k,n = n και εκφράζουν τον αριθμό των τρόπων να κατασκευάσουμε n περιδέραια χρησιμοποιώντας k διακεκριμμένες χάντρες. Κάθε περιδέραιο αποτελείται από τουλάχιστον μια χάντρα. Διαφορετικά, μπορούμε να το σκεφτούμε ως εξής: ο αριθμός n! είναι ο αριθμός των τοποθετήσεων k προσκελημένων σε n διακεκριμμένες ροτόντες. Αναγωγικός Τύπος Ενας αναγωγικός τύπος υπολογισμού των αριθμών Stirling 1 oυ είδουςείναιοπαρακάτω: [ ] [ ] [ ] k +1 k k = k + n+1 n+1 n Συνδυαστική Απόδειξη Μπορώ να φτιάξω n+1 περιδέραια από k +1 χάντρες είτε κατασκευάζοντας n περιδέραια από k χάντρες και το τελευταίο περιδέραιο από τη χάντρα που έμεινε είτε κατασκευάζοντας n + 1 περιδέραια με kχάντρεςκαιπροσθέτονταςτηχάντραπουέμεινεσεένααπόταπεριδέραια. [ ] [ ] k k Τοπρώτομπορείναγίνειμε τρόπους,ενώτοδεύτερομε k n n+1 [ ] k τρόπους: τρόποι να κατασκευαστούν τα περιδέραια και k τρόποι να n+1 k n

τοποθετήσουμε τη χάντρα που περισσεύει επιλέγοντας δίπλα σε ποια από k τις τοποθετημένες χάντρες θα τοποθετηθεί. Αθροίζοντάς τα, προκύπτει η επιθυμητή σχέση. 2 Αναδρομικές σχέσεις Οι αναδρομικές σχέσεις είναι ένας τρόπος να οριστούν οι όροι κάποιας ακολουθίας χρησιμοποιώντας προηγούμενους όρους. 2.1 Γραμμικές αναδρομικές σχέσεις Ενας τύπος αναδρομικών σχέσεων είναι οι γραμμικές αναδρομικές σχέσεις, οι οποίες έχουν την παρακάτω μορφή a k = x 1 a k 1 +x 2 a k 2 +...+x t a k t Οιόροιx i λέγονταισυντελεστέςενώοιόροιa i είναιοιόροιτηςακολουθίας. Οταν δίνεται μια τέτοια διατύπωση μιας ακολουθίας, δίνονται επίσης και οι t πρώτοι όροι της ακολουθίας. Ενα παράδειγμα ακολυθίας αυτής της μορφής είναι η ακουλουθία Fibonacci, η οποία ορίζεται ως εξής: a n = a n 1 +a n 2, a 0 = a 1 = 1 2.2 Υπολογισμός Γενικού Τύπου Αναδρομικής Σχέσης Στη συνέχεια παρουσιάζεται ο τρόπος υπολογισμού του γενικού τύπου μιας αναδρομικής σχέσης χρησιμοποιώντας Γεννήτριες Συναρτήσεις. Αρχικά, προσπαθούμε να υπολογίσουμε τον κλειστό τύπο της γεννήτριας συνάρτησης της ακολουθίας, χρησιμοποιώντας την αναδρομκή σχέση, και στη συνέχειααπότηγεννήτριασυνάρτησηυπολογίζουμετουςόρους a n τηςακολουθίας, με τις μεθόδους που αναφέρθηκανν σε προηγούμενες διαλέξεις. Υπολογισμός Γεννήτριας Συνάρτησης Εστω ότι μας δίνεται η παρακάτω αναδρομική σχέση: a n = x 1 a n 1 +x 2 a n 2 +...+x t a n t Θέλουμε να υπολογίσουμε τον κλειστό τύπο της Γεννήτριας Συνάρτησης της ακολουθίας, δηλαδή την a n z n n=0 Ξεκινάμε από την αναδρομική σχέση και προσπαθούμε να κατασκευάσουμε τη Γεννήτρια Συνάρτηση:

F(z F(z a n = x 1 a n 1 +x 2 a n 2 +...+x t a n t a n z n = x 1 a n 1 z n +x 2 a n 2 z n +...+x t a n t z n a n z n = x 1 a n 1 z n + x 2 a n 2 z n +...+ x t a n t z n ( t 1 ( ( ( a i z i = x 1 z a n 1 z n 1 +x 2 z 2 a n 2 z n 2 + +x t z t a n t z n t i=0 ( t 1 ( t 2 t 3 a i z i = x 1 z F(z a i z i +x 2 z (F(z 2 a i z +...+x i t z t (F(z i=0 i=0 Στην παραπάνω σχέση, ο μόνος άγνωστος είναι το F(z, επομένως μπορούμε να τη χρησιμοποιήσουμε για τον υπολογισμό του F(z, δηλαδή του κλειστού τύπου της Γεννήτριας Συνάρτησης της ακολουθίας. Ακολουθούν παραδείγματα. Παράδειγμα 2.1 Να υπολογιστεί η Γεννήτρια Συνάρτηση για την ακολουθία Fibonacci. Ηακολουθία Fibonacciδίνεταιαπότηναναδρομικήσχέση a n = a n 1 + a n 2,μεαρχικέςσυνθήκες a 0 = a 1 = 1.Επομένως,μεβάσηταπαραπάνω: a n = a n 1 +a n 2 a n z n = a n 1 z n +a n 2 z n a n z n = a n 1 z n + a n 2 z n a n z n = z a n 1 z n 1 +z 2 a n 2 z n 2 F(z (a 0 +a 1 z = z(f(z a 0 +z 2 F(z Αντικαθιστώνταςτιςαρχικέςτιμέςγιατα a 0,a 1 παίρνουμε: F(z 1 z = z(f(z 1+z 2 F(z 1 1 z z 2 i=0

Παράδειγμα 2.2 Να υπολογιστεί η Γεννήτρια Συνάρτηση(κλειστός τύπος, τηςακολουθίας a n = 2a n 1 +a n 2 2a n 3 με a 0 = 0,a 1 = a 2 = 1 a n = 2a n 1 +a n 2 2a n 3 a n z n = 2a n 1 z n +a n 2 z n 2a n 3 z n a n z n = 2a n 1 z n + a n 2 z n 2a n 3 z n F(z ( a 0 +a 1 z +a 2 z 2 = 2z a n 1 z n 1 +z 2 a n 2 z n 2 2z 3 a n 3 z n 3 F(z ( a 0 +a 1 z +a 2 z 2 = 2z(F(z a 0 a 1 z+z 2 (F(z a 0 2z 3 F(z Αντικαθιστώνταςτιςαρχικέςτιμέςγιατα a 0,a 1,a 2 παίρνουμε: F(z z z 2 = 2z(F(z z+z 2 (F(z 2z 3 F(z z z 2 1 2z z 2 +2z 3 Υπολογισμός Ορων Ακολουθίας Σε προηγούμενες διαλέξεις έχουν παρουσιαστεί διάφοροι τρόποι για τον υπολογισμό των όρων μιας ακολουθίας από τον κλειστό τύπο της Γεννήτριας Συνάρτησής της. Στο κομμάτι αυτό θα παρουσιαστεί μόνο ένα παράδειγμα. Παράδειγμα 2.3 Να υπολογιστεί ο γενικός τύπος της ακολουθίας Fibonacci. Στο παράδειγμα 2.1, υπολογίσαμε τη Γεννήτρια Συνάρτηση της ακολουθίας Fibonacci από την αναδρομική σχέση που την περιγράφει.τώρα θα επιχειρήσουμε να υπολογίσουμε τον γενικό τύπο που δίνει τους όρους της ακολουθίας. 1 1 z z 2 Τοπολυώνυμοστονπαρονομαστήμπορείναγραφείως (1 β 1 z(1 β 2 z όπου 1 β 1, 1 β 2 είναιοιρίζεςτουπολυωνύμου.επομένως: 1 1 z z 2 1 (1 β 1 z(1 β 2 z A (1 β 1 z + B (1 β 2 z A(1+β 1 z +β 2 1z 2 +...+B(1+β 2 z +β 2 2z 2 +...

Απότοπαραπάνωπροκύπτειότιοσυντελεστήςτου z n είναι Aβ n 1 + Bβn 2 επομένως ο ν-οστός όρος της ακολουθίας Fibonacci είναι a n = Aβ n 1 +Bβ n 2 Τα β 1,β 2 μπορούνναυπολογιστούναπότιςρίζεςτου 1 z z 2,ενώτα Α,Β μπορούν να υπολογιστούν λόγω της διάσπασης κλάσματος, από τη σχέση 1 = A(1 β 2 z+b(1 β 1 z δίνοντας σαν τιμές του z τις ρίζες που υπολογίστηκαν νωριτερα. 3 Δέντρα Τα δέντρα είναι ακυκλικά γραφήματα, όπως το παρακάτω: Οκόμβος1λέγεταιρίζα(rootτουδέντρου. Οικόμβοιπουέχουνπαιδιά λέγονται εσωτερικοί κόμβοι(όπως οι κόμβοι 2,3,7,8, ενώ οι κομβοι που δεν έχουν παιδιά λέγονται φύλλα, όπως οι κόμβοι 4,5,6,10,11,9. Ακολουθούνκάποιοιορισμοί 1. Δυαδικά Δέντρα(Binary trees λέγονται τα δέντρα στα οποία κάθε κόμβος έχει το πολύ δυο παιδιά. Ενα γράφημα που αποτελείται από έναν μόνο κόμβο, επίσης θεωρείται δέντρο που αποτελείται μόνο από τη ρίζα. Σε αυτή την περίπτωση μόνο, η ρίζα είναι φύλλο και όχι εσωτερικός κόμβος. 1 Θαχρησιμοποιηθούνοιορισμοίκαιηορολογίααπότοβιβλίοτων Sedgewick-Flajolet, An Introduction to the Analysis of Algorithms

Full Binary Tree είναιτοδυαδικόδέντροστοοποίοκάθεκόμβοςέχειείτε 0είτε2παιδιά,(όπωςστοσχήμαπιοπάνω 2. Complete Binary Tree είναιτοδυαδικόδέντροστοοποίοταόλατα φύλλα βρίσκονται στο ίδιο επίπεδο(βάθος. Ιδιότητα Σε full binary tree ισχύει η σχέση: #φύλλων = #εσωτερικών κόμβων+1 Η σχέση αυτή μπορεί να αποδειχτεί με επαγωγή. 4 Αριθμοί Catalan Οι αριθμοί Catalan μπορούν να οριστούν ως εξής: T N = #δυαδικώνδέντρων(fullμενεσωτερικούςκόμβους(ν+1φύλλα Στη συνέχεια θα επιχειρήσουμε να υπολογίσουμε το γενικό τύπο για τους αριθμούς Catalan ως εξής: Εύρεση του αναδρομικού τύπου της παραπάνω ακολουθίας Εύρεση της γεννήτριας συνάρτησης της ακολουθίας από τον αναδρομικό της τύπο Εύρεση του γενικού τύπου της ακολουθίας από τη γεννήτρια συνάρτηση 4.1 Αναδρομική σχέση για τους αριθμούς Catalan Στο σημείο αυτό θα επιχειρήσουμε να υπολογίσουμε την αναδρομική σχέση για τους αριθμούς Catalan. Εστωότιγιακάποιο Kγνωρίζουμετα T K 1 και T N K. Γνωρίζουμεδηλαδή τους τρόπους να κατασκευάσουμε δέντρα με Κ-1 εσωτερικούς κόμβους και δέντρα με Ν-Κ εσωτερικούς κόμβους. Μπορούμε να κατασκευάσουμε δέντρα με Ν εσωτερικούς κόμβους χρησιμοποιώντας τα παραπάνω δέντρα, με τον τρόπο που περιγράφεται στη συνέχεια. Προσθέτουμεένανκόμβοπουθαπαίξειτορόλοτηςρίζαςκαισανδεξίπαιδί θέτουμε το δέντρο με τους Ν-Κ εσωτερικούς κόμβους και σαν αριστερό παιδί θέτουμε το δέντρο με τους Κ-1 εσωτερικούς κόμβους. Το νέο δυαδικό δέντρο που δημιουργείται έχει πλέον Ν εσωτερικούς κόμβους(ν-1 από το αριστερό 2 Στοεξής,σταπλαίσιατωνδιαλέξεωνόποτεθααναφερόμαστεσεδυαδικάδέντραθα εννοούμε full binary trees

παιδί+ν-καπότοδεξίπαιδί+ηρίζα=νεσωτερικοίκόμβοι.τοπαραπάνω μπορείγίνεταιγιαόλουςτουςαριθμούςκαπότο1έωςτον.επομένως, T N = N T K 1 T N K K=1 Σαναρχικέςτιμέςχρειαζόμαστετα T 0 και T 1. T 0 = 1καθώςυπάρχειμόνοέναδέντροχωρίςεσωτερικόκόμβο,αυτό που αποτελείται μόνο από τη ρίζα T 1 = 1καθώςυπάρχειμόνοέναδέντρομεένανεσωτερικόκόμβοκαι είναιαυτόπουαποτελείταιαπότηρίζαμαζίμεταδύοπαιδιάτης Συνεπώς, T N = N T K 1 T N K K=1 T 0 = 1,T 1 = 1 4.2 Υπολογισμός της Γεννήτριας Συνάρτησης ΣτησυνέχειαυπολογίζεταιηΓεννήτριαΣυνάρτηση T(zγιατηνακολουθία T N από την αναδρομική σχέση που υπολογίστηκε προηγουμένως, χρησιμοποιώντας τη μέθοδο που παρουσιάστηκε νωρίτερα. T N z N = N=1 T(z T 0 = T(z T 0 = z T(z T 0 = z ( N T K 1 T N K N=1 N=1 N=1 K=1 ( N 1 K=0 ( N 1 N=0 K=0 ( N 1 K=0 T K T N K 1 T K T N K 1 T K T N K z N z N z N 1 T(z 1 = zt 2 (z(ιδιότητασυνέλιξηςτηςακολουθίας T N μετονεαυτότης T(z = 1± 1 4z 2z Μεβάσητιςαρχικέςσυνθήκες, T 0 = T 1 = 1,επιλέγωτηνκατάλληληρίζα. Επομένως, z N

T(z = 1 1 4z 2z Η εύρεση του γενικού τύπου των αριθμών Catalan από τη γεννήτρια συνάρτηση που μόλις υπολογίσαμε, θα παρουσιαστεί στην επόμενη διάλεξη.