ΓραφήµατακαιΠίνακες. Μεταπτυχιακό Μάθηµα «ιακριτά Μαθηµατικά» ιδάσκων Χ. Ζαγούρας. Ροδοσθένους Χρίστος A.M 257 Ζορµπά Αλεξάνδρα A.

Σχετικά έγγραφα
ΓΡΑΦΗΜΑΤΑ ΚΑΙ ΠΙΝΑΚΕΣ

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

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

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

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

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

... a b c d. b d a c

(β) Θεωρούµε µια ακολουθία Nθετικών ακεραίων η οποία περιέχει ακριβώς

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

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

Γ. Κορίλη Αλγόριθµοι ροµολόγησης

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

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

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος;

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

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

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

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

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

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

Δοµές Δεδοµένων & Ανάλυση Αλγορίθµων 3ο Εξάµηνο. Γραφήµατα. (Graphs)

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

jτο πλήθος των ταξιδιών που κάνει η αεροσυνοδός µέχρι την j ηµέρα. Σχηµατίζω µία ακολουθία που αποτελείται από τα a.

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,...

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

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

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

cov(x, Y ) = E[(X E[X]) (Y E[Y ])] cov(x, Y ) = E[X Y ] E[X] E[Y ]

q={(1+2)/2}=1 A(1,2)= MERGE( 4, 6 ) = 4 6 q=[(3+4)/2]=3 A(1,4)= MERGE( 4 6, 5 8 ) = q=[(5+6)/2]=5 A(5,6)= MERGE( 2, 9 ) = 2 9

Υπερβατικοί Αριθµοί και Θεώρηµα του Liouville

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

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

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

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

Πρόβληµα 2 (12 µονάδες)

Συνάρτηση f, λέγεται η διαδικασία µε βάση την. Παρατηρήσεις - Σχόλια f

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3

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

Απαρίθµηση Μονοπατιών. Στοιχεία Θεωρίας Γραφηµάτων (3) Μονοπάτια και Κυκλώµατα Euler. Ορέστης Τελέλης

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

Στοιχεία Θεωρίας Γράφων (Graph Theory)

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

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r

Μονοπάτια και Κυκλώµατα Euler. Στοιχεία Θεωρίας Γραφηµάτων (3,4) Παραδείγµατα. Κριτήρια Υπαρξης.

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 1

ΠΛΗ111. Ανοιξη Μάθηµα 10 ο. Γράφοι. Τµήµα Ηλεκτρονικών Μηχανικών και Μηχανικών Υπολογιστών Πολυτεχνείο Κρήτης

ΣΧΕΔΙΑΣΗ ΚΑΙ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

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

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

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

Πρόβληµα 2 (15 µονάδες)

Το θεώρηµα πεπλεγµένων συναρτήσεων

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 3

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 7

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

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

m 1 min f = x ij 0 (8.4) b j (8.5) a i = 1

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

ΠΛΗ30 ΕΝΟΤΗΤΑ 3: ΚΑΝΟΝΙΚΕΣ ΓΛΩΣΣΕΣ. Μάθηµα 3.2: ηµήτρης Ψούνης

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

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 5

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

Επίλυση Γραµµικών Συστηµάτων

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ( , c Ε. Γαλλόπουλος) ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. Ε. Γαλλόπουλος. ΤΜΗΥΠ Πανεπιστήµιο Πατρών. ιαφάνειες διαλέξεων 28/2/12

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

Γράφηµα (Graph) Εργαστήριο 10. Εισαγωγή

{ } ΠΛΗ 12: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗ ΠΛΗΡΟΦΟΡΙΚΗ Ι 2 η ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ. Απαντήσεις. 1. (15 µονάδες)

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

x 2 = x x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x.

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

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

11 Το ολοκλήρωµα Riemann

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

Βασικές Προτάσεις. έντρα. υαδικά έντρα Αναζήτησης ( Α) Ισοζυγισµένα έντρα και Υψος. Κάθε δέντρο µε n κόµβους έχει n 1 ακµές.

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

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

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

12 Το αόριστο ολοκλήρωµα

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

ΠΛΗ 20, 4 η ΟΣΣ: Βασικές Έννοιες Θεωρίας Γραφημάτων

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

