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

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

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

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

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

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

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

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

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

Εισαγωγή στα Γραφήματα. Θεωρία Ασκήσεις. Σταύρος Κοσμαδάκης

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

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

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

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

Εισαγωγή στους Αλγορίθμους

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

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

ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ

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

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

Σχεδίαση και Ανάλυση Αλγορίθμων

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

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

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

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

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

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

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

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

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε

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

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

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

Επίπεδα Γραφήματα (planar graphs)

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

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

Διάλεξη 4: Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός

Αναδροµή. Σε αυτήν την (βοηθητική) ενότητα θα µελετηθούν τα εξής : Η έννοια της αναδροµής Υλοποίηση και αποδοτικότητα Αφαίρεση της αναδροµής

d(v) = 3 S. q(g \ S) S

Κεφάλαιο 11 Ένωση Ξένων Συνόλων

Ενδεικτικές Λύσεις 1ου Σετ Ασκήσεων

Τομές Γραφήματος. Γράφημα (μη κατευθυνόμενο) Συνάρτηση βάρους ακμών. Τομή : Διαμέριση του συνόλου των κόμβων σε δύο μη κενά σύνολα

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

Εισαγωγή στους Αλγορίθμους Ενότητα 7η

Outline 1 Άσκηση 1 2 Άσκηση 2 3 Άσκηση 3 4 Άσκηση 4 5 Άσκηση 5 6 Προγραμματιστική Άσκηση 1 7 Προγραμματιστική Άσκηση 2 (CoReLab - NTUA) Αλγόριθμοι - 3

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

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

Σχεδίαση & Ανάλυση Αλγορίθμων

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

Σημειωματάριο Τετάρτης 29 Νοε. 2017

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

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

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

1o Φροντιστήριο ΗΥ240

Φροντιστήριο 11 Λύσεις

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

Ελάχιστο Συνδετικό Δέντρο

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

ψ φ2 = k χ φ2 = 4k χ φ1 = χ φ1 + χ φ2 + 3 = 4(k 1 + k 2 + 1) + 1 ψ φ1 = ψ φ1 + χ φ2 = k k = (k 1 + k 2 + 1) + 1

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

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

Ελάχιστο Συνδετικό Δέντρο

Ενότητα 1: Εισαγωγή Ασκήσεις και Λύσεις

Ελάχιστο Συνδετικό έντρο

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Ελάχιστο Συνδετικό Δέντρο

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

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

Λύσεις 4ης Σειράς Ασκήσεων

q(g \ S ) = q(g \ S) S + d = S.

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

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

Μέγιστη Ροή Ελάχιστη Τομή

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

Αλγόριθμοι και Πολυπλοκότητα

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

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

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

Προσεγγιστικοί Αλγόριθμοι

Διάλεξη 7: X Y Σχήμα 7.2: Παράδειγμα για το Πόρισμα 7.2, όπου: 1 = {1, 2, 5}, 2 = {1, 2, 3}, 3 = {4}, 4 = {1, 3, 4}. Θ

Κεφάλαιο 8. NP και Υπολογιστική Δυσεπιλυσιμότητα. Χρησιμοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

Βασικές Έννοιες Θεωρίας Γραφημάτων

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

Βασικές Έννοιες Θεωρίας Γραφημάτων

TO ΥΠΟΠΡΟΓΡΑΜΜΑ ΣΥΝΑΡΤΗΣΗ

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

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

e 2 S F = [V (H), V (H)]. 3-1 e 1 e 3

Τυχαιοκρατικοί Αλγόριθμοι

Ελάχιστο Συνδετικό έντρο

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

Διαίρει και Βασίλευε. πρόβλημα μεγέθους Ν. διάσπαση. πρόβλημα μεγέθους k. πρόβλημα μεγέθους Ν-k

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 12 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες

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

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

Το πρόβλημα μονοδρόμησης (The One-Way Street Problem)

Προσεγγιστικοί Αλγόριθμοι

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

1 Arq thc Majhmatik c Epagwg c

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

Transcript:

