Θεωρία Γράφων
This presentation is the property of its rightful owner.
Sponsored Links
1 / 60

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


  • 113 Views
  • Uploaded on
  • Presentation posted in: General

Θεωρία Γράφων Θεμελιώσεις-Αλγόριθμοι-Εφαρμογές. Κεφάλαιο 7 : Κατευθυνόμενοι Γράφοι. Εισαγωγή (1).

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.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -

Presentation Transcript


3671130

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

Κεφάλαιο 7: Κατευθυνόμενοι Γράφοι

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (1)

  • Κατευθυνόμενος γράφος (directedgraph, digraph) ή προσανατολισμένος(oriented) ονομάζεται ένας γράφος D(V,A) που αποτελείται από ένα μη κενό σύνολο κορυφώνV και ένα σύνολο A από διατεταγμένα ζεύγη κορυφών που ονομάζονται τόξα (arcs).

  • Σε ένα τόξο (v,w)οι κορυφές vκαι wονομάζονται ουρά (tail)και κεφαλή (head)ή ακόμη πηγή (source)και νεροχύτης (sink)αντίστοιχα.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (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.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (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)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (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).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (5)

  • Λήμμα 7.1(Το δί-λλημα της χειραψίας): Για κάθε κατευθυνόμενο γράφο ισχύει η σχέση:

  • Δηλαδή το άθροισμα των έσω βαθμών όλων των κορυφών ισούται με το άθροισμα των έξω βαθμών τους

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (6)

  • Στο Σχήμα (a) ο γράφος είναι ένας κατευθυνόμενος απλόςγράφος (δεν έχει βρόχους και 2 κορυφές του ενώνονται με ένα τόξο το πολύ).

  • Αν σε ένα κατευθυνόμενο γράφο επιτρέπεται να υπάρχουν βρόχοι, αλλά δεν επιτρέπεται 2 κορυφές να ενώνονται με περισσότερα από ένα τόξο, τότε ο γράφος αυτός λέγεται ασυμμετρικός (asymmetric) ή αντισυμμετρικός (antisymmetric).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (7)

  • Συμμετρικός (symmetric) λέγεται ένας κατευθυνόμενος γράφος που για κάθε τόξο (u, w) υπάρχει και το τόξο (w, u). Σχήμα (b)

  • Αν D είναι ένας κατευθυνόμενος γράφος τότε ο γράφος που προκύπτει από τον D αντικαθιστώντας τα τόξα με ακμές ονομάζεται υποκείμενος (underlying)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (8)

  • Ο αντίστροφος (converse) ενός κατευθυνόμενου γράφου λαμβάνεται αντιστρέφοντας την κατεύθυνση των τόξων του.

  • Πλήρης κατευθυνόμενος γράφος είναι ο γράφος στον οποίο κάθε ζεύγος κορυφών ενώνεται με ένα μοναδικό τόξο

  • Ένας πλήρης ασυμμετρικός γράφος χωρίς βρόχους ονομάζεται γράφος τουρνουά (tournament)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (9)

  • Ένας κατευθυνόμενος γράφος D είναι αδύναμασυνδεδεμένος (weaklyconnected) αν ο αντίστοιχος υποκείμενος γράφος είναι συνδεδεμένος.

  • Άλλος ορισμός: ένας κατευθυνόμενος γράφος D είναι αδύναμασυνδεδεμένος (weaklyconnected) αν μπορούμε να φτάσουμε κάποια κορυφή ξεκινώντας από οποιαδήποτε άλλη κορυφή διασχίζοντας τα τόξα προς κάποια κατεύθυνση (όχι αναγκαστικά προς την κατεύθυνσή τους). Με άλλα λόγια αν μεταξύ 2 οποιωνδήποτε κορυφών v και w υπάρχει ένα μονοπάτι όχι απαραίτητα προσανατολισμένο. Μπορούμε π.χ. να πάμε από την κορυφή 1 στην κορυφή 2 ακόμη και αν δεν υπάρχει το τόξο (1, 2) αλλά το (2, 1).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (10)

  • Μονόπλευρασυνδεδεμένος(unilaterally connected) κατευθυνόμενος γράφος είναι ο γράφος όπου 2 οποιεσδήποτε κορυφές v και w ενώνονται είτε με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την v προς την w είτε με ένα κατευθυνόμενο μονοπάτι από την w προς την v.

  • Ισχυράσυνδεδεμένος (strongly connected) κατευθυνόμενος γράφος είναι ο γράφος όπου 2 οποιεσδήποτε κορυφές του vκαι wενώνονται με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την v προς την wκαι με ένα κατευθυνόμενο μονοπάτι (προσανατολισμένο) από την w προς τηνv).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (11)

  • Ο κατευθυνόμενος γράφος του Σχήματος (a) είναι αδύναμα συνδεδεμένος του Σχήματος (b) μονόπλευρα συνδεδεμένος ενώ αυτός του Σχήματος (c) ισχυρά συνδεδεμένος

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (12)

  • Να εξεταστεί αν οι παρακάτω γράφοι είναι αδύναμα συνδεδεμένοι ή ισχυρά συνδεδεμένοι .