f e Γράφημα (Graph) Δηµοσθένης Σταµάτης Τµήµα Πληροφορικής ΑΤΕΙ ΘΕΣΣΑΛΟΝΙΚΗΣ

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Λυσεις Ασκησεων - Φυλλαδιο 1

ΜΑΘΗΜΑΤΙΚΑ Β ΓΥΜΝΑΣΙΟΥ ΜΙΑ ΠΡΟΕΤΟΙΜΑΣΙΑ ΓΙΑ ΤΙΣ ΕΞΕΤΑΣΕΙΣ

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 2

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων Γράφοι

Transcript:

ΓραφήµατακαιΠίνακες Μεταπτυχιακό Μάθηµα «ιακριτά Μαθηµατικά» ιδάσκων Χ. Ζαγούρας Ροδοσθένους Χρίστος A.M 257 Ζορµπά Αλεξάνδρα A.M 216

Περιεχόµενα Πίνακες γειτνίασης Τάξη πίνακα και Περίπατοι Συνδεσιµότητα και µεταβατικός εγκλεισµός Boolean Αριθµητική σε πίνακες Το Θεώρηµα πίνακα-δέντρου Περίπατοι Euler σε κατευθυνόµενα γραφήµατα

ΠίνακαςΓειτνίασηςΓραφήµατος Τοστοιχείοτηςγραµµής i καιστήλης j του πίνακαείναι 1 ανοικορυφές u i και u j συνδέονταιµεακµή, ενώθαείναιµηδέναν δεν συνδέονται U2 1 1 0 0 0 0 1 1 U3 A( G) = U1 0 0 0 0 1 1 1 0 U4

ΠίνακαςΓειτνίασηςΓραφήµατος Με παρόµοιο τρόπο ορίζουµε και τον πίνακα γειτνίασης για ένα οποιοδήποτε γράφηµα: θεωρούµε το (i,j) στοιχείοτουπίνακαναείναι 1 αν υπάρχει η ακµή {u i, u j } και 0 στην αντίθετη περίπτωση. Αφού η {u i, u j } είναι ακµή τότε και η {u j, u i } είναι ακµή, άρα ο πίνακας Α(G) είναι συµµετρικός

ΠίνακαςΓειτνίασηςΓραφήµατος 4 2 1 3 5 0 1 1 0 1 1 0 1 1 0 A( G) = 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0

ΠίνακαςΓειτνίασηςΓραφήµατος Για πολυγραφήµατα, θεωρούµε το (i,j) στοιχείο του πίνακα να είναι η πολλαπλότητα της ακµής {i,j}.

Πίνακας Γειτνίασης Γραφήµατος -Παράδειγµα Πολυγραφήµατος 1 5 2 3 4 0 2 0 0 1 2 1 1 0 0 A( G) = 0 1 1 2 0 0 0 2 0 2 1 0 0 2 0

Τάξη Πίνακα και Περίπατοι-Εισαγωγή Ονοµάζουµε περίπατο (walk) σε ένα γράφηµα G µια διαδοχή κορυφών και ακµών µε την ιδιότητα ότι κάθε κορυφής έπεται ακµή, εκτός της τελευταίας κορυφής Μονοπάτι ονοµάζεται ο περίπατος στον οποίο δεν επαναλαµβάνεται καµία ακµή και κορυφή.

ΤάξηΠίνακακαιΠερίπατοι Θεώρηµα 7.1(α) Αν D είναι ένα πολυγράφηµα µε n κορυφές και Α ο πίνακας γειτνίασης, τότε το στοιχείο {i,j} του πίνακα Α K είναι ο αριθµός των περιπάτων µήκους kαπότηνκορυφή i, στηνκορυφή jστο D. Θεώρηµα 7.1(β) Αν D είναι ένα κατευθυνόµενο πολυγράφηµαµε nκορυφέςκαιαοπίνακαςγειτνίασης, τότετοστοιχείο {i,j} τουπίνακαα K είναιοαριθµόςτων κατευθυνόµενων περιπάτων µήκους k από την κορυφή i, στηνκορυφή jστο D.

