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

Σχετικά έγγραφα
Θεωρι α Γραφημα των 8η Δια λεξη

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

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

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

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

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

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

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

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

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

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

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

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

χ(k n ) = n χ(c 5 ) = 3

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

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

Θεωρία Γραφημάτων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές

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

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

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

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

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

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

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

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

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

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

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

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

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

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 9 η Διάλεξη Χρωματισμός γράφων Θεωρήματα Τεχνικές Εφαρμογές

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

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

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

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

Διάλεξη 3: Σχήμα 3.3: Το σύνολο των κόκκινων ακμών είναι ακμοδιαχωριστής αλλά όχι τομή. Το σύνολο ακμών {1, 2, 3} είναι τομή. Από

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

2 ) d i = 2e 28, i=1. a b c

Διμερή γραφήματα και ταιριάσματα

jτο πλήθος των ταξιδιών που κάνει η αεροσυνοδός µέχρι την j ηµέρα. Σχηµατίζω µία ακολουθία που αποτελείται από τα a.

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα

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

... a b c d. b d a c

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

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

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

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

Κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs)

Μη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα.

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

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

Αλγόριθμοι για ανάθεση συχνοτήτων και έλεγχο αποδοχής κλήσεων σε κυψελικά ασύρματα δίκτυα

Στοιχεία Θεωρίας Γραφηµάτων (1)

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

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Εισαγωγή σε βασικές έννοιες. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών

Χρωματισμός γραφημάτων

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

Αναζήτηση Κατά Πλάτος

S A : N G (S) N G (S) + d S d + d = S

Μονοπάτια και Κυκλώµατα Euler. Στοιχεία Θεωρίας Γραφηµάτων (3,4) Παραδείγµατα. Κριτήρια Υπαρξης.

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

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

Διάλεξη 13: D Σχήμα 13.2: Ενδεικτική αναπαράσταση δίσκου D που ορίζει ο στην εμβάπτιση Γ. Σχήμα 13.3: Σχηματική επεξήγηση περιπτώσεων πο

Αναζήτηση Κατά Πλάτος

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

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

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

m = 18 και m = G 2

Διάλεξη 3: D Σχήμα 3.2: Ενδεικτική αναπαράσταση δίσκου D που ορίζει ο στην εμβάπτιση Γ. Σχήμα 3.3: Σχηματική επεξήγηση περιπτώσεων που απορ

Αναζήτηση Κατά Πλάτος

y(p) = 0 y(p) = 0 y(p) = 0

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

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

Επίλυση Προβλημάτων με Χρωματισμό. Αλέξανδρος Γ. Συγκελάκης

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

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

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

Γράφοι. Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο. Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά.

ΧΡΩΜΑΤΙΣΜΟΣ ΓΡΑΦΗΜΑΤΩΝ

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

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

ΣΧΕΔΙΑΣΗ ΚΑΙ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

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

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Το Πρόβλημα της Πινακοθήκης (The Art Gallery Problem)

X i, i I Y j, j J. X i. Z j P = (J, B) G T = (I, J) 1 2 i i + 1 n. 1 i V

Αναζήτηση Κατά Πλάτος

Τυχαίοι γράφοι Η διάμετρος του G(n, 2 ln n/n) Ioannis Giotis

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

βασικές έννοιες (τόμος Β)

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

P = (J, B) T = (I, A) P = (J, B) G = (V, E) i 1 i i + 1

Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12.

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

(β) Θεωρούµε µια ακολουθία Nθετικών ακεραίων η οποία περιέχει ακριβώς

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

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

Transcript:

Θεωρία Γραφημάτων 8η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 168 / 183

Χρωματισμοί γραφημάτων Χρωματισμός κορυφών k-χρωματισμός: Έστω γράφημα G. Η συνάρτηση χ : V (G) [1,..., k] ονομάζεται k-χρωματισμός του G αν για κάθε ακμή e = (u, v) E(G) ισχύει ότι χ(u) χ(v). Χρωματικές κλάσεις: Έστω ένα γράφημα G και έστω χ ένας k-χρωματισμός του. Τα σύνολα κορυφών χ 1 (1), χ 1 (2),, χ 1 (k) ονομάζονται χρωματικές κλάσεις του G. Χρωματικός αριθμός: Έστω ένα γράφημα G. Ο χρωματικός αριθμός χ(g) του γραφήματος G είναι ο μικρότερος ακέραιος k για τον οποίο ισχύει ότι το G είναι k-χρωματίσιμο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 169 / 183

