Κεφάλαιο 3. Γραφήµατα v1.0 ( ) Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne.

Transcript

1 Κεφάλαιο 3 Γραφήµατα v1.0 ( ) Χρησιµοποιήθηκε υλικό από τις αγγλικές διαφάνειες του Kevin Wayne. 1

2 3.1 Βασικοί Ορισµοί και Εφαρµογές

3 γραφήµατα γράφηµα G: ένας τρόπος κωδικοποίησης των σχέσεων ανά ζεύγη µεταξύ των αντικειµένων ενός συνόλου G = (V, E) V = κόµβοι (nodes) E = ακµές (edges) µεταξύ ζευγών κόµβων Μια ακµή e E είναι ένα υποσύνολο του V µε δύο στοιχεία: e={u, v} Οι κόµβοι u και v της ακµής e={u, v} ονοµάζονται άκρα της e Οι ακµές αναπαριστούν διµερή σχέση µεταξύ κόµβων. Παράµετροι του γραφήµατος: n = V, m = E. 3

4 µη κατευθυνόµενα και κατευθυνόµενα γραφήµατα Μη-κατευθυνόµενο γράφηµα (undirected graph) ή απλά γράφηµα (graph) Οι ακµές υποδεικνύουν µια συµµετρική σχέση µεταξύ των άκρων τους Κατευθυνόµενο γράφηµα (directed graph) Οι ακµές κωδικοποιούν ασύµµετρες σχέσεις Κάθε κατευθυνόµενη ακµή είναι ένα διατεταγµένο ζεύγος Παράδειγµα µη-κατευθυνόµενου γραφήµατος V = { 1, 2, 3, 4, 5, 6, 7, 8 } E = { 1-2, 1-3, 2-3, 2-4, 2-5, 3-5, 3-7, 3-8, 4-5, 5-6 } n = 8 m = 11 4

5 εφαρµογές γραφηµάτων

6 ορισµένες εφαρµογές των γραφηµάτων Γράφηµα Κόµβοι Ακµές µεταφορές διασταυρώσεις δρόµων δρόµοι επικοινωνία υπολογιστές καλώδια οπτικών ινών World Wide Web ιστοσελίδες υπερσυνδέσεις κοινωνικές άνθρωποι σχέσεις διατροφική αλυσίδα είδη θηρευτής-θήραµα συστήµατα λογισµικού συναρτήσεις κλήσεις συναρτήσεων χρονοπρογραµµατισµός εργασίες περιορισµοί προτεραιότητας κυκλώµατα πύλες καλώδια 6

7 World Wide Web Web γράφηµα. Κόµβος: ιστοσελίδα. Ακµή: υπερσύνδεση από µία σελίδα σε άλλη. cnn.com netscape.com novell.com cnnsi.com timewarner.com hbo.com sorpranos.com 7

8 ένα κοινωνικό δίκτυο Γράφηµα κοινωνικής δικτύωσης Κόµβοι: άνθρωποι. Ακµή: σχέση µεταξύ δύο ανθρώπων. Reference: wikipedia, 8

9 διατροφική αλυσίδα Γράφηµα διατροφικής αλυσίδας. Κόµβοι = είδη. Ακµή = από θηρευτή σε θήραµα. References: 9

10 αναπαράσταση γραφηµάτων

11 αναπαράσταση γραφήµατος: πίνακας γειτνίασης Πίνακας γειτνίασης (adjacency matrix). πίνακας n x n µε A uv = 1 εάν (u, v) είναι µια ακµή. Δύο κελιά για κάθε ακµή. Χώρος ανάλογος του n 2. Έλεγχος για ύπαρξη ακµής (u, v): σε χρόνο Θ(1). Εύρεση όλων των ακµών: σε χρόνο Θ(n 2 )