ΤάξηΠίνακακαιΠερίπατοι Απόδειξη: A i,j είναι ο αριθµός των περιπάτων µήκους 1 απότο u i στο u j. Θεωρούµεότιτο Sείναιτοσύνολοόλων τωνακεραίων m, καιισχύειότια m i,j είναιοαριθµόςτων (κατευθυνόµενων)περιπάτωνµήκους mαπότο u i, στο u j. Γνωρίζουµε ότι το 1 ανήκει στο S.Υποθέτουµε ότι όλοι οι θετικοί ακέραιοι που είναι µικρότεροι από το k ανήκουνστο S. ΤότεΑ k = Α k-1 A n (Α k ) ij = (Α k-1 ) ih A hj h= 1

ΤάξηΠίνακακαιΠερίπατοι Μπορούµε να χωρίσουµε το σύνολο των (κατευθυνόµενων) περιπάτων µήκους k από την κορυφή u i στην κορυφή u j το πολύ σε n υποσύνολα, το υποσύνολο h περιλαµβάνει όλους τους περιπάτους των οποίωνηεπόµενηπριντηντελευταίακορυφήείναιηu h. Σύµφωνα µε την αρχή του πολλαπλασιασµού, ο αριθµός των περιπάτων στο υποσύνολο h, είναι ο αριθµός των περιπάτων µήκους κ-1 από την κορυφή u i στην κορυφή u j.τογινόµενοαυτό, υποθέτουµεότιείναι (Α k-1 ) ih A hj

ΤάξηΠίνακακαιΠερίπατοι Σύµφωνα µε την αρχή του αθροίσµατος, ο αριθµόςτωνπεριπάτωνµήκους k από u i, στο u j είναι n (Α k-1 ) ih A hj = (Α k ) h= 1 ij και έτσι το k ανήκει στο S. Όµως από την 1 η υπόθεση της µαθηµατικής επαγωγής, το S περιλαµβάνει όλους τους θετικούς ακέραιους και τοθεώρηµαέχειαποδειχτεί.

Τάξη Πίνακα και Περίπατοι-Εφαρµογή Θεωρήµατος Να βρεθεί ο αριθµός των περιπάτων µήκους 2 και µήκους 3 µεταξύ των κορυφών 1 και 5 του παρακάτωγραφήµατος. 7 3 1 6 5 2 4

Τάξη Πίνακα και Περίπατοι-Εφαρµογή Θεωρήµατος Για περίπατους µήκους 2 και 3 θα υπολογίσουµε τουςπίνακεςα 2 καια 3 αντίστοιχα. 0 1 1 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 A= 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 1 0 1 0 0 1 0 0 1 0 A 2 2 0 0 1 1 1 1 0 3 1 1 1 1 0 0 1 3 0 1 1 1 = 1 1 0 2 1 1 0 1 1 1 1 3 0 1 1 1 1 1 0 3 1 1 0 1 0 1 1 2 A 3 0 4 4 1 2 2 1 4 2 1 4 5 2 2 4 1 2 2 2 5 4 = 1 4 2 2 4 1 1 2 5 2 4 2 5 1 2 2 5 1 5 2 4 1 2 4 1 1 4 2

Τάξη Πίνακα και Περίπατοι-Εφαρµογή Θεωρήµατος Άρα, ελέγχοντας το στοιχείο (1,5) του πίνακα Α 2,υπάρχει 1 περίπατος µήκους 2 από την κορυφή 1 στηνκορυφή 5. Κάνουµε το ίδιο και στον πίνακα Α 3,το στοιχείο (1,5) του πίνακα είναι 2 άρα υπάρχουν 2 περίπατοι από την κορυφή 1 στην κορυφή 5.

ΤάξηΠίνακακαιΠερίπατοι Θεώρηµα 7.2 ΑνοΑείναιοπίνακαςγειτνίασηςτου γραφήµατος, τότεοβαθµόςτηςκορυφής iείναι (Α 2 ) ii Απόδειξη: (Α 2 n ) ii = A ij A ji j= 1 Αφού A ij Α ji είναι 0 εκτός αν {u i, u j } είναι ακµή, και θα είναι 1 αν {u i, u j } είναιακµή, ο (Α 2 ) ii είναιοαριθµόςτων ακµών που περιέχουν την κορυφή i.

