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

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο

3 η Εργασία: Γενική Εικόνα Αξιόλογη προσπάθεια, ικανοποιητικό αποτέλεσμα. Αρκετές πολύ καλές ή άριστες εργασίες. Οι περισσότερες εργασίες έδειχναν σημαντική προσπάθεια. Δυσκολίες στα ερ. 1.α (και 1.β.ii), ερ. 3 και ερ. 4.ii (και κάποια μικρότερα προβλήματα στο ερ. 5). Υπήρχαν απαντήσεις που φανέρωναν περιορισμένη ενασχόληση. Εν όψει εξετάσεων, σημαντικό να εστιάσετε σε: Διατύπωση ιδιοτήτων σε πρωτοβάθμια γλώσσα (π.χ., ερ. 1 και 2). Σημασιολογική προσέγγιση (ικανοποιησιμότητα σε δεδομένη ερμηνεία, λογική εγκυρότητα, διατύπωση δομών που ικανοποιούν έναν τύπο, π.χ., ερ. 3 και 5). Με την παράδοση της 4 ης εργασίας, (πρέπει να) αρχίσουν επαναλήψεις προετοιμασία για τις εξετάσεις. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 2

Ερώτημα 1.α Διατύπωση σε πρωτοβάθμια γλώσσα: Από όλες τις ταινίες του C προτιμώ την Ν. Γενικά προτιμώ τις Κωμωδίες από τις Δράσης. Εξαίρεση οι Δράσης με πρωταγωνιστή τον D, τιςοποίεςπροτιμώαπόόλεςτιςκωμωδίες. Υπάρχουν δύο ταινίες που προτιμώ από όλες τις υπόλοιπες, αλλά που μεταξύ τους δεν μπορώ να τις συγκρίνω. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 3

Ερώτημα 1.β.ii Διατύπωση σε φυσική γλώσσα: Από όλες τις ταινίες θρίλερ, μόνο αυτές με σκηνοθέτη τον Kubrick προτιμώ από αυτές με σκηνοθέτη τον Hitchcock. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 4

Ερώτημα 3 Κατηγόρημα R(x, y) δηλώνει «x μικρότερος ή ίσος y». Τύπος αληθής σε ρητούς και ψευδής σε φυσικούς. Τύπος αληθής σε φυσικούς και ψευδής σε ρητούς. Ερμηνεία στους φυσικούς που να ικανοποιεί τον τύπο Απλή απάντηση: ερμηνεία όπου P(x) είναι πάντα ψευδές. Η συνεπαγωγή αληθεύει πάντα γιατί η υπόθεση είναι πάντα ψευδής. Ο τύπος είναι ισοδύναμος με τον παρακάτω: Αυτός ο τύπος είναι λογικά έγκυρος! ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 5

Ερώτημα 4 Ερμηνεία στους φυσικούς χωρίς το 0 και το 1. Κατηγόρημα R(x, y) δηλώνει «ο x διαιρεί τον y». Για ποιους φυσικούς x στο σύμπαν μας αληθεύουν οι τύποι: Μοναδικός διαιρέτης του x οεαυτόςτου. Τύπος αληθεύει ανν x είναι πρώτος αριθμός. Όλοι οι διαιρέτες του x διαιρούνται μεταξύ τους. Ο x πρέπει να έχει έναν μόνο πρώτο διαιρέτη. Τύπος αληθεύει ανν x είναι δύναμη πρώτου αριθμού. Μοναδικός διαιρέτης του x ο εαυτός του(x πρώτος αριθμός). ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 6

Γραφήματα και Κατηγορηματική Λογική Σύμπαν οι κορυφές (κατευθυνόμενου) γραφήματος, P(x, y) δηλώνει ακμή από x προς y. Το γράφημα έχει ανακύκλωση. Ηκορυφήx είναι απομονωμένη. Το γράφημα έχει απομονωμένη κορυφή. Ηκορυφήx ανήκει σε (απλό) κύκλο μήκους 3. Κάθε κορυφή που δεν είναι απομονωμένη ανήκει σε κύκλο μήκους 3. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 7

