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

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

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

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

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

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

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

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

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

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

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

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

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

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

Φροντιστήριο #9 Ασκήσεις σε Γράφους 18/5/2018

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους

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

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

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

Επαναληπτικές Ασκήσεις. Ρίζου Ζωή

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

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

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

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

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

w S n lim (n 1)! = x(x + q)(x + q + q 2 ) (x + q + q q n 1 ),

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

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

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

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

ΠΛΗ20 ΕΝΟΤΗΤΑ 5: ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ/2. Μάθηµα 5.1: Παραστάσεις Γραφηµάτων. ηµήτρης Ψούνης

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

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

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

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

x (a 1 + a 2 ) mod 9, y (a 1 a 2 ) mod 9.

Δένδρα. Μαθηματικά (συνδυαστικά) αντικείμενα. Έχουν κεντρικό ρόλο στην επιστήμη των υπολογιστών :

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

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

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

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

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

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

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

f(t) = (1 t)a + tb. f(n) =

Π(n) : 1 + a + + a n = an+1 1 a 1. a 1. + a k+1 = ak+2 1

HY118-Διακριτά Μαθηματικά. Τι είδαμε την προηγούμενη φορά. Θεωρία γράφων / γραφήματα. 25 -Γράφοι. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017

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

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

HY118-Διακριτά Μαθηματικά. Θεωρία γράφων/ γραφήματα. Τι είδαμε την προηγούμενη φορά. Συνεκτικότητα. 25 -Γράφοι

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

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

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

1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8)

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

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

1. Σε ένα τουρνουά με 8 παίκτες μπορεί οι παίκτες να συμμετείχαν σε: 6,5,4,4,4,3,1,1 αγώνες αντίστοιχα;

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

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

q={(1+2)/2}=1 A(1,2)= MERGE( 4, 6 ) = 4 6 q=[(3+4)/2]=3 A(1,4)= MERGE( 4 6, 5 8 ) = q=[(5+6)/2]=5 A(5,6)= MERGE( 2, 9 ) = 2 9

Γνωστό: P (M) = 2 M = τρόποι επιλογής υποσυνόλου του M. Π.χ. M = {A, B, C} π. 1. Π.χ.

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

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

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

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

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

Transcript:

