ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων"

Transcript

1 ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο

2 4 η Εργασία: Γενική Εικόνα Πολύ ενθαρρυντική εικόνα. Σαφώς καλύτερη από 3 η εργασία. Αντίστοιχη βαθμολογικά και ποιοτικά με την 1 η εργασία. Ενθαρρυντικό: σε μια εργασία με «άρωμα εξετάσεων», όσοι προσπαθήσατε, δείξατε ότι μπορείτε να τα καταφέρετε. Θεωρία Γραφημάτων έχει βαρύτητα 40% στις εξετάσεις. Προετοιμασία εν όψει εξετάσεων (Σαβ. 4/7, ο μηγένοιτοσαβ. 25/7): Μελέτη Θεωρίας Γραφημάτων σε βάθος και επίλυση ασκήσεων (λίγες ευκαιρίες για επανάληψη!). Επαναλήψεις σε συνδυαστική μαθηματική λογική (με ασκήσεις και αναφορά σε θέματα εργασιών και εξετάσεων). Εξάσκηση σε σύντομη και περιεκτική διατύπωση των λύσεων. Προετοιμασία «τυπολογίου» (3 φύλλα Α4, χειρόγραφα). Θερμή προτροπή για συμμετοχή στην αξιολόγηση. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 2

3 Δομή Εξετάσεων: Α Μέρος 10 Ερωτήματα, από 4 προτάσεις το καθένα (4 10 = 40). Κάθε πρόταση πρέπει να χαρακτηριστεί ως Σωστή ή Λάθος. Όχι απάντηση: 0. Σωστή απάντηση: 1. Λάθος απάντηση: 0.25 Ελάχιστη βαθμολογία σε κάθε ερώτημα: 0. Χρόνος: συνήθως 1 ώρα και 10 λεπτά. Βαρύτητα: περίπου 1/3 συνολικής βαθμολογίας. Εξετάζονται τα πάντα! Αλλά (σχετικά) εύκολα και έτσι ώστε να λύνονται (σχετικά) γρήγορα. Βασικό η ακριβής κατανόηση του ζητούμενου. Σε κάποιες περιπτώσεις «οι λέξεις κάνουν τη διαφορά»! «Τυπολόγιο» δεν βοηθάει σημαντικά, λόγω χρόνου. Εξάσκηση, ψυχραιμία, προσοχή, αυτοσυγκέντρωση! ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 3

4 Δομή Εξετάσεων: Β Μέρος Συνήθως 4 ασκήσεις σε περίπου 2 ώρες και 20 λεπτά. Αρκετές φορές παρόμοια με ερωτήματα εργασιών (όχι μόνο τρέχουσας χρονιάς, αλλά και παλαιότερων 3-4 ετών). Συνδυαστική (συνήθως 25%): Συνήθως δύο σκέλη (με επιμέρους ερωτήματα). Μαθηματική Λογική (συνήθως 35%): Συνήθως τρία σκέλη (κάποια με επιμέρους ερωτήματα). Γραφήματα (συνήθως 2 20%): Συνήθως δύο ασκήσεις, μπορεί να αναλύονται σε επιμέρους ερωτήματα (για διευκόλυνση). Αναλυτικά στην 6 η ΟΣΣ με βασικό θέμα τις εξετάσεις: Σάββατο 9/5, 11:00-15:00, αίθουσα K2.5 (New York College). ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 4

5 4 η Εργασία: Ερώτημα 3.α Σύμπαν: κορυφές (απλού μη κατευθυνόμενου) γραφήματος. P(x, y) δηλώνει ότι οι κορυφές x και y συνδέονται με ακμή. Κάθε μη μεμονωμένη κορυφή έχει τουλάχιστον δύο γείτονες. Κάθε κορυφή με βαθμό 2 περιέχεται σε μία κλίκα 3 κορυφών. Υπάρχει συνεκτική συνιστώσα με δύο ακριβώς κορυφές. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 5

6 4 η Εργασία: Ερώτημα 3.β Σύμπαν: κορυφές (απλού μη κατευθυνόμενου) γραφήματος. P(x, y) δηλώνει ότι οι κορυφές x και y συνδέονται με ακμή. Τι δηλώνουν οι παρακάτω προτάσεις: Κάθε δύο κορυφές με κοινό γείτονα συνδέονται με ακμή. Π.χ., Κ 5, ανεξάρτητο σύνολο 5 κορυφών, Κ 3 και Κ 2. Κάθε μη μεμονωμένη κορυφή συνδέεται με κορυφή βαθμού τουλάχιστον 3. Η πρόταση αληθεύει π.χ. στο Κ 5. Ηπρότασηδεναληθεύειπ.χ. στο C 5. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 6

7 4 η Εργασία: Ερωτήματα 4.α, 4.β Έστω γράφημα G με κορυφή x που έχει βαθμό 0 ή n 1. Νδο, είτε G μη συνεκτικό είτε συμπλ(g) μη συνεκτικό. Αν βαθμός(x) = 0, τότε x μεμονωμένη και G μη συνεκτικό. Αν βαθμός(x) = n 1, τότε x μεμονωμένη στο συμπλ(g) και συμπλ(g) μη συνεκτικό. Νδο. για κάθε γράφημα G με n = 2, 3, 4 κορυφές, είτε G μη συνεκτικό είτε συμπλ(g) μη συνεκτικό, εκτός αν G είναι το Ρ 4. n = 2: είτε G είναι το Κ 2 είτε G είναι το συμπλ(κ 2 ). n = 3: G έχει είτε 0 ή 1 ακμή (μη συνεκτικό) είτε 2 ή 3 ακμές (συμπλ(g) μη συνεκτικό). n = 4: αν G έχει 0, 1 ή 2 ακμές, είναι μη συνεκτικό, αν G έχει 4, 5, ή 6 ακμές, συμπλ(g) είναι μη συνεκτικό. Αν G έχει 3 ακμές, είτε Ρ 4 είτε αστέρας είτε Κ 3 και κορυφή. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 7

8 4 η Εργασία: Ερώτημα 4.γ Γράφημα G με n 2 κορυφές και χωρίς Ρ 4. Νδο κάθε επαγόμενο υπογράφημα είτε μη συνεκτικό είτε συμπλήρωμα μη συνεκτικό. Βάση: για n = 2, 3, 4 κορυφές το αποδείξαμε στο 4.β. Επαγωγική υπόθεση: ισχύει για κάθε γράφημα με n 4 κορυφές. Επαγωγικό βήμα: Θδο ζητούμενο ισχύει για G με n+1 κορυφές. Έστω x κορυφή και G = G x. G έχει n κορυφές και δεν περιέχει Ρ 4 (επειδή G δεν περιέχει Ρ 4 ). Ισχύει για κάθε επαγόμενο υπογρ. G από επαγωγική υπόθεση. (άρα και για κάθε επαγόμενο υπογρ. G που δεν περιέχει τη x). Αν επαγόμενο υπογράφημα περιέχει την x και έχει k = 2, 3, 4 κορυφές, ζητούμενο έπεται από 4.β. Αν επαγόμενο υπογράφημα περιέχει την x, έχει k 5 κορυφές, δεν περιέχει Ρ 4 και είναι συνεκτικό, τότε η x έχει αναγκαστικά βαθμό k 1σε αυτό. Το ζητούμενο έπεται από 4.α. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 8

9 Συντομότερη Διαδρομή Διαδρομή Μονοκονδυλιά Μονοπάτι Διαδρομή: ακολουθία «διαδοχικών» ακμών. Μονοκονδυλιά: διαδρομή χωρίς επανάληψη ακμών. (Απλό) μονοπάτι: διαδρομή χωρίς επανάληψη κορυφών (και ακμών). Υπάρχει διαδρομή u v ανν υπάρχει μονοπάτι u v. Γράφημα με βάρη (ή μήκη) στις ακμές του. Απόσταση κορυφών u v, d(u, v): μήκος συντομότερης διαδρομής u v (άθροισμα βαρών ακμών κατά μήκος της διαδρομής). Συντομότερη διαδρομή είναι μονοπάτι, εκτός αν... κάποιες ακμές αρνητικές, και υπάρχει κύκλος αρνητικού μήκους. ΠΛΗ 20, ΑΘΗ 3 ( ) 9

