Θεωρία και Αλγόριθμοι Γράφων

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

Πλήθος ισομερών του C k H 2k+2

Θεωρία και Αλγόριθμοι Γράφων

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

Εκκλησιαστικό Δίκαιο. Ενότητα 10η: Ιερά Σύνοδος της Ιεραρχίας και Διαρκής Ιερά Σύνοδος Κυριάκος Κυριαζόπουλος Τμήμα Νομικής Α.Π.Θ.

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

Ιστορία της μετάφρασης

Θεωρία και Αλγόριθμοι Γράφων

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Prim

Γενικά Μαθηματικά Ι. Ενότητα 12: Κριτήρια Σύγκλισης Σειρών. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Εισαγωγή στους Αλγορίθμους Ενότητα 9η Άσκηση - Αλγόριθμος Kruskal

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

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

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 3: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ - ΓΡΑΦΗΜΑΤΑ

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

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Γενικά Μαθηματικά Ι. Ενότητα 15: Ολοκληρώματα Με Ρητές Και Τριγωνομετρικές Συναρτήσεις Λουκάς Βλάχος Τμήμα Φυσικής

Εκκλησιαστικό Δίκαιο

Εκκλησιαστικό Δίκαιο

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

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

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Θεωρία και Αλγόριθμοι Γράφων

Πληροφοριακά Συστήματα Διοίκησης (ΜΒΑ) Ενότητα 1: Δικτυωτή Ανάλυση (Θεωρία Γράφων)

Δομές Δεδομένων Ενότητα 6

Μηχανολογικό Σχέδιο Ι

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

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

Εργαστήριο Χημείας Ενώσεων Συναρμογής

Αλγόριθμοι και πολυπλοκότητα Περιήγηση Πανεπιστημίων

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

Λογιστική Κόστους Ενότητα 12: Λογισμός Κόστους (2)

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 12: Αντιμετώπιση Περιορισμών Αλγοριθμικής Ισχύος

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

ΣΥΣΤΗΜΑΤΑ ΗΛΕΚΤΡΙΚΗΣ ΕΝΕΡΓΕΙΑΣ ΙIΙ

Ιστορία της μετάφρασης

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Γενικά Μαθηματικά Ι. Ενότητα 16: Ολοκλήρωση Τριγωνομετρικών Συναρτήσεων, Γενικευμένα Ολοκληρώματα Λουκάς Βλάχος Τμήμα Φυσικής

Αξιολόγηση μεταφράσεων ιταλικής ελληνικής γλώσσας

Γενικά Μαθηματικά Ι. Ενότητα 9: Κίνηση Σε Πολικές Συντεταγμένες. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Γενικά Μαθηματικά Ι. Ενότητα 14: Ολοκλήρωση Κατά Παράγοντες, Ολοκλήρωση Ρητών Συναρτήσεων Λουκάς Βλάχος Τμήμα Φυσικής

Συμπεριφορά Καταναλωτή

Αποθήκες Δεδομένων και Εξόρυξη Δεδομένων

Εργαστήριο Χημείας Ενώσεων Συναρμογής

Σχεδίαση και Ανάλυση Αλγορίθμων Ενότητα 4: ΑΝΑΠΑΡΑΣΤΑΣΗ ΔΕΔΟΜΕΝΩΝ - ΔΕΝΤΡΑ

Εργαστήριο Χημείας Ενώσεων Συναρμογής

ΗΛΕΚΤΡΟΤΕΧΝΙΑ-ΗΛΕΚΤΡΟΝΙΚΗ ΕΡΓΑΣΤΗΡΙΟ

Εκκλησιαστικό Δίκαιο

Γενικά Μαθηματικά Ι. Ενότητα 5: Παράγωγος Πεπλεγμένης Συνάρτησης, Κατασκευή Διαφορικής Εξίσωσης. Λουκάς Βλάχος Τμήμα Φυσικής

Θερμοδυναμική. Ανοικτά Ακαδημαϊκά Μαθήματα. Πίνακες Νερού σε κατάσταση Κορεσμού. Γεώργιος Κ. Χατζηκωνσταντής Επίκουρος Καθηγητής

Λογισμός 3. Ενότητα 18: Θεώρημα Πεπλεγμένων (Ειδική περίπτωση) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΔΕΝΔΡΙΚΑ ΓΡΑΦΗΜΑΤΑ ΚΕΦΑΛΑΙΟ 3