Γραφήματα και Κατηγορηματική Λογική Σύμπαν οι κορυφές (κατευθυνόμενου) γραφήματος, P(x, y) δηλώνει ακμή από x προς y. Υπάρχει μοναδική κορυφή με έξω-βαθμό (ίσο με) 2. Οελάχιστοςέξω-βαθμός του γραφήματος είναι 2. Ηκορυφήx έχει έξω-βαθμό τουλ. 2. Ηκορυφήx έχει έξω-βαθμό (ίσο με) 2. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 8

Γραφήματα και Κατηγορηματική Λογική Σύμπαν οι κορυφές (κατευθυνόμενου) γραφήματος, Q(x, y) δηλώνει ακμή από x προς y. Να σχεδιάσετε κατευθυνόμενο γράφημα με τουλ. 5 κορυφές που αποτελεί μοντέλο για την πρόταση: Υπάρχει κορυφή που δεν έχει ανακύκλωση και συνδέεται με όλες τις άλλες κορυφές, και όλες οι άλλες κορυφές δεν έχουν εξερχόμενες ακμές. x ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 9

Γραφήματα Μοντελοποίηση πολλών σημαντικών προβλημάτων (π.χ. τηλεπικοινωνιακά, οδικά, ηλεκτρικά, κοινωνικά δίκτυα συνεκτικότητα, διαδρομές, δρομολόγηση, ανάθεση πόρων, layouts, ). Γράφημα G(V, E): V κορυφές Ε ακμές(ζεύγη σχετιζόμενων κορυφών) Τάξη V = n και μέγεθος E = m. Κατευθυνόμενα και μη-κατευθυνόμενα, απλά μη-κατευθ. Βάρη (μήκη) στις ακμές 1 3 5 2 4 6 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 10

Πλήρες και Συμπληρωματικό Γράφημα Πλήρες γράφημα n κορυφών: Κ n Όλα τα ζεύγη κορυφών συνδέονται με ακμή: n(n-1)/2 ακμές. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 11

Πλήρες και Συμπληρωματικό Γράφημα Πλήρες γράφημα n κορυφών: Κ n Όλα τα ζεύγη κορυφών συνδέονται με ακμή: n(n-1)/2 ακμές. Συμπληρωματικό γράφημα γραφήματος G. Ίδιο σύνολο κορυφών. Ακμές: όσες δεν υπάρχουν στο G. Συμπληρωματικό του : αρχικό γράφημα G. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 12

Διμερές Γράφημα Ανεξάρτητο σύνολο: σύνολο κορυφών που δεν συνδέονται με ακμή. Διμερές γράφημα: υπάρχει διαμέριση κορυφών σε δύο ανεξάρτητα σύνολα. G(X, Y, E): X και Y ανεξάρτητα σύνολα, ακμές μόνο μεταξύ κορυφών Χ και Υ. G διμερές ανν δεν έχει κύκλους περιττού μήκους. Κύκλος n κορυφών C n : διμερές ανν n άρτιος. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 13

Διμερές Γράφημα Ανεξάρτητο σύνολο: σύνολο κορυφών που δεν συνδέονται με ακμή. Διμερές γράφημα: υπάρχει διαμέριση κορυφών σε δύο ανεξάρτητα σύνολα. G(X, Y, E): X και Y ανεξάρτητα σύνολα, ακμές μόνο μεταξύ κορυφών Χ και Υ. G διμερές ανν δεν έχει κύκλους περιττού μήκους. Κύκλος n κορυφών C n : διμερές ανν n άρτιος. Πλήρες διμερές γράφημα Κ n,m : Δύο ανεξάρτητα σύνολα με n και m κορυφές. Όλες οι n m ακμές μεταξύ τους. Π.χ. Κ 3,3 έχει 9 ακμές. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 14

Χρωματικός Αριθμός k-μερές γράφημα: κορυφές του διαμερίζονται σε k ανεξάρτητα σύνολα. Ενδιαφέρει ελάχιστο k για το οποίο γράφημα G είναι k-μερές. Αυτό ταυτίζεται με χρωματικό αριθμό χ(g) γραφήματος G. Χρωματικός αριθμός: ελάχιστος αριθμός χρωμάτων για χρωματισμό κορυφών ώστε όλες οι ακμές να έχουν άκρα διαφορετικού χρώματος. Κορυφές ίδιου χρώματος: ανεξάρτητο σύνολο. Αν G περιέχει Κ m, χ(g) m ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 15

