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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

n ίδια n διαφορετικά n n 0 n n n 1 n n n n 0 4

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

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

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

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

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

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

Ειδικά θέματα Αλγορίθμων και Δομών Δεδομένων (ΠΛΕ073) Απαντήσεις 1 ου Σετ Ασκήσεων

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

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

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

m = 18 και m = G 2

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

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

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

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

3η Σειρά Γραπτών Ασκήσεων

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

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

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

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

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

Δοµές Δεδοµένων & Ανάλυση Αλγορίθµων 3ο Εξάµηνο. Γραφήµατα. (Graphs)

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

Ταιριάσματα. Γράφημα. Ταίριασμα (matching) τέτοιο ώστε κάθε κορυφή να εμφανίζεται σε το πολύ μια ακμή του

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

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

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

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

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

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

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

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

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες

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

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

Κατανεμημένα Συστήματα Ι

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

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

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

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

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

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

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

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

Outline 1 Άσκηση 1 2 Άσκηση 2 3 Άσκηση 3 4 Άσκηση 4 5 Άσκηση 5 6 Προγραμματιστική Άσκηση 1 7 Προγραμματιστική Άσκηση 2 (CoReLab - NTUA) Αλγόριθμοι - 3

Κατανεμημένα Συστήματα Ι

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

Ελάχιστο Γεννητικό Δένδρο. Παράδειγμα - Αλγόριθμος Prim. Γιατί δουλεύουν αυτοί οι αλγόριθμοι;

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

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

Transcript:

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

Eulerian γραφήματα Περίπατος: Ένας περίπατος μήκους k είναι μια ακολουθία π =< v 0 e 1 v 1... v k 1 e k v k > από εναλλασσόμενες κορυφές και ακμές του γραφήματος G έτσι ώστε e i = (v i 1, v i ), i = 1,..., k. G 1 v 1 e 10 e 1 v v 2 e 6 e 7 e 11 e 2 e 5 v 4 e 9 e 8 v 5 e e 4 v 6 (v 1, v 6 )-περίπατος: v 1 e 1 v 2 e 2 v 4 e 5 v 6 e 4 v 5 e 5 v e 6 v 2 e 7 v 5 e 8 v 4 e v e 10 v 1 e 11 v 6 G e 1 2 Περιήγηση: v 1 e 2 e 5 Ένας περίπατος με ταυτόσημες τερματικές κορυφές. e 4 e v v 2 e 6 e 7 v 4 Μονοκονδυλιά: Ένας περίπατος χωρίς επαναλαμβανόμενες ακμές. G 1 : v 1 e 1 v 2 e 6 v e 9 v 4 e 8 v 5 G 2 : v 1 e 1 v 2 e 2 v 1 e v e 4 v 1 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 124 / 142

Περιήγηση Euler: Έστω γράφημα G. Μια κλειστή μονοκονδυλιά του G η οποία περιλαμβάνει όλες τις ακμές του ονομάζεται περιήγηση Euler του G. Περίπατος Euler: Έστω γράφημα G. Μια μονοκονδυλιά του G η οποία περιλαμβάνει όλες τις ακμές του και έχει διαφορετικές τερματικές κορυφές ονομάζεται περίπατος Euler του G. Eulerian γράφημα: Ένα γράφημα το οποίο έχει μια περιήγηση Euler. A Semi-Eulerian γράφημα: Ένα γράφημα το οποίο έχει έναν περίπατο Euler. A C D C D Preleg River B B Μοντελοποίηση από Euler [175] Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 125 / 142

Θεώρημα 6.1 [Euler]: Έστω συνεκτικό γράφημα G. Το G είναι Eulerian γράφημα ανν κάθε κορυφή του G έχει άρτιο βαθμό. Απόδειξη : Έστω G ένα συνεκτικό Eulerian γράφημα. Έστω P μια περιήγηση Euler του G. Ο βαθμός κάθε κορυφής μπορεί να υπολογιστεί προσθέτοντας 2 μονάδες σε κάθε κορυφή που συναντάμε κατά την περιήγηση του P. [Μία μονάδα για την εισερχόμενη ακμή και μία για την εξερχόμενη.] Στα αθροίσματα λαμβάνονται υπόψιν όλες οι ακμές γιατί η περιήγηση P είναι Eulerian. Κάθε κορυφή έχει άρτιο βαθμό. [Με επαγωγή στον αριθμό των ακμών του G.] Το G είναι συνεκτικό και ο βαθμός κάθε κορυφής είναι άρτιος. Ο βαθμός κάθε κορυφής 2. δ(g) 2 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 126 / 142