Διεθνείς Οικονομικές Σχέσεις και Ανάπτυξη

Εισαγωγή στους Η/Υ. Ενότητα 2β: Αντίστροφο Πρόβλημα. Δημήτρης Σαραβάνος, Καθηγητής Πολυτεχνική Σχολή Τμήμα Μηχανολόγων & Αεροναυπηγών Μηχανικών

Παράκτια Τεχνικά Έργα

Πληροφοριακά Συστήματα Διοίκησης (ΜΒΑ) Ενότητα 3: Εφαρμογές Δικτυωτής Ανάλυσης (2 ο Μέρος)

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

Αποθήκες Δεδομένων και Εξόρυξη Δεδομένων

ΓΕΝΙΚΗ ΚΑΙ ΑΝΟΡΓΑΝΗ ΧΗΜΕΙΑ

Βέλτιστος Έλεγχος Συστημάτων

Οικονομία των ΜΜΕ. Ενότητα 9: Εταιρική διασπορά και στρατηγικές τιμολόγησης

Αλγόριθμοι και πολυπλοκότητα Συγχωνευτική Ταξινόμηση

ΑΡΙΣΤΟΤΕΛΕΙΟ ΑΝΟΙΚΤΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΚΑΔΗΜΑΪΚΑ ΘΕΣΣΑΛΟΝΙΚΗΣ ΜΑΘΗΜΑΤΑ Γενικά Μαθηματικά Ι Ενότητα 11 : Ακολουθίες και Σειρές Λουκάς Βλάχος Τμήμα Φυσικής

Γενικά Μαθηματικά Ι. Ενότητα 1: Συναρτήσεις και Γραφικές Παραστάσεις. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

Οικονομία των ΜΜΕ. Ενότητα 7: Μορφές αγοράς και συγκέντρωση των ΜΜΕ

Εκκλησιαστικό Δίκαιο

ΗΛΕΚΤΡΟΝΙΚΗ ΙIΙ Ενότητα 6

Μάρκετινγκ Εξαγωγών. Ενότητα 3 : Το Περιβάλλον και το Διεθνές Μάρκετινγκ Κοινωνικο-Πολιτιστικό Περιβάλλον

Διπλωματική Ιστορία Ενότητα 2η:

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

Εκκλησιαστικό Δίκαιο Ι (Μεταπτυχιακό)

Ελάχιστο Συνδετικό έντρο

Διοικητική Λογιστική

Θεσμοί Ευρωπαϊκών Λαών Ι 19 ος -20 ος αιώνας

Οδοποιία IΙ. Ενότητα 14: Υπόδειγμα σύνταξης τευχών θέματος Οδοποιίας. Γεώργιος Μίντσης ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ

Λογισμός 4 Ενότητα 10

ΓΕΝΙΚΗ ΚΑΙ ΑΝΟΡΓΑΝΗ ΧΗΜΕΙΑ

Λογιστική Κόστους Ενότητα 8: Κοστολογική διάρθρωση Κύρια / Βοηθητικά Κέντρα Κόστους.

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 9: Άπληστοι Αλγόριθμοι. Ιωάννης Μανωλόπουλος, Καθηγητής Αναστάσιος Γούναρης, Επίκουρος Καθηγητής Τμήμα Πληροφορικής ΑΠΘ

ΑΛΓΟΡΙΘΜΟΙ. Ενότητα 11: Περιορισμοί της Αλγοριθμικής Ισχύος

Μάθηση σε νέα τεχνολογικά περιβάλλοντα

Ψηφιακή Επεξεργασία Εικόνων

Ευαγγελικές αφηγήσεις της Ανάστασης

ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ. Γενικά Μαθηματικά Ι. Ενότητα 6: Ακρότατα Συνάρτησης. Λουκάς Βλάχος Τμήμα Φυσικής

Γεωργική Εκπαίδευση Ενότητα 9

Γενικά Μαθηματικά Ι. Ενότητα 8: Εφαρμογές Σειρών Taylor. Λουκάς Βλάχος Τμήμα Φυσικής ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Δομές Δεδομένων. Ιωάννης Γ. Τόλλης Τμήμα Επιστήμης Υπολογιστών Πανεπιστήμιο Κρήτης