12 αναπαράσταση γραφήµατος: λίστα γειτνίασης λίστα γειτνίασης (adjacency list). Πίνακας από λίστες, µε µία λίστα για κάθε κόµβο. Δύο αναπαραστάσεις για κάθε ακµή. Χώρος ανάλογος του m + n. Ο έλεγχος για την ύπαρξη ακµής (u, v) γίνεται σε O(deg(u)). Εύρεση όλων των ακµών σε χρόνο Θ(m + n). βαθµός (degree) = το πλήθος των γειτόνων του κόµβου u

13 µονοπάτια, κύκλοι, κτλ.

14 µονοπάτια και συνεκτικότητα Ορισµός. Ένα µονοπάτι (path) σε ένα µη-κατευθυνόµενο γράφηµα G = (V, E) είναι µια ακολουθία P από κόµβους v 1, v 2,, v k-1, v k µε την ιδιότητα ότι κάθε διαδοχικό ζευγάρι v i, v i+1 συνδέεται µε µια ακµή στο E. Ορισµός. Ένα µονοπάτι είναι απλό (simple) εάν όλοι οι κόµβοι είναι διακριτοί (δεν εµφανίζεται κόµβος πάνω από µία φορά). Ορισµός. Ένα µη-κατευθυνόµενο γράφηµα είναι συνεκτικό (connected) εάν για κάθε ζεύγος κορυφών nodes u και v, υπάρχει µονοπάτι µεταξύ u και v. 14

15 κύκλοι (cycles) Ορισµός. Ένας κύκλος (cycle) είναι ένα µονοπάτι v 1, v 2,, v k-1, v k στο οποίο v 1 = v k, k > 2, και οι πρώτοι k-1 κόµβοι είναι διακριτοί. κύκλος C =

16 δέντρα

17 δέντρα (tree) Ορισµός. Ένα η-κατευθυνόµενο γράφηµα είναι δέντρο (tree) εάν είναι συνεκτικό και άκυκλο (δεν περιλαµβάνει κύκλο). Θεώρηµα. Έστω G ένα µη-κατευθυνόµενο γράφηµα µε n κόµβους. Τότε οποιεσδήποτε δύο από τις παρακάτω ιδιότητες συνεπάγεται την τρίτη. Το G είναι συνεκτικό. Το G είναι άκυκλο. Το G έχει n-1 ακµες. 17

18 δέντρα µε ρίζα δέντρο µε ρίζα (rooted tree). Ένα δέντρο T, στο οποίο ορίζουµε µία κορυφή ως ρίζα. Ένα δέντρο µε ρίζα το απεικονίζουµε συνήθως όπως φαίνεται στο σχήµα. Σηµασία/χρησιµότητα. Τα δέντρα µε ρίζα είναι κατάλληλα για τη µοντελοποίηση ιεραρχικών δοµών. ρίζα r γονέας της v v παιδί της v ένα δέντρο το ίδιο δέντρο, µε ρίζα τον κόµβο 1 18

19 δέντρο εξέλιξης 19

20 Ιεραρχία αντικειµένων σε GUI Ιεραρχία αντικειµένων σε GUI (graphical user interface). Περιγράφει την οργάνωση των GUI widgets. Reference: 20

21 συνεκτικότητα

22 συνεκτικότητα πρόβληµα της συνεκτικότητας s-t (s-t connectivity problem). Δεδοµένων δύο κόµβων s και t, υπάρχει µονοπάτι µεταξύ των s και t; πρόβληµα συντοµότερου µονοπατιού s-t (s-t shortest path problem). Δεδοµένων δύο κόµβων s και t, ποιο είναι το µήκος του συντοµότερου µονοπατιού µεταξύ των s και t; εφαρµογές. δροµολόγηση σε δίκτυα επικοινωνιών επιλογή διαδροµής στις µεταφορές δίκτυο κοινωνικής δικτύωσης Friendster. διάτρεξη λαβύρινθου (maze traversal). Erdös number. 22