Βάση: E(G) = 1 E(G) = 2 ή E(G) = ή ή Ε.Υ. Κάθε συνεκτικό γράφημα G με E(G) < k και με κορυφές άρτιου βαθμού είναι Eulerian γράφημα. Ε.Β. Θα δείξουμε ότι κάθε συνεκτικό γράφημα με k ακμές και κορυφές άρτιου βαθμού είναι Eulerian. Έστω G συνεκτικό γράφημα με k ακμές και με κορυφές άρτιου βαθμού. δ(g) 2 Ο G έχει κύκλο, έστω C. Περίπτωση 1: Ο C περιέχει k ακμές, δηλαδή όλες τις ακμές του G. Ο G είναι Eulerian. Περίπτωση 2: Ο C περιέχει < k ακμές Έστω το γράφημα G που προκύπτει από την αφαίρεση των ακμών του κύκλου C από το G. Έστω H 1, H 2,..., H l οι συνεκτικές συνιστώσες του G. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 127 / 142

Κάθε συνιστώσα H i, 1 i l του G έχει τουλάχιστον μια κορυφή κοινή με τον C. E(H i ) < k, 1 i l Έστω C i η περιήγηση Euler του H i [από Ε.Υ.]. Έστω v μια κορυφή που ανήκει στον C και την συνιστώσα H 1. Έστω e C 1 (ec 2 ) η ακμή του C που προηγείται της (ακολουθεί την) κορυφής v στον C. Έστω e C 1 1 και e C 1 2 η ακμή που προηγείται και ακολουθεί μια εμφάνιση της v στην C 1. Ο C μπορεί να επεκταθεί ακολουθώντας, μετά την e C 1, την ec 1 1 την περιήγηση C 1 έως την e C 1 2, μετά την e C 2,. Ο C επεκτείνεται ώστε να περιλάβει την H 1. C l C H l C e C 1 e C 2 C 1 v H 1 H i C 2 C i e C1 1 e C1 2 H 2 C 1 Με όμοιο τρόπο περιλαμβάνει διαδοχικά όλες τις συνιστώσες H i, 1 i l του G. Ο C επεκτείνεται ώστε να γίνει περιήγηση που περιλαμβάνει όλες τις ακμές του G. Ο G είναι Eulerian γράφημα. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 128 / 142

Πόρισμα 6.2: Έστω συνεκτικό γράφημα G. Το G είναι semi-eulerian γράφημα ανν έχει ακριβώς 2 κορυφές με περιττό βαθμό. Απόδειξη : Έστω u, v οι τερματικές κορυφές του περιπάτου που περιέχει όλες τις ακμές του G. Με την ίδια διαδικασία της απόδειξης του Θεωρήματος Euler προκύπτει ότι οι κορυφές u, v έχουν περιττό βαθμό ενώ όλες οι εσωτερικές κορυφές του περιπάτου έχουν άρτιο βαθμό. Έστω το G = (V (G), E(G) {e = (u, v)}). Όλες οι κορυφές του G έχουν άρτιο βαθμό. Το G είναι Eulerian. Το G έχει περιήγηση Euler P. P \e = (u, v) είναι περίπατος Euler από την u στην v. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 129 / 142

Μη αναδρομική κατασκευή περιήγησης Euler. [Αλγόριθμος Fleury - 1921] Σχηματίζουμε περιήγηση Euler ξεκινώντας από αυθαίρετη κορυφή u και συνεχίζοντας με βάση τους κανόνες: i. Διαγράφουμε από το G την ακμή που μόλις διασχίσαμε. Διαγράφουμε τις μεμονωμένες κορυφές [χωρίς βρόγχους]. ii. Χρησιμοποιούμε μια γέφυρα μόνο όταν ο βαθμός της τρέχουσας κορυφής [στο γράφημα H που έχει προκύψει] είναι ίσος με 1. Απόδειξη ορθότητας: Έστω ότι έχουμε φτάσει σε μια κορυφή v. Περίπτωση 1: u v. Στο τρέχων γράφημα H ο βαθμός των u, v είναι περιττός. Όλοι οι άλλοι βαθμοί είναι άρτιοι. Το H είναι συνεκτικό. Θα δείξουμε ότι: Η διαγραφή της επόμενης ακμής (και κορυφής, εάν χρειαστεί) δεν μετατρέπει το H σε μη συνεκτικό γράφημα. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 10 / 142