ΑΣΚΗΣΕΙΣ ΘΕΩΡΙΑΣ ΓΡΑΦΩΝ (1) Εστω G απλός γράφος, που έχει 9 κορυφές και άθροισμα βαθμών κορυφών μεγαλύτερο του 7. Αποδείξτε ότι υπάρχει μια κορυφή του G με βαθμό μεγαλύτερο ή ίσο του 4. () Αποδείξτε ότι το πλήθος των απλών γράφων με σύνολο κορυφών το [n] είναι (n ). Λύση: Ολες οι δυνατές ακμές που θα μπορούσαν να σχηματισθούν από έναν απλό γράφο με σύνολο κορυφών το [n] είναι ( n) = 1 n(n 1), αλλά κάθε ακμή μπορεί να επιλεχθεί είτε ως υπάρχουσα ή ως ανύπαρκτη, δηλαδή, σύμφωνα με δυο ) επιλογές. Επομένως, το πλήθος των απλών γράφων με σύνολο κορυφών το [n] είναι ( n (3) Εστω G απλός γράφος με 9 κορυφές και τουλάχιστον 14 ακμές. Δείξτε ότι υπάρχει τουλάχιστον μια κορυφή του G με βαθμό τουλάχιστον 4. Λύση: Εστω d 1, d,..., d 9 οι βαθμοί των κορυφών και e ο αριθμός των ακμών του G. Αφού 9 d i = e 8, i=1 έπεται ότι κάποιο d i θα πρέπει να είναι 4, διότι αλλιώς αν όλα τα d i ήταν το πολύ 3, τότε το άθροισμά τους θα ήταν το πολύ 7, που είναι άτοπο. (4) Δείξτε ότι αν ένας γράφος έχει ακριβώς δυο κορυφές περιττού βαθμού, τότε οι κορυφές αυτές συνδέονται με μια διαδρομή. Λύση: Αν οι δυο κορυφές περιττού βαθμού δεν συνδέονται με καμιά διαδρομή, τότε θα ανήκουν σε δυο διαφορετικές συνδεδεμένες συνιστώσες του γράφου. Αλλά από το Θεώρημα της Χειραψίας, σε κάθε συνδεδεμένη συνιστώσα του γράφου, το πλήθος των κορυφών περιττού βαθμού πρέπει να είναι άρτιο. Επομένως, ο γράφος περίεχει 4 κορυφές περιττού βαθμού, που είναι αντίφαση. (5) (α) Χρησιμοποιώντας τον πίνακα γειτνίασης, για τον παρακάτω γράφο βρείτε το πλήθος των περιπάτων μήκους από b ως c και το πλήθος των περιπάτων μήκους 3 από a ως b. a b c. (β) Βρείτε το πλήθος όλων των κυκλικών υπογράφων του παρακάτω γράφου: Λύση: (α) Ο πίνακας γειτνίασης είναι A = ( 0 1 0 ) 1 0 1, οπότε βρίσκουμε A = ( 1 0 1 ) 0 0 και A 3 = ( 0 0 ) 0. Επειδή το στοιχείο (, 3)του 0 1 0 1 0 1 0 0 A είναι 0, δεν υπάρχει κανένας περίπατος μήκους από b ως c. Επειδή το στοιχείο (1, )του A 3 είναι, υπάρχουν περίπατοι μήκους 3 από a ως b. (β) Υπάρχουν 5 τρίγωνα, 3 τετράπλευρα και 1 πεντάπλευρο. (6) Ονομάζεται αυτομορφισμός ένας ισομορφισμός ενός γράφου στον εαυτό του. (1) Αποδείξτε ότι το πλήθος των αυτομορφισμών του πλήρους γράφου n κορυφών είναι n!. () Επίσης αν S n είναι ο γράφος αστέρι n κορυφών (δηλαδή, μια κορυφή του S n έχει βαθμό n 1 κι όλες οι άλλες n 1 κορυφές έχουν βαθμό 1 η κάθε μια), αποδείξτε ότι το πλήθος των αυτομορφισμών του S n είναι (n 1)!. Λύση: (1) Προφανώς, το ζητούμενο πλήθος των αυτομορφισμών είναι ίσο προς το πλήθος των απεικονίσεων 1 1 και επί από το [n] στο [n], που είναι n!. () Τώρα, συμβολίζοντας με C το κέντρο του αστεριού S n (δηλαδή, τη μοναδική 1

κορυφή του με βαθμό n 1), προφανώς, για κάθε αυτομορφισμό f του [n], πρέπει να έχουμε f(c) = C. Επειδή όμως δεν υπάρχει κανένας άλλος περιορισμός πάνω στις υπόλοιπες κορυφές, ο αυτομορφισμός f μπορεί να τις διατάσσει με κάθε δυνατό τρόπο. Επομένως, το πλήθος των διατάξεων των n 1 κορυφών, που είναι (n 1)!, θα είναι ίσο με το ζητούμενο πλήθος αυτομορφισμών του S n. (7) Ενας γράφος n κορυφών λέγεται επισημασμένος (labeled) αν το σύνολο των κορυφών του είναι το [n]. Αποδείξτε ότι υπάρχουν περισσότεροι από 6600 μη ισομορφικοί επισημασμένοι γράφοι 8 κορυφών. Λύση: Σύμφωνα με την Άσκηση, το πλήθος των απλών γράφων με σύνολο κορυφών το [8] είναι ( 8 ) = 8 = 68435456. Επιπλέον, το σύνολο των διατάξεων του [8] είναι 8! = 4030, που σημαίνει ότι κάθε επισημασμένος γράφος 8 κορυφών μπορεί να είναι ισομορφικός προς άλλους 4030, το πολύ, γράφους. Επομένως, η Αρχή του Περιστεριώνα συνεπάγεται ότι το πλήθος των κλάσεων ισοδυναμίας των ισομορφικών γράφων είναι τουλάχιστον ίσο προς 68435456/4030 = 6657.65. (8) Εστω p ένας διαμερισμός του m σε n μέρη (τμήματα). Λέμε ότι ο διαμερισμός p είναι γραφικός, αν υπάρχει ένας απλός γράφος G με n κορυφές και m ακμές, του οποίου η διατεταγμένη ακολουθία βαθμών είναι ο διαμερισμός p. Αποδείξτε ότι ο διαμερισμός p = (4, 4, 3,, 1) δεν είναι γραφικός. Λύση: Εστω ότι υπάρχει ένας γράφος G με ακολουθία βαθμών (4, 4, 3,, 1). Προφανώς, αυτός ο γράφος θα έχει 5 1 κορυφές και (4 + 4 + 3 + + 1) = 1 14 = 7 ακμές. Αλλά οι κορυφές του γράφου, που έχουν βαθμό 4 η κάθε μία, θα πρέπει να συνδέονται με όλες τις (υπόλοιπες) κορυφές. Συνεπώς, κάθε κορυφή θα πρέπει να έχει βαθμό μεγαλύτερο του, πράγμα, άτοπο, αφού στην ακολουθία βαθμών περιέχεται ο βαθμός 1. (9) Βρείτε τα ζεύγη των ισομορφικών γράφων μεταξύ των παρακάτω: (10) Βρείτε τα ζεύγη των ισομορφικών γράφων με τον γράφο Petersen (ο πρώτος αριστερά): (11) Βρείτε τα ζεύγη των ισομορφικών γράφων μεταξύ των παρακάτω: (1) Εστω N(n, m) το πλήθος των μη ισομορφικών (μεταξύ τους) γράφων n κορυφών και m ακμών. Υπολογίστε το N(4, 3). Λύση: Είναι οι εξής 3 γράφοι: (13) Υπολογίστε το πλήθος όλων των μη ισομορφικών (μεταξύ τους) γράφων 4 κορυφών. Λύση: Είναι οι εξής 11 γράφοι:

(14) Βρείτε πόσοι είναι και σχεδιάστε όλους τους μη ισομορφικούς γράφους με 5 κορυφές και 5 ακμές. Λύση: (15) Βρείτε δυο γράφος του ιδίου πλήθους κορυφών και των ίδιων βαθμών κορυφών, οι οποίοι δεν είναι ισομορφικοί. Λύση: Οι εξής γράφοι, ο πρώτος με κορυφές {1,, 3, 4, 5, 6} και ο δεύτερος με κορυφές {a, b, c, d, e, f} : 4 6 d f 1 3 a c 5 b e (16) Βρείτε τους πίνακες γειτνίασης A και B των δυο παρακάτω γράφων και τον πίνακα μετάθεσης P, που είναι τέτοιος ώστε BP = P A: (17) Δείξτε ότι δεν μπορεί να υπάρξει κανένας απλός γράφος 1 κορυφών και 8 ακμών, των οποίων όλοι οι βαθμοί κορυφών παίρνουν τις τιμές 3 ή 4. Δείξτε το ίδιο για τις τιμές βαθμών κορυφών 3 ή 6. Λύση: Επειδή σε έναν γράφο το πλήθος των κορυφών περιττού βαθμού είναι άρτιο, για βαθμούς 3 ή 4, έχουμε τις εξής περιπτώσεις για τα ζεύγη κορυφών με βαθμό 3 και με βαθμό 4: (0, 1), (, 10), (4, 8), (6, 6), (8, 4), (10, ), (1, 0), στα οποία αντιστοιχούν τα εξής πλήθη ακμών: 48/ = 4, 46/ = 3, 44/ =, 4/ = 1, 40/ = 0, 38/ = 19, 36/ = 18, αλλά 3

σε καμιά περίπτωση δεν σχηματίζονται οι 8 ακμές που έχει ο γράφος. Παρόμοια, για βαθμούς 3 ή 6, αντιστοιχούν τα εξής πλήθη ακμών: 7/ = 36, 66/ = 33, 60/ = 30, 54/ = 7, 48/ = 4, 4/ = 1, 36/ = 18, αλλά και πάλι σε καμιά περίπτωση δεν σχηματίζονται οι 8 ακμές που έχει ο γράφος. (18) Βρείτε δυο μη ισομορφικούς γράφους 6 κορυφών και ακολουθίας βαθμών κορυφών {1, 1,,, 3, 3}. Λύση: Οι εξής γράφοι, ο πρώτος με κορυφές {1,, 3, 4, 5, 6} και ο δεύτερος με κορυφές {a, b, c, d, e, f} : 3 c 4 b d 1 5 a e 6 f (19) Εστω G απλός γράφος με 9 κορυφές και τουλάχιστον 14 ακμές. Δείξτε ότι υπάρχει τουλάχιστον μια κορυφή του G με βαθμό τουλάχιστον 4. Λύση: Εστω d 1, d,..., d 9 οι βαθμοί των κορυφών και e ο αριθμός των ακμών του G. Αφού 9 d i = e 8, i=1 έπεται ότι κάποιο d i θα πρέπει να είναι 4, διότι αλλιώς αν όλα τα d i ήταν το πολύ 3, τότε το άθροισμά τους θα ήταν το πολύ 7, που είναι άτοπο. (0) Βρείτε πόσοι μη ισομορφικοί συνδεδεμένοι γράφοι υπάρχουν με (1) 4 ακμές και () με 5 ακμές και σχεδιάστε τους. Λύση: (1) Είναι οι εξής 5 γράφοι: () Είναι οι εξής 6 γράφοι: 4

(1) Βρείτε πόσα είναι και σχεδιάστε όλα τα μη ισομορφικά δένδρα με 7 κορυφές. Λύση: () Ενα υποσύνολο S κορυφών ενός γράφου λέγεται κυρίαρχο σύνολο αν κάθε άλλη κορυφή του γράφου (εκτός των κορυφών του S) είναι γειτονική με (τουλάχιστον) μια κορυφή του S. Ενα κυρίαρχο σύνολο λέγεται ελάχιστο κυρίαρχο σύνολο αν έχει το μικρότερο πλήθος κορυφών από όλα τα κυρίαρχα σύνολα του γράφου. Βρείτε τα ελάχιστα κυρίαρχα σύνολα του παρακάτω γράφου: Λύση: {, 4}, {, 5}, {6, 4}, {6, 3}. (3) Εξετάστε αν τα παρακάτω ζεύγη γράφων είναι ισομορφικά: Λύση: Τα δυο πρώτα είναι, τα δυο επόμενα δεν είναι. (4) Ενα δένδρο λέγεται δυαδικό αν έχει μοναδική κορυφή βαθμού (η ρίζα του δένδρου), ενώ κάθε άλλη κορυφή, που δεν είναι φύλλο, έχει βαθμό 3. Δείξτε ότι σε ένα δυαδικό δένδρο n κορυφών το πλήθος των φύλλων είναι 1 (n + 1). Λύση: Εστω k το πλήθος των φύλλων του δένδρου αυτού. Τότε το άθροισμα των βαθμών των n κορυφών είναι k + + 3(n k 1) = 3n k 1. Αλλά, από το Θεώρημα της Χειραψίας, το άθροισμα των βαθμών του δένδρου αυτού είναι (n 1), καθώς n 1 είναι το πλήθος των ακμών του. Επομένως, βρίσκουμε k = 1 (n + 1). 5

(5) Εξετάστε αν ο παρακάτω γράφος είναι Euler ή Hamilton και αν είναι βρείτε τον γύρο Euler ή τον κύκλο Hamilton: (6) Βρείτε όλους τους διμερείς γράφους που έχουν και τους συμπληρωματικούς τους γράφους επίσης διμερείς. Λύση: Είναι οι εξής 8 γράφοι: G 1 G G 3 G 4 G 5 G 6 G 7 G 8 6

Ασκήσεις Θεωρίας Γραφημάτων Ορισμοί Βασικές Έννοιες Βαθμοί Κορυφών 1) Στο παρακάτω γράφημα βρείτε: i) Το δ(g) ii) To Δ(G) iii) Την ακολουθία των βαθμών κορυφών του γραφήματος iv) Τον μέσο βαθμό των κορυφών ` ` ` ` ` ` ` ` ) Στο γράφημα του ερωτήματος 1 επιβεβαιώστε την ισχύ του Λήμματος της Χειραψίας. 3) Επαναλάβετε τα ερωτήματα 1 και για το παρακάτω γράφημα. ` ` ` ` ` ` ` ` 4) Υπολογίστε τους έσω και έξω-βαθμούς των κορυφών του παρακάτω κατευθυντικού γραφήματος. Στην συνέχεια επιβεβαιώστε την ισχύ του Λήμματος της Χειραψίας για κατευθυντικά γραφήματα. x z u a y w b 5) Ποιες από τις παρακάτω ακολουθίες είναι γραφικές. Αν είναι σχεδιάστε το αντίστοιχο απλό γράφημα. Αν όχι, αποδείξτε το. i) (5,5,4,3,,,,1) ii) (5,5,4,4,,,1,1)