23 Συνεκτική Συνιστώσα (Connected Component) Συνεκτική συνιστώσα. Εύρεση όλων των κόµβων που είναι προσπελάσιµοι από έναν κόµβο s. Η συνεκτική συνιστώσα που περιλαµβάνει τον κόµβο 1 είναι { 1, 2, 3, 4, 5, 6, 7, 8 }. 23

24 3.2 διάτρεξη γραφήµατος

25 διέλευση/διερεύνηση γραφήµατος

26 Αναζήτηση Πρώτα σε Πλάτος (Breadth First Search) διαίσθηση της BFS. Εξερευνούνται όλοι οι κόµβοι ξεκινώντας από τον κόµβο s προς κάθε κατεύθυνση, έτσι ώστε να προστίθεται ένα επίπεδο κόµβων κάθε φορά. αλγόριθµος BFS. L 0 = { s }. L 1 = όλοι οι γείτονες του L 0. s L 1 L 2 L n-1 L 2 = όλοι οι κόµβοι που δεν ανήκουν στο L 0 ή στο L 1, και συνδέονται µε ακµή µε έναν κόµβο στο L 1. L i+1 = όλοι οι κόµβοι που δεν ανήκουν σε ένα από τα προηγούµενα επίπεδα και συνδέονται µε ακµή µε έναν κόµβο στο L i. Θεώρηµα. Για κάθε i, το L i αποτελείται από όλους τους κόµβους που απέχουν ακριβώς i (ακµές) από το s. Υπάρχει µονοπάτι από το s στο t αν και µόνο αν το t εµφανίζει σε κάποιο από τα επίπεδα. 26

27 Αναζήτηση Πρώτα σε Πλάτος (Breadth First Search) Ιδιότητα. Έστω T ένα δέντρο BFS του γραφήµατος G = (V, E), and έστω (x, y) µια ακµή του G. Τότε τα επίπεδα των x και y διαφέρουν το πολύ κατά 1. L 0 L 1 L 2 L 3 27

28 BFS: Ανάλυση Θεώρηµα. Η παραπάνω (ενότητα 3.3 βιβλίου) υλοποίηση της BFS εκτελείται σε χρόνο O(m + n) εάν το γράφηµα δίνεται µε την αναπαράσταση λίστας γειτνίασης. Απόδειξη. Είναι εύκολο να δείξουµε πολυπλοκότητα χρόνου O(n 2 ): το πολύ n λίστες L[i] κάθε κόµβος εµφανίζεται το πολύ σε µία λίστα και εποµένως ο βρόχος for εκτελείται n φορές για κάθε κόµβο u που εξετάζει ο αλγόριθµος, υπάρχουν n προσπίπτουσες ακµές (u, v) που περιέχουν τον u, και απαιτεί χρόνο O(1) η επεξεργασία κάθε ακµής Όµως η πολυπλοκότητα χρόνου είναι O(m + n): όταν εξετάζουµε έναν κόµβο u, υπάρχουν deg(u) προσπίπτουσες ακµές ο συνολικός χρόνος επεξεργασίας των ακµών είναι Σ u V deg(u) = 2m κάθε ακµή (u, v) µετριέται ακριβώς δύο φορές στο άθροισµα: µια φορά στο deg(u) και µία στο deg(v) 28

29 διερεύνηση γραφήµατος πρώτα κατά πλάτος 29

30 (a) r s t u 0 v w x y Q s 0 (d) r s t u v 1 w 2 x y Q t x v r s t u 1 0 Q (b) w r v w x y (e) r s t u v w x y Q x v u (c) r s t u v 1 w 2 x y Q r t x (f) r s t u v 1 w 2 x 3 y Q v u y

31 (g) r s t u v 1 w 2 x 3 y Q u y 3 3 (h) r s t u v w x y Q y 3 (i) r s t u Q empty

32 αναζήτηση πρώτα σε βάθος 32