a) Αδύναμα συνδεδεμένος, επειδή η κεντρική κορυφή δεν έχει πρόσβαση στις άλλες.

b) Ισχυρά συνδεδεμένος.

c) Αδύναμα συνδεδεμένος, επειδή η πάνω δεξιά κορυφή δεν έχει πρόσβαση στις άλλες.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (13)

  • Ένας συνδεδεμένος (μη κατευθυνόμενος) γράφος G ονομάζεται προσανατολίσιμος (orientable) αν οι ακμές του μπορούν να προσανατολιστούν (δηλαδή να αποκτήσουν κατεύθυνση) με τέτοιο τρόπο ώστε ο αντίστοιχος κατευθυνόμενος γράφος να είναι ισχυρά συνδεδεμένος.

  • Θεώρημα 7.1: ένας συνδεδεμένος (μη κατευθυνόμενος) γράφος G είναι προσανατολίσιμος αν και μόνο αν κάθε ακμή τουπεριέχεται σε τουλάχιστον έναν κύκλο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (14)

Υπενθυμίσεις εννοιών κεφαλαίου 1.

  • Ακολουθία βαθμών (degreesequence) ενός γράφου είναι μια μη αύξουσα ακολουθία ακεραίων που αντιστοιχεί στις τιμές των βαθμών των κορυφών του γράφου.

  • Μια τυχούσα ακολουθία βαθμώνS λέγεται γραφική (graphic) αν πράγματι αντιστοιχεί σε κάποιον γράφο G.

  • Ο γράφος G που αντιστοιχεί σε δεδομένη ακολουθία S ονομάζεται πραγματοποίηση(realization) της ακολουθίας.

  • Μια ακολουθία λέγεται απλή (simple) αν είναι γραφική και υπάρχει μόνο μία πραγματοποίησή της.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Εισαγωγή (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 ισχύει:

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 1

DFS (1)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 2

DFS (2)

  • Ο αλγόριθμος παράγει 2 σύνολα ακμών:

    • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges).

    • To σύνολο B=E-T των υπόλοιπων ακμών που ονομάζονται οπίσθιες ακμές (backedges)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 3

DFS (3)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 4

DFS (4)

  • Ο αλγόριθμος DFS για κατευθυνόμενους γράφους είναι παρόμοιος με τη διαφορά ότι οι ακμές που παράγονται κατατάσσονται σε 4 σύνολα:

    • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges).

    • To σύνολο B των ακμών που ονομάζονται οπίσθιες ακμές (backedges) και ενώνουν κορυφές απογόνους προς κορυφές προγόνους.

    • To σύνολο F των ακμών που ονομάζονται εμπρόσθιες ακμές (forward edges) και ενώνουν κορυφές προγόνους προς κορυφέςαπογόνους.

    • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 5

DFS (5)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 6

DFS (6)

  • Να εφαρμοστεί ο αλγόριθμος DFS στον παρακάτω κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 7

DFS (7)

  • Να εφαρμοστεί ο αλγόριθμος DFS στον παρακάτω κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 8

