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

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

2. Εισαγωγή (1) • Κατευθυνόμενος γράφος (directedgraph, digraph) ή προσανατολισμένος(oriented) ονομάζεται ένας γράφος D(V,A) που αποτελείται από ένα μη κενό σύνολο κορυφώνV και ένα σύνολο A από διατεταγμένα ζεύγη κορυφών που ονομάζονται τόξα (arcs). • Σε ένα τόξο (v,w)οι κορυφές vκαι wονομάζονται ουρά (tail)και κεφαλή (head)ή ακόμη πηγή (source)και νεροχύτης (sink)αντίστοιχα. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

3. Εισαγωγή (2) • Έσωγειτονιάμιας κορυφής vείναι το σύνολο των κορυφών u που ορίζονται από τη σχέση N(v)={u  V | (u, v)  A}. • Έξω γειτονιάμιας κορυφής vείναι το σύνολο των κορυφώνu που ορίζονται από τη σχέση N+(v)={u  V | (v, u)  A}. • Έσω βαθμός μιας κορυφής v, d(v), ονομάζεται ο αριθμός των τόξων με κεφαλή την κορυφή v. • Έξω βαθμός μιας κορυφής v, d+(v), ονομάζεται ο αριθμός των τόξων με ουρά την κορυφή v. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

4. Εισαγωγή (3) • Να γραφούν οι ακολουθίες έσω και έξω βαθμών των κορυφών για τους παρακάτω γράφους. • (a) Ακολουθία έξω βαθμών: (0,1,1,1,1,1,1,1,1) Ακολουθία έσω βαθμών: (0,0,0,0,0,0,1,3,4)(b) Ακολουθία έξω βαθμών: (1,2,2,2,3) Ακολουθία έσω βαθμών: (1,2,2,2,3) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

5. Εισαγωγή (4) • Ισχύουν οι σχέσειςd(v)=|N(v)| και d+(v)=|N+(v)|. • Ο ελάχιστος και ο μέγιστοςέσωβαθμός ενός γράφου συμβολίζονται με d(G) και D(G) αντίστοιχαενώ ο ελάχιστος και ο μέγιστοςέξωβαθμός ενός γράφου συμβολίζονται με d+(G) και D+(G). • Ένας κατευθυνόμενος γράφος λέγεται ισορροπημένος (balanced) ή ψευδοσυμμετρικός (pseudosymmetric) ή ισογράφος (isograph), αν για κάθε κορυφή vισχύει:d(v)=d+(v). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

8. Εισαγωγή (7) • Συμμετρικός (symmetric) λέγεται ένας κατευθυνόμενος γράφος που για κάθε τόξο (u, w) υπάρχει και το τόξο (w, u). Σχήμα (b) • Αν D είναι ένας κατευθυνόμενος γράφος τότε ο γράφος που προκύπτει από τον D αντικαθιστώντας τα τόξα με ακμές ονομάζεται υποκείμενος (underlying) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

10. Εισαγωγή (9) • Ένας κατευθυνόμενος γράφος D είναι αδύναμασυνδεδεμένος (weaklyconnected) αν ο αντίστοιχος υποκείμενος γράφος είναι συνδεδεμένος. • Άλλος ορισμός: ένας κατευθυνόμενος γράφος D είναι αδύναμασυνδεδεμένος (weaklyconnected) αν μπορούμε να φτάσουμε κάποια κορυφή ξεκινώντας από οποιαδήποτε άλλη κορυφή διασχίζοντας τα τόξα προς κάποια κατεύθυνση (όχι αναγκαστικά προς την κατεύθυνσή τους). Με άλλα λόγια αν μεταξύ 2 οποιωνδήποτε κορυφών v και w υπάρχει ένα μονοπάτι όχι απαραίτητα προσανατολισμένο. Μπορούμε π.χ. να πάμε από την κορυφή 1 στην κορυφή 2 ακόμη και αν δεν υπάρχει το τόξο (1, 2) αλλά το (2, 1). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

11. Εισαγωγή (10) • Μονόπλευρασυνδεδεμένος(unilaterally connected) κατευθυνόμενος γράφος είναι ο γράφος όπου 2 οποιεσδήποτε κορυφές v και w ενώνονται είτε με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την v προς την w είτε με ένα κατευθυνόμενο μονοπάτι από την w προς την v. • Ισχυράσυνδεδεμένος (strongly connected) κατευθυνόμενος γράφος είναι ο γράφος όπου 2 οποιεσδήποτε κορυφές του vκαι wενώνονται με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την v προς την wκαι με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την w προς τηνv). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

12. Εισαγωγή (11) • Ο κατευθυνόμενος γράφος του Σχήματος (a) είναι αδύναμα συνδεδεμένος του Σχήματος (b) μονόπλευρα συνδεδεμένος ενώ αυτός του Σχήματος (c) ισχυρά συνδεδεμένος ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