u v w H 1 H Έστω ότι όλες οι προσπίπτουσες στην v ακμές είναι γέφυρες, δηλαδή ο αλγόριθμος δεν μπορεί να συνεχίσει με βάση τον κανόνα ii. Διαγράφοντας μια γέφυρα προκύπτει γράφημα H με δύο συνιστώσες, μια εκ των οποίων δεν περιέχει την u. Έστω ότι αυτή είναι η συνιστώσα H 1. Έστω (v, w) η γέφυρα που ενώνει την v με την H 1. Στην H 1 ο βαθμός της w είναι περιττός. Υπάρχει περιττός αριθμός κορυφών στην H 1 με περιττό βαθμό. Πριν τη διαγραφή της (v, w) οι κορυφές περιττού βαθμού στο H είναι άρτιες στο πλήθος [η u, η v και οι περιττού βαθμού κορυφές του H 1 ]. Άτοπο. Όταν εκτελώντας το βήμα ii. διαγράφουμε μια γέφυρα, αυτή είναι η μοναδική που προσπίπτει στην κορυφή v, και άρα η κορυφή v έχει βαθμό 1. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 11 / 142

Περίπτωση 2: u = v. Περίπτωση 2α: Υπάρχουν ακόμα ακμές που προσπίπτουν στην u. Συνεχίζουμε όπως στην περίπτωση 1. Ο βαθμός της u είναι άρτιος. Διαγράφοντας μια προσπίπτουσα στη u ακμή δημιουργώ 2 κορυφές περιττού βαθμού. Περίπτωση 2β: Η u έγινε απομονωμένη κορυφή [πιθανώς με βρόγχους]. Το H είναι κενό. Δηλαδή έχουμε κατασκευάσει μια περιήγηση Euler. Απόδειξη : Έστω ότι δεν είναι κενό, τότε αποτελείται από μία τουλάχιστον συνεκτική συνιστώσα. Αυτή αποκόπηκε όταν ακολουθήσαμε, έστω, την ακμή e = (x, y) η οποία ήταν γέφυρα, και έστω η κορυφή x ανήκει στην συνιστώσα αυτή. Τότε, ή στην x προσπίπτουν 2 γέφυρες (αδύνατο) ή δεν εφαρμόσαμε σωστά το βήμα ii. Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 12 / 142

Θεώρημα Euler για κατευθυνόμενα γραφήματα. Κάθε ακμή e = (u, v) είναι ένα διατεταγμένο ζεύγος κορυφών. Η u είναι η αφετηρία και η v είναι η κατάληξη της e. Συνεκτικό κατευθυνόμενο γράφημα: Ένα κατευθυνόμενο γράφημα ονομάζεται συνεκτικό όταν το γράφημα που προκύπτει από την αντικατάσταση κάθε κατευθυνόμενης ακμής e = (u, v) από την αντίστοιχη μη-κατευθυνόμενη (u, v) είναι συνεκτικό. Ισχυρά-συνεκτικό κατευθυνόμενο γράφημα: Κάθε κατευθυνόμενο γράφημα στο οποίο κάθε ζεύγος κορυφών u, v ενώνεται με ένα κατευθυνόμενο (u, v)-μονοπάτι ονομάζεται ισχυρά-συνεκτικό γράφημα. d + (u): Έξω-βαθμός κορυφής u. d (u): Έσω-βαθμός κορυφή u. d + (u) = d (u) = E(G) u V (G) u V (G) Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 1 / 142

Θεώρημα 6. [Euler]: Ένα συνεκτικό κατευθυνόμενο γράφημα G είναι Eulerian ανν d + (u) = d (u) για κάθε κορυφή u του G. Πόρισμα 6.4: Κάθε κατευθυνόμενο Eulerian γράφημα είναι ισχυρά συνεκτικό. Ερώτηση 6.1: Για ποιες τιμές των παραμέτρων τους είναι τα παρακάτω γραφήματα Eulerian? i. K n ii. K m,n iii. R m,n [Πλέγμα] iv. H r v. Πλήρες m-αδικό δένδρο ύψους h. Ερώτηση 6.2: Έστω το γράφημα G H [γινόμενο διακεκριμένων γραφημάτων]. Είναι το G H Eulerian αν τα G, H είναι Eulerian? Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 14 / 142

