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) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
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.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) Το άθροισμα των Βαθμών των όψεων ≤ 2m
1.3) Ο τύπος του Euler
2) Το θεώρημα Kuratowski
2.1) Το Κ5 δεν είναι επίπεδο
2.2) Το Κ3,3 δεν είναι επίπεδο
2.3) Ομοιομορφικά Γραφήματα
2.4) Το θεώρημα του Kuratowski
3) Δύο ακόμη Θεωρήματα
Ασκήσεις
1) Κύκλος Hamilton
1.1) Ορισμός Κύκλου Hamilton
1.2) Πως δείχνουμε ότι ένα γράφημα έχει κύκλο Hamilton (κατασκευαστικές, θεώρημα Dirac, θεώρημα Ore)
1.3) Πως δείχνουμε ότι ένα γράφημα δεν έχει κύκλο Hamilton (Απόδειξη εξαντλητικής περιπτωσιολογίας).
Ασκήσεις
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) Στόχος της Συνδυαστικής
2) Τρόποι Απαρίθμησης
2.1) Καταμέτρηση
2.2) Αρχές Απαρίθμησης
2.2.1) Ο κανόνας του αθροίσματος
2.2.2) Ο κανόνας του γινομένου
2.3) Γενίκευση των Αρχών Απαρίθμησης
2.4) Μαθηματικοί τύποι της Συνδυαστικής
Ασκήσεις
1) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ισομορφισμοί Γραφημάτων
1.1) Ισομορφικά Γραφήματα
1.2) Πως δείχνω ότι δύο γραφήματα είναι ισομορφικά
1.3) Πως δείχνω ότι δύο γραφήματα δεν είναι ισομορφικά
1.4) Αποδείξεις Αναλλοίωτων Ιδιοτήτων
2) Συμπληρωματικοί Ορισμοί
2.1) Αυτομορφισμός
2.2) Αυτοσυμπληρωματικό Γράφημα
Ασκήσεις
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.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) Διανομή σε Υποδοχές
1.1) Διανομή Ομοίων Αντικειμένων σε Υποδοχές
1.2) Διανομή Διαφορετικών Αντικειμένων Χωρίς Σειρά σε Υποδοχές
1.3) Διανομή Διαφορετικών Αντικειμένων Με Σειρά σε Υποδοχές
2) Γνωστά Προβλήματα Διατάξεων
2.1) Εξίσωση
3) Μεθοδολογία Ασκήσεων
3.1) Διανομή Ομάδων Ομοίων
3.2) Διανομή Ομοίων με Περιορισμό
3.3) Διάταξη με Εμφύτευση Υποδοχών
Ασκήσεις
1) Θεωρήματα του Προτασιακού Λογισμού
1.1) Το Θεώρημα Απαγωγής
1.2) Το Θεώρημα Αντιθετοαναστροφής
1.3) Το Θεώρημα Απαγωγής σε Άτοπο
1.4) Το Θεώρημα Εγκυρότητας
1.5) Το Θεώρημα Πληρότητας
2) Τρία Σημαντικά Τυπικά Θεωρήματα
2.1) Το τυπικό Θεώρημα ⊢ φ→φ
2.2) Το τυπικό Θεώρημα ⊢φ→¬¬φ
2.3) Το τυπικό Θεώρημα ⊢ ¬¬ φ→φ
Ασκήσεις
1) Ισομορφισμοί Γραφημάτων
1.1) Ισομορφικά Γραφήματα
1.2) Πως δείχνω ότι δύο γραφήματα είναι ισομορφικά
1.3) Πως δείχνω ότι δύο γραφήματα δεν είναι ισομορφικά
1.4) Αποδείξεις Αναλλοίωτων Ιδιοτήτων
2) Συμπληρωματικοί Ορισμοί
2.1) Αυτομορφισμός
2.2) Αυτοσυμπληρωματικό Γράφημα
Ασκήσεις
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.1.1) Παραδείγματα
1.2) Σύμπαν με περισσότερες κατηγορίες δεδομένων
1.2.1) Παραδείγματα
2) Ερμηνείες των αριθμών
2.1) Σύμπαν Ακεράιων – Πραγματικών
Ασκήσεις
This document summarizes the key details from a longer document about a company's operations. It discusses the company's products and services, including its core product offerings and new product lines. It provides revenue figures for the past year, breaking down revenue sources. It also summarizes initiatives for the coming year, including plans to expand into new markets and develop new technologies.
1) Ορισμός Συνδετικού Δένδρου
1.1) Διάσχιση Πρώτα Κατά Πλάτος
1.2) Διάσχιση Πρώτα Κατά Βάθος
2) Ελάχιστο Συνδετικό Δένδρο
2.1) Ορισμός Ελάχιστου Συνδετικού Δένδρου
2.2) Ο αλγόριθμος του Prim
3) Σύνοψη για τους Αλγόριθμους
3.1) Συντομότερα Μονοπάτια
3.2) Συνδετικό Δένδρο
3.3) Ελάχιστο Συνδετικό Δένδρο
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.
1) Η γλώσσα της Θεωρίας Συνόλων
1.1) Εισαγωγή
2) Υπενθυμίσεις από ΜΑΘ0.1
2.1) Δυναμοσύνολο
2.2) Σχέση Υποσυνόλου
2.3) Σχέση Γνησίου Υποσυνόλου
3) Ασκήσεις
3.1) Στοιχειώδεις προτάσεις με ποσοδείκτες
3.2) Μετάφραση στα ελληνικά
3.3) Περαιτέρω ασκήσεις
Ασκήσεις
1) Απληστοι Αλγόριθμοι
1.1) Συντομότερο Μονοπάτι σε Γράφο
1.1.1) Ο αλγόριθμος του Dijkstra
1.2) Ελάχιστο Συνδετικό Δένδρο
1.2.1) Ο αλγόριθμος του Prim
1.2.2) Ο αλγόριθμος του Kruskal
1.3) Ελαχιστοποίηση Νομισμάτων με Ρέστα
Εφαρμογές
1) Επιστροφή χρηματικού ποσού για ρέστα
2) Άπληστος Αλγόριθμος για Χρωματισμό Γραφήματος
1) Η πρωτοβάθμια γλώσσα
2) Νέα Στοιχεία σε Σχέση με την Προτασιακή γλώσσα
2.1) Τα συναρτησιακά σύμβολα
2.2) Τα κατηγορηματικά σύμβολα
2.3) Ο ποσοδείκτης για κάθε: ∀
2.4) Ο ποσοδείκτης υπάρχει: ∃
2.5) Το σύμβολο ≈
3) Το συντακτικό της Κατηγορηματικής Λογικής
3.1) Εισαγωγή
3.2) Όρος
3.3) Ατομικός Τύπος
3.4) Μη Ατομικός Τύπος
3.5) Δενδροδιάγραμμα Τύπου και Προτεραιότητα Τελεστών
3.6) Πρόταση
4) Δομές και Αποτιμήσεις
4.1) Δομή (ή Ερμηνεία)
4.2) Αποτίμηση
5) Συντομογραφίες Τύπων
5.1) Ορισμός Συντομογραφίας
5.2) Χρήση Συντομογραφίας
6) Μεταφραστικός Πίνακας
Ασκήσεις
ΓΛΩΣΣΑ 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
1. ΠΛΗ20
ΕΝΟΤΗΤΑ 4: ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ
Μάθηµα 4.3:
∆ιαµερίσεις και Χρωµατισµοί∆ιαµερίσεις και Χρωµατισµοί
∆ηµήτρης Ψούνης
2. ΠΕΡΙΕΧΟΜΕΝΑ
Α. Σκοπός του Μαθήµατος
Β.Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
1. ∆ιχοτοµίσιµο Γράφηµα
2. Πλήρες ∆ιχοτοµίσιµο Γράφηµα
3. Σύνολο Ανεξαρτησίας
1. Ορισµός
2. Μεγιστοτικό Σύνολο Ανεξαρτησίας
3. Μέγιστο Σύνολο Ανεξαρτησίας
2∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
3. Μέγιστο Σύνολο Ανεξαρτησίας
4. Πρόσθέτοι Ορισµοί για ∆ιχοτοµίσιµο Γράφηµα
2. Χρωµατισµοί Κορυφών
1. K-Χρωµατίσιµο Γράφηµα
2. Χρωµατικός Αριθµός
Γ. Λυµένες Ασκήσεις
∆. Ασκήσεις
1. Ασκήσεις Κατανόησης
2. Ερωτήσεις
3. Εφαρµογές
3. Α. Σκοπός του Μαθήµατος
Επίπεδο Α
Νέοι Ορισµοί (∆ιχοτοµίσιµο, Πλήρες ∆ιχοτοµίσιµο, κ-χρωµατίσιµο, σύνολο
ανεξαρτησίας)
Ασκήσεις: Ερωτήσεις
Ασκήσεις: Ασκήσεις Κατανόησης
Επίπεδο Β
3∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Επίπεδο Β
Ασκήσεις: Εφαρµογές
Επίπεδο Γ
Ασκήσεις: Λυµένες Ασκήσεις
4. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
1. ∆ιχοτοµίσιµο Γράφηµα
4∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
5. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
1. ∆ιχοτοµίσιµο Γράφηµα
5∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.1: Βασικοί Ορισµοί Θεωρίας Γραφηµάτων
Άσκηση: Ποια από τα παρακάτω γραφήµατα είναι διχοτοµίσιµα;
6. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
2. Πλήρες ∆ιχοτοµίσιµοΓράφηµα
6∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Παράδειγµα: Ο G1 είναι το Κ3,3. Ο G2 είναι το K2,4
7. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
2. Πλήρες ∆ιχοτοµίσιµο Γράφηµα
7∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.1: Βασικοί Ορισµοί Θεωρίας Γραφηµάτων
Άσκηση: Ποια από τα παρακάτω γραφήµατα είναι πλήρη διχοτοµίσιµα;
8. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
3. Σύνολο Ανεξαρτησίας (1. Ορισµός)
8∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.1: Βασικοί Ορισµοί Θεωρίας Γραφηµάτων
Ουσιαστικά: Για να κατασκευάσουµε ένα σύνολο ανεξαρτησίας επιλέγουµε κορυφές που δεν
Παράδειγµα
Ουσιαστικά: Για να κατασκευάσουµε ένα σύνολο ανεξαρτησίας επιλέγουµε κορυφές που δεν
συνδέονται µε ακµή στο αρχικό γράφηµα. Ένα γράφηµα έχει πολλά σύνολα ανεξαρτησιάς.
9. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
3. Σύνολο Ανεξαρτησίας (2. Μεγιστοτικό Σύνολο Ανεξαρτησίας)
9∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Ένα σύνολο ανεξαρτησίας που δεν µπορεί να επαυξηθεί περαιτέρω (προσθέτοντας του
ακόµη µία κορυφή) λέγεται µεγιστοτικό σύνολο ανεξαρτησίας.
• Γενικότερα η έννοια του «µεγιστοτικού» είναι µίας δοµής που αν την επαυξήσουµε,
χάνει την ιδιότητα στην οποία αναφέρεται
Παράδειγµατα Μεγιστοτικών Συνόλων
ΜΕΓΙΣΤΟΤΙΚΟ ΜΕΓΙΣΤΟΤΙΚΟΜΕΓΙΣΤΟΤΙΚΟ
ΜΕΓΙΣΤΟΤΙΚΟ Οχι Μεγιστοτικό (επαυξάνεται µε τη v1) Οχι Μεγιστοτικό (επαυξάνεται
µε τη v2)
ΜΕΓΙΣΤΟΤΙΚΟ
10. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
3. Σύνολο Ανεξαρτησίας (3. Μέγιστο Σύνολο Ανεξαρτησίας)
10∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Το µεγαλύτερο (σε πληθάριθµο) µεγιστοτικό σύνολο ανεξαρτησίας καλείται µεγιστο
σύνολο ανεξαρτησίας.
Παράδειγµατα
ΜΕΓΙΣΤΟ
Μεγιστοτικά αλλα όχι µέγιστα
• Ένα γράφηµα µπορεί να έχει πολλά µέγιστα σύνολα ανεξαρτησίας.
• Π.χ. το Κn έχει n µέγιστα σύνολα ανεξαρτησίας (κάθε κορυφή είναι ένα µεγιστοτικό και
µέγιστο σύνολο ανεξαρτησίας)
• Το πρόβληµα εύρεσης του µεγίστου συνόλου ανεξαρτησίας σε έναν τυχαίο γράφο
είναι πολύ δύσκολο πρόβληµα (NP-Complete, βλ. ΠΛΗ30)
11. B. Θεωρία
1. ∆ιχοτοµίσιµο και Πλήρες ∆ιχοτοµίσιµο Γράφηµα
4. Πρόσθετοι Ορισµοί για ∆ιχοτοµίσιµα Γραφήµατα
11∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Β’ Ορισµός ∆ιχοτοµίσιµου Γραφήµατος
Ένα γράφηµα καλείται διχοτοµίσιµο αν και µόνο αν οι κορυφές του διαµερίζονται σε
δύο σύνολα ανεξαρτησίας.
Πράγµατι σε ένα γράφηµα που είναι διχοτοµίσιµο τα µερίδια των κορυφών V1 και V2 στα οποία
διαµερίζονται οι κορυφές του V είναι σύνολα ανεξαρτησίας (αφου οι κορυφές κάθε συνόλου δεν
συνδέονται µε ακµή:
Γ’ Ορισµός ∆ιχοτοµίσιµου Γραφήµατος
Ένα γράφηµα είναι διχοτοµίσιµο αν και µόνο αν δεν περιέχει κύκλους περιττού
µήκους (για την απόδειξη βλέπε εφαρµογή 3)
συνδέονται µε ακµή:
12. B. Θεωρία
2. Χρωµατισµοί Κορυφών
1. k-Χρωµατίσιµο (ή k-µερές) Γράφηµα
12∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Παράδειγµατα:
2-χρωµατίσιµος 3-χρωµατίσιµος 2-χρωµατίσιµος
13. B. Θεωρία
2. Χρωµατισµοί Κορυφών
1. k-Χρωµατίσιµο (ή k-µερές) Γράφηµα
13∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
• Ένας έγκυρος χρωµατισµός δεν απαιτεί τον χρωµατισµό των κορυφών µε το ελάχιστο δυνατό
πλήθος χρωµατών.
• Έτσι αν ένα γράφηµα είναι π.χ. 2-χρωµατίσιµο, τότε θα είναι και 3-χρωµατίσιµο και 4 –
χρωµατίσιµο, … και n-χρωµατίσιµο (βλέπε παράδειγµα)
• Γενικεύοντας ένα k-χρωµατίσιµο γράφηµα θα είναι και:
• (k+1)-χρωµατίσιµο
• (k+2)-χρωµατίσιµο
Παράδειγµατα:
2-χρωµατίσιµος
• (k+2)-χρωµατίσιµο
• ….
• n-χρωµατίσιµο
3-χρωµατίσιµος 4-χρωµατίσιµος 5-χρωµατίσιµος 6-χρωµατίσιµος
14. B. Θεωρία
2. Χρωµατισµοί Κορυφών
1. k-Χρωµατίσιµο (ή k-µερές) Γράφηµα
14∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
• Το 2-χρωµατίσιµο γράφηµα λέγεται και 2-µερές (διότι δεδοµένου ενός 2-χρωµατισµού µπορούµε
να χωρίσουµε τις κορυφές σε δύο σύνολα ανεξαρτησιας που οι κορυφές κάθε συνόλου είναι
χρωµατισµένες µε το ίδιο χρώµα.
• Το k-χρωµατίσιµο γράφηµα λέγεται και k-µερές (διότι δεδοµένου ενός k-χρωµατισµού µπορούµε
να χωρίσουµε τις κορυφές σε k σύνολα ανεξαρτησιας που οι κορυφές κάθε συνόλου είναι
χρωµατισµένες µε το ίδιο χρώµα.
2-χρωµατίσιµος άρα και διµερής
Παράδειγµατα
3-χρωµατίσιµος άρα και τριµερής
15. B. Θεωρία
2. Χρωµατισµοί Κορυφών
3. Χρωµατικός Αριθµός
15∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Το πρόβληµα της εύρεσης του χρωµατικού αριθµού ενός γραφήµατος είναι υπολογιστικά δύσκολο
πρόβληµα (δεν υπάρχει αποδοτικός τρόπος για να βρίσκουµε γρήγορα τον χρωµατικό αριθµό ενός
Παράδειγµατα:
πρόβληµα (δεν υπάρχει αποδοτικός τρόπος για να βρίσκουµε γρήγορα τον χρωµατικό αριθµό ενός
γραφήµατος – το πρόβληµα είναι NP-Complete – βλ. ΠΛΗ30).
16. Γ. Λυµένες Ασκήσεις
Ασκηση 1
16∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί 06Β
Έστω απλό µη κατευθυνόµενο γράφηµα G(V, E). Συµβολίζουµε µε χ(G) τον χρωµατικό αριθµό του G, και
συµβολίζουµε µε Gu το γράφηµα που αποµένει αν αφαιρέσουµε από το G την κορυφή u και όλες τις ακµές που
προσπίπτουν σε αυτή.
α) Να κατασκευάσετε γράφηµα G(V, E) τέτοιο ώστε για κάθε κορυφή u ∈ V, χ(Gu) < χ(G).
β) Να δείξετε ότι κάθε µη συνδεόµενο γράφηµα G έχει κορυφή u τέτοια ώστε χ(Gu) = χ(G).
γ) Να δείξετε ότι αν για κάθε κορυφή u ενός γραφήµατος G(V, E), χ(Gu) < χ(G), τότε το γράφηµα G είναι
συνδεόµενο.
ΑΠΑΝΤΗΣΗΑΠΑΝΤΗΣΗ
α) Ένα τέτοιο γράφηµα είναι το G=Κ3 (τρίγωνο). Για κάθε κορυφή του u το γράφηµα Gu αποτελείται από δύο
κορυφές και την ακµή που τις συνδέει. Προφανώς ο χρωµατικός αριθµός του G είναι 3, ενώ ο χρωµατικός
αριθµός για κάθε Gu είναι 2 και η σχέση χ(Gu) < χ(G) ισχύει.
β) Εάν ο χρωµατικός αριθµός του G είναι n τότε υπάρχει συνεκτική συνιστώσα που έχει αυτόν χρωµατικό
αριθµό. Θεωρώντας λοιπόν ως u µια κορυφή που δεν ανήκει σ’ αυτήν τη συνεκτική συνιστώσα, η αφαίρεσή της
(µαζί µε τις προσπίπτουσες ακµές) δεν θα επηρεάσει το χρωµατικό αριθµό. Συνεπώς θα ισχύει χ(Gu) = χ(G).
γ) Ουσιαστικά πρόκειται για ισοδύναµη πρόταση της β) (αντιθετοαντίστροφη). Ο ισχυρισµός είναι ο εξής:
Έστω ότι για κάθε κορυφή u ενός γραφήµατος G(V, E), χ(Gu) < χ(G). Τότε το γράφηµα G είναι συνδεόµενο διότι
αν δεν ήταν, σύµφωνα µε το β) θα υπήρχε κορυφή u τέτοια ώστε χ(Gu) = χ(G), άτοπο.
17. Γ. Λυµένες Ασκήσεις
Ασκηση 2
17∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί 07Β
α) Να δείξετε ότι κάθε διµερές γράφηµα µε n κορυφές περιέχει σύνολο ανεξαρτησίας µε τουλάχιστον n / 2
κορυφές.
β) Έστω G απλό µη κατευθυνόµενο γράφηµα µε n κορυφές οι οποίες µπορούν να χρωµατιστούν µε k χρώµατα
ώστε καµία ακµή να µην έχει άκρα του ίδιου χρώµατος. Να δείξετε ότι το G περιέχει σύνολο ανεξαρτησίας µε
τουλάχιστον n / k κορυφές.
ΛΥΣΗ
α) Κάθε δέντρο είναι διµερές (διχοτοµίσιµο) γράφηµα. Συνεπώς µπορούµε να διαµερίσουµε τις κορυφές τουα) Κάθε δέντρο είναι διµερές (διχοτοµίσιµο) γράφηµα. Συνεπώς µπορούµε να διαµερίσουµε τις κορυφές του
σε δύο σύνολα ανεξαρτησίας. Το µεγαλύτερο από αυτά περιλαµβάνει τουλάχιστον
n / 2 κορυφές.
β) Θεωρούµε ένα χρωµατισµό των κορυφών του G µε k χρώµατα ώστε καµία ακµή να µην έχει άκρα του
ίδιου χρώµατος. Παρατηρούµε ότι οι κορυφές του ίδιου χρώµατος αποτελούν ένα σύνολο ανεξαρτησίας.
Εποµένως µπορούµε να διαµερίσουµε τις κορυφές του G σε k σύνολα ανεξαρτησίας. Το µεγαλύτερο από
αυτά περιλαµβάνει τουλάχιστον n / k κορυφές. Πράγµατι, αν κάθε σύνολο ανεξαρτησίας περιείχε λιγότερες
από n / k κορυφές θα είχαµε συνολικά λιγότερες από k (n / k) = n κορυφές, άτοπο.
18. Γ. Λυµένες Ασκήσεις
Ασκηση 3
18∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Έστω G ένα (απλό µη κατευθυνόµενο) γράφηµα µε χρωµατικό αριθµό k ≥ 2. Με αφετηρία το G,
κατασκευάζουµε ένα νέο γράφηµα G' προσθέτοντας µια νέα κορυφή u, την οποία συνδέουµε µε k-
1 αυθαίρετα επιλεγµένες κορυφές του G.
α) Να δείξετε ότι ο χρωµατικός αριθµός του G' είναι k.
β) Χρησιµοποιώντας µαθηµατική επαγωγή στον αριθµό των κορυφών, να δείξετε ότι για κάθε k ≥ 1,
κάθε (απλό µη κατευθυνόµενο) γράφηµα G µε τουλάχιστον k+1 κορυφές και µέγιστο βαθµό
κορυφής k, έχει χρωµατικό αριθµό µικρότερο ή ίσο του k+1.
10Β
κορυφής k, έχει χρωµατικό αριθµό µικρότερο ή ίσο του k+1.
ΛΥΣΗ:
α) Θεωρούµε έναν χρωµατισµό του G µε k χρώµατα. Χρωµατίζουµε τη νέα κορυφή u µε ένα χρώµα
που είναι διαφορετικό από αυτά των k – 1 κορυφών µε τις οποίες η u συνδέεται στο G'. Έτσι
έχουµε έναν χρωµατισµό µε k χρώµατα. Άρα ο χρωµατικός αριθµός του G' είναι µικρότερος ή ίσος
του k. Εάν το νέο γράφηµα G' µπορούσε να χρωµατιστεί µε λιγότερα από k χρώµατα, τότε και το
υπογράφηµα G θα µπορούσε να χρωµατιστεί µε λιγότερα από k χρώµατα, άτοπο. Άρα, ο
χρωµατικός αριθµός του G' είναι ίσος µε k.
19. Γ. Λυµένες Ασκήσεις
Ασκηση 3
19∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
β) Θεωρούµε αυθαίρετα επιλεγµένο φυσικό αριθµό k ≥ 1. Με επαγωγή στο πλήθος των κορυφών του
γραφήµατος θα δείξουµε την ελαφρά ισχυρότερη πρόταση: «για κάθε k ≥ 1, κάθε (απλό µη
κατευθυνόµενο) γράφηµα G µε τουλάχιστον k+1 κορυφές και µέγιστο βαθµό κορυφής το πολύ k,
έχει χρωµατικό αριθµό µικρότερο ή ίσο του k+1».
Βάση της επαγωγής: Το ζητούµενο ισχύει για γράφηµα k+1 κορυφών, καθώς µπορούµε να
χρωµατίσουµε κάθε κορυφή µε διαφορετικό χρώµα.
Επαγωγική υπόθεση: Θεωρούµε αυθαίρετα επιλεγµένο φυσικό αριθµό n ≥ k+1, και υποθέτουµε
10Β
Επαγωγική υπόθεση: Θεωρούµε αυθαίρετα επιλεγµένο φυσικό αριθµό n ≥ k+1, και υποθέτουµε
επαγωγικά ότι κάθε γράφηµα µε n κορυφές και µέγιστο βαθµό κορυφής το πολύ k, έχει χρωµατικό
αριθµό µικρότερο ή ίσο του k+1.
Επαγωγικό βήµα: Θεωρούµε αυθαίρετα επιλεγµένο γράφηµα G µε n+1 κορυφές και µέγιστο βαθµό
κορυφής k. Έστω u µια οποιαδήποτε κορυφή του G, και έστω Gu το γράφηµα που προκύπτει από
την αφαίρεση της κορυφής u και όλων των ακµών που προσπίπτουν σε αυτή. Το Gu έχει n
κορυφές, και µέγιστο βαθµό κορυφής µικρότερο ή ίσο του k. Άρα, σύµφωνα µε την επαγωγική
υπόθεση, οι κορυφές του Gu µπορούν να χρωµατιστούν µε k+1 χρώµατα το πολύ. Το αρχικό
γράφηµα G προκύπτει από το Gu µε την προσθήκη της u, η οποία συνδέεται µε k το πολύ κορυφές
του Gu. Συνεπώς, λόγω του (α), το G, όπως και το Gu, έχει χρωµατικό αριθµό µικρότερο ή ίσο του
k+1.
20. Γ. Ασκήσεις
Άσκηση Κατανόησης 1
20∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Θεωρούµε την οικογένεια γραφηµάτων Kn (κλίκα τάξης n). Εξετάστε ανάλογα µε την τιµή
του n:
1. Είναι διχοτοµίσιµο;
2. Πόσες είναι οι κορυφές του µέγιστου συνόλου ανεξαρτησίας;
3. Ποιος είναι ο χρωµατικός του αριθµός;
21. Γ. Ασκήσεις
Άσκηση Κατανόησης 2
21∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Θεωρούµε την οικογένεια γραφηµάτων Cn (κύκλος τάξης n) για n≥3 πού αποτελείται από
n κορυφές κατά µήκος ενός απλού κύκλου. Εξετάστε ανάλογα µε την τιµή του n:
1. Είναι διχοτοµίσιµο;
2. Πόσες είναι οι κορυφές του µέγιστου συνόλου ανεξαρτησίας;
3. Ποιος είναι ο χρωµατικός του αριθµός;
22. Γ. Ασκήσεις
Άσκηση Κατανόησης 3
22∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Θεωρούµε την οικογένεια γραφηµάτων Wn (τροχός τάξης n) για n≥4 που αποτελείται από
µία κορυφή (κέντρο) που συνδέεται µε ακµή (ακτίνα) µε όλες τις υπόλοιπες κορυφές οι
οποίες και δηµιουργούν ένα απλό κύκλο (βλέπε σχήµα). Εξετάστε ανάλογα µε την τιµή
του n:
1. Είναι διχοτοµίσιµο;
2. Πόσες είναι οι κορυφές του µέγιστου συνόλου ανεξαρτησίας;2. Πόσες είναι οι κορυφές του µέγιστου συνόλου ανεξαρτησίας;
3. Ποιος είναι ο χρωµατικός του αριθµός;
23. Γ. Ασκήσεις
Άσκηση Κατανόησης 4
23∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Θεωρούµε την οικογένεια γραφηµάτων Pn (µονοπάτι µήκους n) ως το γράφηµα που είναι
ένα απλό µονοπάτι µήκους n (βλέπε σχήµα). Εξετάστε ανάλογα µε την τιµή του n:
1. Είναι διχοτοµίσιµο;
2. Πόσες είναι οι κορυφές του µέγιστου συνόλου ανεξαρτησίας;
3. Ποιος είναι ο χρωµατικός του αριθµός;
25. Γ. Ασκήσεις
Ερωτήσεις 2
25∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Ποες από τις παρακάτω προτάσεις που αφορούν απλά µη κατευθυνόµενα γραφήµατα
είναι αληθείς;
1. Κάθε διχοτοµίσιµο γράφηµα είναι συνδεόµενο
2. Υπάρχει γράφηµα που είναι πλήρες και πλήρες διχοτοµίσιµο.2. Υπάρχει γράφηµα που είναι πλήρες και πλήρες διχοτοµίσιµο.
3. Αν ένα γράφηµα έχει 5 κορυφές και είναι πλήρες διχοτοµίσιµο, τότε έχει το πολύ 6
ακµές.
4. Υπάρχει πλήρες διχοτοµίσιµο γράφηµα που περιέχει γέφυρα.
27. Γ. Ασκήσεις
Εφαρµογή 2
27∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Να δείξετε ότι σε κάθε απλό µη κατευθυνόµενο διχοτοµίσιµο γράφηµα µε n κορυφές, το
άθροισµα του µέγιστου βαθµού κορυφής και του ελάχιστου βαθµού κορυφής είναι
µικρότερο ή ίσο του n.
28. Γ. Ασκήσεις
Εφαρµογή 3
28∆ηµήτρης Ψούνης, ΠΛΗ20, Μάθηµα 4.3: ∆ιαµερίσεις και Χρωµατισµοί
Να δείξετε ότι ένα απλό γράφηµα είναι διχοτοµίσιµο αν και µόνο αν δεν περιέχει κύκλους
περιττού µήκους.