Χρωματικός Αριθμός Χρωματικός αριθμός: ελάχιστος αριθμός χρωμάτων για χρωματισμό κορυφών ώστε όλες οι ακμές να έχουν άκρα διαφορετικού χρώματος. Κορυφές ίδιου χρώματος: ανεξάρτητο σύνολο. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 16

Βαθμός Κορυφής Βαθμός κορυφής deg(v): #ακμών που προσπίπτουν στη v. Κατευθυνόμενα: προς-τα-έσω και προς-τα-έξω βαθμός. Μη-κατευθυνόμενο G(V, E): Άρτιο πλήθος κορυφών περιττού βαθμού. δ(g): ελάχιστος βαθμός κορυφής στο G. Δ(G): μέγιστος βαθμός κορυφής στο G. Νδοσεκάθεαπλόγράφημα, δύοκορυφέςέχουνίδιοβαθμό. Έχουμε n κορυφές και n-1 πιθανές τιμές βαθμού για κάθε κορυφή. Πιθανές τιμές είτε {0, 1,, n-2} είτε {1, 2,, n-1}. 1 3 5 2 4 6 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) 17

(Απλές) Ασκήσεις Νδο δεν υπάρχει απλό μη κατευθυνόμενο γράφημα με: 8 κορυφές: 1 βαθμού 2, 2 βαθμού 3, 4 βαθμού 4, και 1 βαθμού 5. Άθροισμα βαθμών περιττός (ή ισοδύναμα, περιττό πλήθος κορυφών με περιττό βαθμό). 6 κορυφές: 2 βαθμού 2, 2 βαθμού 3, 1 βαθμού 4, και 1 βαθμού 6. Σε κάθε απλό γράφημα G με n κορυφές, Δ(G) n 1. 5 κορυφές: 1 βαθμού 2 και 4 βαθμού 4. Αφού οι 4 κορυφές με βαθμό 4 συνδέονται με όλες τις άλλες, ο ελάχιστος βαθμός κορυφής πρέπει να είναι 4. 9 κορυφές: 1 βαθμού 1, 2 βαθμού 3, 2 βαθμού 4, 1 βαθμού 5, 1 βαθμού 6, και 2 βαθμού 8. Αφού οι 2 κορυφές με βαθμό 8 συνδέονται με όλες τις άλλες, ο ελάχιστος βαθμός κορυφής πρέπει να είναι 2. Με μαθηματική επαγωγή στον #κορυφών, νδο χ(g) Δ(G)+1. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 18

(Απλές) Ασκήσεις Έστω διμερές γράφημα G(X, Y, E) με n κορυφές. Νδο: ΚάθεακμήέχειτοέναάκροτηςστοΧκαιτοάλλοστοY. Κάποιο από τα X, Y έχει τουλ. n/2 κορυφές. Αν X < n/2 και Y < n/2, X + Y < n, άτοπο. Δ(G) + δ(g) n. Υποθέτουμε ότι X Y. Τότε Δ(G) Y. Έστω κορυφή u Υ. Τότε δ(g) deg(u) Χ. Κάθε γράφημα G με n κορυφές και χ(g) = k έχει ανεξάρτητο σύνολο με τουλ. n/k κορυφές και ΜέγιστοανεξάρτητοσύνολοΙέχειτουλ. n/k κορυφές. Στο συμπληρωματικό γράφημα, το υπογράφημα που ορίζεται από κορυφές του Ι είναι πλήρες και χρειάζεται τουλ. n/k χρώματα. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 19

Υπο-Γραφήματα Υπογράφημα G (V, E ) του G(V, E) όταν V V και E E. Επικαλύπτον (spanning) όταν V = V, δηλ. έχει όλες τις κορυφές του αρχικού γραφήματος, επιλέγουμε τις ακμές που τις συνδέουν. Επαγόμενο (induced) όταν δηλ. έχει όλες τις ακμές του αρχικού μεταξύ των επιλεγμένων κορυφών. 1 3 5 1 3 5 2 4 6 2 4 6 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 20