Το πρόβλημα του Κινέζου ταχυδρόμου. [Kwan - 1962] Πρόβλημα Κινέζου ταχυδρόμου: Έστω γράφημα G. Να βρεθεί περιήγηση W η οποία διέρχεται από κάθε ακμή του G και έχει το μικρότερο δυνατό μήκος. G G Μη-Eulerian Εκδοχή με βάρη: Eulerian Έστω γράφημα G με βάρη. Να βρεθεί περιήγηση W η οποία διέρχεται από κάθε ακμή του G και το βάρος w(w ) της περιήγησης είναι το μικρότερο δυνατό. w(g): w(g) = w(e) [ανάλογα με τον αριθμό των εμφανίσεων της ακμής] e E(G) G 5 2 2 5 1 G 1 2 2 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 15 / 142 5 5 1 1 2

G Eulerian Μια περιήγηση Euler είναι η βέλτιστη λύση. Λήμμα 6.5: Έστω μη-eulerian γράφημα G. Εάν μια ακμή του G εμφανίζεται > 1 φορές στην περιήγηση που επιλύει το πρόβλημα του κινέζου ταχυδρόμου τότε εμφανίζεται ακριβώς 2 φορές. Απόδειξη : u v u v Πάντα μπορώ, εάν έχω τουλάχιστον εμφανίσεις της ίδιας ακμής σε μια περιήγηση, να απαλείψω τις δύο πρώτες, τροποποιώντας την περιήγηση. Μη-βέλτιστη περιήγηση. Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 16 / 142

Πράσινες ακμές / μονοπάτια : Έστω μια βέλτιστη περιήγηση W ενός μη-eulerian γραφήματος G. Χρωματίζουμε τις ακμές που εμφανίζονται για 2η φορά πράσινες. Το υπογράφημα με τις πράσινες ακμές είναι άκυκλικό. [Διαγράφοντας τις ακμές ενός πράσινου κύκλου παίρνω Eulerian γράφημα με περιήγηση μικρότερου κόστους.] Οι πράσινες ακμές ορίζουν ένα σύνολο από ξένα ως προς τις ακμές μονοπάτια που αρχίζουν και τελειώνουν σε κορυφές περιττού βαθμού. [Έστω u και v δύο φύλλα ενός πράσινου δένδρου. Αφαίρεσε το (u, v) μονοπάτι του πράσινου δένδρου. Συνέχισε το σχηματισμό των μονοπατιών αναδρομικά.] Έστω 2k οι κορυφές περιττού βαθμού. Τότε ορίζονται ακριβώς k πράσινα (ξένα ως προς τις ακμές) μονοπάτια με τερματικά σημεία τις κορυφές περιττού βαθμού. [Κάθε φύλλο του εναπομείναντος πράσινου δένδρου έχει περιττό βαθμό στο G.] Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 17 / 142

Τέλειο ταίριασμα: Έστω γράφημα G = (V, E) όπου V = 2k, k 1. Ένα υποσύνολο ακμών M E : M = k ονομάζεται τέλειο ταίριασμα εάν τα άκρα των ακμών του M καλύπτουν όλες τις κορυφές του V. Τέλειο ταίριασμα ελάχιστου κόστους: Για γραφήματα με βάρη. u w v x 2 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 18 / 142

Έστω γράφημα με βάρη G. Έστω το πλήρες γράφημα με βάρη H όπου: Κορυφές του H είναι οι κορυφές περιττού βαθμού του G. Το βάρος κάθε ακμής (u, v) του H ισούται με το βάρος του ελάχιστου (u, v)-μονοπατιού του G. u 5 v u v G 1 2 y H 1 2 2 w 5 x w x Λήμμα 6.6: Το κόστος των πράσινων μονοπατιών μιας βέλτιστης περιήγησης που επιλύει το πρόβλημα του Κινέζου ταχυδρόμου είναι ίσο με το κόστος ενός τέλειου ταιριάσματος ελαχίστου κόστους του πλήρους γραφήματος H που αντιστοιχεί στο G. Απόδειξη : Τα πράσινα μονοπάτια αντιστοιχούν σε ένα τέλειο ταίριασμα. Τα ελάχιστα μονοπάτια που αντιστοιχούν σε ένα τέλειο ταίριασμα είναι ξένα ως προς τις ακμές μεταξύ τους. [Δες Λήμμα 6.7.] Eάν τα μονοπάτια του τέλειου ταιριάσματος έχουν μικρότερο βάρος από τα πράσινα μονοπάτια τότε η περιήγηση ελαχίστου κόστους δεν είναι ελάχιστη. Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 19 / 142