Στρατηγικό Μάρκετινγκ

Ηλεκτροτεχνία ΙΙ. Ενότητα 2: Ηλεκτρικά κυκλώματα συνεχούς ρεύματος. Δημήτρης Στημονιάρης, Δημήτρης Τσιαμήτρος Τμήμα Ηλεκτρολογίας

Δομές Δεδομένων Ενότητα 1

Εκκλησιαστικό Δίκαιο

Διπλωματική Ιστορία. Ενότητα 12η: Ο Β Παγκόσμιος Πόλεμος Η Ευρώπη. του Hitler Ιωάννης Στεφανίδης, Καθηγητής Τμήμα Νομικής Α.Π.Θ.

Γενικά Μαθηματικά Ι. Ενότητα 13: Ακτίνα Σύγκλισης, Αριθμητική Ολοκλήρωση, Ολοκλήρωση Κατά Παράγοντες. Λουκάς Βλάχος Τμήμα Φυσικής

Βάσεις Δεδομένων. Ενότητα 1: Εισαγωγή στις Βάσεις δεδομένων. Πασχαλίδης Δημοσθένης Τμήμα Ιερατικών σπουδών

Φ 619 Προβλήματα Βιοηθικής

Εισαγωγή στην Διοίκηση Επιχειρήσεων

Χώρος και Διαδικασίες Αγωγής

Χώρος και Διαδικασίες Αγωγής

Transcript:

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Ενότητα # 6: Δένδρα Ιωάννης Μανωλόπουλος

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπου άδειας χρήσης, η άδεια χρήσης αναφέρεται ρητώς. 2

Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Δένδρα

Δένδρα Βασικά στοιχεία I Δένδρα: Συνδεδεμένοι άκυκλοι γράφοι Θεώρημα: Ένας γράφος G είναι δένδρο αν και μόνο αν δύο οποιεσδήποτε κορυφές ενώνονται με ένα μοναδικό μονοπάτι. Θεώρημα: Σε ένα δένδρο Τ ισχύει η σχέση: m=n Πόρισμα: Σε κάθε δένδρο υπάρχουν τουλάχιστον δύο εκκρεμείς κορυφές, δηλαδή κορυφές με βαθμό. Πόρισμα: Μία μη αύξουσα ακολουθία ακεραίων S: d,d 2,,d n ανήκει σε ένα δένδρο μόνο αν κάθε di είναι θετικός αριθμός και ισχύει η σχέση: n i= d i = 2(n ) 5

Δένδρα Βασικά στοιχεία II Θεώρημα: Ένας άκυκλος γράφος με n κορυφές και n ακμές είναι συνδεδεμένος. Θεώρημα: Κάθε συνδεδεμένος γράφος με n κορυφές και n ακμές είναι δένδρο. Θεώρημα: Ένας γράφος είναι δένδρο αν είναι συνδεδεμένος κατά ελάχιστο τρόπο. 6

Ιδιότητες Δένδρων Ένας συνδεδεμένος γράφος με n κορυφές είναι δένδρο: αν δεν περιέχει κύκλους αν υπάρχει μόνο μονοπάτι μεταξύ 2 τυχαίων κορυφών αν κάθε ακμή είναι γέφυρα αν αποτελείται από n ακμές αν περιέχει τουλάχιστον 2 κορυφές βαθμού (n 2) αν παράγεται μόνο κύκλος, αν προθέσουμε ακμή 7

Κάποιες επιπλέον ιδιότητες Πόρισμα: Δάσος με n κορυφές και k συνιστώσες έχει n k ακμές. Θεώρημα (Jordan, 869): Ένα δένδρο έχει κέντρο που αποτελείται από ή 2 κορυφές Πόρισμα: Αν το κέντρο ενός δένδρου αποτελείται από δύο κορυφές, τότε αυτές είναι γειτονικές και ονομάζονται δίκεντρα-bicenters. 8

Παράδειγμα Κάθε κορυφή του δένδρου χαρακτηρίζεται από την αντίστοιχη εκκεντρικότητα. 7 7 6 7 5 5 6 5 4 4 7 7 6 7 Να βρεθεί η τιμή της ακτίνας, η τιμή της διαμέτρου και το κέντρο. 7 7 6 7 5 6 7 9