DFS (8)

  • Ένα κατευθυνόμενο γράφημα είναι άκυκλο αν δεν έχει προσανατολισμένους (κατευθυνόμενους) κύκλους.

  • Μπορούμε να ελέγξουμε αν ένα γράφημα είναι άκυκλο με μια διάσχιση του γραφήματος κατά βάθος.

  • Αν ένα δέντρο διάσχισης εμφανίσει ένα οπίσθιο τόξο, συμπεραίνουμε αμέσως ότι το γράφημα έχει κύκλο. Αντίστροφα, αν δεν υπάρχει οπίσθιο τόξο, το γράφημα είναι άκυκλο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 9

DFS (9)

  • Να δειχθεί ότι ο παρακάτω γράφος είναι άκυκλος με την εφαρμογή του DFS και τη μη ύπαρξη οπίσθιων τόξων.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Dfs 1 0

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) σε καμιά περίπτωση να είναι διασταυρωνόμενη και επομένως οδηγούμαστε σε άτοπο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 1

BFS (1)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 2

BFS (2)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 3

BFS (3)

  • Ο αλγόριθμος BFS χρησιμοποιεί ουρά ενώ ο DFS στοίβα (λόγω αναδρομής).

  • Ο αλγόριθμος BFS επισκέπτεται τις κορυφές ανά επίπεδο: δηλαδή πρώτα επισκέπτεται τις κορυφές που απέχουν απόσταση 1(ένα τόξο) από την αρχική κορυφή, έπειτα τις κορυφές που απέχουν 2 κ.ο.κ.

  • Ο αλγόριθμος BFS για μη κατευθυνόμενους γράφους παράγει 2 σύνολα ακμών:

    • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges).

    • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 4

BFS (4)

  • Να εφαρμοστεί ο αλγόριθμος BFS στον παρακάτω

  • μη κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 5

BFS (5)

  • Να εφαρμοστεί ο αλγόριθμος BFS στον παρακάτω

  • μη κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 6

BFS (6)

  • Ο αλγόριθμος BFS για κατευθυνόμενους γράφους είναι παρόμοιος με τη διαφορά ότι οι ακμές που παράγονται κατατάσσονται σε 3 σύνολα:

    • Το σύνολο Τ των ακμών που περιέχονται στα δέντρα του δάσους και ονομάζονται δεντρικές ακμές (treeedges).

    • To σύνολο B των ακμών που ονομάζονται οπίσθιες ακμές (backedges) και ενώνουν κορυφές απογόνους προς κορυφές προγόνους.

    • To σύνολο C των ακμών που ονομάζονται διασταυρωνόμενες ακμές (cross edges) και δεν έχουν σχέση απογόνου προγόνου.

  • Να σημειωθεί ότι δεν υπάρχουν εμπρόσθιες ακμές (forward edges).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 7

BFS (7)

  • Να εφαρμοστεί ο αλγόριθμος BFS στον παρακάτω

  • κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 8

BFS (8)

  • Να εφαρμοστεί ο αλγόριθμος BFS στον παρακάτω κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


Bfs 9

