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

Σχετικά έγγραφα
Π(n) : 1 + a + + a n = αν+1 1

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

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Αρχικός συγγραφέας: Ηλίας

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ

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

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

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

3 Αναδροµή και Επαγωγή

Θεωρία Υπολογισμού και Πολυπλοκότητα

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

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

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

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

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

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

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

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

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

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος

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

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή

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

Ασκήσεις στους Γράφους. 2 ο Σετ Ασκήσεων. Δέντρα

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018

Διακριτά Μαθηματικά [Rosen, κεφ. 3] Γιάννης Εμίρης Τμήμα Πληροφορικής & Τηλεπικοινωνιών, ΕΚΠΑ Οκτώβριος 2018

Σειρά Προβλημάτων 1 Λύσεις

Κατ οίκον Εργασία 3 Σκελετοί Λύσεων

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια)

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2018 Τελική Εξέταση Ιουνίου Λύσεις

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

Να αποδείξετε ότι αυτή η τοποθέτηση των ακεραίων είναι δυνατή αν και μόνο αν οι ευθείες δεν είναι όλες παράλληλες.

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

1.8 ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ ΘΕΩΡΗΜΑ BOLZANO A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

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

Φ(s(n)) = s (Φ(n)). (i) Φ(1) = a.

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας

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

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων

z 1 E(G) 2(k 1) = 2k 3. x z 2 H 1 H 2


Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Συνεκτικότητα και Δισυνεκτικότητα. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών

ΗΡΑΚΛΕΙΤΟΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΜΕΣΗΣ ΕΚΠΑΙΔΕΥΣΗΣ ΗΡΑΚΛΕΙΤΟΣ ΠΑΝΕΛΛΗΝΙΕΣ ΕΞΕΤΑΣΕΙΣ Γ ΤΑΞΗΣ ΗΜΕΡΗΣΙΟΥ ΓΕΝΙΚΟΥ ΛΥΚΕΙΟΥ ΚΑΙ ΕΠΑΛ (ΟΜΑΔΑ Β') ΔΕΥΤΕΡΑ 28 ΜΑΪΟΥ 2012

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


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

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

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

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι;

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

2 ) d i = 2e 28, i=1. a b c

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

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

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

Ορατότητα σε απλά πολύγωνα

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

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

Σχεδίαση Αλγορίθμων -Τμήμα Πληροφορικής ΑΠΘ - Εξάμηνο 4ο

E(G) 2(k 1) = 2k 3.

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

d k 10 k + d k 1 10 k d d = k i=0 d i 10 i.

1 Arq thc Majhmatik c Epagwg c

K15 Ψηφιακή Λογική Σχεδίαση 3: Προτασιακή Λογική / Θεωρία Συνόλων

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

ΗΥ118 Διακριτά Μαθηματικά Εαρινό Εξάμηνο η Σειρά Ασκήσεων Λύσεις

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Στοιχεία Θεωρίας Γράφων (Graph Theory)

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Εφαρμοσμένα Μαθηματικά ΙΙ

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας

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

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

A. ΣΥΝΕΧΕΙΑ ΣΥΝΑΡΤΗΣΗΣ

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

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές:

Υπολογιστική Γεωμετρία

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

ΔΙΑΓΩΝΙΣΜΑ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ Γ ΛΥΚΕΙΟΥ ΚΥΡΙΑΚΗ 17 ΔΕΚΕΜΒΡΙΟΥ

2 n N: 0, 1,..., n A n + 1 A

Κατ οίκον Εργασία 2 Σκελετοί Λύσεων

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

Δώδεκα Αποδείξεις του. Θεμελιώδους Θεωρήματος της Άλγεβρας

H mèjodoc Sturm. Mˆjhma AkoloujÐec Sturm

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

Μαθηµατικά της Πληροφορικής Επιστήµης

Παράλληλοι Αλγόριθμοι: Ανάλυση Εικόνας και Υπολογιστική Γεωμετρία. Πέτρος Ποτίκας CoReLab 4/5/2006

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Σεπτέμβριος 2017