Τάξη Πίνακα και Περίπατοι Εφαρµογή Θεωρήµατος V 1 V 2 V 6 V 3 V 4 V 5 A( G) 2 3 1 2 3 1 1 1 4 2 2 1 3 2 2 4 2 2 2 = 3 2 2 4 1 1 1 1 2 1 2 1 1 3 2 1 1 3

Συνδεσιµότητα και µεταβατικός εγκλεισµός-εισαγωγή Ένα γράφηµα λέγεται συνδετικό αν ζεύγος κορυφών του υπάρχει ένας τουλάχιστον περίπατος µεταξύ τους. Ένας κατευθυνόµενος γράφος λέγεται ισχυρά συνδετικός αν γιακάθεζεύγοςκορυφών u και v υπάρχειµονοπάτικαιαπό την u προςτην v καιαπότην v προςτην u. Ο µεταβατικός εγκλεισµός ενός κατευθυνόµενου ή µη γραφήµατος G=(V,E) ορίζεται ως ένα γράφηµα G*=(V,E*) µε Ε Ε*, στο οποίο 2 κορυφές u, w V διασυνδέονται µε µιακατευθυνόµενηήµηακµή eανκαιµόνοανυπάρχειστο G κατευθυνόµενο ή µη µονοπάτι που τις συνδέει.

Συνδεσιµότητα και µεταβατικός εγκλεισµός Θεώρηµα 7.3(α) Ένα πολυγράφηµα n κορυφών n είναι συνδετικόανκαιµόνοανκάθεστοιχείοτου (Α i ) δεν i= 1 είναι µηδενικό. Θεώρηµα 7.3(β) Ένα κατευθυνόµενο πολυγράφηµα nκορυφώνείναιισχυράσυνδετικόανκαιµόνοανκάθε n στοιχείοτου (Α i ) δενείναιµηδενικό. i= 1 Απόδειξη: Αφού κάθε ζευγάρι από συνδεδεµένες κορυφές µπορεί να συνδεθεί µε ένα περίπατο µήκους n ή λιγότερου, το θεώρηµα προκύπτει από το θεώρηµα 7.1

Συνδεσιµότητα και µεταβατικός εγκλεισµός Θεώρηµα 7.4(α) Ένα πολυγράφηµα n κορυφών είναι συνδετικό αν και µόνο αν κάθε στοιχείοτουπίνακα (I + A) n δενείναιµηδενικό. Θεώρηµα 7.4(β) Ένα κατευθυνόµενο πολυγράφηµα n κορυφών είναι ισχυρά συνδετικόανκαιµόνοανκάθεστοιχείοτου πίνακα (I + A) n δενείναιµηδενικό.

Συνδεσιµότητα και µεταβατικός εγκλεισµός Απόδειξη: Αφού (I + A) n = n n I A j = j n j k j= 0 k= 0 n A k και αφού τα στοιχεία του Α κ είναι όλα µη αρνητικοίαριθµοί, το (i,j) στοιχείοτου (Ι+Α) n θα είναι µη µηδενικό αν και µόνο αν το (i,j) στοιχείο οποιουδήποτε Α k δεν είναι µηδενικό. Το θεώρηµα 7.4 προκύπτει από το θεώρηµα 7.3.

Συνδεσιµότητα και µεταβατικός εγκλεισµός Θεώρηµα 7.5 Ο πίνακας γειτνίασης του µεταβατικού εγκλεισµού ενός πολυγραφήµατος n κορυφών έχει 1 στην θέση i,j, αν και µόνο αν το στοιχείο i,jτουπίνακα (Α+Ι) n -Iείναιµηµηδενικό. Απόδειξη: Υπάρχει ένας περίπατος από την κορυφή i στηνκορυφή j µήκους k ανκαιµόνοανηθέση (i,j) τουα k n είναιµηµηδενικήκαι ( )Α k είναιοπροσθετέος του (Α+Ι) n k n. Όµως η έκφραση ( ) Α 0 0 =I εκφράζει τους περιπάτους µήκους 0 που δεν χρησιµοποιούνται στον µεταβατικό εγκλεισµό.

Boolean Πράξεις Ηπρόσθεσηορίζεταιµετολογικόή Ο πολλαπλασιασµός ορίζεται µε το λογικό και 1 1 = 1 1 0 = 0 1 = 1 0 0 = 0 1 1 = 1 1 0 = 0 0 0 = 0