10 Βασικές Ιδιότητες Κάθε τμήμα συντομότερου μονοπατιού αποτελεί συντομότερο μονοπάτι μεταξύ των άκρων του. Βλ. ΑΑ 4.13, Βούρος, σελ. 128, και Ερ. 1.γ, 5 η Εργ Π.χ. u 1 u 7 συντομότερο μονοπάτι: τμήμα του από u 2 εως u 5 συντομότερο u 2 u 5 μονοπάτι. Αν υπάρχει άλλο π συντομότερο u 2 u 5 μονοπάτι, π συνδυάζεται με u 1 u 2 και u 5 u 7 και δίνει πιο σύντομο u 1 u 7 μονοπάτι. Άτοπο! Συντομότερα μονοπάτια από μία κορυφή s προς όλες τις υπόλοιπες κορυφές αποτελούν δέντρο: Δέντρο Συντομότερων Μονοπατιών, βλ. Ερ. 4, Ιούνιος ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 10

11 Βασικές Ιδιότητες Για κάθε ζεύγος ακμών u, v με ακμή (u, v), και κάθε κορυφή s, ισχύει ότι d(s, v) d(s, u) + w(u, v). Βλ. Ερ. 5.β, 5 η Εργ Υπάρχει ένα s v μονοπάτι μέσω u: συντομότερο s u μονοπάτι και ακμή (u, v). Συντομότερο s v μονοπάτι έχει μήκος όσοτοπαραπάνωήμικρότερο. (Κάποιο) συντ. s v μονοπ. «διέρχεται» από ακμή (u, v) ανν ισότητα. Πάντα υπάρχει τουλ. μια κορυφή u που εξασφαλίζει ισότητα: τελευταία πριν v στο συντομότερο s v μονοπάτι. Αρχή λειτουργίας Dijkstra (όχι μόνο!) ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 11

12 Αλλάζοντας τα Μήκη Γράφημαμεθετικάμήκηστιςακμές. Πολλαπλασιάζουμε μήκη με ίδιο αριθμό Β > 0. Υφίστανται αλλαγές συντομ. μονοπάτια; Προσθέτουμε ίδιο Β > 0. Υφίστανται αλλαγές συντομ. μονοπάτια; Μονοπάτια (συντομότερα) αποτελούνται από διαφορετικό #ακμών. Όταν όλα τα μονοπάτια έχουν ίδιο αριθμό ακμών; Αντιστροφή βάρους ακμών (δηλ. w 1/w): συντομότερο μονoπάτι μακρύτερο μονοπάτι; Ερ. 1.γ, 5 η εργ Δείτε ακόμη ερ. 1.δ από ίδια εργασία. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 12

13 Αλγόριθμος Dijkstra Αρχική κορυφή s. Λειτουργεί σε επαναλήψεις. u, διατηρεί ετικέτα L(u). Αρχικά L(s) = 0, L(u) = για κάθε u s. Μήκος συντ. s u μονοπ. που έχει «ανακαλύψει» οαλγόριθμος. S κορυφές με ετικέτα ίση με απόσταση από s (οριστική ετικέτα). Επανάληψη επιλέγει διαθέσιμη κορυφή u με ελάχιστη ετικέτα. u αποκτά οριστική ετικέτα, προστίθεται στο S(μη διαθέσιμη) Ενημέρωση ετικετών γειτονικών κορυφών. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 13

14 Αλγόριθμος Dijkstra Ετικέτες: «απαισιόδοξη» εκτίμηση απόστασης από s. Ξεκινούν από. Μειώνονται ώστε d(s, v) d(s, u) + w(u, v), με «ανακάλυψη» ακμής (u, v). Οριστικοποιούνται όταν επιλέγεται κάθε κορυφή. Επιλογή σε αύξουσα σειρά ετικετών. Θετικά μήκη: επιλογή κορυφής δεν μειώνει μικρότερες ετικέτες! Όταν κορυφή u επιλέγεται, έχει «ανακαλυφθεί» συντομ. s u μονοπ. και L(u) = d(s, u). Συνεχίζουμε μέχρι επιλογή κορυφής t ήεπιλογήόλων των κορυφών. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 14

15 Αλγόριθμος Dijkstra: Παράδειγμα ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 15

16 Αλγόριθμος Dijkstra: Παράδειγμα ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 16

17 Αλγόριθμος Dijkstra Συντομότερα μονοπάτια με δύο κριτήρια (π.χ. ελάχιστου μήκους, και ανάμεσα σε μονοπάτια ίδιου μήκους, προτιμούμε αυτό με ελάχιστο πλήθος ακμών); Χρήση δύο ετικετών με κατάλληλη ενημέρωση. Όταν L(v) > L(u) + w(v, u) ενημέρωση και των δύο ετικετών. Όταν L(v) = L(u) + w(v, u) μπορεί ενημέρωση 2 ης ετικέτας. Π.χ. Δείτε ερ. 1.β, 5 η εργ Αρνητικά μήκη: τα αυξάνουμε σε θετικά προσθέτοντας τον ίδιο αριθμό στο μήκος όλων των ακμών. Αλγόριθμος Dijkstra δεν υπολογίζει σωστά συντομότερα μονοπάτια. Υπό ποιες προϋποθέσεις θα μπορούσε να συμβεί αυτό; ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 17

18 Αναπαράσταση Γραφημάτων με πίνακα γειτνίασης: Αν έχουμε βάρη, (Απλό) μη κατευθυνόμενο: συμμετρικός, διαγώνιος 0. Άθροισμα στοιχείων γραμμής (στήλης): βαθμός κορυφής ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 18

19 Αναπαράσταση Γραφημάτων με πίνακα γειτνίασης: Αν έχουμε βάρη, (Απλό) μη κατευθυνόμενο: συμμετρικός, διαγώνιος 0. Άθροισμα στοιχείων γραμμής (στήλης): βαθμός κορυφής. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 19

20 Πίνακας Γειτνίασης Α k [u i, u j ] = #διαδρομών u i u j μήκους k. Πρόταση 1.4, σελ. 49, Μαυρονικόλας, Θεώρημα 4.4, σελ. 131, Βούρος. Διαγώνιος τετραγώνου: Α 2 [u i, u i ] = βαθμός(u i ). Α 3 [u i, u i ] = 2 #τριγώνων που συμμετέχει u i. Πλήθος τριγώνων = Υ[u i, u j ] = #διαδρομών u i u j μήκους n 1. Μονοπάτια έχουν μήκος n 1, και διαδρομή ανν μονοπάτι. Γράφημα συνεκτικό ανν όλα τα στοιχεία του Υθετικά(> 0). Μήκος ελάχιστου (#ακμών) u i u j μονοπατιού: Ελάχιστη τιμή k ώστε Α k [u i, u j ] > 0. Ερ. 2.α, 5 η Εργ ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 20

21 Πίνακας Πρόσπτωσης ,2 1,5 1,6 2,3 2,7 3,4 3,8 4,5 4,9 5, 10 6,8 6,9 7,9 7, 10 8, ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 21

22 Ισομορφικά Γραφήματα Γραφήματα G(V G, E G ) και H(V H, E H ) είναι ισομορφικά ανν υπάρχει 1-1 και επί συνάρτηση f: V G V H (ισομορφισμός) ώστε για κάθε u, v V G, {u, v} E G ανν {f(u), f(v)} E H Υπάρχει αντιστοιχία κορυφών που διατηρεί τη γειτονικότητα. Ισομορφισμός αποτελεί σχέση ισοδυναμίας (Προτ. 1.1, σελ. 30). Αναλλοίωτη ιδιότητα: ισομορφικά γραφήματα «συμφωνούν». Όλες οι σημαντικές ιδιότητες: #κορυφών, #ακμών, βαθμοί, συνεκτικότητα, κύκλος Euler και Hamilton, χρωματικός αριθμός,... Πως αποδεικνύω ότι δύο γραφήματα ισομορφικά: Βρίσκω ισομορφισμό και ελέγχω ότι διατηρεί γειτονικότητα. Αποδεικνύω (με ισομορφισμό) ότι τα συμπληρωματικά τους είναι ισομορφικά (Δραστ. 4.9, σελ. 139, Βούρος). ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 22