Διαδρομές, Μονοπάτια, και Κύκλοι Διαδρομή Μονοκονδυλιά Μονοπάτι - Κύκλος Διαδρομή: ακολουθία «διαδοχικών» ακμών. «Διαδοχικές» ακμές: κατάληξη πρώτης = αρχή της δεύτερης. Π.χ. {2, 1}, {1, 3}, {3, 4}, {4, 1}, {1, 5}, {5, 3}, {3, 6}. Μονοκονδυλιά: διαδρομή χωρίς επανάληψη ακμών. (Απλό) μονοπάτι: διαδρομή χωρίς επανάληψη κορυφών (και ακμών). Υπάρχει διαδρομή u v ανν υπάρχει μονοπάτι u v. Απόσταση d(u, v) (χωρίς και με βάρη): μήκος συντομότερου u v μονοπατιού. Κλειστή διαδρομή όταν άκρα της ταυτίζονται. Κλειστή μονοκονδυλιά ή κύκλωμα. (Απλός) κύκλος: μονοπάτι που άκρα του ταυτίζονται («κλειστό» μονοπάτι). ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 21

Συνεκτικότητα (Μη-κατευθυνόμενο) γράφημα G(V, E) συνεκτικό αν για κάθε ζευγάρι κορυφών u, v V, υπάρχει u v μονοπάτι. Μη-συνεκτικό γράφημα αποτελείται από συνεκτικές συνιστώσες: μεγιστοτικά συνεκτικά υπογραφήματα. Γέφυρα (ακμή τομής): ακμή που αν αφαιρεθεί, αυξάνεται το πλήθος των συνεκτικών συνιστωσών. Ακμή γέφυρα ανν δεν ανήκει σε κύκλο. Σημείο άρθρωσης (σημείο κοπής): κορυφή που αν αφαιρεθεί, αυξάνεται το πλήθος των συνεκτικών συνιστωσών. 1 3 5 1 3 5 2 4 6 2 4 6 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 22

Συνεκτικότητα (Κατευθυνόμενο) γράφημα G(V, E) ισχυρά συνεκτικό αν u, v V, υπάρχουν u v και v u μονοπάτια. Για κάθε ζευγάρι κορυφών ισχυρά συνεκτικού γραφήματος, υπάρχει κύκλος που τις περιλαμβάνει. Αν ένα κατευθυνόμενο γράφημα δεν είναι ισχυρά συνεκτικό, διαμερίζεται σε ισχυρά συνεκτικές συνιστώσες: Μεγιστοτικά ισχυρά συνεκτικά υπογραφήματα. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 23

Ασκήσεις G μη συνεκτικό γράφημα. Στο συμπληρωματικό του G, κάθε ζεύγος κορυφών u, v συνδέεται μονοπάτι μήκους 2. Αν u και v σε διαφορετική συνεκτική συνιστώσα του G, συνδέονται με ακμή στο συμπληρωματικό. Αν u και v σε ίδια συνεκτική συνιστώσα, έστω κορυφή w σε άλλη συνιστώσα. Στο συμπληρωματικό, υπάρχουν ακμές {u, w}, {w, v}. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 24

Ασκήσεις Κάθε απλό γράφημα G με n κορυφές και δ(g) (n 1)/2 είναι συνεκτικό (και έχει διάμετρο 2). Έστω u, v κορυφές που δεν συνδέονται με ακμή. Θδο u, v έχουν κοινό γείτονα (άρα συνδέονται με μονοπάτι μήκους 2). Έστω ότι u, v δεν έχουν καμία γειτονική κορυφή κοινή: u έχει τουλ. (n 1)/2 γείτονες, και v έχει τουλ. (n 1)/2 γείτονες, όλοι διαφορετικοί. Άρα έχουμε συνολικά: 2 κορυφές (οι u και v) + (n 1)/2 κορυφές (οι γείτονες του u) + (n 1)/2 κορυφές (οι γείτονες του v) = = n+1 κορυφές, άτοπο! ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 25