Boolean Πράξεις Όλοι οι συνηθισµένοι κανόνες σαν a(b + c) = ab + ac µεταφράζονται σε κανόνες a(b c) = ab ac για πολλαπλασιασµό και πρόσθεση Boolean. Στην Boolean αριθµητική, όµως, δεν υπάρχει η έννοια της αφαίρεσης, έτσι έστω καιανισχύειότι a + b = a + c συνεπάγεται b = c, στην περίπτωση a b = a c δενσυνεπάγεται b = c

Boolean Πράξεις Επειδή µόνο ο πολλαπλασιασµός και η πρόσθεση χρησιµοποιούνται για να ερµηνεύσουν τον πολλαπλασιασµό πινάκων, µπορούµε να ερµηνεύσουµετον Booleanπολλαπλασιασµόπινάκων. Χρησιµοποιούµε Α n να δηλώσουµε την n-τάξη ενός πίνακα µε µηδενικά και άσσους στην Boolean αριθµητική.

Boolean Πράξεις Εφαρµογή Να βρεθεί µε χρήση Boolean αριθµητικής το τετράγωνο του παρακάτω πίνακα 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0 1 0 0 0 1 0

Boolean Πράξεις Εφαρµογή 2 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 = 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 a 11= 0.0 1.1 0.0 0.0 0.0= 1 a 21 = 1.0 0.1 1.0 0.0 0.0= 0... a 55 = 0.0 0.0 0.0 1.1 0.0= 1

Boolean Πράξεις Εφαρµογή 2 0 1 0 0 0 1 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 1 0 1 0 = 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1

ΠίνακαςΣυνδεσιµότητας Ο πίνακας συνδεσιµότητας ενός κατευθυνόµενου ή µη γραφήµατος έχει 1 στην θέση (i,j) ανηκορυφή i και η κορυφή jείναισυνδεδεµένες.

ΠίνακαςΣυνδεσιµότητας Θεώρηµα 7.6 Ο πίνακας συνδεσιµότητας ενός κατευθυνόµενου πολυγραφήµατος είναι ο (Ι+Α) n και ο µεταβατικός εγκλεισµός έχει πίνακα πρόσπτωσης τον Α(Ι+Α) n-1. Απόδειξη: Κάθε Boolean δύναµη πίνακα έχει 1 σε κάθε θέση που οι συνηθισµένες δυνάµεις είναι µη µηδενικές.

Το Θεώρηµα πίνακα-δέντρου Εισαγωγή έντρο ονοµάζεται το γράφηµα που είναι ακυκλικό και συνδετικό Επικαλύπτον δέντρο (spanning tree) ονοµάζεται η αναπαράσταση ενός γραφήµατος σε δέντρο έτσι ώστε να περιέχονται όλες οι κορυφές

ΤοΘεώρηµαπίνακα-δέντρου Το θεώρηµα πίνακα-δέντρου µας δίνει τη δυνατότητα να υπολογίσουµε τον αριθµό των επικαλυπτόντων δέντρων ενός γραφήµατος G από τον πίνακα γειτνίασης. Θεωρούµε ότι ο Β(G) είναι ο πίνακας του οποίου το (i, j) στοιχείο είναι 0 αν i j και το (i,i) στοιχείο του είναι ο βαθµός της κορυφής u i στο G. Θεωρούµε τον πίνακα Μ=Β(G)-A(G). Ο συντελεστής του (i, j) στοιχείου του τετραγωνικού πίνακα M είναι (-1) i+j φορέςτηνορίζουσατουπίνακαπουπροκύπτει απότηνδιαγραφήτηςγραµµής iκαιτηςστήλης jτου Μ.

ΤοΘεώρηµαπίνακα-δέντρου Θεώρηµα 7.7 Αν το G είναι ένα συνδετικό γράφηµα, τότε όλοι οι συντελεστές του M=B(G) A(G) ισούνται µε τον αριθµό των επικαλυπτόντων δέντρων του G.

ΤοΘεώρηµαπίνακα-δέντρου Θεώρηµα 7.8 Οσυντελεστής (i,i) τουπίνακαμ= B(D) A(D) είναι ο αριθµός των επικαλυπτόντων δέντρων που κατευθύνονται στην κορυφή i στο συνδετικό κατευθυνόµενο γράφηµα D.