33 διερεύνηση γραφήµατος πρώτα σε βάθος 33

34 (a) r s t u 0 v w x y Q s 0 (d) r s t u v 1 w x y Q w 1 r s t u 1 0 Q (b) w r v w x y (e) r s t u v w x y Q t x 2 2 (c) r s t u v 1 w x y Q w v 1 2 (f) r s t u v 1 w 2 x 3 y Q t u 2 3 y 3 34

35 (g) r s t u v 1 w 2 x 3 y Q t u 2 3 (h) r s t u v w x y Q t 2 (i) r s t u Q empty

36 Flood Fill Flood fill. Δίνοντας πράσινο χρώµα σε ένα pixel µιας εικόνας, αλλάζει το τµήµα της εικόνας που περιλαµβάνει το pixel αυτό σε πράσινο. Κόµβος: pixel. Ακµή: δύο γειτονικά pixel. Τµήµα εικόνας: συνεκτική συνιστώσα µε πράσινα pixels. χρωµατισµός του πράσινου τµήµατος µε µπλε 36

37 Flood Fill Flood fill. Δίνοντας πράσινο χρώµα σε ένα pixel µιας εικόνας, αλλάζει το τµήµα της εικόνας που περιλαµβάνει το pixel αυτό σε πράσινο. Κόµβος: pixel. Ακµή: δύο γειτονικά pixel. Τµήµα εικόνας: συνεκτική συνιστώσα µε πράσινα pixels. χρωµατισµός του πράσινου τµήµατος µε µπλε 37

38 Συνεκτική Συνιστώσα Συνεκτική Συνιστώσα. Βρες όλους τους κόµβους που είναι προσπελάσιµοι από τον s. s R u v µπορούµε να προσθέσουµε τον κόµβο v Θεώρηµα. Όταν ολοκληρωθεί η διαδικασία, το R είναι η συνεκτική συνιστώσα που περιλαµβάνει τον κόµβο s. BFS = εξερευνά µε σειρά που βασίζεται στην απόσταση από τον s. DFS = εξερευνά µε έναν διαφορετικό τρόπο. 38

39 3.4 Έλεγχος διµερότητας

40 διµερές γράφηµα (bipartite graph) Ορισµός. Ένα µη-κατευθυνόµενο γράφηµα G = (V, E) είναι διµερές εάν οι κόµβοι του µπορούν να χρωµατιστούν µε δύο χρώµατα, πχ. κόκκινο και µπλε, έτσι ώστε κάθε ακµή να έχει ένα άκρο κόκκινο και ένα µπλε. Εφαρµογές. Ευσταθές ταίριασµα: άντρες = κόκκινο, γυναίκες = µπλε. Χρονοπρογραµµατισµός: µηχανές = κόκκινο, εργασίες = µπλε. ένα διµερές γράφηµα 40

41 έλεγχος διµερότητας Έλεγχος διµερότητας. Δεδοµένου ενός γραφήµατος G, είναι διµερές; Πολλά γραφοθεωρητικά προβλήµατα γίνονται: ευκολότερα όταν εφαρµόζονται σε διµερή γραφήµατα (matching) tractable όταν εφαρµόζονται σε διµερή γραφήµατα (ανεξάρτητο σύνολο) Η δοµή των διµερών γραφηµάτων. v 2 v 3 v 2 v 1 v 4 v 6 v 5 v 4 v 3 v 5 v 6 v 7 v 1 v 7 ένα διµερές γράφηµα G µια άλλη απεικόνιση του ίδιου γραφήµατος G 41

42 ένα εµπόδιο για τη διµερότητα Λήµµα. IΈνα ένα γράφηµα είναι διµερές, δεν µπορεί να περιέχει έναν κύκλου περιττού µήκους. Απόδειξη. Δεν είναι δυνατό να χρωµατίσουµε κατάλληλα τον περιττό κύκλο και εποµένως ούτε και ολόκληρο το γράφηµα G. διµερές (2-colorable) δεν είναι διµερές (not 2-colorable) 42