Ερώτημα 4, 4 η Εργ. 13-14 Κάθε απλό γράφημα G με n 3 κορυφές και δ(g) (n+1)/2 περιέχει τρίγωνο. Έστω u, v κορυφές που συνδέονται με ακμή (υπάρχει τουλάχιστον μια ακμή στο γράφημα). Θδο u, v έχουν κοινό γείτονα w (άρα τρίγωνο u w v). Έστω ότι u, v δεν έχουν καμία κοινή γειτονική κορυφή: u έχει τουλ. (n+1)/2 γείτονες, και v έχει τουλ. (n+1)/2 γείτονες, όλοι διαφορετικοί. Άρα έχουμε συνολικά: 2 κορυφές (οι u και v) + (n+1)/2 1 κορυφές (οι γείτονες του u εκτός της v) + (n+1)/2 1 κορυφές (οι γείτονες του v εκτός της u) = = n+1 κορυφές, άτοπο! ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 26

Ερώτημα 4.γ, 4 η Εργ. 11-12 Τουρνουά: κατευθυνόμενο γράφημα όπου για κάθε ζευγάρι κορυφών u, v, υπάρχει είτε η ακμή (u, v) είτε η ακμή (v, u). Κάθε τουρνουά με n 1 κορυφές έχει κορυφή προσπελάσιμη από όλες τις άλλες με μονοπάτι μήκους 2. Βάση: Ισχύει τετριμμένα για τουρνουά με 1 κορυφή. Επαγ. υπόθεση: Ισχύει για κάθε τουρνουά με n 1 κορυφές. Επαγ. βήμα: Θδο ισχύει για τουρνουά G(V, E) με n+1 κορυφές. Έστω G τουρνουά που προκύπτει από G με αφαίρεση κορυφής u. Λόγω επαγ. υπόθεσης, κορυφή w στο G προσπελάσιμη από όλες τις άλλες με μονοπάτι μήκους 2. Αν u συνδέεται είτε απευθείας με w είτε με κάποια κορυφή x ηοποία συνδέεται απευθείας με w, τότε w ηζητούμενηκορυφή στο G. Διαφορετικά, w συνδέεται απευθείας με u, και για κάθε κορυφή x που συνδέεται απευθείας με την w, η x συνδέεται απευθείας με την u. Άρα u ηζητούμενηκορυφή στο G. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 27

Κύκλος Euler Κλειστή μονοκονδυλιά που διέρχεται: από κάθε ακμή 1 φορά, και από κάθε κορυφή τουλάχιστον 1 φορά. Συνεκτικό (μη-κατευθ.) γράφημα έχει κύκλο Euler ανν όλες οι κορυφές έχουν άρτιο βαθμό. C g c d A e D a B b f ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 28

Κύκλος Euler Υπάρχει γράφημα G που όλες οι κορυφές έχουν άρτιο βαθμό και έχει γέφυρα; Όχι, τέτοιο γράφημα G έχει κύκλο Euler, άρα όλες οι ακμές του ανήκουν σε κύκλο. Αν σε γράφημα που έχει κύκλο Euler προσθέσουμε ακμές, το γράφημα που προκύπτει έχει κύκλο Euler; Όχι κατ ανάγκη. Μπορεί προσθήκη κορυφών να κάνει τον βαθμό κάποιων κορυφών περιττό. (Γιατί) σε κάθε συνεκτικό μη κατευθυνόμενο γράφημα, υπάρχει κλειστή διαδρομή που διέρχεται από κάθε ακμή (ακριβώς) 2 φορές; «Διπλασιασμός» ακμών οδηγεί σε γράφημα με κύκλο Euler (συνεκτικό και όλες οι κορυφές έχουν άρτιο βαθμό). ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 29

Κύκλος Euler Ποιος είναι ο μέγιστος #ακμών που μπορεί να έχει απλό γράφημα με n κορυφές και κύκλο Euler; Αν n περιττός, n-1 άρτιος: K n έχει κύκλο Euler και n(n-1)/2 ακμές. Αν n άρτιος, αφαιρούμε n/2 ακμές (χωρίς κοινά άκρα) από K n. Προκύπτει γράφημα με κύκλο Euler και n(n-2)/2 ακμές. (Απλό) γράφημα με > n(n-2)/2 ακμές, έχει κορυφή (περιττού) βαθμού n-1. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 30