Το Θεώρηµα πίνακα-δέντρου- Eφαρµογή Να υπολογιστεί ο αριθµός τον επικαλυπτόντων δέντρων που κατευθύνονται στην κορυφή 3 στο πιο κάτω κατευθυνόµενο γράφηµα 4 1 3 5 2

Το Θεώρηµα πίνακα-δέντρουεφαρµογή Ο πίνακας γειτνίασης του κατευθυνόµενου γραφήµατος είναι ο 0 1 1 1 0 0 0 0 0 1 A= 0 0 0 0 0 0 0 0 0 1 0 0 1 0 0

Το Θεώρηµα πίνακα-δέντρουεφαρµογή Εν συνεχεία εφαρµόζουµε το θεώρηµα 7.8 Πρέπειναυπολογίσουµεπρώτατονπίνακα B, όπουοb είναι ο πίνακας του οποίου το (i, i) στοιχείο είναι ο εξωτερικός βαθµός της κορυφής i και το (i,j) στοιχείο είναι 0 αν i j. B 3 0 0 0 0 0 1 0 0 0 = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1

Το Θεώρηµα πίνακα-δέντρουεφαρµογή Υπολογίζουµε τον πίνακα Μ=B-A M 3 0 0 0 0 0 1 1 1 0 3 1 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 0 1 = 0 0 0 0 0 0 0 0 0 0 = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 1 1 0 0 0 0 1 0 0 1 0 0 0 0 1 0 1

Το Θεώρηµα πίνακα-δέντρου- Eφαρµογή Υπολογίζουµε τον συντελεστή (3,3) του πίνακα Μ που είναι ( ) 3 + 3 3 1 1 0 0 1 0 1 1 = 3 0 0 1 1 0 0 0 1 Άρα υπάρχουν 3 επικαλύπτοντα δέντρα που κατευθύνονται στην κορυφή 3.

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εισαγωγή Ένα κατευθυνόµενο γράφηµα ονοµάζεται γράφηµα Euler αν υπάρχει κλειστό κατευθυνόµενο µονοπάτι που περιλαµβάνει κάθε τόξο του γραφήµατος

Περίπατοι Euler σε κατευθυνόµενο γράφηµα Με το να γνωρίζουµε το πόσα επικαλύπτοντα δέντρα έχει ένα κατευθυνόµενο γράφηµα µπορούµε να βρούµε τον αριθµό των περιπάτων Euler που έχει. Αν µας δίδεται ένα επικαλύπτον δέντρο κατευθυνόµενο στην κορυφή i σε ένα κατευθυνόµενο γράφηµα Euler που δεν έχει κορυφές περιττού βαθµού, µπορούµε να κατασκευάσουµε ένα κατευθυνόµενο περίπατο Euler ως εξής

Περίπατοι Euler σε κατευθυνόµενο γράφηµα Ξεκινώντας από την κορυφή i, ακολουθούµε οποιαδήποτε ακµή (i,j 1 ) προςταέξω. Απότηνκορυφή j 1 διαλέγουµεοποιαδήποτε ακµή, έστω την (j 1, j 2 ) που να µην ανήκει στο επικαλύπτον δέντρο. Επαναλαµβάνουµε την διαδικασία αυτή κάθε φορά που καταλήγουµε σε κορυφή j κ. Ακολουθούµε την ακµή (j κ, j κ+1 ) που οδηγεί προς τα έξω της κορυφής j κ+1, αλλά όχι προς το επικαλύπτον δέντρο αν υπάρχει τέτοια ακµή. Αλλιώς ακολουθούµε την µοναδική ακµή του επικαλύπτοντος δέντρου που φεύγει από την κορυφή κ. Με αυτό τον τρόπο κάθε ακµή µε κατεύθυνση προς τα έξω από κάθε κορυφή θα χρησιµοποιηθεί, και αφού κάθε κορυφή (εκτός ίσως από την κορυφή i και την τελική κορυφή) θα βρίσκεται σε ζυγό αριθµό ακµώνστονπερίπατο, ηκορυφή iθαείναιητελευταίακορυφή πουθαεπιλεχθεί.