43 διµερή γραφήµατα Λήµµα. Έστω G ένα συνεκτικό γράφηµα, και έστω L 0,, L k τα επίπεδα που παράγονται από BFS ξεκινώντας από τον κόµβο s. Ισχύει ακριβώς ένα από τα παρακάτω. (i) Καµία ακµή του G δεν ενώνει κόµβους ίδιου επιπέδου και το G είναι διµερές. (ii) Υπάρχει ακµή του G που ενώνει κόµβους του ίδιου επιπέδου και το G περιέχει κύκλο περιττού µήκους (και εποµένως δεν είναι διµερές). L 1 L 2 L 3 L 1 L 2 L 3 περίπτωση (i) περίπτωση (ii) 43

44 διµερή γραφήµατα Λήµµα. Έστω G ένα συνεκτικό γράφηµα, και έστω L 0,, L k τα επίπεδα που παράγονται από BFS ξεκινώντας από τον κόµβο s. Ισχύει ακριβώς ένα από τα παρακάτω. (i) Καµία ακµή του G δεν ενώνει κόµβους ίδιου επιπέδου και το G είναι διµερές. (ii) Υπάρχει ακµή του G που ενώνει κόµβους του ίδιου επιπέδου και το G περιέχει κύκλο περιττού µήκους (και εποµένως δεν είναι διµερές). Απόδειξη. (i) Έστω ότι δεν υπάρχει ακµή που να ενώνει κόµβους του ίδιου επιπέδου. Από προηγούµενο λήµµα, όλες οι ακµές ενώνουν κόµβους σε γειτονικά επίπεδα. Διαµέριση: red = κόµβοι σε µονά επίπεδα, blue = κόµβοι σε ζυγά επίπεδα. L 1 L 2 L 3 Περίπτωση (i) 44

45 διµερή γραφήµατα Λήµµα. Έστω G ένα συνεκτικό γράφηµα, και έστω L 0,, L k τα επίπεδα που παράγονται από BFS ξεκινώντας από τον κόµβο s. Ισχύει ακριβώς ένα από τα παρακάτω. (i) Καµία ακµή του G δεν ενώνει κόµβους ίδιου επιπέδου και το G είναι διµερές. (ii) Υπάρχει ακµή του G που ενώνει κόµβους του ίδιου επιπέδου και το G περιέχει κύκλο περιττού µήκους (και εποµένως δεν είναι διµερές). Απόδειξη. (ii) z = lca(x, y) Έστω ακµή (x, y) µε x, y στο ίδιο επίπεδο L j. Έστω z = lca(x, y) = κοντινότερος κοινός πρόγονος. Έστω L i το επίπεδο στο οποίο ανήκει η z. Έστω ο κύκλος µε την ακµή (x, y), το µονοπάτι από το y στο z, και το µονοπάτι από το z στο x. Το µήκος του είναι 1 + (j-i) + (j-i), (περιττός αριθµός) (x, y) µονοπάτι από y στο z µονοπάτι από z στο x 45

46 εµπόδιο στη διµερότητα Corollary. Ένα γράφηµα G είναι διµερές αν και µόνο αν δεν περιέχει κύκλου περιττού µήκους. 5-cycle C διµερές (2-colorable) δεν είναι διµερές (not 2-colorable) 46

47 πηγές/αναφορές Κεφάλαιο 3, Σχεδίαση Αλγορίθµων, J. Kleinberg and E. Tardos, Ελληνική έκδοση από τις Εκδ. Κλειδάριθµος Κεφάλαιο 22, Εισαγωγή στους αλγόριθµους, T. Cormen, C. Leiserson, R. Rivest and C. Stein, Ελληνική έκδοση από τις Πανεπιστηµιακές Εκδ. Κρήτης 47