Π(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ο Μάθηµα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 36 η Εθνική Μαθηματική Ολυμπιάδα «Ο ΑΡΧΙΜΗΔΗΣ» 23 Φεβρουαρίου 2019 Θέματα και ενδεικτικές λύσεις μεγάλων τάξεων

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

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

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

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ. Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30

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

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

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

1 Arq thc Majhmatik c Epagwg c

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


F 5 = (F n, F n+1 ) = 1.


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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ

1 Η εναλλάσσουσα ομάδα

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

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

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

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

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

f(t) = (1 t)a + tb. f(n) =

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ

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

ΠΕΡΙΕΧΟΜΕΝΑ ΜΕΡΟΣ ΠΡΩΤΟ ΑΡΙΘΜΟΙ ΠΡΟΛΕΓΟΜΕΝΑ 17. ΚΕΦΑΛΑΙΟ 1 25 Οι φυσικοί αριθμοί και η αναπαράστασή τους

ΜΕΜ251 Αριθμητική Ανάλυση

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

Ισορροπημένα Δένδρα. για κάθε λειτουργία; Ισορροπημένο δένδρο : Διατηρεί ύψος κάθε εισαγωγή ή διαγραφή

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

ΚΕΦΑΛΑΙΟ 11 Ο ΜΕΤΡΗΣΗ ΚΥΚΛΟΥ 11.3 ΕΓΓΡΑΦΗ ΒΑΣΙΚΩΝ ΚΑΝΟΝΙΚΩΝ ΠΟΛΥΓΩΝΩΝ ΣΕ ΚΥΚΛΟ ΚΑΙ ΤΑ ΣΤΟΙΧΕΙΑ ΤΟΥΣ

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 76 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΘΑΛΗΣ 14 Νοεμβρίου Ενδεικτικές λύσεις Β ΓΥΜΝΑΣΙΟΥ

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

ΚΕΦΑΛΑΙΟ 3 ΤΟ ΔΙΩΝΥΜΙΚΟ ΘΕΩΡΗΜΑ

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρηµα του Θαλή και οι Συνέπειές του

Ορισμένες σελίδες του βιβλίου

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

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

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

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

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

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Γ' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 29/04/2017 Ώρα εξέτασης: 10:00-14:30

Συνεχή Κλάσματα. Εμμανουήλ Καπνόπουλος Α.Μ 282

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

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

ΓΕΩΜΕΤΡΙΑ - ΚΕΦΑΛΑΙΟ 4ο Το Θεώρημα του Θαλή και οι Συνέπειές του

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

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

4.1 Η ΜΑΘΗΜΑΤΙΚΗ ΕΠΑΓΩΓΗ ΘΕΩΡΙΑ ΣΧΟΛΙΑ ΜΕΘΟ ΟΙ

12. ΑΝΙΣΩΣΕΙΣ Α ΒΑΘΜΟΥ. είναι δύο παραστάσεις μιας μεταβλητής x πού παίρνει τιμές στο

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

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

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

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

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

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1),

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

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

> ln 1 + ln ln n = ln(1 2 3 n) = ln(n!).

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

ΚΥΠΡΙΑΚΗ ΜΑΘΗΜΑΤΙΚΗ ΕΤΑΙΡΕΙΑ Β' ΔΙΑΓΩΝΙΣΜΟΣ ΕΠΙΛΟΓΗΣ ΛΥΚΕΙΟΥ. «Ευκλείδης» Ημερομηνία: 4/03/2017 Ώρα εξέτασης: 10:00-14:30

Το εγχειρίδιο αυτό, δεν είναι απλό τυπολόγιο αλλά μία εγκυκλοπαίδεια όλων των μαθηματικών του ενιαίου λυκείου.

Πανεπιστήμιο Πειραιώς Τμήμα Πληροφορικής Πρόγραμμα Μεταπτυχιακών Σπουδών «Προηγμένα Συστήματα Πληροφορικής»

ΕΠΙΤΡΟΠΗ ΔΙΑΓΩΝΙΣΜΩΝ 35 η Ελληνική Μαθηματική Ολυμπιάδα "Ο Αρχιμήδης" 3 Μαρτίου 2018 Θέματα μεγάλων τάξεων Ενδεικτικές λύσεις

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

a = a a Z n. a = a mod n.

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

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

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

6 Συνεκτικοί τοπολογικοί χώροι

Transcript:

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

Επαγωγή και Αναδρομή [Rosen, κεφ. 5]

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

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

Επαγωγή για ανισότητα Παράδειγμα. Oι αρμονικοί αριθμοί ορίζονται ως Ν.δ.ό. 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 2 + 2n 1 2 n+1 = 1 + n + 1 2.