ΘΕ4 Αναδρομή και Επαγωγή για Γραφήματα Επαγωγή και αναδρομή για συνεκτικά γραφήματα Επαγωγή για συνεκτικά γραφήματα (με αφαίρεση κορυφής) Η αρχή της επαγωγής, με αφαίρεση κορυφής, για δεδομένη προτασιακή συνάρτηση Π(G) όπου G είναι συνεκτικό γράφημα είναι η παρακάτω: Έστω ότι έχουμε τα εξής: 1 Αρχική περίπτωση TA( Π(G) ) = true, για κάθε συνεκτικό γράφημα G με ακριβώς α κορυφές, όπου α κάποιος θετικός ακέραιος. 2 Επαγωγικό βήμα Για κάθε ένα συνεκτικό γράφημα Γ = (V, E) με V α : Άν θεωρηθεί ως δεδομένη η επαγωγική υπόθεση: TA( Π(Γ) ) = true, Τότε, επαληθεύεται το ζητούμενο: TA( Π(Δ) ) = true, Με βάση τα παραπάνω, μπορούμε να συμπεράνουμε ότι: TA( Π(G) ) = true, για κάθε συνεκτικό γράφημα G με τουλάχιστον α κορυφές. Ορθότητα της επαγωγής για συνεκτικά γραφήματα Ορίζουμε την προτασιακή συνάρτηση π(n), όπου n είναι θετικός ακέραιος: π(n) = «ΤΑ( Π(G) ) = true, για κάθε συνεκτικό γράφημα G με ακριβώς n κορυφές». Θα δείξουμε ότι: Άν ισχύουν τα (1, 2), τότε ΤΑ( π(n) ) = true, για κάθε n α. Θα χρησιμοποιήσουμε την αρχή της μαθηματικής επαγωγής, για την προτασιακή συνάρτηση π(n). Αρχική περίπτωση Έστω n = α : ισχύει ότι π(α), λόγω του (1). Επαγωγικό βήμα Παίρνουμε n = Κ α, και υποθέτουμε ότι ισχύει π(κ). Για να επαληθεύσουμε το ζητούμενο, π(κ+1), έστω Δ ένα συνεκτικό γράφημα με ακριβώς Κ+1 κορυφές. Πρέπει να δείξουμε ότι ΤΑ( Π(Δ) ) = true. Έστω u μία κορυφή του Δ που δεν είναι κομβικό σημείο επομένως το γράφημα Γ = Δ u είναι συνεκτικό. Επίσης το Γ θα έχει ακριβώς Κ κορυφές, οπότε από την επαγωγική υπόθεση παίρνουμε ότι ΤΑ( Π(Γ) ) = true. Χρησιμοποιώντας το (2), βλέπουμε ότι ΤΑ( Π(Δ) ) = true. Παράδειγμα 1 Να αποδειχτεί ότι: Για κάθε συνεκτικό γράφημα G = (V, E), είναι Ε V 1. Χρησιμοποιούμε την αρχή της επαγωγής, με αφαίρεση κορυφής, για την προτασιακή συνάρτηση Π(G) = «άν G = (V, E) τότε Ε V 1» όπου G είναι συνεκτικό γράφημα. 1 Αρχική περίπτωση Για κάθε συνεκτικό γράφημα G = (V, E) με V =1, είναι Ε =0. Άρα TA( Π(G) ) = true. 2 Επαγωγικό βήμα Έστω ένα συνεκτικό γράφημα Γ = (V, E) με V 1, για το οποίο είναι δεδομένη η επαγωγική υπόθεση: Ε V 1.