Κύκλος Hamilton (Απλός) κύκλος που διέρχεται από όλες τις κορυφές. Διέρχεται από κάθε κορυφή 1 φορά. Μπορεί να μην διέρχεται από κάποιες ακμές. Δεν είναι γνωστή ικανή και αναγκαία συνθήκη! Ικανές συνθήκες ώστε G(V, E) έχει κύκλο Hamilton: v V, deg(v) V /2 (Θ. Dirac). u, v V, deg(u) + deg(v) V (Θ. Ore). ΟΣΣ 4 (Θεωρία Γραφημάτων) 31

Κύκλος Hamilton (Απλός) κύκλος που διέρχεται από όλες τις κορυφές. Διέρχεται από κάθε κορυφή 1 φορά. Μπορεί να μην διέρχεται από κάποιες ακμές. Δεν είναι γνωστή ικανή και αναγκαία συνθήκη! Ικανές συνθήκες ώστε G(V, E) έχει κύκλο Hamilton: v V, deg(v) V /2 (Θ. Dirac). u, v V, deg(u) + deg(v) V (Θ. Ore). Αναγκαίες συνθήκες για ύπαρξη κύκλου Hamilton σε γράφημα G: G δεν έχει γέφυρα ή σημείο άρθρωσης. Όλες οι κορυφές του G ανήκουν σε κύκλο. Αν G διμερές, τότε G έχει άρτιο #κορυφών. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 32

Κύκλος Hamilton Για να δείξουμε ότι γράφημα G έχει κύκλο Hamilton, είτε βρίσκουμε κύκλο Hamilton (αν G έχει συγκεκριμένη δομή) είτε δείχνουμε ότι G ικανοποιεί κάποια ικανή συνθήκη. Για να δείξουμε ότι γράφημα G δεν έχει κύκλο Hamilton, δείχνουμε ότι G παραβιάζει κάποια αναγκαία συνθήκη. Αν σε γράφημα που έχει κύκλο Hamilton προσθέσουμε ακμές, το γράφημα που προκύπτει έχει κύκλο Hamilton; Βεβαίως. Υπάρχει κύκλος Hamilton που δεν χρησιμοποιεί νέες ακμές. Αν G έχει γέφυρα, δεν έχει κύκλο Euler ούτε κύκλο Hamilton. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 33

Κύκλος Hamilton Διμερές γράφημα G με περιττό #κορυφών δεν έχει κύκλο Hamilton. Αν G είχε κύκλο Hamilton, αυτός θα ήταν ένας κύκλος περιττού μήκους. Ως διμερές γράφημα, το G δεν έχει κύκλους περιττού μήκους. Νδο κάθε απλό γράφημα με 21 κορυφές και 208 ακμές έχει κύκλο Hamilton και δεν έχει κύκλο Euler. Πρόκειται για Κ 21 από το οποίο έχουν αφαιρεθεί 2 ακμές. Ικανοποιεί Θ. Dirac. Άρα έχει κύκλο Hamilton. Όπως και αν αφαιρεθούν ακμές, προκύπτουν τουλ. 2 κορυφές με βαθμό 19. Άρα δεν έχει κύκλο Euler. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 34

Ερώτημα 2.1, 4 η Εργ. 13-14 Έστω γράφημα για φυσικούς p, q 1. K1 * K 4 4 * K1 K K * K K * K 3 2 2 3 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 35

Ερώτημα 2.1, 4 η Εργ. 13-14 Έστω γράφημα για φυσικούς p, q 1. Για ποιες τιμές των p και q το G: Είναι διμερές; G διμερές ανν p = 1 και q 1. Αν p > 1, τότε τρίγωνο! Έχει κύκλο Euler; G είναι συνδεδεμένο. Κορυφές στο K p έχουν βαθμό ίσο με q + p 1. Κορυφές στο συμπλήρωμα K q έχουν βαθμό ίσο με p. Άρα, G έχει κύκλο Euler ανν p άρτιος και q περιττός. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 36