15. Εισαγωγή (14) Υπενθυμίσεις εννοιών κεφαλαίου 1. • Ακολουθία βαθμών (degreesequence) ενός γράφου είναι μια μη αύξουσα ακολουθία ακεραίων που αντιστοιχεί στις τιμές των βαθμών των κορυφών του γράφου. • Μια τυχούσα ακολουθία βαθμώνS λέγεται γραφική (graphic) αν πράγματι αντιστοιχεί σε κάποιον γράφο G. • Ο γράφος G που αντιστοιχεί σε δεδομένη ακολουθία S ονομάζεται πραγματοποίηση(realization) της ακολουθίας. • Μια ακολουθία λέγεται απλή (simple) αν είναι γραφική και υπάρχει μόνο μία πραγματοποίησή της. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

16. Εισαγωγή (15) • Θεώρημα 7.2. Μια ακολουθία διατεταγμένων ζευγών μη αρνητικών ακεραίων S: (d−1, d+1), (d−2, d+2),…, (d−n, d+n), όπου d−1≥d−2≥ ... ≥d−n, είναι γραφική και αντιστοιχεί σε κατευθυνόμενο γράφο αν και μόνο αν για κάθε ακέραιο kισχύουν οι σχέσεις d−k≤ n -1, d+k≤ n -1 και ενώ για 1 ≤j<n ισχύει: ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

18. DFS (2) • Ο αλγόριθμος παράγει 2 σύνολα ακμών: • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges). • To σύνολο B=E-T των υπόλοιπων ακμών που ονομάζονται οπίσθιες ακμές (backedges) ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

20. DFS (4) • Ο αλγόριθμος DFS για κατευθυνόμενους γράφους είναι παρόμοιος με τη διαφορά ότι οι ακμές που παράγονται κατατάσσονται σε 4 σύνολα: • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges). • To σύνολο B των ακμών που ονομάζονται οπίσθιες ακμές (backedges) και ενώνουν κορυφές απογόνους προς κορυφές προγόνους. • To σύνολο F των ακμών που ονομάζονται εμπρόσθιες ακμές (forward edges) και ενώνουν κορυφές προγόνους προς κορυφέςαπογόνους. • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

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

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

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

26. DFS(10) • Θεώρημα 7.13. Αν κατά την αναζήτηση ενός κατευθυνόμενου γράφου με προτεραιότητα βάθους προκύψει μια διασταυρωνόμενη ακμή (u, v) τότε ισχύει η σχέση: dfi(u) > dfi(v). • Απόδειξη: Με απαγωγή σε άτοπο. Ας υποθέσουμε ότι dfi(u) < dfi(v), δηλαδή ας υποθέσουμε ότι επισκεπτόμαστε την κορυφή u πριν την κορυφή v. Αν δίνουμε τιμή στην dfi(v) όταν ακολουθούμε την ακμή (u, v), τότε η ακμή (u, v) είναι δενδρική. Αλλιώς επισκεπτόμασε την κορυφή v ως απόγονο της u, αλλά όχι ως γιο της u. Άρα δεν μπορεί η ακμή (u, v) σε καμιά περίπτωση να είναι διασταυρωνόμενη και επομένως οδηγούμαστε σε άτοπο. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

29. BFS (3) • Ο αλγόριθμος BFS χρησιμοποιεί ουρά ενώ ο DFS στοίβα (λόγω αναδρομής). • Ο αλγόριθμος BFS επισκέπτεται τις κορυφές ανά επίπεδο: δηλαδή πρώτα επισκέπτεται τις κορυφές που απέχουν απόσταση 1(ένα τόξο) από την αρχική κορυφή, έπειτα τις κορυφές που απέχουν 2 κ.ο.κ. • Ο αλγόριθμος BFS για μη κατευθυνόμενους γράφους παράγει 2 σύνολα ακμών: • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges). • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

32. BFS (6) • Ο αλγόριθμος BFS για κατευθυνόμενους γράφους είναι παρόμοιος με τη διαφορά ότι οι ακμές που παράγονται κατατάσσονται σε 3 σύνολα: • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges). • To σύνολο B των ακμών που ονομάζονται οπίσθιες ακμές (backedges) και ενώνουν κορυφές απογόνους προς κορυφές προγόνους. • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου. • Να σημειωθεί ότι δεν υπάρχουν εμπρόσθιες ακμές (forward edges). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

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

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

37. Έλεγχος συνεκτικότητας (2) • Για να εξετάσουμε την απλή συνεκτικότητα ενός μη κατευθυνόμενου γραφήματος αρκεί να εφαρμόσουμε τον αλγόριθμο BFS ή τον DFS (μόνο τιςδιαδικασίες BFS ή DFS χωρίς τον εξωτερικό βρόχο για) μια φορά ξεκινώντας από έναν οποιονδήποτε κόμβο. Στο τέλος του αλγορίθμου αρκεί να εξετάσουμε αν επισκεφθήκαμε όλες τις κορυφές του γραφήματος. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