Περίπατοι Euler σε κατευθυνόµενο γράφηµα Θεώρηµα 7.9 Ο αριθµός κατευθυνόµενων περιπάτων Euler από µια κορυφή i στην κορυφή i σε ένα κατευθυνόµενο γράφηµα n κορυφών D, του οποίου κάθε κορυφή έχει τον ίδιο εσωτερικό και εξωτερικό βαθµό που είναι ίσος µε το γινόµενο του συντελεστή του στοιχείου (i,i) του Μ=B(D) A(D) µε το n ( od u j ) od( u ) ( ) 1! i j= 1

Περίπατοι Euler σε κατευθυνόµενο γράφηµα Απόδειξη: Κάθε περίπατος Euler από την κορυφή u i στην κορυφή u i παράγει ένα δέντρο που κατευθύνεται στην κορυφή u i ως ακολούθως : Για κάθε κορυφή u j που δεν είναι ίσηµετην u i,υπάρχειµιατελευταίαακµή (u j, u κ ) στον περίπατο που εµφανίζεται η j. Το σύνολο των κορυφών V µε αυτές τις τελευταίες ακµές, σχηµατίζει ένα δέντρο που κατευθύνεται στην κορυφή u i. Ονοµάζουµε το δέντρο αυτό, το δέντρο της τελευταίας διέλευσης του περιπάτου(tree of last passage of the walk).

Περίπατοι Euler σε κατευθυνόµενο γράφηµα Ο αριθµός των περιπάτων που έχουν ένα δεδοµένο δέντρο τελευταίας διέλευσης µπορεί να υπολογιστεί µε το να παρατηρήσουµε τον τρόπο που κάθε τέτοιος περίπατος µπορεί να κατασκευαστεί µε την µέθοδο που περιγράψαµε πριν την διατύπωση του θεωρήµατος. Ξεκινάµε διαλέγοντας την κορυφή u i. Υπάρχουν od(u i ) τρόποι γιανα επιλέξουµε µια ακµή που να φεύγει από την u i. Την πρώτη φορά που οποιαδήποτε κορυφή u j για j i χρησιµοποιείται, θαυπάρχουν od(u j ) ακµέςπουνα φεύγουναπότηνκορυφή u j γιαναεπιλέξουµε.

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εφαρµογή Να υπολογιστεί ο αριθµός των περιπάτων Euler που ξεκινούν και τελειώνουν στην κορυφή 1 στο παρακάτω γράφηµα 2 5 1 3 6 4

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εφαρµογή Ελέγχουµε τον εσωτερικό και εξωτερικό βαθµό των κορυφών. Κάθε κορυφή του γραφήµατος έχει τον ίδιο εσωτερικό και εξωτερικό βαθµό, άρα µπορεί να εφαρµοστεί το θεώρηµα.

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εφαρµογή Βρίσκουµε τον πίνακα γειτνίασης και τον πίνακα B 0 0 0 1 1 0 1 0 1 0 0 0 1 0 0 1 1 0 A= 0 1 1 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 B 2 0 0 0 0 0 0 2 0 0 0 0 0 0 3 0 0 0 = 0 0 0 2 0 0 0 0 0 0 2 0 0 0 0 0 0 1

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εφαρµογή Υπολογίζουµε τον πίνακα Μ=B-A 2 0 0 1 1 0 1 2 1 0 0 0 1 0 3 1 1 0 B A= 0 1 1 2 0 0 0 1 0 0 2 1 0 0 1 0 0 1 Υπολογίζουµετονσυντελεστή (1,1) ( ) 1 + 1 2 1 0 0 0 0 3 1 1 0 1 1 1 2 0 0 = 12 1 0 0 2 1 0 1 0 0 1

Περίπατοι Euler σε κατευθυνόµενο γράφηµα-εφαρµογή Υπολογίζουµε τους εξωτερικούς βαθµούς των κορυφών Od(1)=2 Od(2)=2 Od(3)=3 Od(4)=2 Od(5)=2 Od(6)=1 ( ) j Υπολογίζουµε το od( u ) od( u ) 1! 6 ( od u ) j j= 1 i n j= 1 od(1) ( ) 1!=2.(1).(1).(2).(1).(1).(1)=4 6 ( od u j ) 12. od(1) ( ) 1!=12.4=48 j= 1

ΤΕΛΟΣ