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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός

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

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 2η <Αλγόριθµοι, Θεωρία Γραφηµάτων>

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

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

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

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

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

HY118- ιακριτά Μαθηµατικά

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

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

Θεωρία γραφημάτων. Παλιό αντικείμενο 18 ος αιώνας Leonhard Euler (Ελβετός μαθηματικός): πρόβλημα γεφυρών της πόλης Königsberg

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

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

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

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

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

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

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

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

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

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

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

Συνεκτικότητα Γραφήματος

Γραφήματα. Θέματα Υπολογισμού στον Πολιτισμό Γραφήματα

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Διαίρει και Βασίλευε. πρόβλημα μεγέθους Ν. διάσπαση. πρόβλημα μεγέθους k. πρόβλημα μεγέθους Ν-k

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

Ελάχιστα Γεννητορικά ένδρα

Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων ΣΗΜΜΥ - Ε.Μ.Π.

Transcript:

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

Ασκηση 1 η Να αποδείξετε ότι κάθε γράφημα περιέχει μια διαδρομή από μια κορυφή u σε μια κορυφή w αν και μόνο αν περιέχει ένα μονοπάτι από την u στην w. Λύση: Η μια κατεύθυνση είναι προφανής γιατί κάθε μονοπάτι είναι εξ ορισμού διαδρομή. Για το αντίστροφο, παρατηρώ ότι αν η διαφρομή μεταξύ u και w δεν αντιστοιχεί σε μονοπάτι, τότε αυτή πρέπει να περιέχει κορυφές που επαναλαμβάνονται. Το τμήμα της διαδρομής ανάμεσα σε δυο διαφορετικές εμφανίσεις της ίδιας κορυφής είναι ένας κύκλος. Αφαιρώντας όλους αυτούς τους κύκλους καταλήγω σε ένα μονοπάτι από το u και w. Με παρόμοιο τρόπο μπορείτε να αποδείξετε ότι ένα γράφημα περιέχει μια κλειστή διαδρομή αν και μόνο αν περιέχει έναν απλό κύκλο.

Ασκηση 2 η (βαθμός κορυφής) Να αποδείξετε ότι δε μπορεί να υπάρξει απλό γράφημα με (α) 6 κορυφές με βαθμό 2,3,3,4,4, και 5 αντίστοιχα, (β) 5 κορυφές με βαθμό 2,3,3, 4 και 5, (γ) 4 κορυφές με βαθμό 1,3,3 και 3 αντίστοιχα (δ) 7 κορυφές με βαθμό 1,3,3,4, 5,6 και 6 αντίστοιχα. (α) το άθροισμα των βαθμών είναι περιττός (β) ο μέγιστος βαθμός είναι ίσος με τον αριθμό των κορυφών (γ) και οι 3 κορυφές βαθμού 3 πρέπει να συνδέονται στην τέταρτη που έχει βαθμό 1. (δ) Οι δυο κορυφές βαθμού 6 πρέπει να συνδέονται με όλες τις κορυφές άρα και με αυτή που έχει βαθμό 1.

Ασκηση 3 η Εστω ένα απλό μη-κατευθυνόμενο γράφημα με n κορυφές και m ακμές που αποτελείται απο n1 κορυφές με βαθμό k και n2 κορυφές με βαθμό k+1. Να αποδείξετε οτι n1=n(k+1)-2m και n2=2m-nk. Λύση: Από την εκφώνηση έχουμε n1+n2=n, n1=n-n2. Αφού το άθροισμα του βαθμού των κορυφών ισούται με το διπλάσιο τςν ακμών του, έχουμε: n1k+n2(k+1)=2m, nk-n2k+n2(k+1)=2m, n2=2m-nk Χρησιμοποιώντας τα παραπάνω γεγονότα προκύπτει ότι: n1=n(k+1)-2m

Ασκηση 4η Δείξτε ότι ένας γραμμικός γράφος n κορυφών, χωρίς βρόχους, δεν είναι διμερής εάν έχει περισσότερες από n 2 /4 ακμές. Λύση: Ειναι γνωστό ότι ο μέγιστος διμερής γράφος με n κορυφές είναι ο πλήρης διμερής γράφος στον οποίο κάθε σύνολο της διαμέρισής του V σε υποσύνολα V1 και V2 έχει n/2 κορυφές, για n άρτιο, ή [n/2] και {n/2} για n περιττό. Αρα ο μέγιστος αριθμός ακμών είναι (n/2)* (n/2)= n 2 /4 για n άρτιο [n/2]* {n/2} =(n-1)(n+1)/4=(n 2-1)/4= n 2 /4 για n περιττό. Αρα σε κάθε περίπτωση, αν ο αριθμός των ακμών είναι > n 2 /4 ο γράφος δε μπορεί να είναι διμερής.