Πρέπει να επαληθευτεί το ζητούμενο: Ε 1 V 1 1, για κάθε συνεκτικό γράφημα Δ = (V 1, E 1 ) = ( V {u}, E {{u, z 1 },, {u, z m }} ), Έχουμε: V 1 = V +1, Ε 1 = Ε +m. Eπειδή m 1, είναι ( Ε 1 V 1 ) ( Ε V ). Από την επαγωγική υπόθεση Ε V 1, άρα Ε 1 V 1 1. Αναδρομή για συνεκτικά γραφήματα (με αφαίρεση κορυφής) Για την συνάρτηση Φ(G) όπου G είναι συνεκτικό γράφημα, έστω ότι: 1 Αρχικές περιπτώσεις Υπάρχει μέθοδος που υπολογίζει την τιμή Φ(G), για κάθε συνεκτικό γράφημα G με ακριβώς α κορυφές όπου α κάποιος θετικός ακέραιος. 2 Επαγωγικό βήμα Υπάρχει μέθοδος που: για κάθε ένα συνεκτικό γράφημα Γ = (V, E), V α, χρησιμοποιώντας την τιμή Φ(Γ) ως δεδομένο, μπορεί να υπολογίσει τη ζητούμενη τιμή Φ(Δ), Με βάση τα παραπάνω: η τιμή Φ(G) μπορεί να υπολογιστεί, για κάθε συνεκτικό γράφημα G = (V, E) με V α, με τον παρακάτω αναδρομικό αλγόριθμο F(G) : if V = α then υπολόγισε το F(G), όπως στο (1) return F(G) else βρές μη-κομβικό σημείο u του G υπολόγισε το F( G u ) % αναδρομική κλήση χρησιμοποιώντας το F( G u ) ως δεδομένο, υπολόγισε το F(G) όπως στο (2) return F(G) Ορθότητα του αλγόριθμου F(G) Ορίζουμε την προτασιακή συνάρτηση π(n), όπου n είναι θετικός ακέραιος: π(n) = «O αλγόριθμος F(G) τερματίζει, και F(G) = Φ(G), για κάθε συνεκτικό γράφημα G με ακριβώς n κορυφές». Θα δείξουμε ότι: Άν ισχύουν τα (1, 2), τότε ΤΑ( π(n) ) = true, για κάθε n α. Θα χρησιμοποιήσουμε την αρχή της μαθηματικής επαγωγής για την προτασιακή συνάρτηση π(n). Αρχική περίπτωση Έστω n = α : ισχύει ότι π(α), λόγω του (1) και της πρώτης περίπτωσης του αλγόριθμου F(G). Επαγωγικό βήμα Παίρνουμε n = Κ α, και υποθέτουμε ότι ισχύει π(κ). Για να επαληθεύσουμε το ζητούμενο, π(κ+1), έστω Δ ένα συνεκτικό γράφημα με ακριβώς Κ+1 κορυφές. Πρέπει να δείξουμε ότι η κλήση F(Δ) του αλγόριθμου τερματίζει, και F(Δ) = Φ(Δ).