iii) (5,5,5,3,,,1,1) iv) (5,5,5,4,,1,1,1) 6) Για το γράφημα G του σχήματος να βρείτε: i) Ένα συνεκτικό υπογράφημα με 6 κορυφές που δεν έχει κύκλους. ii) Το επαγόμενο υπογράφημα με σύνολο κορυφών {v 1,v, v 5, v 6, v 7,v 8, v 9 }. v 1 v v 3 v 4 v 5 v 6 v 7 v 8 v 9 7) Υπάρχουν απλά γραφήματα με τα παρακάτω χαρακτηριστικά; i) Γράφημα 6 κορυφών, εκ των οποίων 3 έχουν βαθμό 3 και 3 έχουν βαθμό 4. ii) Γράφημα 7 κορυφών, εκ των οποίων 1 έχει βαθμό 1, 3 έχουν βαθμό 3, 1 έχει βαθμό 4, και έχουν βαθμό 6. 8) Για το γράφημα G του ερωτήματος 6, βρείτε τα γραφήματα (i) G-v 4 v 5, (ii) G-v 7, (iii) G v 8 v 7. 9) Σε μια τάξη 9 φοιτητών, κάθε φοιτητής συμπαθεί 3 άλλους. Πείτε αν είναι δυνατόν κάθε φοιτητής να συμπαθιέται από τους 3 φοιτητές τους οποίους συμπαθεί. Υπόδειξη: Σκεφτείτε ένα κατάλληλο γράφημα το οποίο αν ήταν εφικτό να υπάρχει θα μοντελοποιούσε την παραπάνω κατάσταση. 10) Δείξτε ότι ένα απλό γράφημα έχει τουλάχιστον δύο κορυφές ίδιου βαθμού. Ισχύει το ίδιο σε γράφημα με παράλληλες ακμές αλλά όχι ανακυκλώσεις; 11) Δίνεται ένα γράφημα G το οποίο έχει προέλθει από την αφαίρεση μιας κορυφής από ένα κανονικό γράφημα Η με τουλάχιστον 3 κορυφές και με παράλληλες ακμές (ίσως) αλλά όχι ανακυκλώσεις. Πώς θα μπορούσατε να ανακατασκευάσετε το Η από το G;