Ερώτημα 2.1, 4 η Εργ. 13-14 Έστω γράφημα για φυσικούς p, q 1. Για ποιες τιμές των p και q το G: Έχει κύκλο Hamilton; Πρέπει p q, γιατί κορυφές του συμπληρώματος K q δεν συνδέονται. Άρα ο κύκλος Hamilton θα εναλλάσσεται μεταξύ δύο τμημάτων. Πρέπει p 2, διαφορετικά G δεν έχει κύκλο. (p, q), όπου p q και p 2, περιγράφω κύκλο Hamilton. Άρα, υπάρχει κύκλος Hamilton ανν p q και p 2. Ποιος είναι ο χρωματικός αριθμός χ(g); Είναι χ(g) p+1: p χρώματα για K p, ένα για συμπλήρωμα K q. Είναι χ(g) p+1: υπάρχει πλήρες υπογράφημα με p+1 κορυφές. Άρα χ(g) = p+1. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 37

Ερώτημα 4.α, 4 η Εργασία 10-11 Να δείξετε (με επαγωγή) ότι για κάθε n 1, ο υπερκύβος Q(n) διάστασης n είναι διμερές γράφημα. Βάση: Q(1) έχει δύο κορυφές, διμερές γράφημα. Επαγ. Υπόθεση: Για αυθαίρετο n 1, υποθέτουμε ότι Q(n) διμερές γράφημα. Επαγ. Βήμα: Θδο Q(n+1) είναι διμερές γράφημα. Θεωρούμε δύο αντίγραφα Q 0 (n) και Q 1 (n) του υπερκύβου διάστασης n. Επαγ. υπόθεση: Q 0 (n) και Q 1 (n) διμερή γραφήματα. Α 0 και B 0 διαμέριση κορυφών του Q 0 (n). A 1 και Β 1 αντίστοιχη διαμέριση κορυφών του Q 1 (n). Από αναδρ. ορισμό, Q(n+1) προκύπτει συνδέοντας αντίστοιχες κορυφές (και μόνο) των Q 0 (n) και Q 1 (n). Άρα Α 0 Β 1 και Β 0 Α 1 ανεξάρτητα σύνολα, και Q(n+1) είναι διμερές γράφημα. 00 01 10 11 ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 38

Ερώτημα 4.α, 4 η Εργ. 11-12 Σε ένα τουρνουά με n+1 κορυφές, έστω u κορυφή και v 1,, v n μια αρίθμηση των υπόλοιπων n κορυφών. Ισχύει τουλ. ένα από τα: 1. Η u συνδέεται με την v 1. 2. H v n συνδέεται με την u. 3. Υπάρχει δείκτης k, 1 k n 1, ώστε η v k συνδέεται με την u και η u συνδέεται με την v k+1. Έστω ότι δεν ισχύουν τα (1) και (2). Θδο ισχύει το (3). Έστω v k+1 ηπρώτηκορυφή τ.ω. η u συνδέεται με την v k+1. Ισχύει ότι k+1 n, γιατί η u συνδέεται με την v n (δεν ισχύει το (2)). Ισχύει ότι 2 k+1, γιατί η v 1 συνδέεται με την u (δεν ισχύει το (1)). Ισχύει ότι v k συνδέεται με την u, γιατί v k+1 η πρώτη που δεν συνδέεται με u. ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 39

Ερώτημα 4.β, 4 η Εργ. 11-12 Κάθε τουρνουά με n 1 κορυφές έχει μονοπάτι Hamilton. Επαγωγή με χρήση του (4.α) στο επαγωγικό βήμα. Βάση: Ισχύει τετριμμένα για τουρνουά με 1 κορυφή. Επαγ. υπόθεση: Κάθε τουρνουά με n 1 κορυφές έχει μον. Hamilton. Επαγ. βήμα: Θδο αυθαίρετο τουρνουά G(V, E) με n+1 κορυφές έχει μονοπάτι Hamilton. Έστω G τουρνουά που προκύπτει από G με αφαίρεση κορυφής u. Θεωρούμε αρίθμηση v 1,, v n των n κορυφών του G σύμφωνα με μονοπάτι Hamilton στο G (υπάρχει λόγω επαγ. υπόθεσης). u ενσωματώνεται στο μονοπάτι Hamilton v 1,, v n από (4.α). ΠΛΗ 20, ΑΘΗ 1 (2016-2017) ΟΣΣ 4 (Θεωρία Γραφημάτων) 40