23 Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 23

24 Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 24

25 Ισομορφικά Γραφήματα ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 25

26 Ισομορφικά Γραφήματα Πως αποδεικνύω ότι δύο γραφήματα δεν είναι ισομορφικά: Βρίσκω μια αναλλοίωτη ιδιότητα στην οποία «διαφωνούν». Π.χ. 6 μη ισομορφικά συνεκτικά γραφήματα με 4 κορυφές (βλ. σελ. 33, Μαυρονικόλας). Μεθοδολογία απόδειξης ότι μια ιδιότητα είναι αναλλοίωτη. Αυτοσυμπληρωματικό γράφημα: γράφημα ισομορφικό με το συμπληρωματικό του. Αυτοσυμπληρωματικό γράφημα έχει n(n-1)/4 ακμές. Αυτοσυμπληρωματικά γραφήματα υπάρχουν μόνο αν n ή n-1 είναι πολλαπλάσιο του 4. Ερώτ. 2, 5 η Εργ Πόσες κορυφές έχει αυτοσυμπληρωματικό γράφημα που είναι δέντρο (δέντρο: συνεκτικό και άκυκλο, m = n - 1); ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 26

27 Αυτοσυμπληρωματικά Γραφήματα Αυτοσυμπληρωματικό γράφημα: γράφημα ισομορφικό με το συμπληρωματικό του. Αυτοσυμπληρωματικό γράφημα έχει n(n-1)/4 ακμές. Υπάρχουν αυτοσυμπληρωματικά γραφήματα για: n = 1: μεμονωμένη κορυφή. n = 4: μονοπάτι μήκους 3 n = 5, 8, 9, : ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 27

28 Συνδυαστική και Γραφήματα Πόσα γραφήματα ισομορφικά με το διπλανό γράφημα έχει το γράφημα Κ 4 ; Πόσα έχει το Κ 20. Θεωρούμε τις κορυφές των Κ 4 και Κ 20 διακεκριμένες. Πόσους διαφορετικούς κύκλους C 6 περιέχει το Κ 3,3 αν οι κορυφές του θεωρούνται διακεκριμένες; Πόσους διαφορετικούς κύκλους C 6 περιέχει το Κ m,n αν οι κορυφές του θεωρούνται διακεκριμένες; ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 28

29 Συνδυαστική και Γραφήματα Πόσα γραφήματα ισομορφικά με καθένα από τα παρακάτω έχει το γράφημα Κ 10 ; Θεωρούμε τις κορυφές του Κ 10 διακεκριμένες. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 29

30 Επίπεδα Γραφήματα Επίπεδο ένα γράφημα που μπορεί να ζωγραφιστεί στο επίπεδο χωρίς να τέμνονται οι ακμές του. Θεώρημα 4 χρωμάτων: Επίπεδο γράφημα έχει χρωματικό αριθμό 4. Επίπεδη αποτύπωση ορίζει όψεις (faces). Περιοχή επιπέδου που ορίζεται από (απλό) κύκλο και δεν μπορεί να διαιρεθεί σε μικρότερες όψεις. Εσωτερικές και εξωτερική όψη. f = #όψεων επίπεδου γραφήματος. Τύπος του Euler για συνεκτικά επίπεδα γραφ.: n + f = m + 2 #όψεων είναι αναλλοίωτη ιδιότητα, δεν εξαρτάται από αποτύπωση! ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 30

31 Επίπεδα Γραφήματα Μέγιστος αριθμός ακμών απλού επίπεδου γραφήματος. Απλό: κάθε όψη ορίζεται από τουλάχιστον 3 ακμές. Κάθε ακμή «ανήκει» σε μία ή δύο όψεις: Αν ανήκει σε κύκλο: σύνορο δύο όψεων. Διαφορετικά, «ανήκει» σε μία όψη. (Κάθε ακυκλικό γράφημα είναι επίπεδο με μία όψη, την εξωτερική). Υπάρχει συνεκτικό απλό επίπεδο γράφημα με m = 3n 6. Όλες του οι όψεις είναι τρίγωνα. Απλό διμερές επίπεδο γράφημα: m 2n 4. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 31

32 Επίπεδα Γραφήματα Άρα αν απλό γράφημα έχει m > 3n 6 (m > 2n 4 αν διμερές), δεν είναι επίπεδο. Τα Κ 5 και Κ 3,3 δεν είναι επίπεδα. Το συμπληρωματικό του γραφ. Petersen δεν είναι επίπεδο. Κάθε απλό επίπεδο γράφημα περιέχει κορυφή βαθμού 5. Π.χ. χρησιμοποιείται για να δείξουμε επαγωγικά ότι κάθε επίπεδο γράφημα έχει χρωματικό αριθμό 5. Κάθε γράφημα G με n 11 κορυφές, είτε το G είτε το συμπληρωματικό του δεν είναι επίπεδο. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 32

33 Ομοιομορφικά Γραφήματα Απλοποίηση σειράς: απαλοιφή κορυφών βαθμού 2 (δεν επηρεάζουν επιπεδότητα). Γραφήματα G και H ομοιομορφικά ανν μπορούν να καταλήξουν ισομορφικά με διαδοχική εφαρμογή απλοποιήσεων σειράς. Ομοιομορφικά μπορούν να «διαφωνούν» σε αναλλοίωτες ιδιότητες, αλλά «συμφωνούν» σε επιπεδότητα. Ομοιομορφικά «συμφωνούν» σε κύκλο Euler και κύκλο Hamilton; ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 33

34 Θεώρημα Kuratowski Θ. Kuratowski: Γράφημα επίπεδο ανν δεν περιέχει υπογράφημα ομοιομορφικό με Κ 5 ήκ 3,3. Ένα γράφημα δεν είναι επίπεδο ανν μπορούμε με απλοποιήσεις (διαγραφές κορυφών και ακμών, απλοποιήσεις σειράς) να καταλήξουμε σε Κ 5 ήκ 3,3. ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 34

35 Πλατωνικά Γραφήματα Πλατωνικό (απλό μη κατευθυνόμενο) γράφημα: επίπεδο, όλες οι κορυφές βαθμού d, και όλες οι όψεις βαθμού h (d, h 3). ΠΛΗ 20, ΑΘΗ 3 ( ) ΟΣΣ 5 (Θεωρία Γραφημάτων) 35

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 4 η Εργασία: Γενική Εικόνα Ενθαρρυντική εικόνα, σαφώς καλύτερη από

Διαβάστε περισσότερα

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων

ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων ΠΛΗ 20, 5 η ΟΣΣ: Θεωρία Γραφημάτων ημήτρης Φωτάκης ιακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο 4 η Εργασία: Γενική Εικόνα Αντίστοιχη βαθμολογικά και ποιοτικά με την

Διαβάστε περισσότερα

Βασικές Έννοιες Θεωρίας Γραφημάτων

Βασικές Έννοιες Θεωρίας Γραφημάτων Βασικές Έννοιες Θεωρίας Γραφημάτων Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Γραφήματα Μοντελοποίηση πολλών σημαντικών προβλημάτων

Διαβάστε περισσότερα

Βασικές Έννοιες Θεωρίας Γραφημάτων

Βασικές Έννοιες Θεωρίας Γραφημάτων Βασικές Έννοιες Θεωρίας Γραφημάτων ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γραφήματα Μοντελοποίηση

Διαβάστε περισσότερα

Μετασχηματισμοί, Αναπαράσταση και Ισομορφισμός Γραφημάτων

Μετασχηματισμοί, Αναπαράσταση και Ισομορφισμός Γραφημάτων Μετασχηματισμοί, Αναπαράσταση και Ισομορφισμός Γραφημάτων ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο

Διαβάστε περισσότερα

ΠΛΗ 20, 6 η ΟΣΣ: Δέντρα Εξετάσεις

