ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων ημήτρης Φωτάκης ιακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο
4 η Εργασία: Γενική Εικόνα Αντίστοιχη βαθμολογικά και ποιοτικά με την 3 η εργασία. Ενθαρρυντικό: σε μια εργασία με «άρωμα εξετάσεων», όσοι προσπαθήσατε, δείξατε ότι μπορείτε να τα καταφέρετε. Θεωρία Γραφημάτων έχει βαρύτητα 40% στις εξετάσεις. Προετοιμασία εν όψει εξετάσεων (Σαβ. 6/7, ο μηγένοιτοκυρ. 28/7): Μελέτη Θεωρίας Γραφημάτων σε βάθος και επίλυση ασκήσεων (λίγες ευκαιρίες για επανάληψη!). Επαναλήψεις σε συνδυαστική μαθηματική λογική (με ασκήσεις και αναφορά σε θέματα εργασιών και εξετάσεων). Εξάσκηση σε σύντομη και περιεκτική διατύπωση των λύσεων. Προετοιμασία «τυπολογίου» (3 φύλλα Α4, χειρόγραφα). ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 2
ομή Εξετάσεων: Α Μέρος 10 Ερωτήματα, από 4 προτάσεις το καθένα (4 10 = 40). Κάθε πρόταση πρέπει να χαρακτηριστεί ως Σωστή ή Λάθος. Όχι απάντηση: 0. Σωστή απάντηση: 1. Λάθος απάντηση: 0.5 Ελάχιστη βαθμολογία σε κάθε ερώτημα: 0. Χρόνος: συνήθως 1 ώρα και 10 λεπτά. Βαρύτητα: περίπου 1/3 συνολικής βαθμολογίας. Εξετάζονται τα πάντα! Αλλά (σχετικά) εύκολα και έτσι ώστε να λύνονται (σχετικά) γρήγορα. Βασικό η ακριβής κατανόηση του ζητούμενου. Σε κάποιες περιπτώσεις «οι λέξεις κάνουν τη διαφορά»! «Τυπολόγιο» δεν βοηθάει σημαντικά, λόγω χρόνου. Εξάσκηση, ψυχραιμία, προσοχή, αυτοσυγκέντρωση! ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 3
ομή Εξετάσεων: Β Μέρος Συνήθως 4 ασκήσεις σε περίπου 2 ώρες και 20 λεπτά. Αρκετές φορές παρόμοια με ερωτήματα εργασιών (όχι μόνο τρέχουσας χρονιάς, αλλά και παλαιότερων 3-4 ετών). Συνδυαστική (συνήθως 25%): Συνήθως δύο σκέλη (με επιμέρους ερωτήματα). Μαθηματική Λογική (συνήθως 35%): Συνήθως τρία σκέλη (κάποια με επιμέρους ερωτήματα). Γραφήματα (συνήθως 2 20%): Συνήθως δύο ασκήσεις, μπορεί να αναλύονται σε επιμέρους ερωτήματα (για διευκόλυνση). Αναλυτικά στην 6 η ΟΣΣ με βασικό θέμα τις εξετάσεις: Σάββατο 18/5, 16:00-20:00, αίθουσα Α4Γ ( ούκας). ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 4
4 η Εργασία: Ερώτημα 2.2.α Αντιπαράδειγμα για παρακάτω πρόταση: «Αν το G 1 G 2 έχει κύκλο Hamilton, τότε τουλάχιστον ένα από G 1, G 2 έχει κύκλο Hamilton». ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 5
4 η Εργασία: Ερώτημα 2.2.β Έστω ότι το G 1 έχει περιττό πλήθος κορυφών. Νδο το G 1 G 2 έχει κύκλο Euler ανν τα G 1, G 2 έχουν και τα δύο κύκλο Euler». Το G 1 G 2 είναι συνεκτικό ανν τα G 1, G 2 είναι και τα δύο συνεκτικά. Βαθμός (u, v) στο G 1 G 2 = βαθμός(u) στο G 1 + βαθμός(v) στο G 2 G 1 και G 2 έχουν κύκλο Euler: για κάθε u V(G 1 ), βαθμός(u) άρτιος, και για κάθε v V(G 2 ), βαθμός(v) άρτιος. (u, v) V(G 1 G 2 ), βαθμός(u, v) άρτιος. Άρα G 1 G 2 έχει κύκλο Euler. G 1 G 2 έχει κύκλο Euler: (u, v) V(G 1 G 2 ), βαθμός(u, v) άρτιος. Αν v V(G 2 ) βαθμός(v) περιττός, τότε u V(G 1 ), βαθμός(u) περιττός. Άτοπο, γιατί G 1 έχει περιττό πλήθος κορυφών! Αν u V(G 1 ) βαθμός(u) περιττός, τότε v V(G 2 ), βαθμός(v) περιττός. Αφού G 1 έχει περιττό πλήθος κορυφών, w V(G 1 ), βαθμός(w) άρτιος. Άρα v V(G 2 ), βαθμός(w, v) περιττός, άτοπο! ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 6
4 η Εργασία: Ερώτημα 3 Σύμπαν οι κορυφές (απλού μη κατευθυνόμενου) γραφήματος, P(x, y) δηλώνει ακμή από x προς y, και C(x, y) δηλώνει ότι x και y έχουν ίδιο χρώμα. Το γράφημα δεν έχει ανακυκλώσεις: Ο χρωματισμός είναι νόμιμος: εν υπάρχει μονοχρωματικό τρίγωνο: Όλες οι κορυφές με διαφορετικό χρώμα συνδέονται με ακμή. Μοντέλο αποτελεί κάθε πλήρες χ(g)-μερές γράφημα G. Κάθε κορυφή έχει μια άλλη με το ίδιο χρώμα, και αυτές συνδέονται με όλες τις άλλες κορυφές ίδιου χρώματος. Μοντέλο αποτελεί κάθε πλήρες χ(g)-μερές γράφημα G όπου κάθε χρωματική κλάση έχει 2 κορυφές. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 7
4 η Εργασία: Ερώτημα 4.α Να δείξετε (με επαγωγή) ότι για κάθε n 1, ο υπερκύβος Q(n) διάστασης n έχει n2 n 1 ακμές. Βάση: Q(1) έχει μία ακμή (1x2 0 = 1). Επαγ. Υπόθεση: Για αυθαίρετο n 1, υποθέτουμε ότι Q(n) έχει n2 n 1 ακμές. Επαγ. Βήμα: Θδο Q(n+1) έχει (n+1)2 n ακμές. Θεωρούμε δύο αντίγραφα Q 0 (n) και Q 1 (n) του υπερκύβου διάστασης n. Επαγ. υπόθεση: Q 0 (n) και Q 1 (n) έχουν n2 n 1 ακμές το καθένα. Προσθέτουμε 2 n ακμές μεταξύ των Q 0 (n) και Q 1 (n) για τον σχηματισμό του Q(n+1). Υπερκύβος Q(n+1) έχει συνολικά n2 n 1 + n2 n 1 + 2 n = (n+1)2 n ακμές. 00 01 10 11 ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 8
Συντομότερη ιαδρομή ιαδρομή Μονοκονδυλιά Μονοπάτι ιαδρομή: ακολουθία «διαδοχικών» /«συνεχόμενων» ακμών. Μονοκονδυλιά: διαδρομή χωρίς επανάληψη ακμών. (Απλό) μονοπάτι: διαδρομή χωρίς επανάληψη κορυφών (και ακμών). Υπάρχει διαδρομή u v ανν υπάρχει μονοπάτι u v. Γράφημα με βάρη (ή μήκη) στις ακμές του. Απόσταση κορυφών u v, d(u, v): μήκος συντομότερης διαδρομής u v (άθροισμα βαρών ακμών κατά μήκος της διαδρομής). Συντομότερη διαδρομή είναι μονοπάτι, εκτός αν... κάποιες ακμές αρνητικές, και υπάρχει κύκλος αρνητικού μήκους. ΠΛΗ 20, ΑΘΗ 4 (2012-2013)
Βασικές Ιδιότητες Κάθε τμήμα συντομότερου μονοπατιού αποτελεί συντομότερο μονοπάτι μεταξύ των άκρων του. Βλ. ΑΑ 4.13, Βούρος, σελ. 128, και Ερ. 1.γ, 5 η Εργ. 06-07. Π.χ. u 1 u 7 συντομότερο μονοπάτι: τμήμα του από u 2 εως u 5 συντομότερο u 2 u 5 μονοπάτι. Αν υπάρχει άλλο π συντομότερο u 2 u 5 μονοπάτι, π συνδυάζεται με u 1 u 2 και u 5 u 7 και δίνει πιο σύντομο u 1 u 7 μονοπάτι. Άτοπο! Συντομότερα μονοπάτια από μία κορυφή s προς όλες τις υπόλοιπες κορυφές αποτελούν δέντρο: έντρο Συντομότερων Μονοπατιών, βλ. Ερ. 4, Ιούνιος 2009. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 10
Βασικές Ιδιότητες Για κάθε ζεύγος ακμών u, v με ακμή (u, v), και κάθε κορυφή s, ισχύει ότι d(s, v) d(s, u) + w(u, v). Βλ. Ερ. 5.β, 5 η Εργ. 06-07. Υπάρχει ένα s v μονοπάτι μέσω u: συντομότερο s u μονοπάτι και ακμή (u, v). Συντομότερο s v μονοπάτι έχει μήκος όσοτοπαραπάνωήμικρότερο. (Κάποιο) συντ. s v μονοπ. «διέρχεται» από ακμή (u, v) ανν ισότητα. Πάντα υπάρχει τουλ. μια κορυφή u που εξασφαλίζει ισότητα: τελευταία πριν v στο συντομότερο s v μονοπάτι. Αρχή λειτουργίας Dijkstra (όχι μόνο!) ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 11
Αλλάζοντας τα Μήκη Γράφημαμεθετικάμήκηστιςακμές. Πολλαπλασιάζουμε μήκη με ίδιο αριθμό Β > 0. Υφίστανται αλλαγές συντομ. μονοπάτια; Προσθέτουμε ίδιο Β > 0. Υφίστανται αλλαγές συντομ. μονοπάτια; Μονοπάτια (συντομότερα) αποτελούνται από διαφορετικό #ακμών. Όταν όλα τα μονοπάτια έχουν ίδιο αριθμό ακμών; Αντιστροφή βάρους ακμών (δηλ. w 1/w): συντομότερο μονoπάτι μακρύτερο μονοπάτι; Ερ. 1.γ, 5 η εργ. 08-09. είτε ακόμη ερ. 1.δ από ίδια εργασία. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 12
Αλγόριθμος Dijkstra Αρχική κορυφή s. Λειτουργεί σε επαναλήψεις. u, διατηρεί ετικέτα L(u). Αρχικά L(s) = 0, L(u) = για κάθε u s. Μήκος συντ. s u μονοπ. που έχει «ανακαλύψει» οαλγόριθμος. S κορυφές με ετικέτα ίση με απόσταση από s (οριστική ετικέτα). Επανάληψη επιλέγει διαθέσιμη κορυφή u με ελάχιστη ετικέτα. u αποκτά οριστική ετικέτα, προστίθεται στο S(μη διαθέσιμη) Ενημέρωση ετικετών γειτονικών κορυφών. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 13
Αλγόριθμος Dijkstra Ετικέτες: «απαισιόδοξη» εκτίμηση απόστασης από s. Ξεκινούν από. Μειώνονται ώστε d(s, v) d(s, u) + w(u, v), με «ανακάλυψη» ακμής (u, v). Οριστικοποιούνται όταν επιλέγεται κάθε κορυφή. Επιλογή σε αύξουσα σειρά ετικετών. Θετικά μήκη: επιλογή κορυφής δεν μειώνει μικρότερες ετικέτες! Όταν κορυφή u επιλέγεται, έχει «ανακαλυφθεί» συντομ. s u μονοπ. και L(u) = d(s, u). Συνεχίζουμε μέχρι επιλογή κορυφής t ήεπιλογήόλων των κορυφών. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 14
Αλγόριθμος Dijkstra: Παράδειγμα ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 15
Αλγόριθμος Dijkstra: Παράδειγμα ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 16
Αλγόριθμος Dijkstra Συντομότερα μονοπάτια με δύο κριτήρια (π.χ. ελάχιστου μήκους, και ανάμεσα σε μονοπάτια ίδιου μήκους, προτιμούμε αυτό με ελάχιστο πλήθος ακμών); Χρήση δύο ετικετών με κατάλληλη ενημέρωση. Όταν L(v) > L(u) + w(v, u) ενημέρωση και των δύο ετικετών. Όταν L(v) = L(u) + w(v, u) μπορεί ενημέρωση 2 ης ετικέτας. Π.χ. είτε ερ. 1.β, 5 η εργ. 08-09. Αρνητικά μήκη: τα αυξάνουμε σε θετικά προσθέτοντας τον ίδιο αριθμό στο μήκος όλων των ακμών. Ο αλγόριθμος Dijkstra υπολογίζει σωστά συντομότερα μονοπάτια; Υπό ποιες προϋποθέσεις θα μπορούσε να συμβεί αυτό; ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 17
Αναπαράσταση Γραφημάτων με πίνακα γειτνίασης: Αν έχουμε βάρη, (Απλό) μη κατευθυνόμενο: συμμετρικός, διαγώνιος 0. Άθροισμα στοιχείων γραμμής (στήλης): βαθμός κορυφής. 1 3 5 2 4 6 ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 18
Αναπαράσταση Γραφημάτων με πίνακα γειτνίασης: Αν έχουμε βάρη, (Απλό) μη κατευθυνόμενο: συμμετρικός, διαγώνιος 0. Άθροισμα στοιχείων γραμμής (στήλης): βαθμός κορυφής. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 19
Πίνακας Γειτνίασης Α k [u i, u j ] = #διαδρομών u i u j μήκους k. Πρόταση 1.4, σελ. 49, Μαυρονικόλας, Θεώρημα 4.4, σελ. 131, Βούρος. ιαγώνιος τετραγώνου: Α 2 [u i, u i ] = βαθμός(u i ). Α 3 [u i, u i ] = 2 #τριγώνων που συμμετέχει u i. Πλήθος τριγώνων = Υ[u i, u j ] = #διαδρομών u i u j μήκους n 1. Μονοπάτια έχουν μήκος n 1, και διαδρομή ανν μονοπάτι. Γράφημα συνεκτικό ανν όλα τα στοιχεία του Υθετικά(> 0). Μήκος ελάχιστου (#ακμών) u i u j μονοπατιού: Ελάχιστη τιμή k ώστε Α k [u i, u j ] > 0. Ερ. 2.α, 5 η Εργ. 2008-2009. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 20
Πίνακας Πρόσπτωσης 2 7 1 3 6 8 10 9 5 4 1,2 1,5 1,6 2,3 2,7 3,4 3,8 4,5 4,9 5, 10 6,8 6,9 7,9 7, 10 8, 10 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 3 0 0 0 1 0 1 1 0 0 0 0 0 0 0 0 4 0 0 0 0 0 1 0 1 1 0 0 0 0 0 0 5 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 6 0 0 1 0 0 0 0 0 0 0 1 1 0 0 0 7 0 0 0 0 1 0 0 0 0 0 0 0 1 1 0 8 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 9 0 0 0 0 0 0 0 0 1 0 0 1 1 0 0 10 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 21
Ισομορφικά Γραφήματα Γραφήματα G(V G, E G ) και H(V H, E H ) είναι ισομορφικά ανν υπάρχει 1-1 και επί συνάρτηση f: V G V H (ισομορφισμός) ώστε για κάθε u, v V G, {u, v} E G ανν {f(u), f(v)} E H Υπάρχει αντιστοιχία κορυφών που διατηρεί τη γειτονικότητα. Ισομορφισμός αποτελεί σχέση ισοδυναμίας (Προτ. 1.1, σελ. 30). Αναλλοίωτη ιδιότητα: ισομορφικά γραφήματα «συμφωνούν». Όλες οι σημαντικές ιδιότητες: #κορυφών, #ακμών, βαθμοί, συνεκτικότητα, κύκλος Euler και Hamilton, χρωματικός αριθμός,... Πως αποδεικνύω ότι δύο γραφήματα ισομορφικά: Βρίσκω ισομορφισμό και ελέγχω ότι διατηρεί γειτονικότητα. Αποδεικνύω (με ισομορφισμό) ότι τα συμπληρωματικά τους είναι ισομορφικά ( ραστ. 4.9, σελ. 139, Βούρος). ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 22
Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 23
Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 24
Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 25
Ισομορφικά Γραφήματα Πως αποδεικνύω ότι δύο γραφήματα δεν είναι ισομορφικά: Βρίσκω μια αναλλοίωτη ιδιότητα στην οποία «διαφωνούν». Π.χ. 6 μη ισομορφικά συνεκτικά γραφήματα με 4 κορυφές (βλ. σελ. 33, Μαυρονικόλας). Μεθοδολογία απόδειξης ότι μια ιδιότητα είναι αναλλοίωτη. Αυτοσυμπληρωματικό γράφημα: γράφημα ισομορφικό με το συμπληρωματικό του. Αυτοσυμπληρωματικό γράφημα έχει n(n-1)/4 ακμές. Αυτοσυμπληρωματικά γραφήματα υπάρχουν μόνο αν n ή n-1 είναι πολλαπλάσιο του 4. Ερώτ. 2, 5 η Εργ. 07-08. Πόσες κορυφές έχει αυτοσυμπληρωματικό γράφημα που είναι δέντρο (δέντρο: συνεκτικό και άκυκλο, m = n - 1); ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 26
Αυτομορφισμός Ισομορφισμός ενός γραφήματος στον εαυτό του. Εκφράζει «συμμετρία» γραφήματος: αντιστοιχία κορυφών με βάση τους «ρόλους» τους διατηρεί δομή γραφήματος. Ταυτοτικός αυτομορφισμός (υπάρχει τετριμμένα). Αν δεν υπάρχουν άλλοι αυτομορφισμοί, γράφημα μη συμμετρικό. Αυτομορφισμοί μονοπατιού, κύκλου, τροχού, Petersen. u 1 u 5 u 5 u 6 u 7 u 10 u 2 u 4 u 10 u 6 u 9 u 1 u 9 u 8 u 8 u 7 u 4 u 3 u 3 u 2 ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 27
Αυτομορφισμός Ισομορφισμός ενός γραφήματος στον εαυτό του. Εκφράζει «συμμετρία» γραφήματος: αντιστοιχία κορυφών με βάση τους «ρόλους» τους διατηρεί δομή γραφήματος. Όλα τα συνδεδεμένα γραφήματα με 2, 3, 4, και 5 κορυφές είναι συμμετρικά (βλ. ερ. 4, 5 η εργ. 09-10). Παραδείγματα μη συμμετρικών γραφημάτων: ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 28
Συνδυαστική και Γραφήματα Πόσα γραφήματα ισομορφικά με το διπλανό γράφημα έχει το γράφημα Κ 4 ; Πόσα έχει το Κ 20. Θεωρούμε τις κορυφές των Κ 4 και Κ 20 διακεκριμένες. Πόσους διαφορετικούς κύκλους C 6 περιέχει το Κ 3,3 αν οι κορυφές του θεωρούνται διακεκριμένες; Πόσους διαφορετικούς κύκλους C 6 περιέχει το Κ m,n αν οι κορυφές του θεωρούνται διακεκριμένες; ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 29
Επίπεδα Γραφήματα Επίπεδο ένα γράφημα που μπορεί να ζωγραφιστεί στο επίπεδο χωρίς να τέμνονται οι ακμές του. Θεώρημα 4 χρωμάτων: Επίπεδο γράφημα έχει χρωματικό αριθμό 4. Επίπεδη αποτύπωση ορίζει όψεις (faces). Περιοχή επιπέδου που ορίζεται από (απλό) κύκλο και δεν μπορεί να διαιρεθεί σε μικρότερες όψεις. Εσωτερικές και εξωτερική όψη. f = #όψεων επίπεδου γραφήματος. Τύπος του Euler για συνεκτικά επίπεδα γραφ.: n + f = m + 2 #όψεων είναι αναλλοίωτη ιδιότητα, δεν εξαρτάται από αποτύπωση! ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 30
Επίπεδα Γραφήματα Μέγιστος αριθμός ακμών απλού επίπεδου γραφήματος. Απλό: κάθε όψη ορίζεται από τουλάχιστον 3 ακμές. Κάθε ακμή «ανήκει» σε μία ή δύο όψεις: Αν ανήκει σε κύκλο: σύνορο δύο όψεων. ιαφορετικά, «ανήκει» σε μία όψη. (Κάθε ακυκλικό γράφημα είναι επίπεδο με μία όψη, την εξωτερική). Υπάρχει συνεκτικό απλό επίπεδο γράφημα με m = 3n 6. Όλες του οι όψεις είναι τρίγωνα. Απλό διμερές επίπεδο γράφημα: m 2n 4. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 31
Επίπεδα Γραφήματα Άρα αν απλό γράφημα έχει m > 3n 6 (m > 2n 4 αν διμερές), δεν είναι επίπεδο. Τα Κ 5 και Κ 3,3 δεν είναι επίπεδα. Το συμπληρωματικό του γραφ. Petersen δεν είναι επίπεδο. Απλό επίπεδο γράφημα περιέχει κορυφή βαθμού 5. Π.χ. χρησιμοποιείται για να δείξουμε επαγωγικά ότι κάθε επίπεδο γράφημα έχει χρωματικό αριθμό 5. Κάθε γράφημα G με n 11 κορυφές, είτε το G είτε το συμπληρωματικό του δεν είναι επίπεδο. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 32
Ομοιομορφικά Γραφήματα Απλοποίηση σειράς: απαλοιφή κορυφών βαθμού 2 (δεν επηρεάζουν επιπεδότητα). Γραφήματα G και H ομοιομορφικά ανν μπορούν να καταλήξουν ισομορφικά με διαδοχική εφαρμογή απλοποιήσεων σειράς. Ομοιομορφικά μπορούν να «διαφωνούν» σε αναλλοίωτες ιδιότητες, αλλά «συμφωνούν» σε επιπεδότητα. Ομοιομορφικά «συμφωνούν» σε κύκλο Euler και κύκλο Hamilton; ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 33
Θεώρημα Kuratowski Θ. Kuratowski: Γράφημα επίπεδο ανν δεν περιέχει υπογράφημα ομοιομορφικό με Κ 5 ήκ 3,3. Ένα γράφημα δεν είναι επίπεδο ανν μπορούμε με απλοποιήσεις (διαγραφές κορυφών και ακμών, απλοποιήσεις σειράς) να καταλήξουμε σε Κ 5 ήκ 3,3. ΠΛΗ 20, ΑΘΗ 4 (2012-2013) ΟΣΣ 5 (Θεωρία Γραφημάτων) 34