Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Αναδρομή Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων Πανεπιστήμιο Αιγαίου e-mail:

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Αναδρομή Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων Πανεπιστήμιο Αιγαίου e-mail:"— Μεταγράφημα παρουσίασης:

1 1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Αναδρομή Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων Πανεπιστήμιο Αιγαίου

2 2 ΤΜΗΜΑ ΜΠΕΣ Αναδρομή Αναδρομή είναι ο γενικός όρος για τον ορισμό ενός αντικειμένου σε σχέση με τον εαυτό του  ή με μέρος του εαυτού του  αυτό μπορεί να ακούγεται κυκλικό (ατέρμονος βρόγχος), αλλά δεν είναι απαραίτητα. Μια επαγωγική απόδειξη δείχνει την αλήθεια του P(n+1) αναδρομικά σε σχέση με το P(n). Υπάρχουν επίσης αναδρομικοί αλγόριθμοι, ορισμοί, συναρτήσεις, ακολουθίες, σύνολα, και άλλες δομές

3 3 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικά Ορισμένες Συναρτήσεις Για μια αριθμητική συνάρτηση (α 0,α 1,...,α r,...), μια εξίσωση που συσχετίζει το α r για οποιοδήποτε r, με ένα ή περισσότερα από τα α i, i

4 4 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικά Ορισμένες Συναρτήσεις Μια αριθμητική συνάρτηση μπορεί να περιγραφεί από μια αναδρομική σχέση μαζί με ένα κατάλληλο σύνολο βασικών περιπτώσεων  η συνάρτηση που ορίζεται με αυτόν τον τρόπο ονομάζεται και λύση της αναδρομικής σχέσης  εκτός από τις τιμές της συνάρτησης συχνά θέλουμε να προσδιορίσουμε και μια γενική (μη αναδρομική) έκφραση της λύσης  γενικά δεν υπάρχει μέθοδος που να μπορεί να το κάνει αυτό για όλες τις αναδρομικές σχέσεις

5 5 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικά Ορισμένες Συναρτήσεις Απλή περίπτωση: Ένας τρόπος για να οριστεί η συνάρτηση f: ℕ  S (για κάθε σύνολο S) ή η σειρά a n =f(n) είναι να:  Ορίσουμε το f(0).  Για n>0, να ορίσουμε την f(n) σε σχέση με f(0),…,f(n−1). Παράδειγμα: Ορίστε τη σειρά a n :≡ 2 n αναδρομικά:  Ορίζουμε a 0 :≡ 1.  Για n>0, ορίζουμε a n :≡ 2a n-1.

6 6 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικά Ορισμένες Συναρτήσεις Ας υποθέσουμε ότι ορίζουμε την f(n) για όλα τα n  ℕ αναδρομικά ως:  Ορίζουμε f(0)=3  Για κάθε n  ℕ, ορίζουμε f(n+1)=2f(n)+3 Ποιες είναι οι τιμές των παρακάτω?  f(1)= f(2)=  f(3)= f(4)=

7 7 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικός Ορισμός Παραγοντικού Δώστε έναν αναδρομικό ορισμό της συνάρτησης παραγοντικού, F(n) :≡ n! :≡ ∏ 1≤i≤n i = 1  2  …  n.  Βασική περίπτωση: F(0) :≡ 1  Αναδρομικό μέρος: F(n) :≡ n  F(n−1).  F(1)=1  F(2)=2  F(3)=6

8 8 ΤΜΗΜΑ ΜΠΕΣ Παραδείγματα Γράψτε αναδρομικούς ορισμούς για τα παρακάτω:  i+n (i ακέραιος, n φυσικός)  a·n (a πραγματικός, n φυσικός) χρησιμοποιώντας μόνο πρόσθεση  a n (a πραγματικός, n φυσικός) χρησιμοποιώντας μόνο πολλαπλασιασμό  ∑ 0≤i≤n a i (για μια οποιαδήποτε σειρά αριθμών {a i })  ∏ 0≤i≤n a i (για μια οποιαδήποτε σειρά αριθμών{a i })  ∩ 0≤i≤n S i (για μια οποιαδήποτε σειρά συνόλων {S i })