Παραδείγματα: (2) G 1 G 2 (2) (2) (1) (2) χ(g 1 ) = 2 (4) (1) (3) χ(g 2 ) = 4 G 3 (2) (1) (2) G 4 (3) (2) (5) (2) χ(g 3 ) = 5 χ(k n ) = n χ(g 4 ) = 3 Το G 4 είναι ένα τριμερές γράφημα. (4) (3) Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 170 / 183

Λήμμα 8.1: Έστω γράφημα G το οποίο έχει ως επαγόμενο υπογράφημά του το πλήρες γράφημα k κορυφών K k. Τότε χ(g) k. Απόδειξη : Έστω ότι υπάρχει σύνολο S V (G) με S = k και το υπογράφημα H του G το οποίο επάγεται από τις κορυφές του S είναι πλήρες. Έστω ότι υπάρχει ένας l-χρωματισμός του G, l < k. Τότε, τουλάχιστον δύο κορυφές του H έχουν το ίδιο χρώμα. Λόγω του ότι το H είναι πλήρες γράφημα, οι κορυφές αυτές ενώνονται με ακμή. Άρα, ο l-χρωματισμός του G δεν είναι νόμιμος. Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 171 / 183

Πλήρες k-μερές: Το γράφημα K p1,p 2,...,p k = K p1 K p2 K pk, k 2, όπου p 1, p 2,, p k ακέραιοι, ονομάζεται πλήρες k-μερές γράφημα. Τα σύνολα κορυφών V (K p1 ),, V (K pk ) είναι τα μέρη του K p1,p 2,...,p k. k-μερές γράφημα: Ένα παραγόμενο υπογράφημα ενός πλήρους k-μερούς γραφήματος. Λήμμα 8.2: Έστω το γράφημα K p1,p 2,...,p k. Τότε ισχύει: i. V (K p1,p 2,...,p k ) = p 1 + p 2 + + p k [= n] k ii. E(K p1,p 2,...,p k ) = 1 2 (n2 p 2 i ) i=1 Απόδειξη : k k k k k k ii. E = 1 p 2 i (n p i ) = 1 2 ( p i n p 2 i ) = 1 2 (n p i p 2 i ) = 1 2 (n2 p 2 i ) i=1 i=1 i=1 i=1 i=1 i=1 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 172 / 183

Λήμμα 8.3: Έστω γράφημα G. To G είναι k-χρωματίσιμο ανν το G είναι k-μερές. Απόδειξη : Έστω χ : V (G) {1, 2,..., k} ένας k-χρωματισμός του G. Έστω χ 1 (1), χ 1 (2),, χ 1 (k) οι χρωματικές κλάσεις του G. Κορυφές που ανήκουν στην ίδια χρωματική κλάση δεν ενώνονται με ακμή. Το G είναι παραγόμενο υπογράφημα του K p1,p 2,...,p k όπου p i = χ 1, 1 i k. Άρα το G είναι k-μερές. Έστω ότι το G είναι k-μερές και έστω V 1, V 2,, V k τα k μέρη του. Ο χρωματισμός χ : χ(v) = i v V i είναι ένας k-χρωματισμός του G. Άρα το G είναι k-χρωματίσιμο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 173 / 183

Λήμμα 8.4: Έστω γράφημα G. Ισχύει ότι χ(g) n2 n 2, όπου n = V (G) και m = E(G). 2m Απόδειξη : Έστω χ(g) = k. Το G είναι k-μερές. [Λήμμα 8.3.] Το G είναι παραγόμενο υπογράφημα του K p1,p 2,...,p k. m E(K p1,p 2,...,p k ) Λήμμα 8.2 = k 1 2 (n2 p 2 i ) i=1 k k 1 2 (n2 n2 k ) [γιατί p 2 i 1 k ( p i ) 2 = n2 k ] i=1 i=1 Αρα, m 1 2 (n2 n2 k ) k n2 χ(g) n 2 2m n2 n 2 2m Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 174 / 183

Κρίσιμο γράφημα: Έστω γράφημα G. Το G ονομάζεται κρίσιμο αν για κάθε υπογράφημα H G ισχύει ότι χ(g) > χ(h). Παράδειγμα: (Κρίσιμα γραφήματα.) G C 5 K 5 Ένα κρίσιμο γράφημα είναι ελαχιστοτικό γράφημα ως προς τον χρωματικό αριθμό. Λήμμα 8.5: Έστω κρίσιμο γράφημα G. Ισχύει ότι χ(g) δ(g) + 1. Απόδειξη [Με άτοπο.]: Έστω χ(g) > δ(g) + 1. Έστω κορυφή u V (G) με d(u) = δ(g). d(u) < χ(g) 1 Το G είναι κρίσιμο. χ(g u) = χ(g) 1 Έστω χρωματισμός του G u με χ(g) 1 χρώματα. Υπάρχει χρώμα, έστω c, που δεν χρησιμοποιείται στους γείτονες της u. Μπορώ να χρωματίσω το u με το χρώμα c και άρα το G με χ(g) 1 χρώματα. Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 175 / 183