Ασκηση 5η Υπάρχουν γράφοι με 5 κορυφές και βαθμούς 1,2,2,3,3? Λύση: Για ένα τέτοιο γράφο θα είχαμε: i deg( u ) 1 2 2 3 3 11 i Ομως από το θεώρημα του Euler γνωρίζουμε ότι το άθροισμα του βαθμού των κορυφών ui είναι άρτιο για κάθε γράφο G (και ίσο με 2q, όπου q ο αριθμός των ακμών του G). Και συνεπώς δεν υπάρχει τέτοιος γράφος.

Ασκηση 6η Εστω ένας συνεκτικός γράφος με 2 τουλάχιστον κορυφές. Να δειχθεί ότι εάν ο γράφος έχει λογότερες ακμές από τις κορυφές, τότε θα υπάρχει κορυφή βαθμού 1. Λύση: Εστω ένας (p,q) συνεκτικός γράφος G με p>q και p>=2. ας υποθέσουμε ότι για κάθε κορυφή ui ισχύει deg(ui)>=2. Ετσι θα έχουμε: deg( ui ) u1 u2... u p 2 2... 2 2 p i Επίσης από το θεώρημα του Euler ισχύει: i deg( u ) 2q Από τις προηγούμενες σχέσεις προκύπτει ότι 2q>=2p, αρα q>=p, που είναι άτοπο. Αρα ο G έχει μια τουλάχιστον κορυφή u με deg(u)<2. i

Ασκηση 7η Εστω G ένας (p,q) γράφος, του οποίου όλες οι κορυφές έχουν βαθμό k ή k+1. Εαν ο G, έχει p k >0 κορυφές βαθμού k και p k+1 κορυφές βαθμού k+1, τότε να δειχθεί ότι p k =(k+1)p-2q. Λύση: Από την υπόθεσή μας έχουμε: p k + p k+1 =p, p k+1 =p-p k Από το θεώρημα του Euler έχουμε: i deg( u ) 2 q p k p ( k 1) 2q i k k 1 Οπότε με τη βοήθεια της προηγούμενης σχέσης παίρνουμε: p k ( p p )( k 1) 2 q p k p( k 1) p k 2 q p ( k 1) p 2q k k k k k

Ασκήσεις σε κύκλο Euler & kύκλο Hamilton

Ασκηση 1η Να αποδείξετε ότι κάθε απλό μη κατευθυνόμενο γράφημα με 11 κορυφές και 53 ακμές δεν έχει κύκλο Euler αλλά έχει κύκλο Hamilton. Λύση: Το πλήρες γράφημα με 11 κορυφές έχει 55 ακμές. Κάθε απλό γράφημα με 11 κορυφές έχει 53 ακμές προκύπτει από το Κ11 με την αφαίρεση 2 ακμών. Για να αποκλείσουμε την ύπαρξη του Κύκλου Euler θα πρέπει να διακρίνουμε δυο περιπτώσεις: 1 η περίπτωση:οι δυο ακμές που αφαιρέθηκαν από το Κ11 προσπίπτουν στην ίδια κορυφή. Επειδή το γράφημα είναι απλό, οι δυο ακμές μπορούν να έχουν μόνο το ένα άκρο τους κοινό. Το γράφημα έχει μια κορυφή βαθμού 8, δυο κορυφές βαθμού 9 και 8 κορυφές με βαθμό 10. συνεπώς δε μπορεί να έχει κύκλο Euler, αφού περιέχει κάποιες κορυφές με περιττό βαθμό. 2 η περίπτωση: αν οι δυο ακμές που αφαιρέθηκαν από το Κ11 προσπίπτουν σε 4 διαφορετικές κορυφές, το γράφημα με 11 κορυφές έχει 53 ακμές πρέπει να έχει 4 κορυφές βαθμού 9 και 7 κορυφές βαθμού 10. και σε αυτή την περίπτωση το γράφημα δεν μπορεί να έχει κύκλο Euler. Σημείωση: Η ύπαρξη κύκλου Η προκύπτει από το θεώρημα του Ore, αφού το άθροισμα των βαθμών κάθε ζεύγους κορυφών είναι τουλάχιστον 17>11.