9 9 ΤΜΗΜΑ ΜΠΕΣ Η σειρά Fibonacci Η σειρά Fibonacci f(n)≥0 είναι μια διάσημη σειρά που ορίζεται ως εξής: f0 :≡ 0, f1 :≡ 1, f(n)≥2 :≡ f(n−1) + f(n−2) Leonardo Fibonacci

10 10 ΤΜΗΜΑ ΜΠΕΣ Επαγωγική Απόδειξη σχετικά με τη σειρά Fibonacci Θεώρημα f n < 2 n. Απόδειξη με επαγωγή. Βασικές περιπτώσεις:f 0 = 0 < 2 0 = 1 f 1 = 1 < 2 1 = 2 Επαγωγικό βήμα: Υποθέτουμε ότι  k

11 11 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικά Ορισμένα Σύνολα Ένα άπειρο σύνολο S μπορεί να οριστεί αναδρομικά, δίνοντας: i) Ένα μικρό πεπερασμένο σύνολο βασικών στοιχείων του S. ii) Έναν κανόνα για την κατασκευή νέων στοιχείων του S από προϋπάρχοντα στοιχεία. iii) Έμμεσα, θεωρούμε ότι το S δεν έχει άλλα στοιχεία εκτός από αυτά. Παραδείγματα Έστω 3  S, και x+y  S αν x,y  S. Ποιο είναι το σύνολο S? Έστω 1  S, και x+1  S αν x  S.

12 12 ΤΜΗΜΑ ΜΠΕΣ Το Σύνολο όλων των Συμβολοσειρών Ορισμός Δοθέντος ενός αλφάβητου Σ, το σύνολο Σ * όλων των συμβολοσειρών πάνω στο Σ μπορεί να οριστεί αναδρομικά ως: λ  Σ * (λ :≡ “ ”, η κενή συμβολοσειρά) w  Σ *  x  Σ → wx  Σ * Άσκηση: Αποδείξτε ότι αυτός ο ορισμός είναι ισοδύναμος με τον γνωστό:

13 13 ΤΜΗΜΑ ΜΠΕΣ Παραδείγματα Συμβολοσειρών Δώστε αναδρομικούς ορισμούς για:  Τη συνένωση συμβολοσειρών w 1 ·w 2.  Το μήκος (w) μιας συμβολοσειράς w.  Καλά σχηματισμένες προτάσεις προτασιακής λογικής που περιέχουν T, F, προτασιακές μεταβλητές, και τους τελεστές {¬, , , →, ↔}.  Καλά σχηματισμένες αριθμητικές προτάσεις που μεταβλητές, σταθερές, και τελεστές {+, −, *}.

14 14 ΤΜΗΜΑ ΜΠΕΣ Δέντρα με Ρίζα Ορισμός συνόλου δέντρων με ρίζα : i) Κάθε μοναδική κορυφή r είναι ένα δέντρο με ρίζα. ii) Αν T 1, …, T n είναι ασύνδετα δέντρα με ρίζα με αντίστοιχες ρίζες r 1, …, r n, και r είναι ένας κόμβος σε κανένα από τα T i, τότε ένα δέντρο με ρίζα είναι το {{r,r 1 },…,{r,r n }}  T 1  …  T n. iii) Αυτά είναι όλα τα δέντρα με ρίζα.

15 15 ΤΜΗΜΑ ΜΠΕΣ Δέντρα με Ρίζα Ο τρόπος συνδυασμού δέντρων με ρίζα για τον σχηματισμό νέων δέντρων με ρίζα… T1T1 T1T1 r1r1 T2T2 T2T2 r2r2 TnTn TnTn rnrn r …

16 16 ΤΜΗΜΑ ΜΠΕΣ Δυαδικά Δέντρα Ειδική περίπτωση δέντρων με ρίζα. Ορισμός Δυαδικών Δέντρων (BT):  Το κενό σύνολο  είναι ένα BT.  Αν T1,T2 είναι ασύνδετα BTs, τότε e1  e2  T1  T2 είναι ένα BT, όπου e1 =  αν T1 = , και e1 = {(r,r1)} αν T1≠  και έχει ρίζα r1, και παρόμοια για το e2.  Αυτά είναι τα μόνα ΒΤ. Παραδείγματα…

