1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Κατευθυνόνομενο Γράφημα
1.2) Μονοπάτια
1.3) Κύκλοι
1.4) Έσω και Έξω Βαθμός Κορυφής
1.5) Απομονωμένη Κορυφή
1.6) Πλήρες Γράφημα
2) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
Ασκήσεις
1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
1) Επίπεδο Γράφημα
1.1) Ορισμοί Επίπεδων Γραφημάτων
1.2) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Κατευθυνόνομενο Γράφημα
1.2) Μονοπάτια
1.3) Κύκλοι
1.4) Έσω και Έξω Βαθμός Κορυφής
1.5) Απομονωμένη Κορυφή
1.6) Πλήρες Γράφημα
2) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Κατευθυνόμενων Γραφημάτων
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Μη Κατευθυνόνομενο Γράφημα
2) Ορισμοί στα Μη Κατευθυνόμενα Γραφήματα
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων.
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
1) Το αξιωματικό σύστημα του Προτασιακού Λογισμού (ΠΛ)
1.1) Ορισμός του Αξιωματικού Συστήματος ΠΛ
2) Τι μπορούμε να χρησιμοποιήσουμε σε μια τυπική απόδειξη
2.1) Υποθέσεις του Συνόλου Τύπων
2.2) Ο αποδεικτικός κανόνας Modus Ponens
2.3) Τα αξιωματικά σχήματα ΑΣ1-ΑΣ3
2.3.1) Το αξιωματικό σχήμα 1
2.3.2) Το αξιωματικό σχήμα 2
2.3.3) Το αξιωματικό σχήμα 3
2.3.4) Προς τα εμπρός συλλογιστική
2.3.5) Προς τα πίσω συλλογιστική
2.4) Τυπικά Θεωρήματα
2.5) Τυπικές Συνεπαγωγές
3) Μεθοδολογία
3.1) Προς τα εμπρός συλλογιστική
3.2) Προς τα πίσω συλλογιστική
Ασκήσεις
1) Ερμηνείες εμπνευσμένες από τον πραγματικό κόσμο
1.1) Σύμπαν με μία κατηγορία δεδομένων
1.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις
1) Στόχος της Συνδυαστικής
2) Τρόποι Απαρίθμησης
2.1) Καταμέτρηση
2.2) Αρχές Απαρίθμησης
2.2.1) Ο κανόνας του αθροίσματος
2.2.2) Ο κανόνας του γινομένου
2.3) Γενίκευση των Αρχών Απαρίθμησης
2.4) Μαθηματικοί τύποι της Συνδυαστικής
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
1) Εισαγωγικοί Ορισμοί
1.1) Μη Κατευθυνόνομενο Γράφημα
2) Ορισμοί στα Μη Κατευθυνόμενα Γραφήματα
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.1) Η Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
2.2) Ερμηνείες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3) Ασκήσεις στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων
3.1) Μετάφραση στα Ελληνικά
3.2) Μετάφραση στα Κατηγορηματικά
3.3) Εύρεση Αλήθειας Προτάσεων
3.4) Εύρεση Ερμηνείας που ικανοποιεί δεδομένη πρόταση
3.5) Συντομογραφίες στην Γλώσσα των Μη Κατευθυνόμενων Γραφημάτων.
Ασκήσεις
1) Σύνολο Τύπων
1.1) Ικανοποιήσιμο Σύνολο Τύπων
1.2) Μη Ικανοποιήσιμο Σύνολο Τύπων
2) Ταυτολογική Συνεπαγωγή
2.1) Συμβολισμός της ταυτολογίας
3) Ταυτολογικά Ισοδύναμοι Τύποι
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ορισμός Αλήθειας Tarski
1.1) Ο κανόνας της ισότητας
1.2) Ο κανόνας του κατηγορηματικού συμβόλου
1.3) Ο κανόνας του μονοθέσιου συνδέσμου ¬
1.4) Ο κανόνας του διθέσιου συνδέσμου ∧
1.5) Ο κανόνας του διθέσιου συνδέσμου ∨
1.6) Ο κανόνας του διθέσιου συνδέσμου →
1.7) Ο κανόνας του διθέσιου συνδέσμου ↔
1.8) Ο κανόνας του ποσοδείκτη ∀
1.9) Ο κανόνας του ποσοδείκτη ∃
2) Εύρεση Αλήθειας Τύπου
2.1) Μεθοδολογία
2.2) Παραδείγματα
3) Ικανοποιήσιμος Τύπος
3.1) Ορισμός
3.2) Παραδείγματα
4) Ικανοποιήσιμο Σύνολο Τύπων
4.1) Ορισμός
4.2) Παραδείγματα
5) Έγκυρος ή Λογικά Αληθής Τύπος
5.1) Ορισμός
5.2) Παραδείγματα
6) Λογική Συνεπαγωγή
6.1) Ορισμός
6.2) Παραδείγματα
Ασκήσεις
1) Το αξιωματικό σύστημα του Προτασιακού Λογισμού (ΠΛ)
1.1) Ορισμός του Αξιωματικού Συστήματος ΠΛ
2) Τι μπορούμε να χρησιμοποιήσουμε σε μια τυπική απόδειξη
2.1) Υποθέσεις του Συνόλου Τύπων
2.2) Ο αποδεικτικός κανόνας Modus Ponens
2.3) Τα αξιωματικά σχήματα ΑΣ1-ΑΣ3
2.3.1) Το αξιωματικό σχήμα 1
2.3.2) Το αξιωματικό σχήμα 2
2.3.3) Το αξιωματικό σχήμα 3
2.3.4) Προς τα εμπρός συλλογιστική
2.3.5) Προς τα πίσω συλλογιστική
2.4) Τυπικά Θεωρήματα
2.5) Τυπικές Συνεπαγωγές
3) Μεθοδολογία
3.1) Προς τα εμπρός συλλογιστική
3.2) Προς τα πίσω συλλογιστική
Ασκήσεις
1) Ερμηνείες εμπνευσμένες από τον πραγματικό κόσμο
1.1) Σύμπαν με μία κατηγορία δεδομένων
1.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις
1) Στόχος της Συνδυαστικής
2) Τρόποι Απαρίθμησης
2.1) Καταμέτρηση
2.2) Αρχές Απαρίθμησης
2.2.1) Ο κανόνας του αθροίσματος
2.2.2) Ο κανόνας του γινομένου
2.3) Γενίκευση των Αρχών Απαρίθμησης
2.4) Μαθηματικοί τύποι της Συνδυαστικής
Ασκήσεις
The document summarizes the analysis of a series of potential energy solutions over multiple iterations. It begins by outlining an initial potential energy solution using four components with assigned values. Through further iterations, it modifies the values and components of the solution, concluding with a potential energy solution using three components.
ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 3 - ΚΛΑΣΕΙΣ ΚΑΙ ΔΕΙΚΤΕΣ (4δ)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1.Διαχείριση Μνήμης
1.1.Στατική Δέσμευση Μνήμης
1.2.Στατική Δέσμευση Μνήμης για Συνήθεις Μεταβλητές
1.3.Στατική Δέσμευση Μνήμης για Αντικείμενα
2.Δυναμική Δέσμευση Μνήμης
2.1.Δείκτες (Υπενθύμιση από C)
2.2.Οι τελεστές new και delete
2.3.Δυναμική Δέσμευση για Συνήθεις Μεταβλητές
2.4.Δυναμική Δέσμευση για Αντικείμενα
2.5.Δυναμική Δέσμευση και Κατασκευαστές
3.Κλάσεις που περιέχουν δείκτες
3.1.Παράδειγμα κλάσης που περιέχει δείκτες
3.2.…και ένα πρόβλημα (χωρίς λύση για την ώρα)
4..Δυναμική Δέσμευση Μνήμης για Πίνακες
4.1.Μονοδιάστατοι πίνακες
4.2.Παράδειγμα δέσμευσης μνήμης για μονοδιάστατους πίνακες
4.3.Διδιάστατοι πίνακες
4.4.Παράδειγμα δέσμευσης μνήμης για διδιάστατους πίνακες
B. Ασκήσεις
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
Η ΓΛΩΣΣΑ C++ - ΜΑΘΗΜΑ 2 - ΕΙΣΑΓΩΓΗ ΣΤΙΣ ΚΛΑΣΕΙΣ (4 διαφ)Dimitris Psounis
Α. Θεωρία
1. Κλάσεις
1.1 Γενικά
1.2 Ορισμός Κλάσης
1.3 Δημόσια (public) στοιχεία της κλάσης
1.4 Ιδιωτικά (private) στοιχεία της κλάσης
1.5 Παράδειγμα (προδιαγραφές)
2 Περισσότερα για τις κλάσεις
2.1 Ορισμός Συναρτήσεων έξω από την Κλάση
2.2 Παρουσίαση Ιδιωτικών – Δημόσιων Μέλων μιας κλάσης
2.3 Χωρισμός σε Αρχεία
3. Ειδικές Μεθόδοι Κλάσεων
3.1 Γενικά
3.2 Κατασκευαστής (constructor)
3.3 Καταστροφέας (destructor)
3.4 Ελεγκτές Πρόσβασης (accessors)
B. Ασκήσεις
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
C++ - ΜΑΘΗΜΑ 1 - ΕΙΣΑΓΩΓΗ ΚΑΙ ΣΧΕΣΗ ΜΕ ΤΗ C (4sl/p)Dimitris Psounis
ΠΕΡΙΕΧΟΜΕΝΑ ΜΑΘΗΜΑΤΟΣ
Α. Θεωρία
1. Η Γλώσσα C++
1.1. Γενικά
1.2. Ιστορία – Εκδόσεις
1.3. Η αναγκαιότητα της C
1.4. Μεταγλωττιστές
2. Hello World!
2.1. Πηγαίος Κώδικας
2.2. Σχόλια
2.3. Βιβλιοθήκη iostream
2.4. main, block κώδικα, return
2.5 Είσοδος/Έξοδος
2.5.1. Έξοδος με την cout
2.5.2. Οδηγία using
2.5.3. Περισσότερα για την cout
2.5.4. Είσοδος με την cin
3. Στοιχεία της C
3.1. Μεταβλητές
3.2. Σταθερές
3.3. Τελεστές και η Δομή Ελέγχου
3.4. Δομές Επανάληψης
3.5. Συναρτήσεις
3.5.1. Πολυμορφισμός Συναρτήσεων
3.6. Πίνακες
3.7. Συμβολοσειρές
3.8. Δείκτες
B.Ασκήσεις
Εφαρμογή 1
Εφαρμογή 2
Εφαρμογή 3
2. ΠΕΡΙΕΧΟΜΕΝΑ
Α. Σκοπός του Μαθήµατος
Β.Θεωρία
1. ∆ένδρα
1. Ορισµός ∆ένδρου
2. Συµπληρωµατικοί Ορισµοί
3. ∆άσος
2. Το Θεώρηµα των ∆ένδρων
1. ∆ιατύπωση του Θεωρήµατος
2. Απόδειξη του Θεωρήµατος
3. Επέκταση του Θεωρήµατος
4. Συµπληρωµατικές Παρατηρήσεις στα ∆ένδρα
Γ. Λυµένες Ασκήσεις
∆. Ασκήσεις
1. Ασκήσεις Κατανόησης
2. Ερωτήσεις
3. Εφαρµογές
2∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
3. Α. Σκοπός του Μαθήµατος
Επίπεδο Α
Νέοι Ορισµοί (∆ένδρα και το Θεώρηµα των ∆ένδρων)
Ασκήσεις: Ερωτήσεις
Ασκήσεις: Ασκήσεις Κατανόησης
Επίπεδο Β
Ασκήσεις: Εφαρµογές
Επίπεδο Γ
Ασκήσεις: Λυµένες Ασκήσεις
3∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
4. Παράδειγµα: Βλέπουµε ένα δένδρο (αριστερά) και µία ριζωµένη απεικόνισή του (επιλέγοντας ως
ρίζα την )
B. Θεωρία
1. ∆ένδρα
1. Ορισµός ∆ένδρου
4∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Ορισµός:
• Ένα γράφηµα , είναι δένδρο ανν υπάρχει µοναδικό απλό µονοπάτι από κάθε
κορυφή ∈ σε κάθε κορυφή ∈
Συνήθως τα γραφήµατα που είναι δένδρα συµβολίζονται µε T=(V,E) αντί για G=(V,E)
5. Παράδειγµα: Έστω µια ριζωµένη απεικόνιση ενός δένδρου:
B. Θεωρία
1. ∆ένδρα
2. Συµπληρωµατικοί Ορισµοί για τα ∆ένδρα
5∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
• Το επίπεδο (ή βάθος) κορυφής που είναι η απόσταση (σε πλήθος ακµών) της
κορυφής από τη ρίζα (στο παράδειγµα το επίπεδο της κορυφής v6 είναι 3)
• Το ύψος του δένδρου που είναι το µέγιστο επίπεδο κορυφής (στο παράδειγµα = 4)
• Το βαθµό του δένδρου που είναι ο µέγιστος βαθµός κορυφής (στο παράδειγµα =6
λόγω της v4)
Επίπεδο 0
Επίπεδο 1
Επίπεδο 2
Επίπεδο 3
Επίπεδο 4
6. Παράδειγµα: Έστω µια ριζωµένη απεικόνιση ενός δένδρου:
B. Θεωρία
1. ∆ένδρα
2. Συµπληρωµατικοί Ορισµοί για τα ∆ένδρα
6∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Επιπλέον:
• Κάθε κορυφή µε βαθµό 1 λέγεται φύλλο (ή τερµατική κορυφή ή µενταγιον)
• Κάθε κορυφή µε βαθµό >1 λέγεται εσωτερική κορυφή (ή κορυφή διακλάδωσης)
Ισχύει σε κάθε δένδρο ο τύπος: n=φ+ε
• Όπου n: πλήθος κορυφών, φ: πλήθος φύλλων, ε: πλήθος εσωτερικών κορυφών
Υποδένδρο µε
ρίζα την v4
Πρόγονοι της v4
Παιδιά της v11
7. Παράδειγµα: Βλέπουµε ένα δάσος που αποτελείται από 3 δένδρα
B. Θεωρία
1. ∆ένδρα
3. ∆άσος
7∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Ορισµός:
• Ένα γράφηµα , είναι δάσος αν είναι η ένωση δένδρων
• Ή ισοδύναµα είναι ένα µη συνδεόµενο γράφηµα που κάθε συνεκτική συνιστώσα είναι
δένδρο
Δ V, E
Παρατήρηση: Αν ένα δάσος αποτελείται από k δένδρα, τότε έχει n-k ακµές.
8. B. Θεωρία
2. Το θεώρηµα των δένδρων
1. ∆ιατύπωση του θεωρήµατος
8∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Το Θεώρηµα των ∆ένδρων:
Τα ακόλουθα είναι ισοδύναµα:
1. Το γράφηµα είναι δένδρο (δηλαδή υπάρχει µοναδικό απλό µονοπάτι από κάθε
κορυφή ∈ σε κάθε κορυφή ∈ )
2. Το γράφηµα είναι συνδεόµενο και άκυκλο
3. Το γράφηµα είναι συνδεόµενο και έχει 1 ακµές
4. Το γράφηµα είναι άκυκλο και έχει 1 ακµές
Παρατήρηση 1: Το παραπάνω θεώρηµα είναι διατύπωσης ισοδύναµων προτάσεων. Για
να το αποδείξουµε πρέπει να δώσουµε αποδείξεις ότι
• Αν ισχύει το (1) τότε ισχύει και το (2)
• Αν ισχύει το (2) τότε ισχύει και το (3)
• Αν ισχύει το (3) τότε ισχύει και το (4)
• Αν ισχύει το (4) τότε ισχύει και το (1)
Τότε ισχύει ότι ανα δύο οι προτάσεις είναι ισοδύναµες
Παρατήρηση 2: Το θεώρηµα µας δίνει τις αναγκαίες και ικανές συνθήκες για να είναι ένα
γράφηµα δένδρο. Τελικά το δένδρο είναι ένα άκυκλο συνδεόµενο γράφηµα µε n-1 ακµές
που υπάρχει µοναδικό απλό µονοπάτι µεταξύ κάθε δύο διαφορετικών κορυφών
9. B. Θεωρία
2. Το θεώρηµα των δένδρων
2. Απόδειξη του θεωρήµατος (1 → 2)
9∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Αποδεικνύουµε ότι (1)→(2):
«Αν ένα γράφηµα είναι δένδρο τότε είναι συνδεόµενο και άκυκλο»
Απόδειξη:
Έστω G=(V,E) που είναι δένδρο.
• Αφού το γράφηµα είναι δένδρο, υπάρχει µονοπάτι που συνδέει κάθε δύο διαφορετικές
κορυφές. Άρα είναι συνδεόµενο.
• Έστω ότι το γράφηµα έχει κύκλο. Τότε οποιεσδήποτε δύο κορυφές του κύκλου
συνδέονται µε 2 µονοπάτια (ακολουθώντας αντίστροφα τις κατευθύνσεις του κύκλου).
Άρα υπάρχουν κορυφές που δεν συνδέονται µε µοναδικό µονοπάτι. Άρα το γράφηµα
δεν είναι δένδρο. Άτοπο. Συνεπώς είναι άκυκλο.
Άρα το G είναι συνδεόµενο και άκυκλο.
10. B. Θεωρία
2. Το θεώρηµα των δένδρων
2. Απόδειξη του θεωρήµατος (2 → 3)
10∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Αποδεικνύουµε ότι (2)→(3):
«Αν ένα γράφηµα είναι συνδεόµενο και άκυκλο
τότε είναι συνδεόµενο και έχει |V|-1 ακµές»
Απόδειξη:
Έστω n=|V|, m=|E|. Το αποδεικνύουµε µε επαγωγή, δηλαδή δείχνουµε ότι κάθε συνδεόµενο
και άκυκλο γράφηµα n κορυφών έχει n-1 ακµές.
• Βάση Επαγωγής: ∆είχνουµε ότι ισχύει για n=1, δηλαδή ότι κάθε άκυκλο συνδεόµενο
γράφηµα 1 κορυφής έχει 1-1=0 ακµές. Πράγµατι το γράφηµα 1 κορυφής (τετριµµένο
γράφηµα) έχει 0 ακµές.
• Επαγωγική Υπόθεση: Υποθέτω ότι κάθε άκυκλο και συνδεόµενο γράφηµα k κορυφών έχει
k-1 ακµές.
• Επαγωγικό Βήµα: ∆είχνω ότι κάθε άκυκλο και συνδεόµενο γράφηµα k+1 κορυφών έχει k
ακµές.
Απόδειξη: Θεωρώ άκυκλο και συνδεόµενο γράφηµα k κορυφών. Από επαγωγική
υπόθεση έχει k-1 ακµές. Προσθέτω µία ακόµη κορυφή σε αυτό. Η νέα κορυφή πρέπει να
συνδέεται µε τουλάχιστον 1 κορυφή (για να είναι συνδεόµενο το γράφηµα που
προκύπτει) και το πολύ 1 (αν συνδεθεί µε παραπάνω από µία κορυφή τότε θα προκύψει
κύκλος, αφού οι κορυφές που θα συνδεθεί συνδέονται ήδη µε µονοπάτι). Άρα θα
προστεθεί ακριβώς µία ακµή, άρα θα έχει k ακµές.
11. B. Θεωρία
2. Το θεώρηµα των δένδρων
2. Απόδειξη του θεωρήµατος (3 → 4)
11∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Αποδεικνύουµε ότι (3)→(4):
«Αν ένα γράφηµα είναι συνδεόµενο και έχει |V|-1 ακµές
τότε είναι άκυκλο και έχει |V|-1 ακµές»
Απόδειξη (αρκεί να δείξω ότι το G είναι άκυκλο):
• Έστω ότι G περιέχει έναν κύκλο C µε k κορυφές. Ο κύκλος αυτός θα περιέχει k ακµές.
Έστω G1 αυτή η συνιστώσα του γραφήµατος
• Οι υπόλοιπες n-k κορυφές θα συνδέονται µε το πολύ n-k-1 ακµές, οπότε θα
δηµιουργείται ένα δένδρο n-k κορυφών. Έστω G2 αυτή η συνεκτική συνιστώσα του
γραφήµατος
• Συνεπώς οι δύο συνεκτικές συνιστώσες G1,G2 θα έχουν συνολικά k+(n-k+1)=n+1
ακµές. Άρα οι δύο συνεκτικές συνιστώσες δεν θα συνδέονται.
• Άρα το γράφηµα δεν είναι συνδεόµενο. Άτοπο. Άρα το γράφηµα είναι άκυκλο.
12. B. Θεωρία
2. Το θεώρηµα των δένδρων
2. Απόδειξη του θεωρήµατος (4 → 1)
12∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Αποδεικνύουµε ότι (4)→(1):
«Αν ένα γράφηµα είναι άκυκλο και έχει |V|-1 ακµές
τότε είναι δένδρο»
Απόδειξη (αρκεί να δείξω ότι κάθε δύο κορυφές του G συνδέονται µε µοναδικό απλό
µονοπάτι):
• G είναι συνδεόµενο. Πράγµατι αν δεν ήταν τότε υποχρεωτικά µία συνεκτική
συνιστώσα του θα ήταν κύκλος. Άρα κάθε δύο διαφορετικές κορυφές συνδέονται µε
τουλάχιστον ένα µονοπάτι.
• Υπάρχει µοναδικό µονοπάτι µεταξύ δύο διαφορετικών κορυφών. Πράγµατι αν
υπήρχαν 2 µονοπάτια, τότε η ένωσή τους θα δηµιουργούσε κύκλο.
13. B. Θεωρία
2. Το θεώρηµα των δένδρων
3. Επέκταση του θεωρήµατος
13∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Θεώρηµα:
Τα ακόλουθα είναι ισοδύναµα:
1. Το γράφηµα είναι δένδρο (δηλαδή υπάρχει µοναδικό απλό µονοπάτι από κάθε
κορυφή ∈ σε κάθε κορυφή ∈ )
2. Το γράφηµα είναι συνδεόµενο και άκυκλο
3. Το γράφηµα είναι συνδεόµενο και έχει 1 ακµές
4. Το γράφηµα είναι άκυκλο και έχει 1 ακµές
5. Το γράφηµα είναι ελαχιστοτικά συνδεδέµένο
6. Το γράφηµα είναι µεγιστοτικά άκυκλο
Παρατήρηση: Οι δύο επιπλέον προτάσεις αποτελούν ικανές και αναγκαίες συνθήκες
επίσης για να είναι ένα γράφηµα δένδρο.
Ελαχιστοτικά συνδεδέµένο είναι ένα γράφηµα που
• είναι συνδεδεµένο και
• αν του αφαιρέσουµε έστω µία ακµή τότε παύει να είναι συνδεδεµένο
Μεγιστοτικά Άκυκλο είναι ένα γράφηµα που
• είναι άκυκλο και
• αν του προσθέσουµε έστω µία ακµή τότε παύει να είναι άκυκλο
14. B. Θεωρία
2. Το θεώρηµα των δένδρων
4. Συµπληρωµατικές Παρατηρήσεις στα ∆ένδρα
14∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Συµπληρωµατικές Παρατηρήσεις στα ∆ένδρα
Τα ακόλουθα λήµµατα ισχύουν στα δένδρα:
1. Κάθε δένδρο είναι απλό γράφηµα
2. Κάθε δένδρο είναι διχοτοµίσιµο γράφηµα
3. Κάθε δένδρο είναι επίπεδο γράφηµα
4. Κάθε δένδρο µε |V|≥2 έχει τουλάχιστον 2 φύλλα.
5. Κάθε δένδρο µε |V|>2 έχει τουλάχιστον µία εσωτερική κορυφή
6. Αν µια κορυφή έχει βαθµό k, τότε το δένδρο έχει τουλάχιστον k φύλλα.
7. Κάθε εσωτερική κορυφή είναι σηµείο κοπής και κάθε ακµή είναι γέφυρα.
8. Αν αφαιρέσουµε ένα φύλλο από ένα δένδρο, τότε το γράφηµα παραµένει δένδρο
9. Κάθε µεγιστοτικό µονοπάτι ξεκινάει και καταλήγει σε φύλλο.
15. Γ. Λυµένες Ασκήσεις
Ασκηση 1
15∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
ΛΥΣΗ:
1) Σε ένα δέντρο µε n ≥ 3 κορυφές, θεωρούµε δύο κορυφές u και v που συνδέονται µε ακµή. Να δείξετε ότι το
άθροισµα των βαθµών των κορυφών u και v είναι:
α) µεγαλύτερο ή ίσο του 3.
β) µικρότερο ή ίσο του n.
2) Έστω v1, v2, v3 τρεις διαφορετικές κορυφές ενός δένδρου Τ. Να δείξετε ότι υπάρχει µία µοναδική κορυφή v του
T (όχι κατ’ ανάγκη διαφορετική από τις v1, v2, v3) που ανήκει και στα τρία µονοπάτια που συνδέουν τις κορυφές v1
και v2 , v1 και v3 , και v2 και v3 στο δέντρο Τ.
1) α) Οι κορυφές της ακµής uv έχουν βαθµό τουλάχιστον 1. Θα ήταν ακριβώς 1 αν και οι δύο κορυφές u,v ήταν φύλλα
αλλά αυτό δεν είναι δυνατόν καθώς το δέντρο έχει τουλάχιστον τρεις κορυφές. Άρα η µια τουλάχιστον κορυφή από τις u,
v θα είναι εσωτερική µε βαθµό τουλάχιστον 2 και το άθροισµα των βαθµών θα είναι ≥ 3.
β) Οι κορυφές u,v δε µπορεί να γειτονεύουν µε κάποια τρίτη κοινή κορυφή διότι θα σχηµατιζόταν τρίγωνο, δηλαδή
κύκλος, άτοπο σε ένα δέντρο. Άρα οι γειτονιές τους Ν(u) και N(v) είναι ξένες µεταξύ τους που σηµαίνει ότι |N(u)|+|N(v)|
≤ n. Συνεπώς το άθροισµα των βαθµών των δύο κορυφών είναι το πολύ n.
2ος
τρόπος: το άθροισµα των βαθµών όλων των κορυφών είναι )1(22 −= ne . Η ελάχιστη τιµή του αθροίσµατος αυτού
είναι )2()()( −++ nvdud στην περίπτωση που όλες οι υπόλοιπες κορυφές είχαν βαθµό 1. Άρα,
2)()()1(2 −++≥− nvdudn ⇒ nnnvdud =+−−≤+ 222)()(
2008.Β
16. Γ. Λυµένες Ασκήσεις
Ασκηση 1
16∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
2) Εάν οι κορυφές 321 ,, vvv δεν είναι διαφορετικές ή δύο από αυτές δεν είναι διαφορετικές η ερώτηση είναι εντελώς
τετριµµένη. Τα µονοπάτια από την κορυφή v1 προς τις κορυφές v2 και v3 είναι µοναδικά και έστω x η τελευταία κοινή
κορυφή των δύο µονοπατιών. Οµοίως έστω y η τελευταία κοινή κορυφή των µονοπατιών από την v2 προς τις v1 και v3.
Οι κορυφές x, y δεν µπορεί να είναι διαφορετικές διότι αν x≠y τότε στο δένδρο Τ θα υπήρχε ο κύκλος xyvx →→→ 3
το οποίο δεν είναι δυνατόν δεδοµένου ότι τα δένδρα δεν έχουν κύκλους.
V1
V3
V2
x
y
17. Γ. Λυµένες Ασκήσεις
Ασκηση 2
17∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
α) Έστω T δένδρο µε 2n ≥ κορυφές που έχουν βαθµούς 1 2, ,..., nd d d . ∆είξτε ότι ισχύει 2 2id n= −∑ .
β) Έστω 2n ≥ και φυσικοί 1 2, ,..., 1nd d d ≥ για τους οποίους ισχύει ότι 2 2id n= −∑ . ∆είξτε ότι υπάρχει δένδρο
µε n κορυφές και βαθµούς κορυφών 1 2, ,..., nd d d .
(Υπόδειξη: Κάντε την απόδειξη µε επαγωγή. Στο επαγωγικό βήµα δείξτε ότι όταν ισχύει η σχέση τουλάχιστον µία
κορυφή έχει βαθµό 1.)
α) Εφόσον το Τ είναι δένδρο έχει 1n − ακµές. Επίσης το άθροισµα των βαθµών του είναι από το λήµµα της
χειραψίας το διπλάσιο του αριθµού των ακµών, πράγµα που δίνει το ζητούµενο.
2009.Α
18. Γ. Λυµένες Ασκήσεις
Ασκηση 2
18∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
β) Αν n=2 τότε η σχέση γίνεται 1 2 2d d+ = και οι µόνοι φυσικοί που πληρούν την σχέση είναι οι 1 2 1d d= =
οπότε το µοναδικό απλό γράφηµα που την ικανοποιεί είναι το δέντρο που αποτελείται από δύο κορυφές που
ενώνονται µεταξύ τους µε ακµή. Για την υπόθεση της επαγωγής, έστω ότι για 2n > και για οποιουσδήποτε
φυσικούς 1 2, ,..., 1nd d d ≥ που πληρούν την σχέση 2 2id n= −∑ , υπάρχει δένδρο µε n κορυφές οι βαθµοί των
οποίων είναι οι 1 2, ,..., nd d d . Έστω τώρα ότι δίνονται 1n + φυσικοί 1 2 1' , ' ,..., ' 1nd d d + ≥ για τους οποίους ισχύει
' 2( 1) 2 2id n n= + − =∑ . Αν όλοι είναι µεγαλύτεροι ή ίσοι του 2, τότε ' 2 ( 1) 2 2id n n≥ ⋅ + = +∑ , άτοπο. Άρα
ένας τουλάχιστον φυσικός έστω ο 1' 1nd + = . ∆εν µπορεί όµως και όλοι να είναι ίσοι µε 1 γιατί τότε το άθροισµα
τους θα είναι 1n + , που είναι πάλι άτοπο. Υπάρχει λοιπόν και κάποιος, έστω ο 'nd , που είναι µεγαλύτερος του 1.
Ας ελαττώσουµε λοιπόν τον βαθµό του 'nd κατά 1, δηλ. ας αντικαταστήσουµε το 'nd µε το '' ' 1n nd d= −
(προφανώς '' 1nd ≥ ). Έχουµε λοιπόν ότι οι n φυσικοί 1 2' , ' ,..., ''nd d d έχουν άθροισµα
1 2 1' ' ' '' 2 2n nd d d d n−+ + + + = −L , άρα πληρούν τις προϋποθέσεις της επαγωγικής υπόθεσης και συνεπώς υπάρχει
δένδρο T µε n κορυφές οι βαθµοί των οποίων είναι οι 1 2' , ' ,..., ''nd d d . Συνδέουµε στο T την κορυφή βαθµού
''nd µε µια καινούργια κορυφή µέσω µιας ακµής. Το προκύπτον γράφηµα είναι και πάλι δένδρο, έχει 1n +
κορυφές και οι βαθµοί τους είναι οι δοθέντες φυσικοί 1 2 1' , ' ,..., 'nd d d + .
19. Γ. Λυµένες Ασκήσεις
Ασκηση 3
19∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
α) Έστω G διµερές γράφηµα στο οποίο όλες οι κορυφές έχουν τον ίδιο βαθµό 2k ≥ .
(i) ∆είξτε ότι τα δύο µέρη του G έχουν τον ίδιο αριθµό κορυφών.
(ii) ∆είξτε ότι στο G δεν µπορεί να υπάρχει γέφυρα.
β) ∆είξτε ότι αν σε ένα δένδρο µε τουλάχιστον 4 κορυφές προσθέσουµε 3 οποιεσδήποτε ακµές, το
προκύπτον γράφηµα είναι επίπεδο. ∆είξτε ότι το ίδιο δεν ισχύει για 4 ακµές (δώστε ένα αντιπαράδειγµα για αυτό).
α) (i) Έστω X και Y τα δύο µέρη του G. Ο αριθµός των ακµών που προσπίπτουν στο X είναι | |k X . Παρόµοια
οι ακµές που προσπίπτουν στο Υ είναι | |k Y . Εξισώνοντας, παίρνουµε | | | |X Y= .
(ii) Έστω ότι υπάρχει γέφυρα e σε κάποια συνιστώσα του γραφήµατος. Αφαιρώντας την e , παίρνουµε δύο
συνεκτικές συνιστώσες τις οποίες η e συνέδεε σε µία. Κάθε µία από αυτές είναι βέβαια διµερές γράφηµα µε
µέρη έστω τα σύνολα A και B και µε περισσότερες της µίας κορυφές (επειδή 2k ≥ ). Όλες οι κορυφές της
συνιστώσας έχουν βαθµό k εκτός από το άκρο της e στην συνιστώσα (ας πούµε ότι βρίσκεται στο σύνολο A )
που έχει βαθµό 1k − . Ακολουθώντας την σκέψη του (i) παίρνουµε ότι | | 1 | |k A k B− = . Ισοδύναµα,
(| | | |) 1k A B− = . Όµως η εξίσωση αυτή δεν µπορεί να ισχύει για φυσικούς | |,| |A B και 2k ≥ .
β) Έστω ότι υπάρχει δένδρο T και 3 ζευγάρια κορυφών του (όχι ξένα κατ’ ανάγκη) που αν τα ενώσουµε µε ακµές
προκύπτει µη επίπεδο γράφηµα. Από το Θεώρηµα Kuratowski αυτό σηµαίνει ότι το γράφηµα αυτό περιέχει
υπογράφηµα οµοιοµορφικό του 5K ή του 3,3K . Αν τώρα αφαιρέσουµε αυτές τις 3 ακµές πρέπει να επανέλθουµε
στο αρχικό µας δένδρο T . Όµως µε την αφαίρεση µόνο 3 ακµών δεν µπορούν να καταστραφούν όλοι οι κύκλοι
του 5K ή του 3,3K , άτοπο. Για την περίπτωση των 4 ακµών, αν θεωρήσουµε το P6 (µονοπάτι 6 κορυφών), µπορού-
µε να προσθέσουµε 4 ακµές και να πάρουµε το 3,3K .
2011.Α
20. ∆. Ασκήσεις
Άσκηση Κατανόησης 1
20∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Σχεδιάστε όλα τα µη-ισοµορφικά δέντρα µε 6 κορυφές.
21. ∆. Ασκήσεις
Άσκηση Κατανόησης 2
21∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Κατασκευάστε ένα δέντρο που να έχει 10 κορυφές για τις παρακάτω περιπτώσεις:
Α) έχει 6 κορυφές βαθµού 1 και 4 βαθµού 3.
Β) έχει µόνο δύο κορυφές βαθµού 1
Γ) έχει τον µέγιστο αριθµό κορυφών βαθµού 1
∆) έχει µια κορυφή βαθµού 5, µία βαθµού 4, µια βαθµού 3, και οι υπόλοιπες βαθµού 1
22. ∆. Ασκήσεις
Άσκηση Κατανόησης 3
22∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Σχεδιάστε καθένα από τα ακόλουθα ή αν δεν µπορείτε εξηγήστε το γιατί:
α) Ένα δάσος µε 10 κορυφές και ακριβώς 12 ακµές.
β) Ένα δάσος µε 10 κορυφές και ακριβώς 10 ακµές.
γ) Ένα δάσος µε 10 κορυφές και ακριβώς 8 ακµές.
δ) Ένα δάσος µε 10 κορυφές και ακριβώς 6 ακµές.
23. ∆. Ασκήσεις
Άσκηση Κατανόησης 4
23∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Υποθέτουµε ότι ένα δέντρο T=(V,E), |V|=n, |E|=e, έχει n κορυφές οι οποίες είναι είτε
βαθµού 1 είτε βαθµού 3. ∆είξτε ότι το Τ πρέπει να έχει άρτιο αριθµό κορυφών και
ακριβώς (n-2)/2 κορυφές βαθµού 3.
24. ∆. Ασκήσεις
Άσκηση Κατανόησης 5
24∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Πόσες κορυφές µπορεί να έχει ένα αυτοσυµπληρωµατικό γράφηµα αν είναι δέντρο; Να
σχεδιάσετε όλα τα αυτοσυµπληρωµατικά γραφήµατα που είναι δένδρα.
25. ∆. Ασκήσεις
Ερωτήσεις 1
25∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Ένα µη κατευθυνόµενο γράφηµα G µε n κορυφές είναι δέντρο αν και µόνο αν
1. Το G είναι συνδεόµενο και έχει n – 1 ακµές.
2. Το G δεν έχει κύκλους και έχει κορυφή βαθµού 1.
3. Το G δεν έχει κύκλους και έχει n – 1 ακµές.
4. Το G είναι συνδεόµενο και δεν έχει παράλληλες ακµές ούτε ανακυκλώσεις.
26. ∆. Ασκήσεις
Ερωτήσεις 2
26∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Ποιες από τις παρακάτω προτάσεις αληθεύουν και ποιες όχι;
1. Κάθε γράφηµα µε n κορυφές και n – 1 ακµές είναι συνδεόµενο.
2. Σε κάθε δέντρο µε τουλάχιστον 3 κορυφές, τα φύλλα αποτελούν σύνολο
ανεξαρτησίας.
3. Υπάρχει απλό διµερές (διχοτοµίσιµο) γράφηµα µε n κορυφές και n(n – 1) / 2
ακµές.
4. Το συµπληρωµατικό κάθε γραφήµατος είναι συνδεόµενο.
27. ∆. Ασκήσεις
Ερωτήσεις 3
27∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Στις παρακάτω προτάσεις το Τ είναι δένδρο n≥3 κορυφών.
1. Αν ο µέγιστος βαθµός του Τ είναι ∆, τότε το Τ έχει τουλάχιστον ∆ φύλλα.
2. Κάθε ζευγάρι κορυφών του Τ ενώνονται µε ένα µοναδικό µονοπάτι.
3. Το συµπληρωµατικό του Τ είναι πάντα συνεκτικό γράφηµα.
4. Τα φύλλα του Τ αποτελούν σύνολο ανεξαρτησίας.
28. ∆. Ασκήσεις
Ερωτήσεις 4
28∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Ποιες από τις παρακάτω προτάσεις αληθεύουν και ποιες όχι;
1. ∆ύο γραφήµατα είναι οµοιοµορφικά µεταξύ τους αν και µόνο αν αµφότερα είναι
επίπεδα γραφήµατα.
2. Κάθε γράφηµα οµοιοµορφικό µε το Κ2,3 είναι διµερές (διχοτοµίσιµο).
3. Όλα τα δέντρα είναι οµοιοµορφικά µεταξύ τους.
4. Κάθε συνδεδεµένο επίπεδο γράφηµα µπορεί να µετατραπεί σε δέντρο µε την
αφαίρεση τόσων ακµών όσες είναι οι εσωτερικές του όψεις.
29. ∆. Ασκήσεις
Εφαρµογή 1
29∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Αποδείξτε ότι το πλήθος των φύλλων σε ένα δένδρο που κάθε κορυφή που δεν είναι
φύλλο έχει βαθµό δ, είναι
! 2 # 2
! 1
30. ∆. Ασκήσεις
Εφαρµογή 2
30∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Έστω Τ ένα δένδρο στο οποίο ο αριθµός των κορυφών που έχουν βαθµό i, για i=1,^,∆
(όπου ∆ ο µέγιστος βαθµός κορυφής στο Τ) είναι pi. Να αποδείξετε ότι:
$ $ # 2$ # 3$ # ⋯ # Δ 2 $' # 2
31. ∆. Ασκήσεις
Εφαρµογή 3
31∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
∆είξτε µε µαθηµατική επαγωγή ότι κάθε δένδρο µε τουλάχιστον 2 κορυφές είναι
διχρωµατίσιµο γράφηµα
32. ∆. Ασκήσεις
Εφαρµογή 4
32∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
∆είξτε ότι σε κάθε δάσος που αποτελείται από k δένδρα ισχύει ο τύπος m=n-k
33. ∆. Ασκήσεις
Εφαρµογή 5
33∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 6.1: Βασικοί Ορισµοί στα ∆ένδρα
Εξετάστω τις παρακάτω προτάσεις που αφορούν δένδρα. Αν είναι αληθείς να δώσετε
απόδειξη, ενώ αν είναι ψευδείς να δώσετε κάποιο κατάλληλο αντιπαράδειγµα.
1. Αν G=(V,E) είναι γράφος µε 3 κύκλους συνολικά, τότε |E(G)| ≥ |V(G)|+2
2. Αν Τ δένδρο µε 2 κορυφές βαθµού 2, 7 κορυφές βαθµού 3, 2 κορυφές βαθµού 4 (µε
µέγιστο βαθµό κορυφής 4) τότε το Τ έχει 13 ακµές
3. Ένα δένδρο Τ µε |V(T)| ≥ 3 έχει περισσότερα σηµεία κοπής από ότι γέφυρες.
4. Υπάρχουν δένδρα που όλες οι κορυφές είναι σηµεία κοπής.
5. Υπάρχουν ακριβώς δύο δένδρα που είναι κανονικά γραφήµατα.