Ασκηση 2η Να χαρακτηρίσετε την κλάση των γραφημάτων στα οποία κάθε κύκλος Euler είναι και κύκλος Hamilton. Λύση: κάθε κύκλος ο οποίος είναι Euler και Hamilton πρέπει να διέρχεται από κάθε κορυφή του γραφήματος ακριβώς μια φορά (επειδή είναι κύκλος Hamilton) και απο κάθε ακμή ακριβώς μια φορά (επειδή είναι κύκλος Euler). Αυτό μπορεί να συμβεί μόνο αν το γράφημα είναι ένας απλός κύκλος Cn, με n κορυφές και n ακμές (n>=3). Αν το γράφημα περιείχε n+1 ή περισσότερες ακμές, ο κύκλος Euler δεν θα ήταν κύκλος Hamilton (θα περιείχε περισσότερες από n ακμές και θα διερχόταν από κάποια κορυφή περισσότερες από n φορές) Αν το γράφημα περιείχε n-1 ή λιγότερες ακμές, είτε δεν θα περιείχε κανένα κύκλο είτε δεν θα ήταν συνεκτικό, και δεν θα είχε ούτε κύκλο Euler ούτε κύκλο Hamilton.

Ασκηση 3η Μια ακμή ονομάζεται γέφυρα αν δεν υπάρχει κύκλος που την περιέχει. Δείξετ ότι αν ένα απλό γράφημα έχει κύκλο Hamilton, τότε δεν μπορεί να περιέχει γέφυρα. Ισχύει το ίδιο συμπέρασμα, εάν αντί για κύκλο Hamilton υποθέσουμε ότι έχει κύκλο Euler? Λύση: Μια ακμή περιέχεται σε κύκλο αν είναι απλός κύκλος. Αν ο κύκλος δεν είναι απλός αποτελείται από την ένωση απλών κύκλων. Ετσι μπορούμε να κρατήσουμε τον απλό κύκλο που περιέχει τη γέφυρα που μας ενδιαφέρει. Επίσης, γνωρίζουμε ότι ο κύκλος Hamilton διέρχεται από κάθε κορυφή του γραφήματος ακριβώς μια φορά. Ο κύκλος Euler διέρχεται από κάθε ακμή του γραφήματος ακριβώς μια φορά και κάθε κορυφή του γραφήματος τουλάχιστον μια φορά. Εστω G(V,E) ένα οποιδήποτε γράφημα με κύκλο Η. Αφού το γράφημα έχει κύκλο Η, υπάρχει μονοπάτι π μεταξύ των u και v που δεν διέρχεται από την ακμή {u,v}. Το μονοπάτι π μαζί με την ακμή {u,v} σχηματίζει κύκλο. Συνεπώς, καμιά ακμή του γραφήματος G δεν μπορεί να είναι γέφυρα. Σημείωση: με το ίδιο σκεπτικό, μια ακμή {u,v} δε μπορεί να είναι γέφυρα ακόμη και στην περίπτωση που απλός υπάρχει κάποιος κύκλος που διέρχεται από τις u και v. Οσο για τον κύκλο Euler αυτός διέρχεται από όλες τις ακμές του γραφήματος. Συνεπώς κάθε γράφημα με κύκλο Euler δεν μπορεί να περιέχει γέφυρα.

Ασκηση 4η Εαν ο (p,q) γράφος G, με p>=3, είναι τέτοιος ώστε για όλες τις μη γειτονικές του κορυφές u και v να ισχύει deg(u)+deg(v)>=p, τότε να δειχθεί ότι ο G είναι γράφος Hamilton. Λύση: Έστω ο G είναι ένας μη Hamiltonian γράφος. Για κάθε δυο μη γειτονικές κορυφές ω 1 και ω 2 του G, ο G+ω 1 ω 2 είναι Hamiltonian. Έστω u, v δυο μη γειτονικές κορυφές του G. Αφού ο G+uv είναι Hamiltonian, κάθε κύκλος στον G+uv περιέχει την ακμή uv. Έτσι ο G περιέχει ένα u-v μονοπάτι P, που περιέχει όλες τις κορυφές του, έστω το u u 1 u 2 u 3.u p u. Εάν u 1 u 2 ακμή του G, 2 i p, τότε η u i-1 u p δεν ανήκει στο G διότι τότε ο u 1 u i u i+1 u p u i-1 u i-2 u 1 θα ήταν ένας Hamiltonian κύκλος στον G. Άρα για κάθε κορυφή στο {u 1, u2,,u p-1 }, μη γειτονική με την u p, και έτσι degu p (p -1) - degu 1 degu + degv p 1. Άτοπο. Άρα ο G Hamiltonian.

