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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

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

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

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

m = 18 και m = G 2

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

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

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

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

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

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

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

Μαθηματικά Πληροφορικής

HY118-Διακριτά Μαθηματικά

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

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας

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

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

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

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

ΑΝΤΙΣΤΟΙΧΗΣΕΙΣ ΟΡΩΝ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙOΥΝΤΑΙ ΣΤΟΥΣ ΤΟΜΟΥΣ Α ΚΑΙ Β ΤΗΣ ΘΕ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» Ένα γράφημα αποτελείται από ένα σύνολο 94.

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

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

Μαθηματικά Πληροφορικής

(elementary graph algorithms)

Αλγόριθµοι Γραφηµάτων

6 Συνεκτικοί τοπολογικοί χώροι

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

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

Παράδειγµα (4) Στοιχεία Θεωρίας Γραφηµάτων (2) Ορέστης Τελέλης. Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς. v 2. u 3.

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

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 3: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ - ΓΡΑΦΗΜΑΤΑ

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

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

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

Μετασχηματισμοί, Αναπαράσταση και Ισομορφισμός Γραφημάτων

Μορφές αποδείξεων. Μαθηματικά Πληροφορικής 2ο Μάθημα. Μορφές αποδείξεων (συνέχεια) Εξαντλητική μέθοδος

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Αλγόριθµοι και Πολυπλοκότητα

Κεφάλαιο 3. Γραφήµατα v1.0 ( ) Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

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

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Ελάχιστο Συνδετικό Δέντρο

HY118-Διακριτά Μαθηματικά. Θεωρία γράφων / γραφήματα. Τι είναι οι γράφοι; Εφαρμογές των γράφων. 23-Γράφοι

Πληροφοριακά Συστήματα Διοίκησης (ΜΒΑ) Ενότητα 1: Δικτυωτή Ανάλυση (Θεωρία Γράφων)

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

ΔΕΝΔΡΙΚΑ ΓΡΑΦΗΜΑΤΑ ΚΕΦΑΛΑΙΟ 3

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

Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι

Ελάχιστο Συνδετικό Δέντρο

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

Ελάχιστο Συνδετικό έντρο

Ελάχιστο Συνδετικό Δέντρο

Transcript:

Διάλεξη :.0.06 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος. Εισαγωγικοί ορισμοί Ορισμός. Γράφημα G καλείται ένα ζεύγος G = (V, E) όπου V είναι το σύνολο των κορυφών (ή κόμβων) και E πολυσύνολο που αποτελείται από μη διατεταγμένα ζεύγη κορυφών. Τα στοιχεία του E καλούνται ακμές. Για γράφημα G, V (G) και E(G) δηλώνουν τα σύνολα κορυφών και ακμών αντίστοιχα. Συνήθως χρησιμοποιούμε n και m για τις ποσότητες V (G) και E(G). Ο αριθμός των κορυφών καλείται επίσης τάξη του G και εναλλακτικά συμβολίζεται ως G. Ο ορισμός που δώσαμε αντιστοιχεί στα μη κατευθυνόμενα γραφήματα. Αν τα ζεύγη στο E είναι διατεταγμένα, το γράφημα καλείται κατευθυνόμενο. Στο εξής όταν αναφερόμαστε απλά σε «γράφημα» εννοούμε μη κατευθυνόμενο. Βρόχος καλείται μια ακμή της μορφής {v, v}, v V. Πολλαπλή ακμή είναι μια ακμή που εμφανίζεται πολλές φορές στο πολυσύνολο E. Εάν το E είναι σύνολο και δεν περιέχει βρόχους, έχουμε ένα απλό γράφημα. Ορισμός. Το G = (V, E) ακμές. καλείται απλό γράφημα αν το E δεν περιέχει βρόχους ή πολλαπλές Στο εξής όταν αναφερόμαστε σε γράφημα που δεν είναι απλό, θα το δηλώνουμε ρητά. Στο Σχήμα. δίνεται ένα παράδειγμα μη απλού γραφήματος. v x w u Σχήμα.: (Μη απλό) γράφημα G = (V, E) με E(G) = 6. Οι κορυφές u, v είναι τα άκρα της ακμής {u, v}. Δύο κορυφές u, v καλούνται γειτονικές στο γράφημα G αν {u, v} E(G) τότε ο u είναιγείτονας του v. Η ακμή e E(G) προσπίπτει στην v V (G) αν v e. Η ακμή e προσπίπτει στην ακμή e αν e e. -