Δένδρα Cayley Arthur Cayley, 857 C k H 2k+2, πλήθος ισομερών Άτομα άνθρακα : κορυφές βαθμού 4 υδρογόνου : κορυφές βαθμού n=k+2k+2=3k+2 m=½(σd(v))=½(4k+2k+2)=3k+

Απαρίθμηση Δένδρων I Θεώρημα: Έστω ότι το άθροισμα των θετικών ακεραίων d,d 2,,d n (όπου n 2) είναι 2n-2. Το πλήθος των δένδρων με n κόμβους, όπου οι βαθμοί των κόμβων είναι d,d 2,,d n, ισούται με: n 2! d! d 2! d n!

Απαρίθμηση Δένδρων II Θεώρημα (Cayley): Ο αριθμός των διακριτών δένδρων με επιγραφές και n 2 κορυφές είναι n n-2 Απόδειξη Cayley: Επιγράφουμε τους κόμβους του δένδρου με, 2,..., n. Βρίσκουμε την εκκρεμή ακμή με τη μικρότερη επιγραφή, έστω a. Τη διαγράφουμε και έστω b η γειτονική της. Επαναλαμβάνουμε τη διαδικασία στον υπογράφο που μένει. Έτσι, μετά από n 2 διαγραφές, το δένδρο εκφυλίζεται σε μία ακμή, και έχουμε δημιουργήσει S: (b,b 2,...,b n-2 ). Κάθε στοιχείο της ακολουθίας S μπορεί να πάρει τιμές από το διάστημα [..n] 2

Απαρίθμηση Δένδρων Παράδειγμα (,4) (2,3) (6,5) 2 3 4 5 6 (7,3) (3,4) 7 8 (4,5) και μένει (5,8) 3

Aνακατασκευή δένδρου από επιγραφές I Αντιστρόφως απόδειξης Cayley. Έστω ότι n=8 και b=4,3,5,3,4,5. Αναζητείται ο μικρότερος αριθμός από το διάστημα [,8], που δεν εμφανίζεται στην ακολουθία b. Ο αριθμός αυτός είναι ο a =. Έτσι προσδιορίζεται η ακμή (a, b )=(,4). 4

Aνακατασκευή δένδρου από επιγραφές II 2 3 7 4 5 8 6 Με τον ίδιο τρόπο προσδιορίζονται οι ακμές (a 2, b 2 )=(2,3), (a 3, b 3 )=(6,5), (a 4,b 4 )= (7,3), (a 5, b 5 )=(3,4) και (a 6, b 6 )=(4,5). Στο τέλος ενώνεται η μη χρησιμοποιημένη (5) με τη μέγιστη επιγραφή (8) 5

Ριζωμένα Δένδρα Θεώρημα: Ο αριθμός των διακριτών ριζωμένων δένδρων με επιγραφές που έχει n κορυφές είναι n n-. Ισομορφικά δένδρα μπορεί να είναι αλλά μπορεί και να μην είναι ισομορφικά ως ριζωμένα. 6

Πόσα είναι τα ισομερή του C k H 2k+2 ; Εφόσον οι κορυφές που παριστούν το H είναι εκκρεμείς και άρα εξαρτώνται κατά μοναδικό τρόπο από τις κορυφές που αναπαριστούν τον άνθρακα, δεν χρειάζεται να πεικονίζονται στο σχετικό γράφο. Έτσι, αρκεί να εξετασθεί τι συμβαίνει με τα k άτομα του άνθρακα σε έναν απλουστευμένο γράφο όπου πλέον δεν υπάρχει διάκριση μεταξύ των κορυφών. 7

Ύπαρξη Ζευγνύοντος Δένδρου Θεώρημα: Κάθε συνδεδεμένος γράφος έχει τουλάχιστον ένα ζευγνύον δένδρο. Έστω ηλεκτρικό κύκλωμα που απεικονίζεται με ένα γράφο από n κορυφές και m ακμές. Ποιος είναι ο ελάχιστος αριθμός ακμών που πρέπει να διαγράψουμε, έτσι ώστε να μην υπάρχει ρεύμα στο κύκλωμα; Απάντηση: Ο αριθμός των χορδών m n+. 8