Επειδή Κ+1 > α, χρησιμοποιείται η δεύτερη περίπτωση του αλγόριθμου F(G). Έστω u το μη-κομβικό σημείο του Δ που επιλέγεται. Το γράφημα Γ = Δ u είναι συνεκτικό και έχει ακριβώς Κ κορυφές, οπότε από την επαγωγική υπόθεση: η κλήση F(Γ) του αλγόριθμου τερματίζει, και F(Γ) = Φ(Γ). Από το (2) και τη δεύτερη περίπτωση του αλγόριθμου F(G), βλέπουμε ότι η κλήση F(Δ) τερματίζει, και F(Δ) = Φ(Δ). Παράδειγμα 2 Να υπολογιστεί, για κάθε συνεκτικό γράφημα G, ένα συνεκτικό και άκυκλο υπο-γράφημα του G, με το ίδιο σύνολο κορυφών. Σύμφωνα με την αναδρομή για συνεκτικά γραφήματα (με αφαίρεση κορυφής): υπάρχει αλγόριθμος που μπορεί να υπολογίσει, για κάθε συνεκτικό γράφημα G = (V, E) με V 1, μία τιμή Τ(G) όπως απαιτείται αρκεί να μπορούν να υπολογιστούν τα παρακάτω: 1 Αρχικές περιπτώσεις Να υπολογιστεί τιμή Τ(G) όπως απαιτείται, για κάθε συνεκτικό γράφημα G με ακριβώς μία κορυφή: Θέτουμε Τ(G) = G. 2 Επαγωγικό βήμα Για κάθε ένα συνεκτικό γράφημα Γ = (V, E) με V 1, Nα υπολογιστεί ζητούμενη τιμή Τ(Δ) όπως απαιτείται, όπου u V, { z 1,..., z m } V, m 1 έχοντας δεδομένη μία τιμή Τ(Γ) = (V, Z) (όπως απαιτείται) : Θέτουμε Τ(Δ) = ( V {u}, Ζ {{u, z 1 }} ). Το γράφημα Τ(Δ) είναι υπο-γράφημα του Δ, με το ίδιο σύνολο κορυφών. Επειδή το Τ(Γ) είναι συνεκτικό, το Τ(Δ) είναι συνεκτικό. Επειδή το Τ(Γ) είναι άκυκλο, το Τ(Δ) είναι άκυκλο η κορυφή u δεν μπορεί να εμφανιστεί σε κύκλο, αφού έχει βαθμό 1. Επαγωγή για συνεκτικά γραφήματα (με αφαίρεση ακμής) Η αρχή της επαγωγής, με αφαίρεση ακμής, για δεδομένη προτασιακή συνάρτηση Π(G) όπου G είναι συνεκτικό γράφημα είναι η παρακάτω: Έστω ότι έχουμε τα εξής: 1 Αρχική περίπτωση TA( Π(G) ) = true, για κάθε συνεκτικό γράφημα G = (V, E) με V =1. 2 Επαγωγικό βήμα Για οποιαδήποτε (συγκεκριμένα) συνεκτικά γραφήματα Γ 1 = (V 1, E 1 ), Γ 2 = (V 2, E 2 ) : Άν θεωρηθεί ως δεδομένη η επαγωγική υπόθεση: TA( Π(Γ 1 ) ) = TA( Π(Γ 2 ) ) = true, Tότε, επαληθεύεται το ζητούμενο: TA( Π(Δ 1 ) ) = TA( Π(Δ 2 ) ) = true, για oποιαδήποτε συνεκτικά γραφήματα i) Δ 1 = ( V 1, E 1 {{z 1, z 2 }} ), όπου z 1 V 1, z 2 V 1 ii) Δ 2 = ( V 1 V 2, E 1 E 2 {{z 1, z 2 }} ), όπου z 1 V 1, z 2 V 2. Με βάση τα παραπάνω, μπορούμε να συμπεράνουμε ότι: TA( Π(G) ) = true, για κάθε συνεκτικό G.