Τμήμα Τεχνολόγων Γεωπόνων-Κατεύθυνση Αγροτικής Οικονομίας Μαθηματικά για Οικονομολόγους 2 ο Μάθημα: Σύνολα αριθμών-συναρτήσεις Διδάσκουσα:

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 4: Εισαγωγή / Σύνολα

Θέματα υπολογισμού στον πολιτισμό

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

Transcript:

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

ΕπαγωγήκαιΑναδρομή [Rosen,κεφ. 5] Διακριτά Μαθηματικά

Μαθηματικήεπαγωγή [Rosen 5.1] Μέθοδος απόδειξης μιας μαθηματικής πρότασης Π(n), η οποία εξαρτάταιαπόένανφυσικό n N. ΣκοπόςείναιναδείξουμεπωςηΠ(n)είναιαληθής, n n 0 N. Δύο στάδια: Βάση:δείχνουμεπωςηΠ(n 0 )είναιαληθής. Επαγωγική Υπόθεση: Θεωρουμε πως ισχύει η Π(k), όπου k n 0. ΕπαγωγικόΒήμα:δείχνουμεπως Π(k) Π(k +1). Διακριτά Μαθηματικά

Παράδειγμαεπαγωγής Για a 1, n N,δείξτεπως Π(n) : 1+a+ +a n = an+1 1 a 1. Λύση. Επαγωγικήβάση, Π(0): 1 = (a 1)/(a 1):αληθής. Βήμα: 1+ +a k +a k+1 = (a k+2 1)/(a 1) ak+1 1 a 1 +a k+1 = ak+2 1 a 1 a k+1 1+a k+2 a k+1 = a k+2 1 : αληθής. ΟΕΔ Διακριτά Μαθηματικά

Επαγωγήγιαανισότητα Παράδ. 7. Οι αρμονικοί αριθμοί ορίζονται ως Ν.δ.ό. H 2 n 1+ n 2, n N. H j = 1+ 1 2 + 1 3 + 1 j, j 1. Λύση.Βάση: n = 1 : H 2 = 1+ 1 2 1+ 1 2. n = 2 : H 4 = 1+ 1 2 + 1 3 + 1 4 = 25 12 2. ΕπαγωγικόΒήμα. H 2 n+1 = H 2 n + 1 2 n +1 + + 1 2 n+1 1+ n 1 n+1 2 +2n = 1+. 2n+1 2 Διακριτά Μαθηματικά

Πληθικόςαριθμόςδυναμοσυνόλου Θεώρημα. P(A) = 2 A. Απόδειξημεεπαγωγήωςπρος A = n 0. Βάσηεπαγωγής: A 0 = 0 A 0 = 2 A 0 = { } = 1. Επιπλέον A 1 = 1 A 1 = {a} 2 A 1 = {,{a}} = 2. Επαγωγικόβήμα: A k = A k 1 {a}, A k = k 1. Κάθευποσύνολοτου A k είτεπεριέχειτο aείτεόχι: ( ) P(A k ) = P(A k 1 ) {B {a}} B Ak 1 ( ) = P(A k 1 ) B P(Ak 1) {B {a}} P(A k ) = 2 P(A k 1 ) = 2 2 k 1 = 2 k. Διακριτά Μαθηματικά

Βήματααπόδειξης Διακριτά Μαθηματικά

Ισχυρήεπαγωγή [Rosen 5.2] Ισχυρή επαγωγή: Βάση:δείχνουμεπωςηΠ(n 0 )είναιαληθής. Επαγωγική Υπόθεση: Θεωρουμε πως ισχύουν όλες οι Π(n 0 ),...,Π(k),όπου k n 0. Επαγωγικό Βήμα: δείχνουμε πως [Π(i),i = n 0,...,k] Π(k +1). Καλείται και Πλήρης Επαγωγή. Διακριτά Μαθηματικά