Μερικά θεωρήματα Θεώρημα: Κάθε δένδρο με n κορυφές είναι υπογράφος ενός γράφου G με d(g) n. Πόσα ζευγνύοντα δένδρα μπορούν να προκύψουν από ένα συνδεδεμένο γράφο; Θεώρημα: Ο αριθμός των διακριτών ζευγνυόντων δένδρων ενός πλήρους γράφου Κ n είναι n n-2. 9

Ζευγνύοντα δένδρα του Κ 4 2

Απαρίθμηση Ζευγνυόντων Δένδρων Θεώρημα: Ο αριθμός των διακριτών ζευγνυόντων δένδρων ενός πλήρους διμερούς γράφου K m,n είναι m n- n m-. a x b Θεώρημα: Ο αριθμός των διακριτών ζευγνυόντων δένδρων ενός πλήρους διμερούς γράφου K 2,n είναι n2 n- 2

Περισσότερη απαρίθμηση I Θεώρημα: Ο αριθμός των διακριτών ζευγνυόντων δένδρων ενός πλήρους διμερούς γράφου K 3,n είναι n 2 3 n- a x b c a b c y z 22

Περισσότερη απαρίθμηση II Θεώρημα: Ο αριθμός των διακριτών ζευγνυόντων δένδρων ενός τροχοειδούς γράφου W n είναι 3 + 5 2 n + ( 3 5 ) 2 n 2 23

Μερικοί ορισμοί για πίνακες I Πίνακας βαθμών: C(i,j)= για i j και C(i,i)=d(v i ) για i n. Αν από ένα δισδιάστατο πίνακα Β με nn στοιχεία διαγραφεί η i-οστή γραμμή και η j-οστή στήλη, τότε προκύπτει ένας πίνακας B ij που ονομάζεται ελάσσων-minor στη θέση i,j. 24

Μερικοί ορισμοί για πίνακες II Συμπαράγοντας -cofactor του πίνακα B στη θέση i,j λέγεται η τιμή (-) i+j B ij 25 2 2 3 B 2 3 B 3,2

Θεώρημα Πίνακα-Δένδρου Kirchoff Matrix-tree theorem Έστω ένας μη ασήμαντος γράφος G με πίνακα γειτνίασης Α και πίνακα βαθμών C. Ο αριθμός των διαφορετικών ζευγνυόντων δένδρων του G ισούται με την τιμή οποιουδήποτε συμπαράγοντα του πίνακα C-A. 26

Θεώρημα Πίνακα-Δένδρου Kirchoff 27 5 4 3 2 A 3 3 2 3 3 C 3 3 2 3 3 A C 24 δένδρα

Θεμελιώδες Κύκλωμα Θεμελιώδες κύκλωμα fundamental circuit, δημιουργείται αν χορδή εισαχθεί σε ζευγνύον δένδρο Ποιό το πλήθος των θεμελιωδών κυκλωμάτων για τυχόν ζευγνύον δένδρο? m n+ Από τυχόν ζευγνύον δένδρο και τυχαία χορδή παράγεται ένα πρώτο θεμελιώδες κύκλωμα. Κατόπιν με κυκλικές εναλλαγές (cyclic interchanges) παράγονται όλα τα ζευγνύοντα δένδρα 28

Κυκλικές εναλλαγές I Επιλέγουμε ένα ζευγνύον δένδρο Τ του G Εισάγουμε μια χορδή στο Τ, οπότε παράγεται ένα θεμελιώδες κύκλωμα C i Διαγράφοντας μία-μία τις ακμές του C i παράγονται τα Τ, Τ 2,, Τ Κ ζευγνύοντα δέντρα Εισάγουμε νέα χορδή, οπότε παράγεται νέο θεμελιώδες κύκλωμα C i+ 29

Κυκλικές εναλλαγές II G T 3

Απόσταση Δένδρων Απόσταση δύο ζευγνυόντων δένδρων ενός συνδεδεμένου γράφου G είναι ο αριθμός των ακμών που ανήκουν στο ένα δένδρο αλλά δεν ανήκουν στο άλλο και δίνεται εξ ορισμού ως dist(t i, T j ) = dist(t j, T i ) dist(t i, T j ) και dist(t i, T i )= αν και μόνο αν T i =T j dist(t i, T j ) dist(t j, T k )+ dist(t k, T j ) Δενδρικός γράφος tree graph, οι κόμβοι αντιστοιχούν σε ζευγνύονται δένδρα και ενώνονται αν το ένα προκύπτει από το άλλο με κυκλική εναλλαγή. Η απόσταση δύο ζευγνυόντων δένδρων ισούται με την απόσταση των αντίστοιχων κόμβων στο δενδρικό γράφο. 3