1) Ο υπερκύβος Q n διάστασης n είναι ένα γράφημα που κάθε κορυφή του έχει μία ετικέτα n δυαδικών ψηφίων και το οποίο κατασκευάζεται αναδρομικά ως εξής: i) Για n=0 είναι μία κορυφή και η ετικέτα του είναι κενή. ii) Για n>1 ο υπερκύβος Q n διάστασης n κατασκευάζεται από δύο αντίγραφα του κύβου Q n-1 διάστασης n-1 με τον εξής τρόπο: ενώνουμε τις κορυφές με ίδια ετικέτα από κάθε αντίγραφο και δίνουμε σε κάθε κορυφή του κύβου διάστασης n μία ετικέτα που προκύπτει από την ετικέτα n-1 ψηφίων που είχε με ένα επιπλέον «0» στην αρχή αν ανήκε στο πρώτο αντίγραφο Q n-1 και «1» αν ανήκε στο δεύτερο αντίγραφο. α) Σχεδιάστε τους υπερκύβους Q n για 0 n 4. β) Υπολογίστε το πλήθος των κορυφών του υπερκύβου Q n. γ) Δείξτε ότι το Q n είναι κανονικό γράφημα και υπολογίστε τον βαθμό κάθε κορυφής δ) Υπολογίστε το πλήθος των ακμών του Q n. ε) Δείξτε ότι η ετικέτα κάθε κορυφής διαφέρει σε ένα μόνο ψηφίο από την ετικέτα κάθε γειτονικής κορυφής. 13) Θεωρούμε απλό μη κατευθυντικό γράφημα G με n 3 κορυφές, και για κάθε κορυφή u, συμβολίζουμε με d(u) τον βαθμό της u στο G, και με G u το γράφημα που προκύπτει από το G αν αφαιρέσουμε την u και όλες τις ακμές που προσπίπτουν σε αυτή. i) Να δείξετε ότι αν το G δεν περιέχει τρίγωνο (κύκλο μήκους 3), τότε υπάρχουν κορυφές u, v με deg(u) + deg(v) n. ii) Να δείξετε ότι αν το G έχει περισσότερες από n / 4 ακμές και δεν περιέχει τρίγωνο, τότε υπάρχει κορυφή u τέτοια ώστε το G u να περιέχει περισσότερες από (n 1) / 4 ακμές. Υπόδειξη: Ισχύει ότι για κάθε φυσικό m, αν m > n / 4, τότε και m n/> (n 1) / 4. Μπορείτε να το χρησιμοποιήσετε, αφού βέβαια πρώτα το αποδείξετε! Ξεχωρίστε περιπτώσεις όπου το n είναι άρτιο ή περιττό. iii) Χρησιμοποιώντας το (ii) και μαθηματική επαγωγή, να δείξετε ότι κάθε απλό μη κατευθυντικό γράφημα G με n 3 κορυφές και περισσότερες από n / 4 ακμές περιέχει τρίγωνο. 14) Σε ένα απλό μη κατευθυντικό γράφημα G 10 κορυφών βάζουμε αυθαίρετη κατεύθυνση στις ακμές του (στην ορολογία της θεωρίας γραφημάτων αυτό λέγεται προσανατολισμός του G), έτσι ώστε να