Διάλεξη :.0.06-3 u v w x G G Σχήμα.: Δύο ισόμορφα γραφήματα. Εξετάστε τα γραφήματα G, G στο Σχήμα.. Είναι τα ίδια; Οχι! Είναι όμως ισόμορφα. Ορισμός.3 Εστω γραφήματα G = (V, E ), G = (V, E ). Ισομορφισμός καλείται μια - και επί συνάρτηση φ : V V τ.ω. {u, v} E αν και μόνο αν {φ(u), φ(v)} E. Αν υπάρχει ισομορφισμός, τα G, G καλούνται ισόμορφα (ή ισομορφικά). Ενα άλλο παράδειγμα ισόμορφων γραφημάτων δίνεται στο Σχήμα.3. u v w 6 x y z 3 G G Σχήμα.3: Δύο ισόμορφα γραφήματα. Ορισμός. Το συμπλήρωμα του γραφήματος G είναι το γράφημα G = (V (G), E(G)) όπου e E(G) αν και μόνο αν e E(G). Άσκηση. Τα G και H είναι ισόμορφα αν και μόνο αν G και H ισόμορφα. Ορισμός. Εστω r, ακέραιος. G = (V, E) καλείται r-μερής (r-partite) αν υπάρχει διαμέριση του V σε r κλάσεις και κάθε ακμή του E έχει τα άκρα της σε διαφορετικές κλάσεις. Εξετάστε τα γραφήματα G, G από το Σχήμα.3 και τα G 3, G από το Σχήμα.. Ποια από αυτά είναι ισόμορφα μεταξύ τους;

Διάλεξη :.0.06-3 α β a b ζ ε e f δ γ d c G 3 G Σχήμα.: Είναι τα G 3, G ισόμορφα; Παρατήρηση. Ο ισομορφισμός είναι σχέση ισοδυναμίας.. Το G είναι ισόμορφο με τον εαυτό του.. Αν το G είναι ισόμορφο με το G, τότε το G είναι ισόμορφο με το G. 3. Αν το G είναι ισόμορφο με το G και το G ισόμορφο με το G 3, τότε το G είναι ισόμορφο με το G 3. Ορισμός.6 Γράφημα χωρίς ετικέτες (unlabelled graph) καλείται μία κλάση ισοδυναμίας ισόμορφων γραφημάτων. Στο Σχήμα. δίνεται ένα παράδειγμα απεικόνισης ενός γραφήματος χωρίς ετικέτες. Αναπαριστά την κλάση ισοδυναμίας στην οποία ανήκουν τα G, G του Σχήματος.3. Σχήμα.: Γράφημα χωρίς ετικέτες.. Υπογραφήματα, Μονοπάτια, Συνεκτικότητα Δοθέντων G = (V, E) και v V, γειτονιά του v είναι το σύνολο των γειτόνων του v, το οποίο συμβολίζουμε με N(v). Βαθμός του v είναι ο αριθμός N(v) και τον συμβολίζουμε με d(v) ή με d G (v) αν χρειάζεται να ξεκαθαρίσουμε σε ποιο γράφημα μετράμε το βαθμό. Πρόταση. Σε ένα γράφημα G = (V, E) v V d(v) = E. Απόδειξη: Στο άθροισμα κάθε ακμή μετριέται δύο φορές.

Διάλεξη :.0.06 - Ορισμός.7 Το γράφημα H = (U, F ) καλείται υπογράφημα του G = (V, E) αν U V και F E. Αν U = V, τότε το H λέγεται επικαλύπτον υπογράφημα (spanning subgraph) του G = (V, E). Διαισθητικά για να πάρουμε ένα υπογράφημα του G = (V, E), σβήνουμε κάποιες κορυφές και κάποιες ακμές. Τα εναγόμενα υπογραφήματα καθορίζονται μόνο από το σύνολο των κορυφών τους. Ορισμός.8 Δοθέντων G = (V, E) και U V, με G[U] συμβολίζουμε το γράφημα με σύνολο κορυφών U και σύνολο ακμών E(G[U]) = {e E e U}. Το G[U] καλείται υπογράφημα του G = (V, E) που ενάγεται από το U ή πιο απλά εναγόμενο υπογράφημα (induced subgraph) του G = (V, E). Στο Σχήμα.6 δίνονται παραδείγματα των Ορισμών,.7,.8. Θα χρησιμοποιούμε τη συντομογραφία G X για να συμβολίσουμε το γράφημα G[V \X], X V. Ομοίως για F E, με G F συμβολίζουμε το γράφημα G = (V, E\F ). Αν τα X και F είναι μονοσύνολα, απλά γράφουμε G v και G e αντίστοιχα. 3 3 3 G G G 3 Σχήμα.6: Το G είναι εναγόμενο υπογράφημα του G. Το G 3 είναι υπογράφημα του G και του G αλλά δεν είναι εναγόμενο υπογράφημα. Κάποιες σημαντικές ειδικές κατηγορίες γραφημάτων είναι οι παρακάτω. K n : πλήρες γράφημα (κλίκα) με n κορυφές. K n,m : πλήρες διμερές γράφημα με n κορυφές στο ένα σύνολο της διαμέρισης και m στο άλλο. Κενό γράφημα: το (, ). Ορισμός.9 Μονοπάτι (path) καλείται το μη κενό γράφημα P = (V, E) όπου V = {x, x,..., x k+ } E = {{x, x },..., {x k, x k+ }}, k 0, όπου E(P ) = k είναι το μήκος του μονοπατιού. Αν P = (V, E) είναι ένα μονοπάτι μήκους k, το γράφημα C = (V, E {x k+, x }) καλείται κύκλος (cycle) μήκους k +. Οταν αναφερόμαστε σε ένα μονοπάτι ή κύκλο στο G εννοούμε ένα υπογράφημα του G που είναι μονοπάτι ή κύκλος αντίστοιχα. Ορισμός.0 Περίπατος (walk) μήκους k στο G καλείται μια μη κενή εναλλασσόμενη ακολουθία κορυφών-ακμών του G = (V, E) v, e, v, e,..., v k, e k, v k+ τ.ω. v i V, i =,..., k + και e i E με e i = {v i, v i+ }, i =,..., k.