Απόσταση Δένδρων Θεώρημα: Η μέγιστη απόσταση μεταξύ δύο ζευγνυόντων δένδρων T i και T j ενός συνδεδεμένου γράφου G(V,E) είναι: max(dist T i, T j ) min(n, m n + ) Κεντρικό λέγεται ένα ζευγνύον δένδρο T αν για κάθε ζευγνύον δένδρο Τ ισχύει η σχέση max(dist T, T i ) max(dist T i, T j ) 32

Διατήρηση απόστασης I Δεδομένου γράφου G μπορούμε να κατασκευάσουμε δένδρο Τ, όπου η απόσταση από κάποια κορυφή v Τ προς όλες τις υπόλοιπες κορυφές του Τ να είναι ίδια με την ελάχιστη απόσταση της κορυφής v προς κάθε μία από τις κορυφές του G. Τότε λέγεται ότι το ζευγνύον δένδρο Τ διατηρεί την απόσταση από την κορυφή v. 33

Διατήρηση απόστασης II 2 3 5 4 34

Διατήρηση απόστασης Παράδειγμα I Θεώρημα: Για κάθε κορυφή v ενός συνδεδεμένου γράφου G, υπάρχει ένα ζευγνύον δένδρο που διατηρεί την απόσταση. 2 5 4 3 2 5 4 3 35

Διατήρηση απόστασης Παράδειγμα II 2 2 3 3 5 4 5 4 2 2 3 3 5 4 5 4 36

Διατήρηση απόστασης Παράδειγμα III 2 2 3 3 5 4 2 5 4 2 3 3 5 4 5 4 37

Το πρόβλημα του συνδέσμου I Το πρόβλημα του συνδέσμου (connector problem) σε γράφο εξετάζει την εύρεση ενός δένδρου που ονομάζεται ελάχιστο και είναι το ζευγνύον δένδρο με το ελάχιστο βάρος (για ζυγισμένους γράφους). Ελάχιστο Ζευγνύον Δένδρο Minimum Spanning Tree Στη βιβλιογραφία αναφέρεται ως MST 38

Το πρόβλημα του συνδέσμου II Εφαρμογή MST στη σχεδίαση δικτύων: τηλεπικοινωνιακό, ηλεκτρικό, οδικό, υδραυλικό, υπολογιστικό, καλωδιακής τηλεόρασης, κλπ στην ομαδοποίησης-clustering σε προσεγγιστικούς αλγορίθμους για NP προβλήματα (TSP) 39

Παράδειγμα MST Είσοδος Έξοδος A B C D 2 7 6 3 E F 5 G 4 A B C D 2 7 6 3 E F 5 G 4 8 8 9 9 Αν τα βάρη των ακμών είναι διακριτοί αριθμοί, τότε το MST είναι μοναδικό. Αλλιώς μπορεί να υπάρχουν πολλά ισοδύναμα MST. 4

Δύο ιδιότητες των MST: Cycle Property Cycle Property: Για κάθε κύκλο C στο γράφο, η βαρύτερη ακμή του C δεν εμφανίζεται στο MST Χρησιμοποιείται για να εξαιρέσουμε ακμές C 4

Δύο ιδιότητες των MST: Cut Property Cut Property: Για κάθε μη κενό υποσύνολο κορυφών S, η ελαφρύτερη ακμή που προσπίπτει σε μία μόνο κορυφή του S ανήκει στο MST S S' Χρησιμοποιείται για να μην εξαιρέσουμε ακμές 42

Παράδειγμα cycle - cut 2 3 6 4 5 2 3 7 8 6 5 4 S = {4,5,8} Cut = {4,3},{5,3},{5,6},{5,7},{8,7} 7 8 Path = -2-3-4-5-6- Cycle = {,2},{2,3},{3,4},{4,5},{5,6},{6,} 43

Τομή cycle-cut Η τομή ενός cycle και ενός cut είναι ένας άρτιος αριθμός ακμών. 2 3 6 4 5 7 8 Intersection = {3,4},{5,6} 44