ΠΛΗ 20, 6 η ΟΣΣ: Δέντρα Εξετάσεις ΠΛΗ 20, 6 η ΟΣΣ: Δέντρα Εξετάσεις Δημήτρης Φωτάκης Διακριτά Μαθηματικά και Μαθηματική Λογική Πληροφορική Ελληνικό Ανοικτό Πανεπιστήμιο Δέντρα Δέντρο: πρότυπο ιεραρχικής δομής. Αναπαράσταση (ιεραρχικών)

Διαβάστε περισσότερα

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 3η Θεωρία Γραφηµάτων

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 3η Θεωρία Γραφηµάτων ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ Ε ρ γ α σ ί α η Θεωρία Γραφηµάτων Α π α ν τ ή σ ε ι ς Ε ρ ω τ η µ ά τ ω ν Ερώτηµα. Στο παρακάτω γράφηµα µε βάρη, να βρεθεί το µήκος του µικρότερου µονοπατιού

Διαβάστε περισσότερα

Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες

Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες Διδάσκοντες: Δ. Φωτάκης, Δ. Σούλιου Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γραφήματα

Διαβάστε περισσότερα

Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες

Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες Θεωρία Γραφημάτων: Ορολογία και Βασικές Έννοιες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο

Διαβάστε περισσότερα

u v 4 w G 2 G 1 u v w x y z 4

u v 4 w G 2 G 1 u v w x y z 4 Διάλεξη :.0.06 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος. Εισαγωγικοί ορισμοί Ορισμός. Γράφημα G καλείται ένα ζεύγος G = (V, E) όπου V είναι το σύνολο των κορυφών (ή κόμβων) και E

Διαβάστε περισσότερα

Συντομότερες Διαδρομές

Συντομότερες Διαδρομές Συντομότερη Διαδρομή Συντομότερες Διαδρομές Διδάσκοντες: Σ Ζάχος, Δ Φωτάκης Επιμέλεια διαφανειών: Δ Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Κατευθυνόμενο G(V, E, w) με μήκη Μήκος

Διαβάστε περισσότερα

Αναζήτηση Κατά Πλάτος

Αναζήτηση Κατά Πλάτος Αναζήτηση Κατά Πλάτος ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Γραφήματα Μοντελοποίηση πολλών σημαντικών προβλημάτων (π.χ. δίκτυα συνεκτικότητα,

Διαβάστε περισσότερα

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόγχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου

Διαβάστε περισσότερα

Επίπεδα Γραφήματα (planar graphs)

Επίπεδα Γραφήματα (planar graphs) Επίπεδα Γραφήματα (planar graphs) Μπορούν να σχεδιαστούν στο επίπεδο χωρίς να τέμνονται οι ακμές τους 1 2 1 2 3 4 3 4 Άρα αυτό το γράφημα είναι επίπεδο Επίπεδα Γραφήματα (planar graphs) Μπορούν να σχεδιαστούν

Διαβάστε περισσότερα

2 ) d i = 2e 28, i=1. a b c

2 ) d i = 2e 28, i=1. a b c ΑΣΚΗΣΕΙΣ ΘΕΩΡΙΑΣ ΓΡΑΦΩΝ (1) Εστω G απλός γράφος, που έχει 9 κορυφές και άθροισμα βαθμών κορυφών μεγαλύτερο του 7. Αποδείξτε ότι υπάρχει μια κορυφή του G με βαθμό μεγαλύτερο ή ίσο του 4. () Αποδείξτε ότι

Διαβάστε περισσότερα

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός Κατευθυνόμενα γραφήματα Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενο γράφημα G είναι ένα ζεύγος (V, E ) όπου V πεπερασμένο σύνολο του οποίου

Διαβάστε περισσότερα

Συντομότερες ιαδρομές