Διάλεξη :.0.06 - Παρατηρήστε ότι σε έναν περίπατο μπορεί να υπάρχουν επαναλήψεις κορυφών ή ακόμα και ακμών. Αν v = v k+ ο περίπατος ονομάζεται κλειστός. Άσκηση. Κάθε περίπατος από το u στο v στο G περιέχει ένα μονοπάτι από το u στο v. Ορισμός. Ενα μη κενό γράφημα G = (V, E) καλείται συνεκτικό αν για κάθε x, y V, τα x και y ενώνονται με μονοπάτι στο G. Ενα μεγιστικό συνεκτικό υπογράφημα του G καλείται συνεκτική συνιστώσα του G, ή απλά συνιστώσα του G. Πρόταση. Γράφημα G με n κορυφές και m ακμές έχει τουλάχιστον n m συνεκτικές συνιστώσες. Απόδειξη: Ξεκίνησε με το γράφημα K n (που έχει n συνιστώσες) και πρόσθεσε μία-μία τις m ακμές του E(G). Κάθε ακμή που προσθέτεις μειώνει τον αριθμό των συνιστωσών το πολύ κατά ένα..3 Δέντρα Ορισμός. Ενα γράφημα χωρίς κύκλους ονομάζεται ακυκλικό ή δάσος. Δέντρο είναι ένα συνεκτικό ακυκλικό γράφημα. Φύλλο σε ένα δέντρο είναι μια κορυφή βαθμού. Λήμμα. Ενα δέντρο T με n κορυφές περιέχει τουλάχιστον δύο φύλλα. Απόδειξη: Κάθε συνεκτικό γράφημα με τουλάχιστον δύο κορυφές περιέχει τουλάχιστον μία ακμή, άρα και τουλάχιστον ένα μονοπάτι. Πάρε ένα μεγιστικό μονοπάτι P, τα άκρα του x, y δεν έχουν άλλο γείτονα στο T εκτός από τους γείτονες τους στο P. Άρα τα x, y είναι φύλλα. Θεώρημα. Οι παρακάτω προτάσεις είναι ισοδύναμες για ένα γράφημα T με n κορυφές.. Το T είναι δέντρο.. Οποιεσδήποτε δύο κορυφές του T ενώνονται με μοναδικό μονοπάτι. 3. Το T είναι συνεκτικό και έχει n ακμές.. Το T είναι ακυκλικό και έχει n ακμές. Απόδειξη: Άσκηση. Συμβολίζουμε με δ(g) τον ελάχιστο βαθμό, δηλαδή την ποσότητα min v V (G) d G (v).

Διάλεξη :.0.06-6 T x y Σχήμα.7: Απεικόνιση της απόδειξης του Θεωρήματος.. G Θεώρημα. Αν T δέντρο με k 0 ακμές και G γράφημα με δ(g) k, τότε το T είναι ισόμορφο με υπογράφημα του G. Απόδειξη: Με επαγωγή στο k. Βάση. Εστω k = 0. Κάθε γράφημα περιέχει ως υπογράφημα το K που είναι το μόνο δέντρο με μηδέν ακμές. Επαγωγικό Βήμα. Εστω ότι η πρόταση ισχύει για διέντρα με λιγότερες από k ακμές. Θα δείξουμε ότι ισχύει και για T με k > 0 ακμές. Από το Λήμμα., το T περιέχει φύλλο v. Εστω u ο μοναδικός γείτονας του v στο T. Ορίζουμε T := T v. Από την Επαγωγική Υπόθεση το G περιέχει το T ως υπογράφημα, αφού δ(g) k > k = E(T ). Εστω x η κορυφή στο αντίγραφο του T εντός του G η οποία αντιστοιχεί στο u. Δείτε το Σχήμα.7. Επειδή το T έχει k κορυφές διάφορες του u και d G (x) k, το x έχει κάποιο γείτονα y στο G που δεν περιέχεται στο αντίγραφο του T. Προσθέτοντας την ακμή {x, y} παίρνουμε ένα αντίγραφο του T στο G με το y να παίζει το ρόλο του v. Η ανισότητα στο Θεώρημα. είναι η καλύτερη δυνατή αφού το K k δεν περιέχει δέντρο με k ακμές.