17 17 ΤΜΗΜΑ ΜΠΕΣ Πλήρη Δυαδικά Δέντρα Ειδική περίπτωση δυαδικών δέντρων όπου κάθε κορυφή έχει 0 ή 2 παιδιά. Αναδρομικός ορισμός Πλήρων Δυαδικών Δέντρων (FBT): i) Μια μοναδική κορυφή r είναι ένα FBT. Προσέξτε τη διαφορά από τη βασική περίπτωση των ΒΤ. ii) Αν T 1,T 2 είναι ασύνδετα FBTs, τότε e 1  e 2  T 1  T 2 είναι ένα FBT, όπου e 1 =  αν T 1 = , και e 1 = {(r,r 1 )} αν T 1 ≠  και έχει ρίζα r 1, και ομοίως για το e 2. Ίδια με την αναδρομική περίπτωση των ΒΤ! Απλοποιείται ως “Αν T 1,T 2 είναι ασύνδετα FBTs με ρίζες r 1 και r 2, τότε {(r, r 1 ),(r,r 2 )}  T 1  T 2 είναι ένα FBT.” i) Αυτά είναι όλα τα FBT. Παραδείγματα…

18 18 ΤΜΗΜΑ ΜΠΕΣ Δομική Επαγωγή Η απόδειξη μιας ιδιότητας ενός αναδρομικά ορισμένου αντικειμένου χρησιμοποιώντας μια επαγωγική απόδειξη της οποίας η δομή αντικατοπτρίζει τον ορισμό του αντικειμένου.

19 19 ΤΜΗΜΑ ΜΠΕΣ Δομική Επαγωγή Θεώρημα Έστω 3  S, και x+y  S αν x,y  S. Έστω A = {n  ℤ + | (3|n)}. Τότε A=S. Απόδειξη. Θα δείξουμε ότι A  S και S  A.  Για να δείξουμε A  S, δείξτε [n  ℤ +  (3|n)]→ n  S.  Επαγωγική απόδειξη. Έστω P(n) :≡ n  S. Επαγωγή πάνω στα θετικά πολλαπλάσια του 3. Βάση. n=3, οπότε 3  S από τον ορισμό του S. Βήμα. Δοθέντος P(n), αποδείξτε P(n+3). Από την υπόθεση, n  S, και 3  S, άρα από τον ορισμό του S, n+3  S.  Για να δείξουμε S  A: έστω n  S, δείξτε n  A.  Δομική επαγωγική απόδειξη. Έστω P(n):≡n  A. Βάση. 3  S. Μια και 3|3, 3  A. Αναδρομικό βήμα. x,y  S, n=x+y  S και x,y  A. Μια και 3|x και 3|y, έχουμε 3|(x+y), οπότε x+y = n  A.

20 20 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικοί Αλγόριθμοι Εκτός από την περιγραφή συναρτήσεων και συνόλων, αναδρομικοί ορισμοί μπορούν να χρησιμοποιηθούν και για την περιγραφή αλγορίθμων. Παράδειγμα Μια διαδικασία για τον υπολογισμό του a n. procedure power(a≠0: real, n  ℕ ) if n = 0 then return 1 else return a · power(a, n−1)

21 21 ΤΜΗΜΑ ΜΠΕΣ Απόδοση Αναδρομικών Αλγόριθμων Η χρονική πολυπλοκότητα ενός αναδρομικού αλγόριθμου εξαρτάται από το πλήθος των αναδρομικών κλήσεων που κάνει. Παράδειγμα Ο υπολογισμός του Modular exponentiation σε μια δύναμη n μπορεί να γίνει με log(n) χρόνο αν γίνει σωστά, αλλά με γραμμικό χρόνο αν γίνει λίγο διαφορετικά.  Υπολογίστε το b n mod m, όπου m≥2, n≥0, and 1≤b

22 22 ΤΜΗΜΑ ΜΠΕΣ Modular Exponentiation Alg. #1 Χρησιμοποιεί το γεγονός ότι b n = b·b n−1 και ότι x·y mod m = x·(y mod m) mod m. procedure mpower(b≥1,n≥0,m>b  ℕ ) {Returns b n mod m.} if n=0 then return 1 else return (b·mpower(b,n−1,m)) mod m Αυτός ο αλγόριθμος εκτελεί Θ(n) βήματα!