BFS (9)

  • Να εφαρμοστεί ο αλγόριθμος BFS στον παρακάτω κατευθυνόμενο γράφο.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Έλεγχος συνεκτικότητας (1)

  • Ερώτηση: πως μπορούμε να ελέγξουμε αν ένας γράφος (κατευθυνόμενος ή μη) είναι αδύναμα (απλά) συνδεδεμένος (συνεκτικός) εφαρμόζοντας τον αλγόριθμο BFS ή τον DFS;

  • Απάντηση: Για να εξετάσουμε την απλή συνεκτικότητα ενός κατευθυνόμενου γραφήματος αρκεί να εφαρμόσουμε τον αλγόριθμο BFS ή τον DFS (μόνο τιςδιαδικασίες BFS ή DFS χωρίς τον εξωτερικό βρόχο για) μια φορά ξεκινώντας από έναν οποιονδήποτε κόμβο. Πρέπει όμως κατά την εξέταση των γειτονικών αμαρκάριστων κόμβων ενός κόμβου vνα εξετάζουμε τους κόμβους στους οποίους μπορούμε να πάμε από τον v ακολουθώντας είτε ένα εξερχόμενο είτε ένα εισερχόμενο τόξο του. Στο τέλος του αλγορίθμου αρκεί να εξετάσουμε αν επισκεφθήκαμε όλες τις κορυφές του γραφήματος.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Έλεγχος συνεκτικότητας (2)

  • Για να εξετάσουμε την απλή συνεκτικότητα ενός μη κατευθυνόμενου γραφήματος αρκεί να εφαρμόσουμε τον αλγόριθμο BFS ή τον DFS (μόνο τιςδιαδικασίες BFS ή DFS χωρίς τον εξωτερικό βρόχο για) μια φορά ξεκινώντας από έναν οποιονδήποτε κόμβο. Στο τέλος του αλγορίθμου αρκεί να εξετάσουμε αν επισκεφθήκαμε όλες τις κορυφές του γραφήματος.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Έλεγχος συνεκτικότητας (3)

  • Ερώτηση: πως μπορούμε να ελέγξουμε αν ένας κατευθυνόμενος γράφος είναι ισχυρά συνδεδεμένος (συνεκτικός) εφαρμόζοντας τον αλγόριθμο BFS ή τον DFS;

  • Απάντηση: Για να εξετάσουμε την ισχυρή συνεκτικότητα ενός κατευθυνόμενου γραφήματος αρκεί να εφαρμόσουμε τον αλγόριθμο BFS ή τον DFS (μόνο τιςδιαδικασίες BFS ή DFS χωρίς τον εξωτερικό βρόχο για) 2 φορές ξεκινώντας από έναν οποιονδήποτε κόμβο. Την πρώτη φορά πρέπει για κάθε κόμβο vνα εξετάζουμε τους γειτονικούς αμαρκάριστους κόμβουςστους οποίους μπορούμε να πάμε από τον v μέσω μόνο εξερχόμενων τόξων.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Έλεγχος συνεκτικότητας (4)

  • Την δεύτερη φορά πρέπει για κάθε κόμβο vνα εξετάζουμε τους γειτονικούς αμαρκάριστους κόμβουςστους οποίους μπορούμε να πάμε από τον v μέσω μόνο εισερχόμενων τόξων.

  • Για να είναι ο γράφος ισχυρά συνεκτικός πρέπει και στην πρώτη και στη δεύτερη εφαρμογή του αλγορίθμου να επισκεφτούμε όλους τους κόμβους του γραφήματος.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (1)

  • Έστω G = (V, Α) ένας κατευθυνόμενος (προσανατολισμένος) γράφος n κορυφών (1,2,...,n) χωρίς προσανατολισμένους κύκλους. Ένας τέτοιος γράφος λέγεται ΠΑΓ (Προσανατολισμένος Άκυκλος Γράφος). Στα αγγλικά DAG (Directed Acyclic Graph).

  • Τοπολογική διάταξη (topologicalorderή topologicalsorting) ενός ΠΑΓ είναι μια διάταξη των κορυφών του έτσι ώστε αν ο γράφος G περιέχει το τόξο (v,w)τότε η κορυφή vεμφανίζεται πριν από την κορυφή wστην τοπολογική διάταξη.

  • Με άλλα λόγια κάθε κορυφή στην τοπολογική διάταξη βρίσκεται πριν από όλες τις κορυφές προς τις οποίες έχει εξερχόμενα τόξα.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (2)

  • Ένας πιο τυπικός ορισμός δίνεται παρακάτω. Έστω G ένας κατευθυνόμενος γράφος n κορυφών. Μια τοπολογική διάταξη του G είναι μια διάτξη των κορυφών του (v1, v2,…,vn) τέτοια ώστε για κάθε τόξο (vi, vj)∈G , i<j (το i να εμφανίζεται πριν το j στην διάταξη).

  • Ένας ΠΑΓ μπορεί να έχει παραπάνω από μία τοπολογικές διατάξεις.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (3)

  • Μια τοπολογική διάταξη του παρακάτω γράφου είναι: A,B,C,D,F,E,H,G,I.

  • Μια ακόμη τοπολογική διάταξη του ίδιου γράφου είναι: A,C,E,B,D,F,G,H,I.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (4)

  • Ένας κατευθυνόμενος γράφος που έχει τοπολογική διάταξη μπορεί να σχεδιαστεί ως εξής: οι κορυφές του μπορούν να τοποθετηθούν σε μια ευθεία γραμμή και τα τόξα που συνδέουν τις κορυφές να κατευθύνονται όλα από αριστερά προς τα δεξιά.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (5)#1

  • Θεώρημα: ένας κατευθυνόμενος γράφος έχει τοπολογική διάταξη αν και μόνο αν δεν έχει προσανατολισμένους κύκλους (είναι δηλαδή ΠΑΓ).

  • Απόδειξη: Έστω ότι ο G έχει τοπολογική διάταξη. Θα δείξουμε ότι είναι ΠΑΓ. Έστω ότι δεν είναι ΠΑΓ και ότι έχει έναν προσανατολισμένο κύκλο v1, v2,…,vk, v1. Λόγω της ύπαρξης τοπολογικής διάταξης έστω ότι ξεκινάμε με την κορυφή v1. Η v2 πρέπει να ακολουθεί την v1 στην τοπολογική διάταξη. Η v3 πρέπει να ακολουθεί την v2 κ.ο.κ. Αλλά η v1 δεν μπορεί να ακολουθεί την vk. Συνεπώς ο G είναι ΠΑΓ.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (5)#2

  • Θεώρημα: ένας κατευθυνόμενος γράφος έχει τοπολογική διάταξη αν και μόνο αν δεν έχει προσανατολισμένους κύκλους (είναι δηλαδή ΠΑΓ).

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

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (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. Άρα η παραπάνω διάταξη είναι τοπολογική διάταξη.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (6)

  • Ο επόμενος αλγόριθμος παράγει την τοπολογική διάταξη ενός γραφήματος την οποία αποθηκεύει στο διάνυσμα σειρά. Σειρά(i) είναι η σειρά με την οποία επισκεπτόμαστε τηνκορυφή i.

  • Αν δεν υπάρχει τοπολογική διάταξη ο αλγόριθμος επιστρέφει ένδειξη ότι υπάρχει προσανατολισμένος κύκλος.

  • Αντί ουράς μπορεί να χρησιμοποιηθεί στοίβα.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (7)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (8)

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (9)

  • Να εφαρμοστεί ο αλγόριθμος της τοπολογικής διάταξης στο παρακάτω γράφημα.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (10)

  • Να εφαρμοστεί ο αλγόριθμος της τοπολογικής διάταξης στο παρακάτω γράφημα.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Τοπολογική Διάταξη (11)

  • Να εφαρμοστεί ο αλγόριθμος της τοπολογικής διάταξης στο παρακάτω γράφημα.

  • Ο αλγόριθμος παράγει ένδειξη ότι το γράφημα έχει προσανατολισμένους κύκλους

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (1)

  • Πλήρης κατευθυνόμενος γράφος είναι ο γράφος στον οποίο κάθε ζεύγος κορυφών του ενώνεται με ένα και μοναδικό τόξο.

  • Ένας πλήρης ασυμμετρικός γράφος χωρίς βρόχους ονομάζεται γράφος τουρνουά (tournament).

  • Η ονομασία τουρνουά οφείλεται στο ότι ο γράφος μπορεί να χρησιμοποιηθεί για την απεικόνιση των αποτελεσμάτων αγώνων (τένις, μπάσκετ, κ.λ.π.) τύπου round-robin (δηλαδή, κάθε παίχτης/ομάδα παίζει εναντίον όλων), στους οποίους δεν επιτρέπεται να υπάρχει ισοπαλία.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (2)

  • Το σκορ μιας κορυφής ενός γράφου-τουρνουά ισούται με τον έξω βαθμό της. Είναι ευνόητο ότι οι κορυφές του γράφου κατατάσσονται με βάση το σκορ για να αναδειχθεί η νικήτρια.

  • Για παράδειγμα στον γράφο του παρακάτω σχήματος η ομάδα zνίκησε την ομάδα w, αλλά νικήθηκε από την ομάδα v. Πρωταθλήτρια είναι η ομάδα vαφού έχει σκορ 5.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (3)

  • Επειδή ένας πλήρης γράφος έχει m =n*(n-1)/2 ακμές, το ίδιο ισχύει και για έναν γράφο τουρνουά.

  • Επίσης για έναν τέτοιο γράφο ισχύει η σχέση:

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (4) (#1)

  • Θεώρημα 7.3. Έστω vμια κορυφή με μέγιστο έξω-βαθμό σε ένα γράφο-τουρνουά. Η απόσταση από την κορυφή αυτή προς κάθε άλλη κορυφή είναι 1 η 2.

  • Απόδειξη: Έστω ότι η κορυφή v έχει μέγιστο έξω βαθμό d+(v)=k και ας υποθέσουμε ότι είναι γειτονική προς τις κορυφές v1,v2,…,vk. Συνεπώς η απόσταση της v προς τις κορυφές αυτές είναι dist(v,vi)=1, ∀1≤ i≤ k. Επιπλέον η v είναι γειτονική από τις υπόλοιπες n-k-1 κορυφές που τις συμβολίζουμε με u1,u2,…,un-k-1.Πρέπει να δειχθεί ότι dist(v,ui)=2, ∀1≤ i≤n-k-1. Αν κάθε ui(1≤ i≤n-k-1) είναι γειτονική (dist(vj,ui)=1) από κάποια vj(1≤ j≤k) τότε το ζητούμενο ισχύει.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (4) (#2)

  • Θεώρημα 7.3. Έστω vμια κορυφή με μέγιστο έξω-βαθμό σε ένα γράφο-τουρνουά. Η απόσταση από την κορυφή αυτή προς κάθε άλλη κορυφή είναι 1 η 2.

  • Απόδειξη: Ας υποθέσουμε ότι κάποια κορυφή ul (1≤l≤n-k-1) δεν είναι γειτονική από καμία κορυφή vi. Τότε η ulείναι γειτονική προς όλες τις κορυφές v1,v2,…,vk και επίσης είναι γειτονική προς την v. Αλλά τότε θα ίσχυε d+(ul)=k+1 που είναι άτοπο διότι τότε η ulθα είχε μεγαλύτερο έξω βαθμό από την v. Επομένως κάθε κορυφή ul είναι γειτονική από κάποια κορυφή vi.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (4) (#3)

  • Θεώρημα 7.3. Έστω vμια κορυφή με μέγιστο έξω-βαθμό σε ένα γράφο-τουρνουά. Η απόσταση από την κορυφή αυτή προς κάθε άλλη κορυφή είναι 1 η 2.

  • Απόδειξη:

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (5)

  • Ένας γράφος τουρνουά λέγεται μεταβατικός (transitive) αν δοθέντων των τόξων (x, y) και (y, z) υπάρχει και το τόξο (x, z).

  • Στο άνω μέρος του παρακάτω σχήματος παρουσιάζονται οι γράφοι τουρνουά τάξης 3. Ο 1ος λέγεται μεταβατική τριπλέτα ενώ ο 2ος κυκλική τριπλέτα. Στο κάτω μέρος δείχνονται οι γράφοι τουρνουά τάξης 4 (μόνο ο 1ος εξ’αυτώνείναι μεταβατικός).

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


3671130

Γράφοι τουρνουά (6)

  • Θεώρημα 7.4. Ένας γράφος-τουρνουά είναι μεταβατικός αν και μόνο αν είναι άκυκλος.

  • Απόδειξη: Έστω Τ ένας μεταβατικός γράφος τουρνουά n κορυφών. Έστω ότι ο Τ περιέχει τον κύκλο C={x1,x2,…,xr,x1} όπου (r≥3). Εφόσον υπάρχουν τα τόξα (x1,x2) και (x2,x3) λόγω της μεταβατικότητας υπάρχει και το (x1,x3). Με παρόμοιο σκεπτικό προκύπτει ότι υπάρχουν και τα τόξα (x1,x4),..., (x1,xr). Αυτό όμως είναι αντίφαση (λόγω ασυμμετρικότητας) στο γεγονός ότι υπάρχει το τόξο (xr,x1). Άρα ο Τ πρέπει να είναι άκυκλος. Κατά την αντίθετη φορά ας υποθέσουμε ότι ο Τ είναι άκυκλος γράφος τουρνουά και ότι υπάρχουν τα τόξα (x1,x2) και (x2,x3). Εφόσον ο Τ είναι άκυκλος έπεται ότι δεν υπάρχει το τόξο (x3,x1), άρα υπάρχει το τόξο (x1,x3), διότι μεταξύ 2 κορυφών υπάρχει ακριβώς ένα τόξο Συνεπώς ο Τ είναι μεταβατικός.

ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Εργαστήριο Τεχνολογίας & Επεξεργασίας Δεδομένων


  • Login