Ορθότητα της επαγωγής για συνεκτικά γραφήματα (με αφαίρεση ακμής) Oρίζουμε την εξής προτασιακή συνάρτηση π(n), όπου n είναι θετικός ακέραιος: π(n) = «ΤΑ(Π(G)) = true, για κάθε συνεκτικό γράφημα G, που έχει το πολύ n ακμές». Θα δείξουμε ότι: Άν ισχύουν τα (1, 2), τότε ΤΑ( π(n) ) = true, για κάθε n 0. Θα χρησιμοποιήσουμε την αρχή της μαθηματικής επαγωγής, για την προτασιακή συνάρτηση π(n). Αρχική περίπτωση Έστω n = 0 : ισχύει ότι π(0), λόγω του (1). Επαγωγικό βήμα Παίρνουμε n = Κ 0, και υποθέτουμε ότι ισχύει π(κ). Για να επαληθεύσουμε το ζητούμενο, π(κ+1), έστω Δ ένα συνεκτικό γράφημα με ακριβώς Κ+1 ακμές. Πρέπει να δείξουμε ότι ΤΑ( Π(Δ) ) = true. Έστω e = {z 1, z 2 } μία ακμή του Δ. Άν το γράφημα Δ e = Γ 1 είναι συνεκτικό: Tο Γ 1 θα έχει ακριβώς Κ ακμές, οπότε από την επαγωγική υπόθεση παίρνουμε ότι ΤΑ( Π(Γ 1 ) ) = true. Χρησιμοποιώντας το (2) (i), βλέπουμε ότι ΤΑ( Π(Δ) ) = true. Άν το γράφημα Δ e δεν είναι συνεκτικό: Έστω Γ 1, Γ 2 οι συνεκτικές συνιστώσες του Δ e. Κάθε ένα από τα Γ 1, Γ 2 θα έχει το πολύ Κ ακμές, οπότε από την επαγωγική υπόθεση παίρνουμε ότι TA( Π(Γ 1 ) ) = TA( Π(Γ 2 ) ) = true. Χρησιμοποιώντας το (2) (ii), βλέπουμε ότι ΤΑ( Π(Δ) ) = true. Σημείωση Άν το γράφημα Δ έχει κύκλο, μπορεί να επιλεγεί μία ακμή e του Δ που να μην είναι γέφυρα οπότε το γράφημα Δ e θα είναι συνεκτικό, και το (2) (ii) δεν θα χρησιμοποιηθεί. Άν το γράφημα Δ δεν έχει κύκλο, δεν υπάρχει ακμή του Δ που να μην είναι γέφυρα. Μπορούμε να δούμε ότι ισχύει η εξής Αρχή της επαγωγής, με αφαίρεση μη-γέφυρας Για δεδομένη προτασιακή συνάρτηση Π(G) όπου G είναι συνεκτικό γράφημα έστω ότι έχουμε τα εξής: 1 Αρχική περίπτωση TA( Π(G) ) = true, για κάθε άκυκλο συνεκτικό γράφημα G = (V, E). 2 Επαγωγικό βήμα Για κάθε ένα συνεκτικό γράφημα Γ = (V, E) : Άν θεωρηθεί ως δεδομένη η επαγωγική υπόθεση: TA( Π(Γ) ) = true, Tότε, επαληθεύεται το ζητούμενο: TA( Π(Δ) ) = true, για κάθε συνεκτικό γράφημα Δ = ( V, E {{z 1, z 2 }} ), όπου z 1 V, z 2 V. Με βάση τα παραπάνω, μπορούμε να συμπεράνουμε ότι: TA( Π(G) ) = true, για κάθε συνεκτικό G. Ορθότητα της επαγωγής, με αφαίρεση μη-γέφυρας Oρίζουμε την εξής προτασιακή συνάρτηση π(n), όπου n είναι θετικός ακέραιος: π(n) = «ΤΑ(Π(G)) = true, για κάθε συνεκτικό γράφημα G, που έχει το πολύ n μη-γέφυρες». Δείχνουμε ότι: Άν ισχύουν τα (1, 2), τότε ΤΑ( π(n) ) = true, για κάθε n 0. Χρησιμοποιούμε την αρχή της μαθηματικής επαγωγής, για την προτασιακή συνάρτηση π(n) εργαζόμαστε όπως προηγουμένως.

ΑΣΚΗΣΕΙΣ 1 Χρησιμοποιώντας την επαγωγή για συνεκτικά γραφήματα (με αφαίρεση ακμής), αποδείξτε ότι: α Για κάθε συνεκτικό γράφημα G = (V, E), είναι Ε V 1. β Κάθε συνεκτικό γράφημα G, έχει ένα συνεκτικό και άκυκλο υπο-γράφημα, με το ίδιο σύνολο κορυφών. 2 Χρησιμοποιώντας την επαγωγή για συνεκτικά γραφήματα (με αφαίρεση κορυφής), αποδείξτε ότι: α β Κάθε συνεκτικό γράφημα G = (V, E) για το οποίο Ε = V 1, είναι άκυκλο. Κάθε συνεκτικό γράφημα G = (V, E) για το οποίο Ε V 1, έχει κύκλο. 3 Να υπολογιστεί, για κάθε συνεκτικό γράφημα G με μέγιστο βαθμό Κ, ένας χρωματισμός των κορυφών του G, με Κ+1 χρώματα (το πολύ), έτσι ώστε: τα χρώματα των άκρων οποιασδήποτε ακμής, να είναι διαφορετικά. Χρησιμοποιείστε την αναδρομή για συνεκτικά γραφήματα (με αφαίρεση κορυφής). 4 Χρησιμοποιώντας την επαγωγή με αφαίρεση μη-γέφυρας, αποδείξτε ότι: Κάθε συνεκτικό γράφημα G = (V, E), έχει τουλάχιστον Ε V 1 κύκλους. Σχετική βιβλιογραφία Κοσμαδάκης Διδακτικές σημειώσεις 1.3 Επαγωγή 2.4 Επαγωγή για τα συνεκτικά γραφήματα Rosen - Discrete Mathematics 5.2 Strong Induction and Well-Ordering 5.3 Recursive Definitions and Structural Induction 5.4 Recursive Algorithms