Professional Documents
Culture Documents
Δημήτρης Φωτάκης
Άσκηση 4. Να αποδείξετε ότι κάθε γράφημα περιέχει μία διαδρομή (β. Ορισμό 1.18,
Βιβλίο Μ. Μαυρονικόλα) από μια κορυφή u σε μια κορυφή w αν και μόνο αν περιέχει
ένα απλό μονοπάτι από τη u στη w. (Βλέπε επίσης Πρόταση 1.2, σελ. 48, Βιβλίο Μ.
Μαυρονικόλα για μια επαγωγική διατύπωση της ίδιας ουσιαστικά λύσης).
Λύση. Η μία κατεύθυνση είναι προφανής, γιατί κάθε απλό μονοπάτι είναι εξ’ ορισμού
διαδρομή. Για την αντίστροφη κατεύθυνση, παρατηρώ ότι αν η διαδρομή μεταξύ u
και w δεν αντιστοιχεί σε απλό μονοπάτι, τότε αυτή πρέπει να περιέχει κορυφές που
επαναλαμβάνονται. Όμως, το τμήμα της διαδρομής ανάμεσα σε δύο διαφορετικές
εμφανίσεις της ίδιας κορυφής είναι ένας κύκλος (όχι κατ’ ανάγκη απλός).
Αφαιρώντας όλους αυτούς τους κύκλους, καταλήγω σε ένα απλό μονοπάτι από τη u
στη w.
Με απολύτως παρόμοιο τρόπο μπορείτε να αποδείξετε ότι ένα γράφημα περιέχει έναν
κύκλο (μία κλειστή διαδρομή) αν και μόνο αν περιέχει έναν απλό κύκλο. Η πρόταση
αυτή είναι ουσιαστικά αυτό που ζητείται να αποδείξετε στην Άσκηση
Αυτοαξιολόγησης 4.5, Βιβλίο Γ. Βούρου.
Άσκηση 5. Να αποδείξετε ότι κάθε κύκλος (κλειστή διαδρομή) είναι η ένωση απλών
κύκλων ξένων μεταξύ τους ως προς τις ακμές.
Λύση (υπόδειξη). Θεωρήστε το υπογράφημα που προκύπτει αν αφαιρέσουμε όλες τις
ακμές του αρχικού γραφήματος που δεν ανήκουν στον κύκλο (κλειστή διαδρομή) που
εξετάζουμε. Όλες οι κορυφές του συγκεκριμένου υπογραφήματος έχουν άρτιο βαθμό
(και συνεπώς το υπογράφημα περιέχει κύκλο Euler, που φυσικά δεν είναι άλλος από
τον αρχικό κύκλο). Τώρα μπορούμε να δουλέψουμε όπως στην απόδειξη του
Θεωρήματος 2.19, σελ. 242, Βιβλίο Μ. Μαυρονικόλα, κατεύθυνση (B) προς (C) ή και
να εφαρμόσουμε το Θεώρημα 2.19 απευθείας.
Άσκηση 6. Είναι δυνατόν ένα γράφημα που περιέχει τουλάχιστον μία ακμή – γέφυρα
να έχει κύκλο Hamilton. Τι συμβαίνει με τον κύκλο Euler; Για τον ορισμό της
γέφυρας, βλέπε Ερώτημα 4 της 2ης Εργασίας. Να συγκρίνετε αυτή την άσκηση με την
Άσκηση Αυτοαξιολόγησης 4.6, Βιβλίο Γ. Βούρου.
Λύση. Επειδή η αφαίρεση μιας ακμής – γέφυρας άρει τη συνεκτικότητα του
γραφήματος (με άλλα λόγια, κάθε μονοπάτι που συνδέει μια κορυφή στα «δεξιά της
γέφυρας» με μία κορυφή στα «αριστερά της γέφυρας» πρέπει να διέρχεται από τη
γέφυρα), κάθε κύκλος Hamilton ή κύκλος Euler πρέπει διέρχεται από τη γέφυρα.
Αυτό συμβαίνει γιατί ο κύκλος Hamilton διέρχεται από (συνδέει) όλες τις κορυφές
του γραφήματος και ο κύκλος Euler διέρχεται από κάθε ακμή του γραφήματος. Όμως,
εξ’ ορισμού, μία ακμή – γέφυρα δεν μπορεί να συμμετέχει σε κανένα κύκλο του
γραφήματος. Συνεπώς, καταλήξαμε σε άτοπο. Άρα, όταν ένα γράφημα περιέχει
τουλάχιστον μία ακμή – γέφυρα, δεν μπορεί να έχει ούτε κύκλο Hamilton ούτε κύκλο
Euler.
Είναι ενδιαφέρον να κατανοήσετε γιατί ένα γράφημα που περιέχει τουλάχιστον μία
ακμή – γέφυρα δεν μπορεί να έχει όλες τις κορυφές του με άρτιο βαθμό και επομένως
να έχει κύκλο Euler. (Υπόδειξη: Χρησιμοποιείστε την Πρόταση 1.11, σελ. 71, Βιβλίο
Μ. Μαυρονικόλα, για τα τμήματα του γραφήματος που προκύπτουν από την
αφαίρεση της γέφυρας).
Άσκηση 6. Ποιος είναι ο μέγιστος αριθμός ακμών που μπορεί να περιέχει ένα απλό
διμερές / διχοτομίσιμο γράφημα με κ κορυφές.
Λύση. Προφανώς ο μέγιστος αριθμός ακμών συμβαίνει στο πλήρες γράφημα. Αφού
όλες οι κορυφές είναι κ, αν το ένα σύνολο κορυφών περιέχει ν κορυφές, το δεύτερο
θα περιέχει (κ – ν). Ο συνολικός αριθμός ακμών του Κν,κ–ν είναι ν(κ – ν). Η ποσότητα
αυτή μεγιστοποιείται για ν = κ/2 αν το κ είναι άρτιος και για ν = (κ – 1)/2 αν το κ
είναι περιττός. Συνεπώς, αν το κ είναι άρτιος, ο μέγιστος αριθμός ακμών είναι κ2 / 4,
ενώ αν το κ είναι περιττός, ο μέγιστος αριθμός ακμών είναι (κ2 – 1) / 4. Παρατηρείστε
ότι οι αντίστοιχοι αριθμοί είναι πάντα ακέραιοι.
Άσκηση 7. Να χαρακτηρίσετε την κλάση των γραφημάτων στα οποία κάθε κύκλος
Euler είναι επίσης και κύκλος Hamilton.
Λύση. Ένας κύκλος ο οποίος είναι τόσο κύκλος Euler όσο και κύκλος Hamilton
πρέπει να διέρχεται από κάθε κορυφή του γραφήματος ακριβώς μία φορά (επειδή
είναι κύκλος Hamilton) και από κάθε ακμή του γραφήματος ακριβώς μία φορά
(επειδή είναι κύκλος Euler). Αυτό μπορεί να συμβεί μόνο αν το γράφημα είναι ένας
απλός κύκλος Cn με n κορυφές και n ακμές (υπενθυμίζουμε ότι ο απλός κύκλος Cn , n
≥ 3, αποτελείται από n κορυφές u1, u2, …, un και n ακμές {u1, u2}, {u2, u3}, …, {un-1, un
}, {un, u1}). Συγκεκριμένα, αν το γράφημα περιείχε n + 1 ή περισσότερες ακμές, ο
κύκλος Euler δεν θα ήταν κύκλος Hamilton (θα περιείχε περισσότερες από n ακμές
και συνεπώς θα διερχόταν από κάποια κορυφή περισσότερες από μία φορές). Αν το
γράφημα περιείχε n – 1 ή λιγότερες ακμές, είτε δεν θα περιείχε κανένα κύκλο (θα
ήταν δέντρο) είτε δεν θα ήταν συνεκτικό. Σε καμία από τις δύο περιπτώσεις δεν θα
είχε ούτε κύκλο Euler ούτε κύκλο Hamilton. Τέλος, το Cn είναι το μοναδικό γράφημα
με n κορυφές και n ακμές που περιέχει κύκλο Euler ή / και κύκλο Hamilton.
Για το αντίστροφο, είναι προφανές ότι το Cn περιέχει ακριβώς έναν κύκλο ο οποίος
είναι τόσο κύκλος Euler όσο και κύκλος Hamilton.