Τομή cycle-cut Απόδειξη Απόδειξη S C V - S 45

Τρεις κλασικοί άπληστοι αλγόριθμοι Kruskal Επιλέγουμε την ελαφρύτερη ακμή που δεν δημιουργεί κύκλο Prim Επιλέγουμε τυχαία μία πρώτη κορυφή v Κάθε φορά, έχουμε μία συνδεδεμένη συνιστώσα N που περιέχει τη v και κάποιους άλλους κόμβους V-N Επιλέγουμε την ελαφρύτερη ακμή από Ν προς V-N Boruvka Prim εν παραλλήλω και... Αντίστροφης διαγραφής Kruskal αντίστροφος 46

Αλγόριθμος Kruskal (956). Αρχικά το δένδρο Τ είναι κενό. Θέτουμε i=. Οι ακμές ταξινομούνται κατά μη φθίνον βάρος. 2. Εισάγεται στο Τ η επόμενη ακμή που δεν ανήκει ήδη στο Τ και δεν δημιουργεί κύκλο. Θέτουμε i=i+ 3. Αν i<n, τότε πηγαίνουμε στο Βήμα 2. Θεώρημα: Ο αλγόριθμος Kruskal δίνει ένα ζευγνύον δένδρο με ελάχιστο βάρος. 47

Αλγόριθμος Kruskal Παράδειγμα 8 4 2 8 3 7 2 8 4 7 6 9 7 2 4 6 4 9 5 Δεν λαμβάνεται η ακμή (8,9) διότι δημιουργείται κύκλος. Δεν λαμβάνεται η ακμή (2,3) διότι δημιουργείται κύκλος 48

Αλγόριθμος Prim (957). Στο αρχικό δένδρο Τ εισάγεται μία τυχαία κορυφή v. Θέτουμε i=. 2. Από το σύνολο των ακμών που πρόσκεινται στις κορυφές του Τ επιλέγεται εκείνη με το μικρότερο βάρος και εισάγεται στο Τ. Θέτουμε i=i+ 3. Αν i<n, τότε πηγαίνουμε στο Βήμα 2. Θεώρημα: Ο αλγόριθμος Prim δίνει ένα ζευγνύον δένδρο με ελάχιστο βάρος. 49

Αλγόριθμος Prim Παράδειγμα 8 4 2 8 3 7 2 8 4 7 6 9 7 2 4 6 4 9 5 5

Αλγόριθμος Boruvka (957). Ενώνουμε κάθε κόμβο u με τον κοντινότερο γείτονά του. Σχηματίζεται δάσος F από F δένδρα. 2. Ενώνουμε κάθε δένδρο του F με το κοντινότερό του δένδρο. Ανανεώνεται η τιμή του F. 3. Αν F >, τότε πηγαίνουμε στο Βήμα 2. 5

Αλγόριθμος Boruvka Παράδειγμα 8 4 2 8 3 7 2 8 4 7 6 9 7 2 4 6 4 9 5 52

Αλγόριθμος αντίστροφης διαγραφής Ο αλγόριθμος αντίστροφης διαγραφής (reverse-delete) είναι «αντίστροφος» του αλγορίθμου Kruskal. Θέτουμε i=m. Οι ακμές ταξινομούνται κατά μη αύξον βάρος. 2. Διαγράφεται η βαρύτερη ακμή αν δεν είναι γέφυρα. Θέτουμε i=i 3. Αν i>n, τότε πηγαίνουμε στο Βήμα 2. 53

Αλγόριθμος αντίστροφης διαγραφής Παράδειγμα 8 4 2 8 3 7 2 8 4 7 6 9 7 2 4 6 4 9 5 54

Πολυπλοκότητες αλγορίθμων Ι Οι πολυπλοκότητες εξαρτώνται από τις υλοποιήσεις o αναπαράσταση γράφου (πίνακας γειτνίασης ή δυναμική λίστα) o άλλες χρησιμοποιούμενες δομές (set, heaps, κλπ) Kruskal o Disjoint set O(m logm) Boruvka o O(m logn) 55

Πολυπλοκότητες αλγορίθμων ΙΙ Prim o Adjacency matrix O(n 2 ) o Binary heap, adjacency list O(m logn) o Fibonacci heap, adjacency list O(m + n logn) Reverse-deletion o O(m logm) για ταξινόμηση o O(n+m) για bridge detection, Tarjan o m επαναλήψεις o Άρα, Ο(m 2 ) 56