προκύψει ένα κατευθυντικό γράφημα G. Δείξτε ότι δεν μπορούν όλοι οι έξω-βαθμοί των κορυφών του G να είναι διαφορετικοί. 15) Ένα πρωτάθλημα (tournament) n κορυφών είναι ένα κατευθυντικό γράφημα n κορυφών με ακριβώς μία (κατευθυντική) ακμή μεταξύ κάθε ζευγαριού κορυφών. (Ο όρος οφείλεται στο ότι μοντελοποιεί τα αποτελέσματα ενός πρωταθλήματος στο οποίο συμμετέχουν οι n ομάδες, κάθε ομάδα παίζει έναν αγώνα με κάθε άλλη και η φορά της ακμής δείχνει την νικήτρια ομάδα, π.χ. η ομάδα από όπου ξεκινά η ακμή νίκησε την ομάδα όπου καταλήγει.) Δείξτε ότι υπάρχει ένα πρωτάθλημα n κορυφών όπου ο έσω βαθμός κάθε κορυφής είναι ίσος με τον έξω βαθμό της αν-ν το n είναι περιττό. 16) Δείξτε ότι είναι δυνατόν ένα πρωτάθλημα να μην έχει καθαρό νικητή, δηλαδή να υπάρχουν περισσότερες της μίας κορυφής με μέγιστο έξω-βαθμό. (Σχεδιάστε ένα πρωτάθλημα 5 κορυφών με αυτή την ιδιότητα, σαν αντιπαράδειγμα.) 17) Δείξτε ότι ένα πρωτάθλημα αν και μπορεί να μην έχει πάντα νικητή (προηγούμενη άσκηση) έχει πάντα έναν «Βασιλιά», δηλαδή μια κορυφή x που για κάθε άλλη y είτε νίκησε η x την y είτε νίκησε η x μια κορυφή z που νίκησε την y. Δηλαδή σε όρους γραφημάτων υπάρχει πάντα μια κορυφή x που για κάθε άλλη y είτε υπάρχει η ακμή x y είτε υπάρχει μια κορυφή z έτσι ώστε να υπάρχουν οι ακμές x z και z y.