Θεώρημα 8.6 : Έστω γράφημα G. Τότε χ(g) (G) + 1. Απόδειξη [Με επαγωγή]: Θα δείξουμε ότι το G είναι ( (G) + 1)-χρωματίσιμο. Βάση: Κάθε γράφημα με (G) + 1 κορυφές είναι ( (G) + 1)-χρωματίσιμο. Ε.Υ. Κάθε γράφημα G με < n κορυφές είναι ( (G) + 1)-χρωματίσιμο. Ε.Β. Έστω γράφημα G με n κορυφές. Έστω αυθαίρετη κορυφή u και έστω το γράφημα G u. Το G u είναι ( (G) + 1)-χρωματίσιμο. Υπάρχει χρώμα, έστω c που δεν χρησιμοποιούν οι γείτονες της u. Χρωματίζοντας την u με το χρώμα c, λαμβάνω ένα νόμιμο χρωματισμό για το γράφημα G με (G) + 1 χρώματα. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 176 / 183

Θεώρημα 8.7 [Brooks, 1941]: Έστω συνεκτικό γράφημα G που δεν είναι πλήρες ούτε είναι περιττού μήκους κύκλος. Τότε χ(g) (G). Απόδειξη [Με επαγωγή στο V (G) ]: Θα δείξουμε ότι το G είναι (G)-χρωματίσιμο. Βάση: Ισχύει για γραφήματα με n = 1, n = 2, n = 3 κορυφές. Ε.Υ. Έστω ότι όλα τα γραφήματα G με n 1 κορυφές είναι (G)-χρωματίσιμα. Ε.Β. Θα δείξω ότι όλα τα γραφήματα με n κορυφές είναι (G)-χρωματίσιμα. Έστω γράφημα G με (G) = k. Περίπτωση 1: Υπάρχει κορυφή v V (G) με βαθμό d(v) < k. Θεωρώ το G v και το χρωματίζω αναδρομικά. Υπάρχει χρώμα λ που δεν χρησιμοποιούν οι < k γείτονες της v. Χρωματίζω την v με το χρώμα λ. Περίπτωση 2: Όλες οι κορυφές του G έχουν βαθμό k. [Το G είναι k-κανονικό γράφημα.] Έστω το G {v} V (G {v} = n 1, (G {v}) = (G) = k Το G {v} είναι k-χρωματίσιμο Θα δείξουμε πώς να χρωματίσουμε το G με k χρώματα. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 177 / 183

Περίπτωση 2a: Υπάρχουν δύο γειτονικές κορυφές της v που έχουν το ίδιο χρώμα. v 1 Κάποιο χρώμα, έστω λ, δεν χρησιμοποιείται στον χρωματισμό των γειτόνων της v (στο χρωματισμό του G {v}). Χρωμάτισε την v με λ. v k v v 2 Περίπτωση 2b: Όλοι οι γείτονες της v έχουν διαφορετικό χρώμα. Έστω χ(v i ) = i. G ij : Το γράφημα που επάγεται από τις κορυφές με χρώμα i και χρώμα j. Περίπτωση 2b1: Οι κορυφές v i και v j ανήκουν σε διαφορετικές συνεκτικές συνιστώσες, έστω C i, C j του G ij. v 1 v 1 v k v 2 v k v v v j v i v j v i (j) (j) (j) (j) (j) (j) C j C i C j (j) C i Άλλαξε τα χρώματα (i j) στην C i. Το γράφημα παραμένει νόμιμα χρωματισμένο. Χρωμάτισε την v με χρώμα i. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 178 / 183 v 2

Περίπτωση 2b2: Οι κορυφές v i και v j ανήκουν στην ίδια συνεκτική συνιστώσα, έστω C ij, για κάθε ζεύγος i, j του G ij. v i, v j υπάρχει (v i, v j ) μονοπάτι στην C ij. Περίπτωση 2b2a: d(v i ) 2 στην C ij. v v v i y (j) x(j) v j v i (λ) y (j) x(j) v j C ij Έστω x, y N Cij (v i ) με τουλάχιστον μια από τις x, y διαφορετική από την v j. χ(x) = χ(y) = j d Cij (v j ) (G) 1. [Λείπει η ακμή (v, v i ).] Υπάρχει κάποιο χρώμα, έστω λ, διαφορετικό από το i, το οποίο δεν χρησιμοποιείται από κανένα γείτονα του v i στο G. Φτιάξε νέο χρωματισμό του G όπου: χ(v i ) = λ χ(v) = i C ij Περίπτωση 2b2b: d(v i ) = 1 στην C ij. [Όμοια, d(v j ) = 1 στην C ij.] Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 179 / 183

Περίπτωση 2b2b1: Υπάρχει w C ij (διαφορετικό από τα v i, v j, στο μονοπάτι από το v i στο v j ): d Cij (w) 3. v i w v j v i w (λ) v j C ij Έστω το πιο κοντινό στο v i τέτοιο w. Έστω χ(w) = j. Τότε όλοι οι γείτονες του w έχουν χρώμα i. Επειδή έχω 3 γείτονες του w με χρώμα i περισσεύουν 2 χρώματα τα οποία δεν χρησιμοποιούνται για τους γείτονες του w, ένα εκ των οποίων είναι διαφορετικό του j. Έστω λ το χρώμα αυτό. Χρωματίζω το w με το χρώμα λ Τότε τα v i και v j βρίσκονται σε διαφορετικές συνεκτικές συνιστώσες του G ij. Το γράφημα G μπορεί να χρωματιστεί με (G) χρώματα [περίπτωση 2b1]. Περίπτωση 2b2b2: d Cij (w) = 2, w C ij. [w / {v i, v j }] Στην περίπτωση αυτή η συνιστώσα C ij στην οποία ανήκουν οι v i, v j, για κάθε ζεύγος i, j, i j είναι ένα μονοπάτι με τα v i και v j στα άκρα του. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 180 / 183

Έστω οι συνιστώσες C ij, C jl των G ij, G jl Περίπτωση 2b2b2a: Τα μονοπάτια C ij και C jl έχουν κοινή κορυφή διαφορετική από την v j Έστω x μια κοινή κορυφή των δυο μονοπατιών (διαφορετική από την v j ) v i (j) x v l v j v i (λ) x χ(x) = j Η x έχει 2 γείτονες με χρώμα i και 2 γείτονες με χρώμα l Οι γείτονες της x δεν χρησιμοποιούν 2 χρώματα εκ των οποίων ένα είναι διαφορετικό του j. Έστω λ το αχρησιμοποίητο χρώμα Χρωματίζουμε την x με το χρώμα λ Τότε, οι v i και v j βρίσκονται σε διαφορετικές συνιστώσες του G ij Υπάρχει χρωματισμός του G με (G) χρώματα [περίπτωση 2b1] v l v j Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 181 / 183

Περίπτωση 2b2b2b: Τα μονοπάτια C ij, C jl έχουν μόνη κοινή κορυφή την v j v j w (j) v i (j) v j w (j) v i (j) (j) v l Έστω w η γειτονική της v j κορυφή στο μονοπάτι C ij (v j v i ) Στο μονοπάτι C jl (v j v l ) ανταλλάσσω τα χρώματα j με l Στον νέο χρωματισμό, έστω h θεωρώ την συνιστώσα C h v i v j που ενώνει τις κορυφές v i με v j Η C h v i v j περιλαμβάνει κόμβους με χρώματα l και i. Λόγω του ότι ο βαθμός του v j στην C h v i v j είναι ίσος με 1, και η w είναι γειτονική στην v j και το χρώμα της w είναι i, η ανήκει στο μονοπάτι C h v i v j (v j v i ) Η C h v i v l περιλαμβάνει κόμβους με χρώματα i και j. Λόγω του ότι ο βαθμός της v i στο C h v i v l είναι ίσος με 1, και οι βαθμοί όλων των κορυφών του μονοπατιού είναι ίσοι με 2, και ότι το παλιό μονοπάτι από την v i προς την w εξακολουθεί να είναι στο G ij, η w ανήκει (j) v l στην C h v i v l Στην περίπτωση αυτή, μπορούμε να βρούμε χρωματισμό του G [περίπτωση 2b2b2a] Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 182 / 183

Περίπτωση 2b2b3: Δεν υπάρχει w C ij στο μονοπάτι από το v i στο v j, δηλαδή, η C ij αποτελείται από την ακμή (v i, v j ). Επειδή αυτό συμβαίνει για όλα τα ζεύγη v i, v j, οι k γείτονες του v σχηματίζουν ένα πλήρες γράφημα. Η v με τους γείτονες της σχηματίζει ένα πλήρες γράφημα. Αυτό συμβαίνει για κάθε v V. Διαφορετικά, θα μπορούσαμε να βρούμε μία κορυφή v η αφαίρεση της οποίας από το G δεν θα οδηγούσε στην παρούσα περίπτωση. Το G είναι πλήρες γράφημα.[γιατί;] Αυτό αντιβαίνει την υπόθεση του θεωρήματος, συνεπώς, η παρούσα περίπτωση δεν μπορεί να συμβεί. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη Φεβρουάριος 2016 183 / 183