Παράδειγμα Π.χ.Κάθεφυσικός n 2είναιείτεπρώτοςείτεγινόμενο πρώτων. Απόδ.Βάση:Ο n = 2είναιπρώτος. Επαγωγικήυπόθεση:Ηπρότασηισχύειγια i = 2,...,k. Επαγωγικό βήμα: Ανοk +1είναιπρώτος,ηπρότασηαποδείχθηκε. Αλλιώς k +1 = ab, a,b : 1 < a,b < k +1. Υπόθεση οι a,bείναιείτεπρώτοιείτεγινόμεναπρώτων, άρακιοk +1είναιγινόμενοπρώτων. ΟΕΔ Διακριτά Μαθηματικά

ΥπολογιστικήΓεωμετρία e p V (p) window V (e) Απλό πολύγωνο: ορίζεται από μια ακολουθία ακμών οι οποίες τέμνονται μόνο ανά δύο γειτονικές σε μια(κοινή) κορυφή. Μηαπλάκαιαπλάπολύγωνα(κυρτόκαιμηκυρτό).

Διαγώνιοι v u k w u v Λήμμα.Κάθεαπλόπολύγωνομε 4ακμέςέχειμιαεσωτερική διαγώνιο. Θα αποδειχθεί αργότερα.

Τριγωνοποίηση Θεώρ.Κάθεαπλόπολύγωνομε n 3ακμέςυποδιαιρείται (τριγωνοποιείται) σε n 2 τρίγωνα. Απόδ.Βάση. n = 3τρίγωνο, n = 4τετράπλευροκυρτόήμη. Επαγωγική Υπόθεση. Η πρόταση ισχύει για πολύγωνα με k ακμές, k 3. Επαγωγικό Βήμα. Θα δείξουμε την πρόταση για πολύγωνο με k +1ακμές, k 3. Από το Λήμμα φέρνουμε διαγώνιο που υποδιαιρεί το πολύγωνο σεδύοπολύγωναμεπλήθοςακμών j +1,(k +1) j +1, αντίστοιχα.καθέναέχει 3ακμές(π.χ. j 2). Καθένατριγωνοποιείταιμε j 1,k jτρίγωνα,άρασυνολικά k 1τρίγωνα. ΟΕΔ

ΑπόδειξηΛήμματος Λήμμα.Κάθεαπλόπολύγωνομε 4ακμέςέχειμίαεσωτερική διαγώνιο. Απόδ.Εστωηαριστερότερηκορυφή uτουπολυγώνου,και v,w οι γειτονικές της κορυφές. Αν η διαγώνιος vw είναι εσωτερική, το Λήμμα αποδείχθηκε. Αλλιώς,ηvwτέμνειτοπολύγωνο.Απότιςκορυφέςεντόςτου τριγώνου (vuw),επιλέγουμετην kώστεηγωνία uvkναείναι ελάχιστη, και παίρνουμε την διαγώνιο uk. v u k w u v

ναδρομικόςορισμός,δομικήεπαγωγή [5.3] Ορ. Αναδρομικός ή επαγωγικός ορισμός συναρτήσεων: Βάση:ητιμήτηςσυνάρτησηςστοσημείο n 0 = 0,ήσε περισσότερα σημεία ώστε να είναι καλώς ορισμένη. Αναδρομικό Βήμα: Κανόνας εύρεσης τιμής σε κάποιον ακέραιο, από τις τιμές σε μικρότερους ακεραίους. Παράδειγμα: συνάρτηση Fibonacci: f 0 = 0,f 1 = 1, f n = f n 1 +f n 2.

Παράδειγμα Ν.δ.ό.γιατη Fibonacci: f n > φ n 2, n 3,φ = (1+ 5)/2. Απόδ. Ισχυρή επαγωγή. Βάσηγια n = 3,4: f 3 = 2 > φ, f 4 = 3 > φ 2 = (3+ 5)/2. Επαγωγική/Αναδρομική υπόθεση: f j > φ j 2, 3 j k. Παρατηρήστεπωςτο φείναιλύσητης x 2 x 1 = 0. Επαγωγικό/Αναδρομικό Βήμα. Για k 4, θ.δ.ό. f k+1 > φ k 1 = φ 2 φ k 3 = (φ+1)φ k 3 = φ k 2 +φ k 3. Γνωρίζουμε f k+1 = f k +f k 1,άραηανισότηταισχύει. ΟΕΔ