Ασκηση 5η Υπάρχουν γράφοι στους οποίους ένα μονοπάτι Euler να είναι και μονοπάτι Hamilton? Χαρακτηρίστε αυτή την κατηγορία γράφων. Επίλυση: Έστω ο γράφος έχει μονοπάτι Euler. Τότε ο γράφος συνεκτικός. Αν το μονοπάτι είναι και Hamilton, τότε κάθε κορυφή άρτιου βαθμού θα έχει βαθμό υποχρεωτικά 2, (διότι αν είχε βαθμό 0 ο γράφος δεν θα ήταν συνεκτικός, ενώ αν είχε βαθμό >2 τότε για να καλυφθούν οι προσπίπτουσες σε αυτήν ακμές, θα έπρεπε να περάσουμε τουλάχιστον δυο φορές από την κορυφή, Άτοπο.) Όμοια, κάθε κορυφή περιττού βαθμού θα είχε βαθμό 1. Επομένως ο γράφος είτε είναι κύκλος Cn, είτε είναι ένα μονοπάτι Pn. Αντιστρόφως, ισχύει προφανώς ότι στον Cn και στον Pn, ένας κύκλος (μονοπάτι) Euler είναι αντιστοίχως και κύκλος (μονοπάτι) Hamilton.

Άσκηση 6η Έντεκα φοιτητές σχεδιάζουν να γευματίσουν μαζί για κάμποσες μέρες. Θα κάθονται σε ένα κυκλικό τραπέζι και το σχέδιο προβλέπει ότι κάθε φοιτητής θα έχει διαφορετικούς γείτονες σε κάθε γεύμα. Για πόσες μέρες μπορούν να διαρκέσουν τα γεύματα;

Επίλυση 6ης Θεωρούμε τον τρόπο που θα καθίσουν οι φοιτητές σαν ένας κύκλος Hamilton στον πλήρη γράφο K 11 όπου οι 11 κορυφές αναπαριστούν τους φοιτητές και μια ακμή, που ενώνει δυο κορυφές συμβολίζει τη δυνατότητα να κάθονται σε διπλανές θέσεις στο γεύμα οι αντίστοιχοι φοιτητές. Στο γράφο υπάρχουν (11/2)=55 ακμές και σε κάθε κύκλο Hamilton χρησιμοποιούνται 11 ακμές, από τις οποίες 2 ξεκινούν από κάθε κορυφή. Οι ίδιες ακμές δεν επιτρέπεται να χρησιμοποιηθούν σε άλλο κύκλο Hamilton, που δίνει λύση στο πρόβλημα, διότι τότε ένας φοιτητής θα είχε ίδιο γείτονα και σε άλλο γεύμα στο τραπέζι. Αρα τα γεύματα μπορεί να διαρκέσουν το πολύ για 5=55/11 μέρες.

Ασκήσεις σε Συνεκτικότητα Μελετήστε την 7 η Διάλεξη που αναφέρεται στη συνεκτικότητα

Ασκηση 1 Αν ένας γράφος έχει 2n κορυφές βαθμού n, τότε ο γράφος είναι συνεκτικός. Λύση: Εστω ένας γράφος G με 2n κορυφές βαθμού n και ας υποθέσουμε ότι είναι μη συνεκτικός. Τότε υπάρχουν τουλάχιστον 2 συνεκτικές συνιστώσες στον G και σύμφωνα με την Αρχή της Περιστεροφωλιάς μια από αυτές τις συνιστώσες έχει το πολύ n κορυφές. Κάθε κορυφή αυτής της συνιστώσας θα είναι (από τον ορισμό της συνεκτικότητας) γειτονική μόνο με κορυφές της ίδιας συνιστώσας και συνεπώς θα είναι βαθμού το πολύ n-1, άτοπο. Αρα η αρχική υπόθεσή μας είναι λανθασμένη και ο γράφος G είναι συνεκτικός.

Ασκηση 2 Εάν ο βαθμός κάθε κορυφής σε ένα γράφο είναι μεγαλύτερος ή ίσος του 2, τότε να δειχθεί ότι ο γράφος περιέχει τουλάχιστον ένα κύκλο. Λύση: Υποθέτουμε ότι ο γράφος είναι συνεκτικός, αλλιώς δουλεύουμε με μια τυχαία συνιστώσα του. Εστω μια τυχαία κορυφή u γειτονική με τις κορυφές u 1,u 2,.u n, u 2. Εαν υπάρχει στον G μια ακμή u i u j τότε θα υπάρχει κύκλος uu i u j u. Διαφορετικά επιλέγουμε την u έτσι ώστε να μην είναι σημείο αποκοπής του G. Μια κορυφή u με αυτή την ιδιότητα υπάρχει, διότι σύμφωνα με γνωστό θεώρημα, σε κάθε μη τετριμμένο συνεκτικό γράφο G, υπάρχουν τουλάχιστον δυο κορυφές, που δεν είναι σημεία αποκοπής. Αφού η u δεν είναι σημείο αποκοπής υπάρχει μονοπάτι που ενώνει τις κορυφές u 1, u 2 και δεν περιέχει την u. Το μονοπάτι αυτό, έστω u 1. u 2, μαζί με τις ακμές u 2 u και uu 1 είναι ένας κύκλος στον G. Ετσι αποδείχθηκε το ζητούμενο.