23 23 ΤΜΗΜΑ ΜΠΕΣ Modular Exponentiation Alg. #2 Χρησιμοποιεί το γεγονός ότι b 2k = b k·2 = (b k ) 2. procedure mpower(b,n,m) if n=0 then return 1 else if 2|n then return mpower(b,n/2,m) 2 mod m else return (mpower(b,n−1,m)·b) mod m Ποια είναι η χρονική πολυπλοκότητα? Θ(log n)

24 24 ΤΜΗΜΑ ΜΠΕΣ Μια μικρή παραλλαγή Σχεδόν όμοιος αλλά απαιτεί Θ(n) χρόνο! procedure mpower(b,n,m) if n=0 then return 1 else if 2|n then return (mpower(b,n/2,m)· mpower(b,n/2,m)) mod m else return (mpower(b,n−1,m)·b) mod m Το πλήθος των αναδρομικών κλήσεων είναι κρίσιμο!

25 25 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικοί Αλγόριθμοι Οι αναδρομικοί αλγόριθμοι είναι συχνά πιο εύκολοι στην υλοποίηση από ότι οι επαναληπτικοί… Όμως (όπως θα δείτε στο Β’ έτος) μπορούν να έχουν προβλήματα υπερβολικής κατανάλωσης μνήμης

26 26 ΤΜΗΜΑ ΜΠΕΣ Αναδρομική Γραμμική Αναζήτηση Εδώ δεν υπάρχει κανένα πραγματικό πλεονέκτημα από τη χρήση αναδρομής, μπορεί απλά να υλοποιηθεί με έναν βρόγχο for loc := i to j… procedure search(a: ακολουθία; i, j: ακέραιοι; x: στοιχείο προς εύρεση) if a i = x then return i {Το βρήκαμε? Επέστρεψε το!} if i = j then return 0 {Δεν υπάρχει? Αποτυχία!} return search(i+1, j, x) {Δοκίμασε το υπόλοιπο διάστημα}

27 27 ΤΜΗΜΑ ΜΠΕΣ Αναδρομική Δυαδική Αναζήτηση procedure binarySearch(a, x, i, j) {Βρες το x στην ακολουθία a, ≥i και

28 28 ΤΜΗΜΑ ΜΠΕΣ Αναδρομικός Αλγόριθμος Fibonacci procedure fibonacci(n  N) if n=0 then return 0 if n=1 then return 1 return fibonacci(n−1)+fibonacci(n−2) Είναι ο αλγόριθμος αποδοτικός?  Έχει πολυωνυμική πολυπλοκότητα στο n? Πόσες προσθέσεις εκτελούνται?

29 29 ΤΜΗΜΑ ΜΠΕΣ Ανάλυση του Αλγόριθμου Θεώρημα Ο προηγούμενος αλγόριθμος για το fibonacci(n) εκτελεί f n+1 −1 προσθέσεις. Απόδειξη Με δομική επαγωγή στο n, βασισμένη στην αναδρομική περιγραφή του αλγόριθμου.  Βάση: fibonacci(0) εκτελεί 0 προσθέσεις, και f 0+1 −1 = f 1 − 1 = 1 − 1 = 0. Παρόμοια, fibonacci(1) εκτελεί 0 προσθέσεις, και f 1+1 −1 = f 2 −1 = 1−1 = 0.  Βήμα: For n>1, από την υπόθεση, fibonacci(n−1) και fibonacci(n−2) εκτελούν f n −1 και f n−1 −1 προσθέσεις, και fibonacci(n) προσθέτει άλλη μια, με σύνολο f n −1+ f n−1 −1+1 = f n +f n−1 −1 = f n+1 −1. ■

30 30 ΤΜΗΜΑ ΜΠΕΣ Ένας καλύτερος Αλγόριθμος procedure findFib(a,b,m,n) {Δοθέντων a=f m−1, b=f m,και m≤n, επέστρεψε το f n } if m=n then return b return findFib(b, a+b, m+1, n) procedure fastFib(n) {Βρες το f n σε Θ(n) βήματα} if n=0 then return 0 return findFib(0,1,1,n)


Κατέβασμα ppt "1 ΤΜΗΜΑ ΜΠΕΣ Διακριτά Μαθηματικά ΙI Αναδρομή Κώστας Στεργίου Λέκτορας Τμήμα Μηχανικών Πληροφοριακών & Επικοινωνιακών Συστημάτων Πανεπιστήμιο Αιγαίου e-mail:"

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google