Δομικήεπαγωγή Μια απόδειξη δομικής επαγωγής αποτελείται από δύο βήματα: Βήμα Βάσης: Δείχνουμε το αποτέλεσμα για τα στοιχεία στο βήμα βάσης του αναδρομικού ορισμού. Αναδρομικό/ επαγωγικό Βήμα: Δείχνουμε πως, αν η πρόταση αληθεύει για τα στοιχεία που χρησιμοποιούνται για την κατασκευή νέων στοιχείων στο αναδρομικό βήμα του ορισμού, τότε το αποτέλεσμα ισχύει για τα νέα αυτά στοιχεία. Η δομική επαγωγή εφαρμόζεται στην απόδειξη ιδιοτήτων για αναδρομικώς ορισμένα σύνολα.

Αναδρομικάορισμένασύνολα Π.χ. Υποσύνολο S ακέραιων αριθμών, που ορίζεται ως εξής. Βάση: 3 S. ΑναδρομικόΒήμα. x S,y Sτότε x+y S. Π.χ.10:Θαδείξουμεπως S = A,όπου Aτοσύνολοτων θετικών πολλαπλασίων του 3. A S:Κάθε 3n Sμε(απλή)επαγωγήωςπρος n 1. S A(Δομικήεπαγωγή): ΣτοιχείασυνόλουαπόΒάση: 3 A. ΣτοιχείααπόΑναδρομή:Θ.δ.ό. x,y S x+y A: x,y S x,y A x+y A επαγωγικήυπόθεση ωςπολλαπλάσιατου3

Δένδραμερίζα Μελετάμε την απλούστερη κατηγορία γράφων (graphs): τα δένδρα (trees) είναι συνεκτικοί γράφοι χωρίς κύκλο. Δένδρα με ρίζα: αποτελούνται από ένα σύνολο κορυφών/κόμβων με μια ξεχωριστή κορυφή, τη ρίζα, και ακμές που συνδέουν ορισμένους κόμβους.(για δυο κόμβους, είτε υπάρχει μοναδική ακμή είτε όχι).

Πλήρεςδυαδικόδένδρο Αναδρομικός ορισμός Πλήρους δυαδικού Δένδρου(πδδ) Αναδρομική Βάση: Υπάρχει πλήρες δυαδικό δένδρο(πδδ) αποτελούμενο μόνο από μια κορυφή/κόμβο r(τη ρίζα). Αναδρομικόβήμα.Αν T 1,T 2 πδδ,υπάρχειπδδπουγράφεται T = T 1 T 2 αποτελούμενοαπόμιαρίζα rμαζίμετιςακμέςπου συνδέουντην rμεκαθεμιάαπότιςρίζεςτωνυποδένδρων T 1,T 2.

Υψος,πλήθοςκόμβων Δύο αναδρομικοί ορισμοί: Υψος h(t)πλήρουςδυαδικούδένδρου T: Βάση: h(t) = 0,αντο Tαποτελείταιμόνοαπότηρίζα. Αναδρομικόβήμα.Αν T 1,T 2 είναιπδδ,τότετοπδδ T = T 1 T 2 έχειύψος h(t) = 1+max{h(T 1 ),h(t 2 )}. Πλήθοςκόμβων/κορυφών n(t)πδδ T: Βάση: n(t) = 1,αντο Tαποτελείταιμόνοαπότηρίζα. Αναδρομικόβήμα.Αν T 1,T 2 είναιπδδ,τότετοπδδ T = T 1 T 2 έχει n(t) = 1+n(T 1 )+n(t 2 ).

Σχέσηύψους,πλήθουςκόμβων Θεώρ. n(t) 2 h(t)+1 1,γιαπδδ T. Απόδειξη με δομική επαγωγή. Βήμαβάσης:Αντο Tαποτελείταιμόνοαπόρίζα, n(t) = 1 2 0+1 1. Αναδρομικόβήμα. n(t) = 1+n(T 1 )+n(t 2 ) 1+(2 h 1+1 1)+(2 h 2+1 1) 2max{2 h 1+1,2 h 2+1 } 1 = 2 2 max{h 1,h 2 }+1 1 = 2 2 h(t) 1 = 2 h(t)+1 1.