1 / 63

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

Θεωρία Γράφων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές. Κεφάλαιο 2: Μονοπάτια Και Κύκλοι. Εισαγωγή (1). Περίπατος ( walk ) : ακολουθία από κορυφές και ακμές , που αρχίζει και τελειώνει με κορυφή, έτσι ώστε η ακμή e j να προσπίπτει στις κορυφές v j και v j+1 , για

hakan
Download Presentation

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

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Θεωρία ΓράφωνΘεμελιώσεις-Αλγόριθμοι-Εφαρμογές Κεφάλαιο 2: Μονοπάτια Και Κύκλοι ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  2. Εισαγωγή (1) • Περίπατος (walk): ακολουθία από κορυφές και ακμές, που αρχίζει και τελειώνει με κορυφή, έτσι ώστε η ακμή ej να προσπίπτει στις κορυφές vj και vj+1, για • Ίχνος (trail): περίπατος που μια ακμή δεν εμφανίζεται πάνω από μία φορά. • Μονοπάτι (path): ίχνος που μια κορυφή δεν εμφανίζεται πάνω από μία φορά (δεν τέμνεται με τον εαυτό του και δεν περιέχει βρόχους). • Αρχή-τέρμα περιπάτου, ίχνους, μονοπατιού • Τερματικές και εσωτερικές κορυφές ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  3. Εισαγωγή (2) Περίπατος Ίχνος Μονοπάτι ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  4. Εισαγωγή (3) • Αρχή=τέρμα: κλειστό ίχνος (κύκλωμα), κλειστό μονοπάτι (κύκλος) • Αρχή<>τέρμα: ανοικτό ίχνος, μονοπάτι • Κάθε κύκλος είναι κύκλωμα, ενώ κάθε κύκλωμα δεν είναι απαραίτητα κύκλος • Τα δένδρα είναι άκυκλοι συνδεδεμένοι γράφοι, ενώ δάσος είναι ένας γράφος που έχει ως συνιστώσες δένδρα ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  5. Εισαγωγή (4) Κύκλωμα Κύκλος ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  6. Εισαγωγή (5) • Δύο μονοπάτια λέγονται ξένα ως προς τις ακμές, αν δεν έχουν καμία κοινή ακμή (παρότι μπορεί να τέμνονται). • Δύο κορυφές ονομάζονται συνδεδεμένες αν υπάρχει κάποιο μονοπάτι από τη μια κορυφή στην άλλη. • Δεχόμαστε ότι κάθε κορυφή είναι συνδεδεμένη με τον εαυτό της. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  7. Εισαγωγή (6) Μονοπάτια ξένα ως προς τις ακμές και ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  8. Αποστάσεις (1) • Μήκος περιπάτου, ίχνους, μονοπατιού: αριθμός ακμών που περιέχονται • Μονοπάτι μήκους n: Pn • Ένας κύκλος μήκους k λέγεται άρτιος ή περιττός αν το k είναι άρτιο ή περιττό αντίστοιχα • Απόστασηdist(u,v): μήκος συντομότερου μονοπατιού από τη u στη v (γεωδεσικό μονοπάτι) • Μη αρνητικότητα: dist(u,v)>0 (dist(u,v)=0, αν u=v) • Συμμετρική: dist(u,v)=dist(v,u) • Ανισοϊσότητα τριγώνου:dist(u,v)+dist(v,z)>=dist(u,z) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  9. Αποστάσεις (2) • Εκκεντρικότητα (eccentricity)μιας κορυφής v: η απόσταση από την κορυφή v προς την πλέον απομακρυσμένη κορυφή του γράφου • Κέντρο ενός συνδεδεμένου γράφου G ονομάζεται ο υπογράφος που επηρεάζεται από το σύνολο των κορυφών του G με την ελάχιστη εκκεντρικότητα ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  10. Αποστάσεις (3) • Θεώρημα: κάθε γράφος είναι κέντρο ενός συνδεδεμένου γράφου Δοθέντος γράφου Η, κατασκευάζουμε υπεργράφο G, όπου οι v1και v2ενώνονται προς όλες τις κορυφές του H. Στο γράφο G, η εκκεντρικότητα κάθε κορυφής v είναι Ε(v)=2, ενώ ακόμη ισχύει Ε(v1)=Ε(v2)=3 και Ε(u1)=Ε(u2)=4. Συνεπώς ο υπογράφος H είναι κέντρο του γράφου G. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  11. Αποστάσεις (4) • Ακτίνα: η εκκεντρικότητα των κορυφών του κέντρου (rad(G)=min(E(v))) • Διάμετρος: η μέγιστη απόσταση μεταξύ δύο κορυφών(diam(G)=max(E(v))) • Ποια η διάμετρος των Kn, Wn, Pn, Km,n? ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  12. Αποστάσεις (5) Κέντρο Γράφου: 2 κορυφές Ακτίνα: 2 Διάμετρος: 3 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  13. Αποστάσεις (6) • Κέντρο Γράφου: 1 κορυφή με εκκεντρότητα 8 • Εφαρμογή: Αν ένας γράφος αναπαριστά μια αστική περιοχή, τότε μία κρατική υπηρεσία πρέπει να τοποθετηθεί στην περιοχή που αντιστοιχεί στο κέντρο του γράφου. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  14. Αποστάσεις (7) • Θεώρημα: rad(G) <= diam(G) <= 2rad(G) Η αριστερή ανισοϊσότητα είναι προφανής από τους ορισμούς της ακτίνας και της διαμέτρου. Για να αποδείξουμε τη δεξιά ανισοϊσότητα ας θεωρήσουμε δύο κορυφές έτσι ώστε Επιπλέον, έστω ότι z είναι μία κορυφή έτσι ώστε το μεγαλύτερο γεωδεσικό μονοπάτι από την z να έχει ακτίνα rad(G). Με βάση την ανισοϊσότητα τριγώνου ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  15. Αποστάσεις (8) • Εφαρμογή: Από το κεντρικό ταχυδρομείο μιας πόλης η αλληλογραφία μεταφέρεται στα περιφερειακά γραφεία με ένα όχημα, ενώ από εκεί μεταφέρεται με τους διανομείς στις κατοικίες. Το όχημα μπορεί να μεταφέρει την αλληλογραφία ενός μόνο περιφερειακού γραφείου κάθε φορά. Στόχος είναι η ελαχιστοποίηση του αθροίσματος των αποστάσεων που το όχημα πρέπει να καλύψει από το κεντρικό προς το σύνολο των περιφερειακών ταχυδρομείων. • Απόσταση μιας κορυφής v, dist(v), ζυγισμένου γράφουG ονομάζουμε το άθροισμα των αποστάσεων της κορυφής v από όλες τις υπόλοιπες κορυφές του G. • Μέσο ενός γράφου είναι ο υπογράφος που επηρεάζεται από το σύνολο των κορυφών με ελάχιστη απόσταση. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  16. Αποστάσεις (9) Οι επιγραφές των κορυφών αντιπροσωπεύουν τις αντίστοιχες αποστάσεις. Το μέσο του γράφου είναι ο υπογράφος που επηρεάζεται από τις κορυφές με επιγραφή 26. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  17. Αποστάσεις (10) • Η n-οστή δύναμη ενός γράφου G(V,E) είναι ένας γράφος που συμβολίζεται με και αποτελείται από το ίδιο σύνολο κορυφών V, ενώ δύο κορυφές u και v ενώνονται με μία ακμή στον , αν για τις κορυφές αυτές στο γράφο G ισχύει η σχέση: ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  18. Γράφοι Euler (1) • Leonard Euler, Ελβετός, πατέρας Θεωρίας Γράφων, 1736 πρόβλημα γεφυρών Koenigsburg • Πρόβλημα: είναι δυνατόν σε κάθε γράφο να βρεθεί κύκλωμα (=κλειστό ίχνος) που να περνά από όλες τις ακμές? • Γράφος Euler: περιέχει γραμμή Euler • Γράφος ημι-Euler: περιέχει ανοικτό ίχνος Euler ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  19. Γράφοι Euler (2) όχι γράφος Euler ημι-Euler γράφος Euler ή ημι-Euler ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  20. Γράφοι Euler (3) Γέφυρες του Konigsberg ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  21. Γράφοι Euler (4) • Θεώρημα: Ένας συνδεδεμένος απλός γράφος G(V,E) είναι γράφος Euler αν και μόνο αν δεν έχει κορυφές περιττού βαθμού. Είναι γράφος ημι-Euler αν και μόνο αν έχει ακριβώς δύο κορυφές περιττού βαθμού. Οι συνθήκες είναι αναγκαίες γιατί προφανώς αν υπάρχει ένα ίχνος Euler, τότε ο γράφος πρέπει να είναι συνδεδεμένος και ο αριθμός των κορυφών περιττού βαθμού να είναι 0 (αντίστοιχα 2). Σε διαφορετική περίπτωση δε θα υπήρχε δυνατότητα να περάσει ένα ίχνος από όλες τις ακμές (από μία τουλάχιστο θα περνούσε δύο φορές, οπότε δε θα ήταν ίχνος). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  22. Γράφοι Euler (5) Οι συνθήκες είναι και ικανές γιατί: Ισχύουν προφανώς για |Ε|=2 Έστω ότι ισχύουν και για |Ε|>2 Ας θεωρήσουμε έναν περίπατο W ξεκινώντας από μία κορυφή vi. Έστω ότι ο περίπατος W θέλουμε να περνά από διάφορες κορυφές, έως ότου φτάσει σε μία κορυφή vjχωρίς αχρησιμοποιήτες ακμές (θεωρούμε vi = vj αν δεν υπάρχει κορυφή περιττού βαθμού). Έστω λοιπόν ότι υπάρχουν αχρησιμοποίητες ακμές. Αν οι χρησιμοποιημένες ακμές αγνοηθούν, τότε απομένει ένας υπογράφος G’ που δεν είναι απαραίτητα συνδεδεμένος. Συνάγεται ότι ο υπογράφος G’ περιέχει μόνο κορυφές άρτιου βαθμού και σύμφωνα με την υπόθεση της επαγωγής κάθε συνιστώσα του περιέχει ένα ίχνος Euler. Εφόσον ο γράφος G είναι συνδεδεμένος πρέπει ο περίπατος W να περνά τουλάχιστον από μία κορυφή κάθε συνιστώσας του G’. Συνεπώς, μπορεί να κατασκευασθεί ένα ίχνος Euler για το γράφο G εισάγοντας στον περίπατο και τα ίχνη των συνιστωσών του υπογράφου. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  23. Γράφοι Euler (6) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  24. Γράφοι Euler (7) • Για να ελέγξουμε αν ένας γράφος είναι γράφος Euler ελέγχουμε πρώτα αν είναι συνδεδεμένος (με μία αναζήτηση προτεραιότητας πλάτους) και μετά αν όλες οι κορυφές έχουν άρτιο βαθμό (Ο(|Ε|)). • Θεώρημα: Ένας συνδεδεμένος απλός γράφος G(V,E) είναι γράφος Euler αν και μόνο αν κάθε ακμή ανήκει σε περιττό αριθμό κύκλων. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  25. Αλγόριθμοι εύρεσης ίχνους Euler (1) • Απλοϊκή μέθοδος: Ξεκινάμε από οποιαδήποτε κορυφή και προχωράμε λαμβάνοντας οποιαδήποτε ακμή δεν έχει ακόμη εξετασθεί. • Δεν υπάρχει εγγύηση ότι με τη μέθοδο αυτή μπορούμε πάντα να βρούμε ένα ίχνος Euler. • Ένας γράφος ονομάζεται αυθαίρετα εξιχνιάσιμοςαπό την κορυφή v αν είναι βέβαιο ότι μπορούμε να σχηματίσουμε ένα ίχνος Euler από την κορυφή αυτή. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  26. Αλγόριθμοι εύρεσης ίχνους Euler (2) Αυθαίρετα αυθαίρετα δεν είναι αυθαίρετα εξιχνιάσιμος εξιχνιάσιμος εξιχνιάσιμος από μόνο από την από κάθε κορυφή κάθε κορυφή κεντρική κορυφή ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  27. Αλγόριθμοι εύρεσης ίχνους Euler (3) • Αλγόριθμοι: • Fleury (<1921): με σταδιακή επέκταση του ίχνους Τ αποφεύγοντας τις γέφυρες (αποκόπτουσε ακμές) στον υπογράφο G-T, εκτός αν δεν υπάρχει άλλη επιλογή • Hierholtzer (1873): με συγκόλληση από επιμέρους ίχνη • Tucker (1976): με διάσπαση κορυφών ώστε να σχηματιστούν ξένοι επιμέρους κύκλοι, και συγκόλληση κύκλων ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  28. Αλγόριθμοι εύρεσης ίχνους Euler (4) Αλγόριθμος Fleury • Επιλέγουμε μία κορυφή ως πρώτη κορυφή του ίχνους. Θέτουμε και • Έστω το ίχνος Από την κορυφή viεπιλέγεται τυχαία μία ακμή που δεν είναι αποκόπτουσα στον υπογράφο εκτός αν δεν υπάρχει άλλη επιλογή. Ορίζεται το ίχνος Θέτουμε • Αν i=|E|, τότε C=Ti, είναι ένα ίχνος Euler, αλλιώς πήγαινε στο βήμα 2. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  29. Αλγόριθμοι εύρεσης ίχνους Euler (5) Παράδειγμα Αλγόριθμου Fleury • Βήμα 1ο: 1 • Βήμα 2ο: επιλέγεται τυχαία η 2. Ίχνος 1, 2 • Βήμα 3ο: επιλέγεται τυχαία η 6. Ίχνος 1, 2, 6 • Βήμα 4ο-5ο: δεν μπορεί να επιλεγεί η 1 γιατί στον υπογράφο G-(1,2)-(2,6) είναι αποκόπτουσα Ίχνος 1, 2, 6, 5, 3 • Βήμα 6ο-9ο: δεν μπορεί να επιλεγεί η 6 γιατί στον υπογράφο G-(1,2)-(2,6)-(6,5)-(5,3) η (3,6) είναι αποκόπτουσα Ίχνος 1,2,6,5,3,4,5,2,3 • Βήμα 10ο: επιλέγεται αναγκαστικά η 6 Ίχνος 1,2,6,5,3,4,5,2,3,6 • Βήμα 11ο: επιλέγεται η 1 αναγκαστικα. Ίχνος 1,2,6,5,3,4,5,2,3,6,1 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  30. Αλγόριθμοι εύρεσης ίχνους Euler (6) Αλγόριθμος Hierholtzer • Επιλέγουμε μία κορυφή και δημιουργείται ένα ίχνος C0λαμβάνοντας κάθε φορά οποιαδήποτε ακμή Θέτουμε • Αν , τότε είναι ένα ίχνος Euler αλλιώς επιλέγεται μία κορυφή vi του Ci που είναι προσκείμενη σε ακμή και η διαδικασία προχωρεί κτίζοντας ένα άλλο ίχνος Ci’ με αρχή την κορυφή vi και μέσα στον υπογράφο • Από τα ίχνη Ci, Ci’ δημιουργείται ένα υπερ-ίχνος Ci+1ξεκινώντας από την κορυφή vi-1, διασχίζοντας το ίχνος Ci, συνεχίζοντας στο ίχνος Ci’ και τελειώνοντας στην κορυφή vi Θέτουμε Πηγαίνουμε στο βήμα 2. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  31. Αλγόριθμοι εύρεσης ίχνους Euler (7) • Παράδειγμα αλγορίθμου Hierholtzer • Αρχικά: • 1261 • 23652 • 3543 • Ενώνουμε διαδοχικά: • 12365261 • Τελικά: • 12354365261 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  32. Αλγόριθμοι εύρεσης ίχνους Euler (8) Αλγόριθμος Tucker • Διασπούμε τις κορυφές του G μέχρι να υπάρξουν κορυφές βαθμού 2 Ο γράφος που προκύπτει ονομάζεται G1. Θέτουμε Έστω ότι ci είναι ο αριθμός των συνιστωσών του γράφου Gi. • Αν ci=1, τότε C=Giείναι ένα ίχνος Euler, αλλιώς αναζητώνται δύο συνιστώσες Τ και T’ του Giμε κοινή την κορυφή vi. Σχηματίζεται το ίχνος Ci+1αρχίζοντας από την κορυφή vi, διασχίζοντας τις συνιστώσες Τ και Τ’ και καταλήγοντας πάλι στην vi. • Ορίζεται ο γράφος Θεωρείται ότι το ίχνος Ci+1 είναι συνιστώσα του υπογράφου Gi+1 Θέτουμε Τ=Ci+1και Έστω ότι ci είναι ο αριθμός των συνιστωσών του υπογράφου Gi Πηγαίνουμε στο Βήμα 2 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  33. Αλγόριθμοι εύρεσης ίχνους Euler (9) • Παράδειγμα για τον αλγόριθμό Tucker ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  34. Αλγόριθμοι εύρεσης ίχνους Euler (10) • Αρχικά: • 1251 • 5465 • 2342 • Τελικά: • 123425465 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  35. Πρόβλημα Κινέζου Ταχυδρόμου (1) • Τέθηκε από κινέζο μαθηματικό (1962) • Πρόβλημα: ένας ταχυδρόμος ξεκινάει από το γραφείο του, επισκέπτεται όλους τους δρόμους και επιστρέφει στο γραφείο του. Ποια είναι η συντομότερη διαδρομή? • Θεωρούμε απλό γράφο και αναζητούμε ένα ίχνος Euler. Αν ο γράφος δεν είναι Euler, τότε πρέπει κάποιες γραμμές να διασχισθούν περισσότερο από μία φορές. Πόσες? • Το μήκοςl της βέλτιστης λύσης είναι |Ε|<=1<=2|Ε| ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  36. Πρόβλημα Κινέζου Ταχυδρόμου (2) • Έστω ότι ένας ζυγισμένος γράφος G με βάρη τα μήκη των μεταξύ των κορυφών διαδρομών, δεν είναι γράφος Euler. • Σύμφωνα με θεώρημα που είδαμε στο πρώτο κεφάλαιο, ο αριθμός των κορυφών περιττού βαθμού είναι άρτιος. Έτσι, όλα τα ζεύγη των κορυφών περιττού βαθμού ενώνονται με μία ακμή με βάρος ίσο προς το μήκος του συντομότερου μεταξύ τους μονοπατιού. Έτσι, ο γράφος γίνεται γράφος Euler. • Στην τελική λύση, οι ακμές που τοποθετήθηκαν εκ των υστέρων πρέπει να αντικατασταθούν με το αντίστοιχο μονοπάτι. • Η αρχική φάση εύρεσης των συντομότερων μονοπατιών απαιτεί την εφαρμογή του σχετικού αλγορίθμου του Dijkstra πολυπλοκότητας O(n2), όπου n το πλήθος των κορυφών περιττού βαθμού. • Υπάρχουν πάντως και πιο αποτελεσματικές λύσεις. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  37. Γράφοι Hamilton (1) • Sir William Rowan Hamilton, Ιρλανδός, 1856 «Γύρος του κόσμου», 12εδρο • Πρόβλημα: είναι δυνατόν σε κάθε γράφο να βρεθεί κύκλος (=κλειστό μονοπάτι) που να περνά από όλες τις κορυφές? • Γράφος Hamilton,κύκλος, μονοπάτι • Ψυχαγωγικά προβλήματα • Κίνηση ίππων (knight tour) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  38. Γράφοι Hamilton (2) • Eξιχνιάσιμος Hamilton (έχει μονοπάτι Hamilton) • Oμογενώς Hamilton εξιχνιάσιμος (εξιχνιάσιμος από κάθε κορυφή) • Γράφος υπο-Hamilton αν δεν είναι Hamilton αλλά ο γράφος G-v είναι Hamilton για κάθε κορυφή v του G • Συνδεδεμένος κατά Hamilton (δύο οποιεσδήποτε κορυφές συνδέονται μεένα μονοπάτι Hamilton) • Κάθε γράφος συνδεδεμένος κατά Hamilton με αριθμό κορυφών ίσο ή μεγαλύτερο του 3, είναι γράφος Hamilton. Το αντίθετο δεν ισχύει. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  39. Γράφοι Hamilton (3) • Κάθε κύκλος Hamilton είναι ένας 2-παράγοντας, επειδή κάθε κύκλος Hamilton είναι ένας ζευγνύων υπογράφος που είναι και τακτικός βαθμού 2. • Κάθε 2-παράγοντας δεν είναι κατ΄ ανάγκη κύκλος Hamilton. Κύκλος Hamilton C=(v1,v2,v3,v4,v8,v7,v6,v5,v1) 2-παράγοντας (όχι Hamilton)οι συνιστώσες: (v1,v2,v6,v5,v1) και (v3,v4,v8,v7,v3) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  40. Γράφοι Hamilton (4) • Πρόβλημα: ποιά είναι η ικανή και αναγκαία συνθήκη, ώστε να είναι ένας γράφος Hamilton? (NP-complete) • Θεώρημα: κάθε πλήρης γράφος είναι Hamilton • Θεώρημα: κάθε πλήρης γράφος έχει (n-1)/2 Hamilton κύκλους ξένους ως προς ακμές • Θεώρημα: κάθε απλός γράφος με n>=3 και d(G)>=n/2 είναι Hamilton ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  41. Γράφοι Hamilton (5) • Θεώρημα: κάθε απλός γράφος με n>=3 και d(x)+d(y)>=n για κάθε ζεύγος μη γειτονικών κορυφών x,y είναι γράφος Hamilton • Θεώρημα: κάθε απλός γράφος με n>=3 και d(x)+d(y)>=n για δύο διακριτές μη γειτονικές κορυφές x,y είναι Hamilton, αν ο γράφος G+(x,y) είναι Hamilton • Κλείσιμο γράφου είναι ένας γράφος c(G) με επιπλέον ακμές για τα ζεύγη μη γειτονικών ακμών x και y, όπου ισχύει d(x)+d(y)>=n. • Θεώρημα:κάθε απλός γράφος είναι γράφος Hamilton, αν και μόνον αν το κλείσιμό του είναι Hamilton. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  42. Γράφοι Hamilton (6) G c(G) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  43. Αλγόριθμος εύρεσης κύκλων Hamilton (1) • To (i,j) στοιχείο της k-οστής δύναμης του πίνακα γειτνιάσεων δίνει τον αριθμό μονοπατιών μήκους k που συνδέουν τις δύο κορυφές i και j. • Θεωρούμε τον κατευθυνόμενο γράφο του σχήματος και τον πίνακα γειτνιάσεων, όπου αντί για μονάδες έχει ως στοιχεία τις συμβολοσειρές ij αν οι κορυφές i και j είναι γειτονικές. • Θεωρούμε επίσης έναν πίνακα, που προκύπτει από τον προηγούμενο πίνακα, θέτοντας για κάθε μη μηδενικό στοιχείο του στην αντίστοιχη θέση του νέου πίνακα, μόνο το δεύετερο σύμβολο της συμβολοσειράς ij. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  44. Αλγόριθμος εύρεσης κύκλων Hamilton (2) M2 M1 M Mj=Mj-1*M Όπου το *δηλώνει παράθεση των αντιστοίχων στοιχείων των δύο πινάκων αν κανένα από τα δύο στοιχεία δεν είναι μηδενικά και το σύμβολο του πίνακα Μ δεν συμπεριλαμβάνεται στην αντίστοιχη συμβολοσειρά του Mj-1 M4 ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  45. Αλγόριθμος εύρεσης κύκλων Hamilton (3) • Αν στην k δύναμη του πίνακα προκύψουν μονοπάτια τέτοια έτσι ώστε να υπάρχει ακμή που να ενώνει το πρώτο και το τελευταίο σύμβολο κάθε συμβολοσειράς, τότε αυτά είναι μονοπάτια Hamilton. • Το πρόβλημα αυτό μπορεί να λυθεί εναλλακτικά χρησιμοποιώντας έναν αλγόριθμο που στηρίζεται στη φιλοσοφία της Οπισθοδρόμησης, του Δυναμικού Προγραμματισμού ή της μεθόδου της Διακλάδωσης με Περιορισμό από τη Θεωρία Αλγορίθμων. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  46. Περιοδεύων Πωλητής • Ευκλείδειος γράφος: όταν ισχύει η ανισοϊσότητα του τριγώνου • Πρόβλημα: με ποια σειρά πρέπει να επισκεφθεί τις πόλεις ο πωλητής και να επιστρέψει στη δική του διανύοντας τη μικρότερη δυνατή συνολική απόσταση; • Χρησιμοποιούμε ένα ζυγισμένο απλό γράφο. • Αν ο γράφος δεν είναι Ευκλείδειος, τότε μπορεί ο πωλητής να περνά από την ίδια πόλη περισσότερες από μία φορές και μία τέτοια λύση μπορεί να είναι η βέλτιστη. • Σε διαφορετική περίπτωση το πρόβλημα ανάγεται σε πρόβλημα εύρεσης κύκλων Hamilton με το ελάχιστο βάρος. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  47. Περιοδεύων Πωλητής (2) • Σε έναν πλήρη γράφο ο συνολικός αριθμός κύκλων Hamilton ισούται με Αυτό προκύπτει αν θεωρήσουμε ότι από την αρχική πόλη ο πωλητής μπορεί να μεταβεί σε n-1 πόλεις, από κει σε n-2, σε n-3 κ.λ.π. και λάβουμε υπόψη ότι με τον τρόπο αυτό κάθε μονοπάτι προσμετράται δύο φορές. • Η λύση όμως ενός πορβλήματος αυτού του μεγέθους έχει πολυπλοκότητα O(nn), είναι δηλαδήδυσχείριστο. • Ακόμη όμως και αν χρησιμοποιηθεί η μέθοδος του δυναμικού προγραμματισμού ή η μέθοδος της διακλάδωσης με περιορισμό η πολυπλοκότητα του προβλήματος παραμένει μεγάλη: O(n22n). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  48. Προσεγγιστικοί Αλγόριθμοι Για Το Προβλήματος Περιοδεύοντος Πωλητή (1) • Επίλυση με ευριστικές υποβέλτιστες λύσεις • Μέτρο σύγκρισης είναι η ποσότητα 1<L/Lopt=a ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  49. Προσεγγιστικοί Αλγόριθμοι Για Το Προβλήματος Περιοδεύοντος Πωλητή (2) Μέθοδος του πλησιέστερου γείτονα • Θέτουμε Επιλέγουμε μία τυχαία κορυφή v0 και θεωρούμε το μονοπάτι Pi=v0 • Αν i=n,τότε C=Pnείναι ένας κύκλος Hamilton, αλλιώς αναζητείται η ακμή e με το μικρότερο βάρος ώστε να προσπίπτει σε μία από τις δύο τερματικές κορυφές του Pi και αν είναι δυνατόν, να μη δημιουργείται κύκλος με τις κορυφές του Pi. • Σχηματίζεται το μονοπάτι Θέτουμε Πηγαίνουμε στο βήμα 2. Έχει αποδειχθεί ότι α=(|ln n|+1)/2και άρα για μεγάλα n έχει σημαντική απόκλιση από τη βέλτιστη λύση ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

  50. Προσεγγιστικοί Αλγόριθμοι Για Το Προβλήματος Περιοδεύοντος Πωλητή (3) Μέθοδος της μικρότερης εισαγωγής • Θέτουμε Επιλέγουμε μία τυχαία κορυφή v0 και θεωρούμε το μονοπάτι Ci=v0 • Αν i=n,τότε C=Cnείναι ένας κύκλος Hamilton, αλλιώς αναζητείται μία κορυφή vi που δεν υπάρχει στον κύκλο Ci και είναι πλησιέστερα προς ένα ζεύγος διαδοχικών κορυφών του Ci. • Σχηματίζεται ο κύκλος Ci+1 εισάγοντας την κορυφή vi μεταξύ των wiκαι wi+1 Θέτουμε Πηγαίνουμε στο βήμα 2. Στο βήμα 2 ελαχιστοποιείται η ποσότητα Απλούστερη εκδοχή: αναζητείται εκείνη η κορυφή που ελαχιστοποιεί την Έχει αποδειχθεί ότι α<=2 και η πολυπλοκότητα του συγκεκριμένου αλγορίθμου είναι O(n3). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

More Related