Νεότεροι αλγόριθμοι MST Αλγόριθμοι βασισμένοι στις συγκρίσεις O(m log n) Jarník, Prim, Dijkstra, Kruskal, Boruvka O(m log log n) Cheriton-Tarjan (976), Yao (975) O(m (m,n)) Fredman-Tarjan (987) O(m log (m,n)) Gabow-Galil-Spencer-Tarjan (986) O(m (m, n)) Chazelle (2) Άλλοι αλγόριθμοι O(m) randomized Karger-Klein-Tarjan (995) O(m) verification Dixon-Rauch-Tarjan (992) 57

Γενικότερα προβλήματα Ζευγνύον δέντρο με περιορισμό βαθμού k, π.χ. σε ηλεκτρικό κύκλωμα (αν k=2 τότε είναι το TSP πρόβλημα). Σε ζυγισμένο γράφο G(V,E) και για σύνολο V V να βρεθεί το ζευγνύον δέντρο με το ελάχιστο βάρος που συνδέει τις κορυφές του V, μέσω πιθανώς μερικών κορυφών ακόμα (Steiner points). 58

Εφαρμογή: Ομαδοποίηση-clustering Ι Δοθέντος συνόλου σημείων σε πολυδιάστατο χώρο, να χωρισθούν τα σημεία σε διακριτές ομάδες, έτσι ώστε τα σημεία μίας ομάδας να είναι κοντά μεταξύ τους, ενώ τα σημεία διαφορετικών ομάδων να απέχουν περισσότερο. Αντικείμενο της Αναγνώρισης Προτύπων, της Τεχνητής Νοημοσύνης, της Εξόρυξης Δεδομένων 59

Εφαρμογή: Ομαδοποίηση-clustering ΙΙ Εφαρμογές Εξόρυξη Δεδομένων/Κειμένου, Ανάκτηση Πληροφορίας Ανάλυση Παγκόσμιου Ιστού, Βιβλιομετρική Μάρκετινγκ, Χρηματο-οικονομικά Ανάλυση Εικόνων, Βιοπληροφορική κλπ 6

Σημείωμα Αναφοράς Copyright, Ιωάννης Μανωλόπουλος. «Αλγοριθμική Θεωρία Γράφων. Δένδρα». Έκδοση:.. Θεσσαλονίκη 24. Διαθέσιμο από τη δικτυακή διεύθυνση: http://eclass.auth.gr/courses/ocrs264/. 6

Σημείωμα Αδειοδότησης Το παρόν υλικό διατίθεται με τους όρους της άδειας χρήσης Creative Commons Αναφορά - Παρόμοια Διανομή [] ή μεταγενέστερη, Διεθνής Έκδοση. Εξαιρούνται τα αυτοτελή έργα τρίτων π.χ. φωτογραφίες, διαγράμματα κ.λ.π., τα οποία εμπεριέχονται σε αυτό και τα οποία αναφέρονται μαζί με τους όρους χρήσης τους στο «Σημείωμα Χρήσης Έργων Τρίτων». Ο δικαιούχος μπορεί να παρέχει στον αδειοδόχο ξεχωριστή άδεια να χρησιμοποιεί το έργο για εμπορική χρήση, εφόσον αυτό του ζητηθεί. [] http://creativecommons.org/licenses/by-sa/4./

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΑΝΟΙΚΤΑ ΑΚΑΔΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ Τέλος ενότητας Επεξεργασία: Ανδρέας Κοσματόπουλος Θεσσαλονίκη, Μάρτιος 25

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ Σημειώματα

Σημείωμα Ιστορικού Εκδόσεων Έργου Το παρόν έργο αποτελεί την έκδοση.. 65

Διατήρηση Σημειωμάτων Οποιαδήποτε αναπαραγωγή ή διασκευή του υλικού θα πρέπει να συμπεριλαμβάνει: το Σημείωμα Αναφοράς το Σημείωμα Αδειοδότησης τη δήλωση Διατήρησης Σημειωμάτων το Σημείωμα Χρήσης Έργων Τρίτων (εφόσον υπάρχει) μαζί με τους συνοδευόμενους υπερσυνδέσμους.