Πληθικός αριθμός δυναμοσυνόλου Θεώρημα. P(A) = 2 A Απόδειξη. Θα χρησιμοποιήσουμε επαγωγή ως προς A = ν 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 είτε περιέχει το α είτε όχι: ( ) 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] Τα δύο στάδια της ισχυρής επαγωγής είναι: 1. Βάση: Δείχνουμε πως η Π(n 0 ) είναι αληθής. 2. Επαγωγική Υπόθεση: Θεωρούμε πως ισχύουν όλες οι Π(n 0 ),..., Π(κ), όπου κ n 0. Επαγωγικό Βήμα: Δείχνουμε πως [Π(ι), i = n 0,..., k] Π(κ + 1). Καλείται και Πλήρης Επαγωγή.

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

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

Διαγώνιοι 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

Αναδρομικός ορισμός [Rosen 5.3] Αναδρομικός ή επαγωγικός ορισμός συναρτήσεων Βάση: η τιμή της συνάρτησης στο σημείο n 0 = 0, ή σε περισσότερα σημεία ώστε να είναι καλώς ορισμένη. Αναδρομικό Βήμα: Κανόνας εύρεσης τιμής σε κάποιον ακέραιο, από τις τιμές σε μικρότερους ακεραίους. Παράδειγμα. H συνάρτηση 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, άρα η ανισότητα ισχύει.

Παράδειγμα Έστω a 0 μια σταθερά και για n 1 : n 1 ( ) n 1 a n = a i a i (n 1) i i=0 Ν.δ.ό. για n 0 ισχύει a n = (n!) a n+1 0. Απόδειξη. Θα χρησιμοποιήσουμε ισχυρή επαγωγή. Βάση για n = 0: a 0 = (0!)a 0+1 0 a 0 = a 0. Επαγωγική/Αναδρομική υπόθεση: Για κάποιο k 0 ισχύει: a n = (n!)a n+1 0, για n = 0, 1,..., k Επαγωγικό/Αναδρομικό Βήμα: Θα δείξουμε ότι το αποτέλεσμα είναι αληθές για n = k + 1. Χρησιμοποιώντας την επαγωγική υπόθεση έχουμε διαδοχικά:

Παράδειγμα (συνέχεια) a k+1 = = = = k ( ) k a i a k i i k ( ) k (i!) ( a i+1 ) ( ) 0 (k i)! a k i+1 0 i k ( ) k (i!) (k i)! ( a k+2 ) 0 i i=0 i=0 i=0 k i=0 k! a k+2 0 = (k + 1) [ k! a k+2 0 ] = (k + 1)! a k+2 0. Οπότε η ισότητα του επαγωγικού βήματος επαληθεύεται και άρα για κάθε n 0 ισχύει a n = (n!) a n+1 0.

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

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

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

Πλήρες δυαδικό δένδρο Αναδρομικός ορισμός Πλήρους Δυαδικoύ Δένδρoυ (πδδ) Αναδρομική Βάση: Υπάρχει πλήρες δυαδικό δένδρο (πδδ) αποτελούμενο μόνο από μια κορυφή/κόμβο 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 ). Σύνολο φύλλων (leaves) ενός πδδ T: Βάση: Αν το T αποτελείται μόνο από τη ρίζα τότε αυτή είναι το (μοναδικό) φύλλο του T. Αναδρομικό: Αν T 1, T 2 είναι πδδ, το σύνολο των φύλλων του πδδ T = T 1 T 2 είναι η ένωση των συνόλου των φύλλων του T 1 και T 2. Όσοι κόμβοι δεν είναι φύλλα λέγονται εσωτερικοί.

Σχέση ύψους και πλήθους κόμβων Θεώρημα. Για κάθε πδδ T ισχύει: n(t) 2 h(t)+1 1. Βήμα βάσης: Αν το T αποτελείται μόνο από ρίζα, ν(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) 2 max{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.

Σχέση πλήθους φύλλων και εσωτερικών κόμβων Έστω πδδ T, l(t) το πλήθος των φύλλων του και i(t) το πλήθος των εσωτερικών κόμβων του. Ν.δ.ό: l(t) = i(t) + 1. Βήμα βάσης: Αν το T αποτελείται μόνο από ρίζα, δεν έχει εσωτερικούς κόμβους: l(t) = 1, ενώ i(t) = 0: η σχέση ισχύει. Αναδρομικό βήμα: Έστω πδδ T 1, T 2 και υποθέτουμε l(t j ) = i(t j ) + 1, j = 1, 2. H ρίζα του πδδ T = T 1 T 2 είναι εσωτερικός κόμβος του T, και κάθε εσωτερικός κόμβος στα T 1, T 2 είναι εσωτερικός κόμβος του T: i(t) = i(t 1 ) + i(t 2 ) + 1. Ομοίως, τα φύλλα των T 1, T 2 είναι επίσης φύλλα του T, οπότε l(t) = l(t 1 ) + l(t 2 ). Άρα: l(t) = l(t 1 ) + l(t 2 ) = i(t 1 ) + 1 + i(t 2 ) + 1 = (i(t 1 ) + i(t 2 ) + 1) + 1 = i(t) + 1.