Συντομότερες ιαδρομές Συντομότερες ιαδρομές ημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Συντομότερη ιαδρομή Κατευθυνόμενο G(V, E, w) με μήκη Μήκος διαδρομής Απόσταση d(u,

Διαβάστε περισσότερα

Αλγόριθµοι Γραφηµάτων

Αλγόριθµοι Γραφηµάτων Αλγόριθµοι Γραφηµάτων Παύλος Σπυράκης Πανεπιστήµιο Πατρών Τοµέας Θεµελιώσεων και Εφαρµογών της Επιστήµης των Υπολογιστών Ερευνητικό Ακαδηµαϊκό Ινστιτούτο Τεχνολογίας Υπολογιστών Γραφήµατα Μοντελοποίηση

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 5η Διάλεξη

Θεωρία Γραφημάτων 5η Διάλεξη Θεωρία Γραφημάτων 5η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 5η Διάλεξη

Διαβάστε περισσότερα

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017

Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017 Θεωρία Γραφημάτων και Εφαρμογές - Διακριτά Μαθηματικά ΙΙ Φεβρουάριος 2017 ΕΓΘΑ : Σ. Κοσμαδάκης, «Εισαγωγή στα Γραφήματα, Θεωρία-Ασκήσεις». Α 1 Έστω η παρακάτω σχέση Q(k) πάνω στο σύνολο {1, 2} όπου k τυχαίος

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 6η Διάλεξη

Θεωρία Γραφημάτων 6η Διάλεξη Θεωρία Γραφημάτων 6η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 6η Διάλεξη

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 11η Διάλεξη

Θεωρία Γραφημάτων 11η Διάλεξη Θεωρία Γραφημάτων 11η Διάλεξη Α Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 11η Διάλεξη

Διαβάστε περισσότερα

Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12.

Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12. ΑΣΚΗΣΗ 1: Είναι το ακόλουθο γράφημα απλό; Σημείωση: Δες ορισμό απλού γραφήματος στον Τόμο Α, σελ. 97 και τόμο Β, σελ 12. v 2 ΑΠΑΝΤΗΣΗ 1: Το παραπάνω γράφημα δεν είναι απλό, αφού υπάρχουν δύο ακμές που

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 1η Διάλεξη

Θεωρία Γραφημάτων 1η Διάλεξη Θεωρία Γραφημάτων η Διάλεξη Α Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 206 Α Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων η Διάλεξη

Διαβάστε περισσότερα

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Εισαγωγή σε βασικές έννοιες. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Εισαγωγή σε βασικές έννοιες. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Θεωρία Γραφημάτων Ενότητα: Εισαγωγή σε βασικές έννοιες Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος Τμήμα: Μαθηματικών Θεωρία Γραφημάτων Χάρης Παπαδόπουλος 2012, Διάλεξη Κεφαλαίου 1 Περιεχόμενα

Διαβάστε περισσότερα

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ20, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 203, Α ΜΕΡΟΣ ΣΥΜΠΛΗΡΩΣΤΕ ΤΑ ΣΤΟΙΧΕΙΑ ΣΑΣ ΚΑΙ ΜΗΝ ΑΝΟΙΞΕΤΕ ΤΑ ΕΡΩΤΗΜΑΤΑ ΑΝ ΔΕΝ ΣΑΣ ΠΕΙ Ο ΕΠΙΤΗΡΗΤΗΣ ΕΠΩΝΥΜΟ ΟΝΟΜΑ... ΠΑΤΡΩΝΥΜΟ...ΤΜΗΜΑ..

Διαβάστε περισσότερα

Συντομότερες ιαδρομές

Συντομότερες ιαδρομές Συντομότερες ιαδρομές ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ0, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 014, Α ΜΕΡΟΣ ΣΥΜΠΛΗΡΩΣΤΕ ΤΑ ΣΤΟΙΧΕΙΑ ΣΑΣ ΚΑΙ ΜΗΝ ΑΝΟΙΞΕΤΕ ΤΑ ΕΡΩΤΗΜΑΤΑ ΑΝ ΔΕΝ ΣΑΣ ΠΕΙ Ο ΕΠΙΤΗΡΗΤΗΣ ΕΠΩΝΥΜΟ ΟΝΟΜΑ... ΠΑΤΡΩΝΥΜΟ...ΤΜΗΜΑ..

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 7η Διάλεξη

Θεωρία Γραφημάτων 7η Διάλεξη Θεωρία Γραφημάτων 7η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 7η Διάλεξη

Διαβάστε περισσότερα

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΛΗ0, ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΜΑΘΗΜΑΤΙΚΗ ΛΟΓΙΚΗ ΕΡΩΤΗΜΑΤΑ ΠΡΩΤΗ ΕΞΕΤΑΣΗ ΙΟΥΛΙΟΥ 015, Α ΜΕΡΟΣ 1. Στους παρακάτω τύπους τα,, είναι προτασιακοί τύποι. Ισχύει ότι: 1. ( Σ / Λ ) O τύπος ( ) ( ) είναι αντίφαση.

Διαβάστε περισσότερα

Συντομότερες ιαδρομές

Συντομότερες ιαδρομές Συντομότερες ιαδρομές ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Άδεια Χρήσης Το παρόν εκπαιδευτικό

Διαβάστε περισσότερα

E(G) 2(k 1) = 2k 3.

E(G) 2(k 1) = 2k 3. Διάλεξη :..06 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Τζαλάκας Ανδρέας & Σ.Κ.. Εξωεπίπεδα γραφήματα (συνέχεια) Ορισμός. Εστω γράφημα G = (V, E) και S V. S-λοβός (S-lobe) ενάγεται από

Διαβάστε περισσότερα

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε

Διάλεξη 4: Απόδειξη: Για την κατεύθυνση, παρατηρούμε ότι διαγράφοντας μια κορυφή δεν μπορούμε να διαχωρίσουμε τα u και v. Αποδεικνύουμε Διάλεξη 4: 20.10.2016 Θεωρία Γραφημάτων Γραφέας: Σ. Κ. Διδάσκων: Σταύρος Κολλιόπουλος 4.1 2-συνεκτικά γραφήματα (συνέχεια) Πρόταση 4.1 Δύο μπλοκ ενός γραφήματος G μοιράζονται το πολύ μία κορυφή. Απόδειξη:

Διαβάστε περισσότερα

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών έντρα ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο έντρα έντρο: πρότυπο ιεραρχικής δομής.

Διαβάστε περισσότερα

ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός

ΘΕΩΡΙΑ ΓΡΑΦΩΝ. 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός ΘΕΩΡΙΑ ΓΡΑΦΩΝ 7 η Διάλεξη Συνεκτικότητα (Συνδεσμικότητα) Βασικές έννοιες και ιδιότητες Το θεώρημα του Merger Ισομορφισμός Βασικές Έννοιες Στο κεφάλαιο αυτό θα μελετηθεί ο βαθμός συνεκτικότητας (συνδεσμικότητας)

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 5η Διάλεξη

Θεωρία Γραφημάτων 5η Διάλεξη Θεωρία Γραφημάτων 5η Διάλεξη Α. Συμβώνης Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Φεβρουάριος 2017 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 5η Διάλεξη

Διαβάστε περισσότερα

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

Πανεπιστήμιο Δυτικής Μακεδονίας. Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών. Διακριτά Μαθηματικά. Ενότητα 2: Γραφήματα Τμήμα Μηχανικών Πληροφορικής & Τηλεπικοινωνιών Διακριτά Μαθηματικά Ενότητα 2: Γραφήματα Αν. Καθηγητής Κ. Στεργίου e-mail: kstergiou@uowm.gr Τμήμα Μηχανικών Πληροφορικής και Τηλεπικοινωνιών Άδειες Χρήσης

Διαβάστε περισσότερα

ΑΝΤΙΣΤΟΙΧΗΣΕΙΣ ΟΡΩΝ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙOΥΝΤΑΙ ΣΤΟΥΣ ΤΟΜΟΥΣ Α ΚΑΙ Β ΤΗΣ ΘΕ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» Ένα γράφημα αποτελείται από ένα σύνολο 94.

ΑΝΤΙΣΤΟΙΧΗΣΕΙΣ ΟΡΩΝ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙOΥΝΤΑΙ ΣΤΟΥΣ ΤΟΜΟΥΣ Α ΚΑΙ Β ΤΗΣ ΘΕ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» Ένα γράφημα αποτελείται από ένα σύνολο 94. ΑΝΤΙΣΤΟΙΧΗΣΕΙΣ ΟΡΩΝ ΠΟΥ ΧΡΗΣΙΜΟΠΟΙOΥΝΤΑΙ ΣΤΟΥΣ ΤΟΜΟΥΣ Α ΚΑΙ Β ΤΗΣ ΘΕ «ΔΙΑΚΡΙΤΑ ΜΑΘΗΜΑΤΙΚΑ» ΤΟΜΟΣ Α ΤΟΜΟΣ Β ΑΓΓΛΙΚΗ Γράφημα, Γράφος, Ένα γράφημα αποτελείται από ένα σύνολο 94 11 κορυφών και ένα σύνολο ακμών.

Διαβάστε περισσότερα

Μη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα.

Μη κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Υπογραφήµατα. Κατευθυνόµενα γραφήµατα Απλό κατευθυνόµενο Γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E), µε: Στοιχεία Θεωρίας Γραφηµάτων (1) σύνολο κορυφών / κόµβων V, Ορέστης Τελέλης tllis@unipi.r Τµήµα Ψηφιακών Συστηµάτων,

Διαβάστε περισσότερα

Ασκήσεις στους Γράφους. 2 ο Σετ Ασκήσεων. Δέντρα

Ασκήσεις στους Γράφους. 2 ο Σετ Ασκήσεων. Δέντρα Ασκήσεις στους Γράφους 2 ο Σετ Ασκήσεων Δέντρα Ασκηση 1 η Ένας γράφος G είναι δέντρο αν και μόνο αν κάθε δυο κορυφές του συνδέονται με ένα μοναδικό μονοπάτι. Υποθέτουμε ότι ο γράφος G είναι δέντρο. Έστω

Διαβάστε περισσότερα

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ

Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ Πανεπιστήμιο Στερεάς Ελλάδας Τμήμα Πληροφορικής Εξάμηνο ΣΤ ΘΕΩΡΙΑ ΓΡΑΦΩΝ 3 η Διάλεξη Μονοπάτια και Κύκλοι Μήκη και αποστάσεις Κέντρο και μέσο γράφου. Ακτίνα και Διάμετρος Δυνάμεις Γραφημάτων Γράφοι Euler.

Διαβάστε περισσότερα

Στοιχεία Θεωρίας Γραφηµάτων (1)

Στοιχεία Θεωρίας Γραφηµάτων (1) Στοιχεία Θεωρίας Γραφηµάτων (1) Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Θεωρία Γραφηµάτων (1) 1 / 23 Μη κατευθυνόµενα γραφήµατα

Διαβάστε περισσότερα

Τομές Γραφήματος. Γράφημα (μη κατευθυνόμενο) Συνάρτηση βάρους ακμών. Τομή : Διαμέριση του συνόλου των κόμβων σε δύο μη κενά σύνολα

Τομές Γραφήματος. Γράφημα (μη κατευθυνόμενο) Συνάρτηση βάρους ακμών. Τομή : Διαμέριση του συνόλου των κόμβων σε δύο μη κενά σύνολα Τομές Γραφήματος Γράφημα (μη κατευθυνόμενο) Συνάρτηση βάρους ακμών Τομή : Διαμέριση του συνόλου των κόμβων σε δύο μη κενά σύνολα και 12 26 20 10 9 7 17 14 4 Τομές Γραφήματος Γράφημα (μη κατευθυνόμενο)

Διαβάστε περισσότερα

Κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs)

Κατευθυνόµενα γραφήµατα. Στοιχεία Θεωρίας Γραφηµάτων (1) Πολυγραφήµατα (Multigraphs) Μη κατευθυνόµενα γραφήµατα Στοιχεία Θεωρίας Γραφηµάτων (1) Απλό µη κατευθυνόµενο γράφηµα G είναι διατεταγµένο Ϲεύγος (V, E) µε σύνολο κορυφών/κόµβων V Ορέστης Τελέλης tllis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων,

Διαβάστε περισσότερα