Λήμμα 6.7: Σε ένα ελαχίστου κόστους τέλειο ταίριασμα των κορυφών περιττού βαθμού του G όπου τα βάρη αντιστοιχούν στο κόστος των ελαχίστων μονοπατιών μεταξύ των κορυφών αυτών, δεν υπάρχουν 2 ελάχιστα μονοπάτια στο ταίριασμα με κοινή ακμή. Απόδειξη : Σημείωση: Ισχύει μόνο για θετικά βάρη ακμών. Έστω ότι υπάρχουν 2 τέτοια ελάχιστα μονοπάτια P 1 (u 1, v 1 ) και P 2 (u 2, v 2 ) τα οποία μοιράζονται την ακμή e = (x, y). v 2 u 1 x y v 1 u w 1 w 2 2 Έστω w 1 η πρώτη κοινή κορυφή των δύο μονοπατιών. Έστω w 2 η τελευταία κοινή κορυφή των δύο μονοπατιών. w 1 w 2 λόγω της ύπαρξης της e = (x, y). Τα μονοπάτια P 1 (u 1, w 1 ) P 2 (w 1, u 2 ) και P 1 (v 1, w 2 ) P 2 (w 2, v 2 ) έχουν μικρότερο συνολικό μήκος από τα P 1 (u 1, v 1 ) και P 2 (u 2, v 2 ), και αποτελούν ένα ταίριασμα των u 1 u 2 v 1 v 2 και είναι ξένα μεταξύ τους (ως προς τις ακμές). Άτοπο. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 140 / 142

Λήμμα 6.8: Έστω 2k οι κορυφές περιττού βαθμού ενός γραφήματος G. Τότε υπάρχουν k (2i 1) = (2k)! διακριτά τέλεια ταιριάσματα. 2 k k! i=1 Απόδειξη : Το 1ο ταίριασμα φτιάχνεται με 2k 1 τρόπους. Το 2ο ταίριασμα φτιάχνεται με 2k (2 2 1) τρόπους. Το i-οστό ταίριασμα φτιάχνεται με 2k (2i 1) τρόπους. k k Συνολικά: 2k (2i 1) = (2k 1)(2k )... 1 = (2i 1) i=1 i=1 Αλλά, k i=1 = 2k(2k 1)2(k 1)(2k )... 2 1 2 k (k(k 1)(k 2)...1) = (2k)! 2 k k! (2i 1) = 2k(2k 1)2(k 1)(2k )... 2 1 2 k (k(k 1)(k 2)...1) = (2k)! 2 k k! Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 141 / 142

Αλγόριθμός εύρεσης περιήγησης Κινέζου ταχυδρόμου Είσοδος: Έξοδος: Γράφημα G με βάρη. Περιήγηση W ελαχίστου κόστους που περιλαμβάνει όλες τις ακμές του E(G). Βήμα-1: V odd : Κορυφές περιττού βαθμού του V (G). Κατασκεύασε πλήρες γράφημα με σύνολο κορυφών του V odd όπου το βάρος w(u, v) κάθε ακμής (u, v), u, v V odd, είναι ίσο με το βάρος ενός ελαχίστου (u, v)-μονοπατιού P (u, v) του G. Βήμα-2: Έστω M = {e i = (u i, v i ) : i = 1,..., k, 2k = V odd } ένα ελάχιστο τέλειο ταίριασμα του πλήρους γραφήματος και P i (u i, v i ) το μονοπάτι ελαχίστου μήκους του G που αντιστοιχεί στην ακμή e i = (u i, v i ) του ταιριάσματος. k Βήμα-: G = (V (G), E ) όπου E = E E(P i (u i, v i )). i=1 Βήμα-4: Υπολόγισε περιήγηση W στο Eulerian γράφημα G. Η W επιλύει το πρόβλημα του κινέζου ταχυδρόμου. Ορθότητα: Βάσει των προηγουμένων λημμάτων. Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη Φεβρουάριος 2016 142 / 142