40. Τοπολογική Διάταξη (1) • Έστω G = (V, Α) ένας κατευθυνόμενος (προσανατολισμένος) γράφος n κορυφών (1,2,...,n) χωρίς προσανατολισμένους κύκλους. Ένας τέτοιος γράφος λέγεται ΠΑΓ (Προσανατολισμένος Άκυκλος Γράφος). Στα αγγλικά DAG (Directed Acyclic Graph). • Τοπολογική διάταξη (topologicalorderή topologicalsorting) ενός ΠΑΓ είναι μια διάταξη των κορυφών του έτσι ώστε αν ο γράφος G περιέχει το τόξο (v,w)τότε η κορυφή vεμφανίζεται πριν από την κορυφή wστην τοπολογική διάταξη. • Με άλλα λόγια κάθε κορυφή στην τοπολογική διάταξη βρίσκεται πριν από όλες τις κορυφές προς τις οποίες έχει εξερχόμενα τόξα. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

41. Τοπολογική Διάταξη (2) • Ένας πιο τυπικός ορισμός δίνεται παρακάτω. Έστω G ένας κατευθυνόμενος γράφος n κορυφών. Μια τοπολογική διάταξη του G είναι μια διάτξη των κορυφών του (v1, v2,…,vn) τέτοια ώστε για κάθε τόξο (vi, vj)∈G , i<j (το i να εμφανίζεται πριν το j στην διάταξη). • Ένας ΠΑΓ μπορεί να έχει παραπάνω από μία τοπολογικές διατάξεις. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

42. Τοπολογική Διάταξη (3) • Μια τοπολογική διάταξη του παρακάτω γράφου είναι: A,B,C,D,F,E,H,G,I. • Μια ακόμη τοπολογική διάταξη του ίδιου γράφου είναι: A,C,E,B,D,F,G,H,I. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

44. Τοπολογική Διάταξη (5)#1 • Θεώρημα: ένας κατευθυνόμενος γράφος έχει τοπολογική διάταξη αν και μόνο αν δεν έχει προσανατολισμένους κύκλους (είναι δηλαδή ΠΑΓ). • Απόδειξη: Έστω ότι ο G έχει τοπολογική διάταξη. Θα δείξουμε ότι είναι ΠΑΓ. Έστω ότι δεν είναι ΠΑΓ και ότι έχει έναν προσανατολισμένο κύκλο v1, v2,…,vk, v1. Λόγω της ύπαρξης τοπολογικής διάταξης έστω ότι ξεκινάμε με την κορυφή v1. Η v2 πρέπει να ακολουθεί την v1 στην τοπολογική διάταξη. Η v3 πρέπει να ακολουθεί την v2 κ.ο.κ. Αλλά η v1 δεν μπορεί να ακολουθεί την vk. Συνεπώς ο G είναι ΠΑΓ. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

45. Τοπολογική Διάταξη (5)#2 • Θεώρημα: ένας κατευθυνόμενος γράφος έχει τοπολογική διάταξη αν και μόνο αν δεν έχει προσανατολισμένους κύκλους (είναι δηλαδή ΠΑΓ). • Απόδειξη: Αντίστροφα. Έστω ότι ο G είναι ΠΑΓ. Θα περιγράψουμε έναν αλγόριθμο για την κατασκευή μιας τοπολογικής διάταξης. Επειδή ο G είναι ΠΑΓ πρέπει να έχει τουλάχιστον μια κορυφή v1 με έσω βαθμό 0 (d(v1)=0) . Αυτό συμβαίνει διότι αν όλες οι κορυφές έχουν έσω βαθμό >0 τότε ξεκινώντας από μια τυχαία κορυφή i και ακολουθώντας ένα έσω τόξο (i, j)πηγαίνουμε στην j. Από την jακολουθώντας ένα έσω τόξο (j, k)πηγαίνουμε στην k. Οπότε κάποτε θα συναντήσουμε πάλι την i και συνεπώς θα έχουμε ακολουθήσει έναν προσανατολισμένο κύκλο (άτοπο λόγω του ότι ο G είναι ΠΑΓ). ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

46. Τοπολογική Διάταξη (5)#3 • Θεώρημα: ένας κατευθυνόμενος γράφος έχει τοπολογική διάταξη αν και μόνο αν δεν έχει προσανατολισμένους κύκλους (είναι δηλαδή ΠΑΓ). • Απόδειξη: Έστω λοιπόν v1 μια κορυφή με έσω βαθμό 0 (d(v1)=0). Αφαιρούμε από τον G την v1 και όλα τα εξερχόμενα τόξα της οπότε ο παραγόμενος γράφος είναι πάλι ΠΑΓ. Επομένως έχει τουλάχιστον μια κορυφή έστω v2,με έσω βαθμό 0. Αφαιρούμε πάλι από τον G την v2 και όλα τα εξερχόμενα τόξα της οπότε ο παραγόμενος γράφος είναι πάλι ΠΑΓ. Ακολουθώντας την παραπάνω διαδικασία μέχρις ότου ο G να γίνει κενός παίρνουμε την διάταξη v1, v2,…,vnτων κορυφών του G. Λόγω της κατασκευής της παραπάνω διάταξης αν (vi, vj) είναι ένα τόξο του G, η κορυφή viδιαγράφεται πριν την κορυφή vj και συνεπώς i<j. Άρα η παραπάνω διάταξη είναι τοπολογική διάταξη. ΘΕΩΡΙΑ ΓΡΑΦΩΝ Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων

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

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

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

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