βασικές έννοιες (τόμος Β)

βασικές έννοιες (τόμος Β) θεωρία γραφημάτων Παύλος Εφραιμίδης 1 περιεχόμενα βασικές έννοιες (τόμος Α) βασικές έννοιες (τόμος Β) 2 Θεωρία Γραφημάτων Βασική Ορολογία Τόμος Α, Ενότητα 4.1 Βασική Ορολογία Γραφημάτων Γράφημα Γ = (E,V)

Διαβάστε περισσότερα

d(v) = 3 S. q(g \ S) S

d(v) = 3 S. q(g \ S) S Διάλεξη 9: 9.11.2016 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Παναγιωτίδης Αλέξανδρος Θεώρημα 9.1 Εστω γράφημα G = (V, E), υπάρχει τέλειο ταίριασμα στο G αν και μόνο αν για κάθε S υποσύνολο

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 4η Διάλεξη

Θεωρία Γραφημάτων 4η Διάλεξη Θεωρία Γραφημάτων 4η Διάλεξη Α. Συμβώνης Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Φεβρουάριος 2017 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 4η Διάλεξη

Διαβάστε περισσότερα

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

Τίτλος Μαθήματος: Θεωρία Γραφημάτων. Ενότητα: Συνεκτικότητα και Δισυνεκτικότητα. Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος. Τμήμα: Μαθηματικών Τίτλος Μαθήματος: Θεωρία Γραφημάτων Ενότητα: Συνεκτικότητα και Δισυνεκτικότητα Διδάσκων: Λέκτορας Xάρης Παπαδόπουλος Τμήμα: Μαθηματικών Θεωρία Γραφημάτων Χάρης Παπαδόπουλος 2012, Διάλεξη Κεφαλαίου 2 Περιεχόμενα

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 1η Διάλεξη

Θεωρία Γραφημάτων 1η Διάλεξη Θεωρία Γραφημάτων η Διάλεξη Α. Συμβώνης Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Φεβρουάριος 207 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων η Διάλεξη

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά. Τι είδαμε την προηγούμενη φορά. Θεωρία γράφων / γραφήματα. 25 -Γράφοι. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017

HY118-Διακριτά Μαθηματικά. Τι είδαμε την προηγούμενη φορά. Θεωρία γράφων / γραφήματα. 25 -Γράφοι. ΗΥ118, Διακριτά Μαθηματικά Άνοιξη 2017 HY118-Διακριτά Μαθηματικά Τι είδαμε την προηγούμενη φορά Παρασκευή, 12/05/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Υπογράφημα Συμπληρωματικά γραφήματα Ισομορφισμός γράφων Υπολογιστική πολυπλοκότητα

Διαβάστε περισσότερα

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Μαθηματική Επαγωγή ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Τεχνικές Απόδειξης Εξαντλητική

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 8η Διάλεξη

Θεωρία Γραφημάτων 8η Διάλεξη Θεωρία Γραφημάτων 8η Διάλεξη Α. Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 8η Διάλεξη

Διαβάστε περισσότερα

ΠΛΗ20 ΕΝΟΤΗΤΑ 5: ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ/2. Μάθηµα 5.1: Παραστάσεις Γραφηµάτων. ηµήτρης Ψούνης

ΠΛΗ20 ΕΝΟΤΗΤΑ 5: ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ/2. Μάθηµα 5.1: Παραστάσεις Γραφηµάτων. ηµήτρης Ψούνης ΠΛΗ20 ΕΝΟΤΗΤΑ 5: ΘΕΩΡΙΑ ΓΡΑΦΗΜΑΤΩΝ/2 Μάθηµα 5.1: Παραστάσεις Γραφηµάτων ηµήτρης Ψούνης 2 ΠΕΡΙΕΧΟΜΕΝΑ Α. Σκοπός του Μαθήµατος Β.Θεωρία 1. Πίνακας Γειτνίασης 1. Ορισµός για µη κατευθυνόµενα γραφήµατα 2.

Διαβάστε περισσότερα

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΛΓΟΡΙΘΜΩΝ ΒΟΗΘΟΣ: ΒΑΓΓΕΛΗΣ ΔΟΥΡΟΣ

ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΛΓΟΡΙΘΜΩΝ ΒΟΗΘΟΣ: ΒΑΓΓΕΛΗΣ ΔΟΥΡΟΣ ΟΙΚΟΝΟΜΙΚΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΘΗΝΩΝ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΦΡΟΝΤΙΣΤΗΡΙΟ ΑΛΓΟΡΙΘΜΩΝ ΒΟΗΘΟΣ: ΒΑΓΓΕΛΗΣ ΔΟΥΡΟΣ Φροντιστήριο #: Εύρεση Ελαχίστων Μονοπατιών σε Γραφήματα που Περιλαμβάνουν και Αρνητικά Βάρη: Αλγόριθμος

Διαβάστε περισσότερα

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 2: Μαθηματικό Υπόβαθρο ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 2: Μαθηματικό Υπόβαθρο Τι θα κάνουμε σήμερα Συναρτήσεις & Σχέσεις (0.2.3) Γράφοι (Γραφήματα) (0.2.4) Λέξεις και Γλώσσες (0.2.5) Αποδείξεις (0.3) 1

Διαβάστε περισσότερα

Σχέσεις. ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Σχέσεις. ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Σχέσεις ιδάσκοντες:. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιμελής Σχέση ιατεταγμένο ζεύγος (α, β): ύο αντικείμενα

Διαβάστε περισσότερα

Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017

Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017 Φροντιστήριο #8 Ασκήσεις σε Γράφους 16/5/2017 Άσκηση 8.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

Μαθηματικά Πληροφορικής

Μαθηματικά Πληροφορικής Μαθηματικά Πληροφορικής 6ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Κατευθυνόμενα γραφήματα Ορισμός Κατευθυνόμενογράφημα Gείναιέναζεύγος (V,E)όπου V πεπερασμένο σύνολο του οποίου

Διαβάστε περισσότερα

ιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι

ιµελής Σχέση ιατεταγµένο ζεύγος (α, β): ύο αντικείµενα (όχι κατ ανάγκη διαφορετικά) σε καθορισµένη σειρά. Γενίκευση: διατεταγµένη τριάδα (α, β, γ), δι Σχέσεις ιδάσκοντες: Φ. Αφράτη, Σ. Ζάχος,. Σούλιου Επιµέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο ιµελής Σχέση ιατεταγµένο ζεύγος (α, β):

Διαβάστε περισσότερα

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα

Ασκήσεις στους Γράφους. 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα Ασκήσεις στους Γράφους 1 ο Σετ Ασκήσεων Βαθμός Μονοπάτια Κύκλος Euler Κύκλος Hamilton Συνεκτικότητα Ασκηση 1 η Να αποδείξετε ότι κάθε γράφημα περιέχει μια διαδρομή από μια κορυφή u σε μια κορυφή w αν και

Διαβάστε περισσότερα

Γράφοι: κατευθυνόμενοι και μη

Γράφοι: κατευθυνόμενοι και μη Γράφοι: κατευθυνόμενοι και μη (V,E ) (V,E ) Γράφος (ή γράφημα): ζεύγος (V,E), V ένα μη κενό σύνολο, Ε διμελής σχέση πάνω στο V Μη κατευθυνόμενος γράφος: σχέση Ε συμμετρική V: κορυφές (vertices), κόμβοι

Διαβάστε περισσότερα

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή

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

Διαβάστε περισσότερα

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο

Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Θεωρία Υπολογισμού και Πολυπλοκότητα Μαθηματικό Υπόβαθρο Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Σύνολα Συναρτήσεις και Σχέσεις Γραφήματα Λέξεις και Γλώσσες Αποδείξεις ΕΠΛ 211 Θεωρία

Διαβάστε περισσότερα

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα

Επίπεδα Γραφήματα : Προβλήματα και Υπολογιστική Πολυπλοκότητα Αλγόριθμοι πολυωνυμικού χρόνου Ένας αλγόριθμος πολυωνυμικού χρόνου έχει χρόνο εκτέλεσης όπου είναι μία (θετική) σταθερά Κλάση πολυπλοκότητας : περιλαμβάνει τα προβλήματα που επιδέχονται λύση σε πολυωνυμικό

Διαβάστε περισσότερα

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση

Σχέσεις. Διμελής Σχέση. ΣτοΊδιοΣύνολο. Αναπαράσταση Διμελής Σχέση Σχέσεις Διδάσκοντες: Φ. Αφράτη, Δ. Επιμέλεια διαφανειών: Δ. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Διατεταγμένο ζεύγος (α, β): Δύο αντικείμενα

Διαβάστε περισσότερα

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι;

ΑΣΚΗΣΗ 1 Για τις ερωτήσεις 1-4 θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; ΘΕΜΑΤΑ ΔΕΝΔΡΩΝ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ ΠΛΗ0 ΑΣΚΗΣΗ Για τις ερωτήσεις - θεωρήσατε τον ακόλουθο γράφο. Ποιές από τις παρακάτω προτάσεις αληθεύουν και ποιές όχι; Β Ε Α 6 Δ 5 9 8 0 Γ 7 Ζ Η. Σ/Λ Δυο από τα συνδετικά

Διαβάστε περισσότερα

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

Εισαγωγή στους Αλγορίθμους Εισαγωγή στους Αλγορίθμους Ενότητα 7η Διδάσκων Χρήστος Ζαρολιάγκης Καθηγητής Τμήμα Μηχανικών Η/Υ & Πληροφορικής Πανεπιστήμιο Πατρών Email: zaro@ceid.upatras.gr Αλγόριθμοι Γραφημάτων Τοπολογική Διάταξη

Διαβάστε περισσότερα

Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016

Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016 Φροντιστήριο #8 Ασκήσεις σε Γράφους 24/5/2016 Άσκηση 8.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

Ενότητα 5: Αλγόριθμοι γράφων και δικτύων

Ενότητα 5: Αλγόριθμοι γράφων και δικτύων Εισαγωγή στην Επιστήμη των Υπολογιστών ο εξάμηνο ΣΗΜΜΥ Ενότητα : Αλγόριθμοι γράφων και δικτύων Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής, Δημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 2η Διάλεξη

Θεωρία Γραφημάτων 2η Διάλεξη Θεωρία Γραφημάτων 2η Διάλεξη Α Συμβώνης Εθνικο Μετσοβειο Πολυτεχνειο Σχολη Εφαρμοσμενων Μαθηματικων και Φυσικων Επιστημων Τομεασ Μαθηματικων Φεβρουάριος 2016 Α Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 2η Διάλεξη

Διαβάστε περισσότερα

HY118-Διακριτά Μαθηματικά

HY118-Διακριτά Μαθηματικά HY118-Διακριτά Μαθηματικά Παρασκευή, 12/05/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 12-May-17 1 1 Θεωρία γράφων / γραφήματα 12-May-17 2 2 Τι είδαμε την προηγούμενη φορά Υπογράφημα Συμπληρωματικά

Διαβάστε περισσότερα

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους

Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους Φροντιστήριο #9 Λυμένες Ασκήσεις σε Γράφους Άσκηση 10.1: Στο παρακάτω σχήμα φαίνονται δέκα λατινικοί χαρακτήρες (A, F, K, M, R, S, T, V, X και Z) με τη μορφή γράφων. Ποιοι από αυτούς είναι ισομορφικοί;

Διαβάστε περισσότερα

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0. Ασκήσεις4 46 Ασκήσεις 4 Τριγωνίσιμες γραμμικές απεικονίσεις, Θεώρημα των Cayley-Hamilton Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Κριτήριο τριγωνισιμότητας

Διαβάστε περισσότερα

Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων ΣΗΜΜΥ - Ε.Μ.Π.

Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων ΣΗΜΜΥ - Ε.Μ.Π. Αλγόριθμοι και πολυπλοκότητα: 4 η σειρά ασκήσεων CO.RE.LAB. ΣΗΜΜΥ - Ε.Μ.Π. Άσκηση 1 η : Παιχνίδι επιλογής ακμών Έχουμε ένα ακυκλικό κατευθυνόμενο γράφο, μια αρχική κορυφή και δυο παίκτες. Οι παίκτες διαδοχικά

Διαβάστε περισσότερα

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ ) ΑΠΑΝΤΗΣΕΙΣ Α ΕΡΓΑΣΙΑΣ. ( 8 µον.) Η άσκηση αυτή αναφέρεται σε διαιρετότητα και ρίζες πολυωνύµων. a. Να λυθεί η εξίσωση

Διαβάστε περισσότερα

Μέγιστη Ροή Ελάχιστη Τομή

Μέγιστη Ροή Ελάχιστη Τομή Μέγιστη Ροή Ελάχιστη Τομή Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Δίκτυα και Ροές Δίκτυο : κατευθυνόμενο γράφημα G(V, E). Πηγή, προορισμός, χωρητικότητα ακμής b e. ροή μεγέθους

Διαβάστε περισσότερα

(elementary graph algorithms)

(elementary graph algorithms) (elementary graph algorithms) Παύλος Εφραιμίδης 1 περιεχόμενα γραφήματα αναπαραστάσεις οριζόντια διερεύνηση καθοδική διερεύνηση 2 ΓΡΑΦΉΜΑΤΑ 3 αναπαράσταση δύο καθιερωμένοι τρόποι: πίνακας γειτνίασης συλλογή

Διαβάστε περισσότερα

Αναζήτηση Κατά Βάθος. ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών

Αναζήτηση Κατά Βάθος. ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Αναζήτηση Κατά Βάθος ιδάσκοντες: Σ. Ζάχος,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αναζήτηση Κατά Βάθος (DFS) Εξερεύνηση

Διαβάστε περισσότερα

Κ Ε Μη γράφετε στο πίσω μέρος της σελίδας

Κ Ε Μη γράφετε στο πίσω μέρος της σελίδας Διακριτά Μαθηματικά Εξέταση Ιούνιος 206 Σελ. από 6 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις σας

Διαβάστε περισσότερα

1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8)

1 (6) 9 (6) 2 (3) 10 (9) 3 (6) 11 (6) 4 (8) 12 (6) 5 (6) 13 (8) 6 (5) 14 (6) 7 (6) 15 (11) 8 (8) Πανεπιστήμιο Κύπρου Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΗΜΥ 311: Διακριτη Αναλυση και Δομες Χειμερινό Εξάμηνο 2015-2016 Καθηγητής: Χριστόφορος Χατζηκωστής Τελική Εξέταση Τρίτη, 22 Δεκεμβρίου,

Διαβάστε περισσότερα

Εισαγωγή στην Επιστήμη των Υπολογιστών

Εισαγωγή στην Επιστήμη των Υπολογιστών Εισαγωγή στην Επιστήμη των Υπολογιστών 4 ο εξάμηνο ΣΗΜΜΥ 4 η ενότητα: Γράφοι: προβλήματα και αλγόριθμοι Επιμέλεια διαφανειών: Στάθης Ζάχος, Άρης Παγουρτζής, Δημήτρης Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών

Διαβάστε περισσότερα

Διάλεξη 3: Σχήμα 3.3: Το σύνολο των κόκκινων ακμών είναι ακμοδιαχωριστής αλλά όχι τομή. Το σύνολο ακμών {1, 2, 3} είναι τομή. Από

Διάλεξη 3: Σχήμα 3.3: Το σύνολο των κόκκινων ακμών είναι ακμοδιαχωριστής αλλά όχι τομή. Το σύνολο ακμών {1, 2, 3} είναι τομή. Από Διάλεξη 3: 19.10.2016 Θεωρία Γραφημάτων Γραφέας: Βασίλης Λίβανος Διδάσκων: Σταύρος Κολλιόπουλος 3.1 Ακμοδιαχωριστές, Τομές, Δεσμοί Ορισμός 3.1 Ακμοδιαχωριστής (Edge-eparator) ενός γραφήματος G = (V, E)

Διαβάστε περισσότερα

2.3 ΜΕΤΡΟ ΜΙΓΑΔΙΚΟΥ ΑΡΙΘΜΟΥ

2.3 ΜΕΤΡΟ ΜΙΓΑΔΙΚΟΥ ΑΡΙΘΜΟΥ ΕΠΙΜΕΛΕΙΑ : ΠΑΛΑΙΟΛΟΓΟΥ ΠΑΥΛΟΣ.ptetragono.gr Σελίδα. ΜΕΤΡΟ ΜΙΓΑΔΙΚΟΥ ΑΡΙΘΜΟΥ Να βρεθεί το μέτρο των μιγαδικών :..... 0 0. 5 5 6.. 0 0. 5. 5 5 0 0 0 0 0 0 0 0 ΜΕΘΟΔΟΛΟΓΙΑ : ΜΕΤΡΟ ΜΙΓΑΔΙΚΟΥ Αν τότε. Αν χρειαστεί

Διαβάστε περισσότερα

ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ

ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ Συνεκτικότητα Γραφημάτων 123 ΚΕΦΑΛΑΙΟ 4 ΣΥΝΕΚΤΙΚΟΤΗΤΑ ΓΡΑΦΗΜΑΤΩΝ 4.1 Τοπική και Ολική Συνεκτικότητα Γραφημάτων 4.2 Συνεκτικότητα Μη-κατευθυνόμενων Γραφημάτων 4.3 Συνεκτικότητα Κατευθυνόμενων Γραφημάτων

Διαβάστε περισσότερα

Ελαφρύτατες διαδρομές

Ελαφρύτατες διαδρομές Ελαφρύτατες διαδρομές Ελαφρύτατες διαδρομές Κατευθυνόμενο γράφημα Συνάρτηση βάρους Ελαφρύτατη διαδρομή από το u στο v : διαδρομή με και ελάχιστο βάρος s 3 t 7 x 5 3 y z Βάρος ελαφρύτατης διαδρομής εάν

Διαβάστε περισσότερα

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είδαµε την προηγούµενη φορά. Συνεκτικότητα Γράφοι

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είδαµε την προηγούµενη φορά. Συνεκτικότητα Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Παρασκευή, 20/05/2016 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/22/2016 1 1 5/22/2016 2 2 Τι είδαµε την προηγούµενη φορά Συνεκτικότητα Υπογράφηµα

Διαβάστε περισσότερα

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση: Να γνωρίζει: την αποδεικτική μέθοδο της μαθηματικής επαγωγής για την οποία πρέπει να γίνει κατανοητό ότι η αλήθεια

Διαβάστε περισσότερα

Επίλυση εξισώσεων δευτέρου βαθμού με ανάλυση σε γινόμενο παραγόντων

Επίλυση εξισώσεων δευτέρου βαθμού με ανάλυση σε γινόμενο παραγόντων ΜΕΡΟΣ Α. ΕΞΙΣΩΣΕΙΣ ΔΕΥΤΕΡΟΥ ΒΑΘΜΟΥ 69. ΕΞΙΣΩΣΕΙΣ ΔΕΥΤΕΡΟΥ ΒΑΘΜΟΥ Ορισμός Ονομάζουμε εξίσωση ου βαθμού με έναν άγνωστο κάθε ισότητα που έχει την μορφή α +β+ γ = 0 με α 0 (ο είναι ο άγνωστος της εξίσωσης,

Διαβάστε περισσότερα

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

Ελάχιστο Συνδετικό Δέντρο Ελάχιστο Συνδετικό Δέντρο Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Ελάχιστο Συνδετικό Δέντρο

Διαβάστε περισσότερα

Διμερή γραφήματα και ταιριάσματα

Διμερή γραφήματα και ταιριάσματα Κεφάλαιο 6 Διμερή γραφήματα και ταιριάσματα Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι C. L. Liu and C. Liu 1985, Cameron 1994, Diestel 2005 και Stanley 1986. 6.1 Διμερή γραφήματα Η κλάση

Διαβάστε περισσότερα

m = 18 και m = G 2

m = 18 και m = G 2 Διάλεξη 11: 2.11.201 Θεωρία Γραφημάτων Διδάσκων: Σταύρος Κολλιόπουλος Γραφέας: Παναγιώτης Ρεπούσκος 11.1 Βασικές Ιδιότητες Θεώρημα 11.1 (Τύπος του Eulr, 172) Αν ένα συνεκτικό ενεπίπεδο γράφημα έχει n κορυφές,

Διαβάστε περισσότερα

w S n lim (n 1)! = x(x + q)(x + q + q 2 ) (x + q + q q n 1 ),

w S n lim (n 1)! = x(x + q)(x + q + q 2 ) (x + q + q q n 1 ), Ασκήσεις #1 1. Εστω a(n, k) το πλήθος των υποσυνόλων του {1, 2,..., n} με k στοιχεία τα οποία δεν περιέχουν διαδοχικούς ακεραίους. (α) Δείξτε ότι το a(n, k) είναι ίσο με το πλήθος των συνθέσεων (r 0, r

Διαβάστε περισσότερα

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 2η <Αλγόριθµοι, Θεωρία Γραφηµάτων>

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 2η <Αλγόριθµοι, Θεωρία Γραφηµάτων> ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 2η Σκοπός της παρούσας εργασίας είναι η εξοικείωση µε τις σηµαντικότερες µεθόδους και ιδέες της Θεωρίας Γραφηµάτων

Διαβάστε περισσότερα

Αλγόριθµοι και Πολυπλοκότητα

Αλγόριθµοι και Πολυπλοκότητα Αλγόριθµοι και Πολυπλοκότητα Ν. Μ. Μισυρλής Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών Καθηγητής: Ν. Μ. Μισυρλής () Αλγόριθµοι και Πολυπλοκότητα 9 Απριλίου 2009 1 / 0 Παραδείγµατα γράφων

Διαβάστε περισσότερα

Θεωρία Γραφημάτων 2η Διάλεξη

Θεωρία Γραφημάτων 2η Διάλεξη Θεωρία Γραφημάτων 2η Διάλεξη Α. Συμβώνης Εθνικό Μετσόβιο Πολυτεχνείο Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Φεβρουάριος 2017 Α. Συμβώνης (ΕΜΠ) Θεωρία Γραφημάτων 2η Διάλεξη

Διαβάστε περισσότερα

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα

Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα ΘΕ4 Αναδρομή και Επαγωγή για Γραφήματα Επαγωγή και αναδρομή για άκυκλα συνεκτικά γραφήματα Επαγωγή για άκυκλα συνεκτικά γραφήματα (με αφαίρεση κορυφής) Η αρχή της επαγωγής, με αφαίρεση κορυφής, για δεδομένη

Διαβάστε περισσότερα

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

Ελάχιστο Συνδετικό Δέντρο Ελάχιστο Συνδετικό Δέντρο Διδάσκοντες: Σ. Ζάχος, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Ελάχιστο Συνδετικό Δέντρο

Διαβάστε περισσότερα

Υπολογιστικά & Διακριτά Μαθηματικά

Υπολογιστικά & Διακριτά Μαθηματικά Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 3: Σύνολα Συνδυαστική Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως

Διαβάστε περισσότερα

Γράφοι. Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο. Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά.

Γράφοι. Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο. Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά. Γράφοι Ένας γράφος ή αλλιώς γράφηµα αποτελείται απο πλευρές (ακµές) και κορυφές (κόµβους). Εφαρµογές: Τηλεπικοινωνιακά και Οδικά ίκτυα, Ηλεκτρονικά Κυκλώµατα, Β.. κ.ά. Graph Drawing 4 πιθανές αναπαραστάσεις

Διαβάστε περισσότερα

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 4η Θεωρία Γραφηµάτων

ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 4η Θεωρία Γραφηµάτων ιακριτά Μαθηµατικά και Μαθηµατική Λογική ΠΛΗ20 Ε ρ γ α σ ί α 4η Θεωρία Γραφηµάτων Σκοπός της παρούσας εργασίας είναι η εξοικείωση µε τις σηµαντικότερες έννοιες και τους αλγορίθµους της Θεωρίας ένδρων.

Διαβάστε περισσότερα