Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)

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

Download "Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27)"

Transcript

1 Αλγόριθµοι Ροής σε Γράφους (CLR, κεφάλαιο 27) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα ροής και το πρόβληµα της µέγιστης ροής Η µεθοδολογία Ford-Fulkerson Ο αλγόριθµος Edmonds-Karps ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-1

2 ίκτυα Ροής Eνα δίκτυο ροής είναι ένας κατευθυνόµενος γράφος G(V,E) µε δύο διακεκριµένες κορυφές: την πηγή s και τον προορισµό t. Kάθε ακµή (u,v) E έχει µια µή αρνητική χωρητικότητα c(u,v). Aν (u,v) E τότε γράφουµε c(u,v) 0. π.χ. το δίκτυο : s 1 t ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-2

3 Θετικές ροες σε δίκτυα ροής Μια θετική ροή πάνω στο δίκτυο G είναι µια συνάρτηση + που ικανοποιεί τα εξής: p :V V R 1. 0 p(u,v) c(u,v), για κάθε u,v V (περιορισµός χωρητικότητας) 2. για κάθε u V {s,t} (διατήρηση ροής) v V p( u,v ) v V p( v,u ) Παρατήρηση: ο ορισµός επιτρέπει να είναι όλες οι θετικές ροές ίσες µε το µηδέν. 2/2 2/2 3/3 Παράδειγµα: Θετική ροή για το δίκτυο : s 0/1 1/ t 2/3 1/2 1/3 ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-3

4 Θετικές ροές σε δίκτυα ροής Θα λέµε ότι η θετική ροή p(u,v) πηγαίνει από τον κόµβο u στον κόµβο v. Αρχή απαλοιφής της θετικής ροής: Aφαιρώντας 1 από τη θετική ροή µεταξύ των u και v και προς τις δύο κατευθύνσεις, παίρνουµε µια νέα συνάρτηση η οποία είναι επίσης θετική ροή: αφού οι θετικές ροές µειώνονται, ο περιορισµός χωρητικότητας εξακολουθεί να ικανοποιείται, και η διατήρηση της ροής εξακολουθεί να ισχύει. u u 2/3 1/2 1/3 0/2 v v ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-

5 ίκτυα Ροής Μια ροή πάνω στο δίκτυο G είναι µια συνάρτηση f :V V R που ικανοποιεί τα εξής: 1. f(u,v) c(u,v), για κάθε u,v V (περιορισµός χωρητικότητας) 2. για κάθε u V {s,t} (διατήρηση ροής) v V f ( u,v ) 0 3. για κάθε u, v V f(u,v) f(v,u) (διαγώνια συµµετρία) s 1 t ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-5

6 ίκτυα Ροής Θεώρηµα: Οι ορισµοί θετικής ροής και ροής είναι ισοδύναµοι. Απόδειξη Ορισµός ροής συναρτήσει θετικής ροής. Ορίζουµε f(u,v) p(u,v) p(v,u), για κάθε u,v V Περιορισµός χωρητικότητας για την f: f(u,v) p(u,v) p(v,u) p(u,v) c(u,v) ιατήρηση ροής για την f: v V f(u,v) από τη διατήρηση ροής για την p. 0 v V v V (p(u,v) p(u,v) v V p(v,u)) p(v,u) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-6

7 ίκτυα Ροής ιαγώνια συµµετρία για την f: f(u,v) p(u,v) p (v,u) - (p(v,u) p(u,v)) - f(v,u) Oρισµός θετικής ροής συναρτήσει ροής: Ορίζουµε για κάθε u,v V p( u,v ) f ( u,v ), 0, if if f ( u,v ) > f ( u,v ) 0 0 Περιορισµός χωρητικότητας για την p: Aν f(u,v)>0, p(u,v) f(u,v) c(u,v), από τον περιορισµό χωρητικότητας για την f, διαφορετικά, αν f(u,v) 0, αφού η c είναι µη αρνητική, p(u,v) 0 c(u,v). ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-7

8 ιατήρηση ροής για την p: ίκτυα Ροής v V p(v,u) f(v,u) v V > 0 v V v f(u,v) V > 0 v V f(u,v) > 0 f(u,v) v V > 0 f(v,u) ( f(u,v)) f(u,v) p(u,v) f(u,v) ιαγώνια συµµετρία ιατήρηση ροής ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-8

9 Πρόβληµα της µέγιστης ροής Oρίζουµε τη τιµή µιας ροής f, f ως f v V f ( s,v ) Πρόβληµα της µέγιστης ροής: Να βρεθεί η ροή µε τη µέγιστη τιµή. Παράδειγµα: Μέγιστη ροή στο δίκτυο. 2/2 2/2 3/3 s 0/1 1/ t 3/3 2/2 2/3 ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-9

10 Ιδιότητες Ροών Συµβολισµός: Από τώρα και στο εξής, µια συνάρτηση πάνω σε σύνολα θα συµβολίζει το άθροισµα της συνάρτησης πάνω στα στοιχεία των συνόλων. π.χ. 1. f(s,v) f 2. Πρόταση διατήρησης ροής: για κάθε u V {s,t}, f(u,v) 0. Λήµµα 1: Για κάθε Χ V, f(x,x)0. Απόδειξη: f ( X, X ) u X u X 0 f(u,x) v X f(u,v) αφού το κάθε f(u,v) διαγράφεται µε το f(v,u) λόγω της διαγώνιας συµµετρίας. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-10

11 Ιδιότητες Ροών Λήµµα 2: Για κάθε Χ,Υ V, f(x,υ) f(y,x). Απόδειξη: f ( X,Y ) f(u,v) u X v Y v Y u X f ( v,u ) f ( Y, X ) από τη διαγώνια συµµετρία της f. Λήµµα 3: Για κάθε Χ,Υ,Z V, όπου Χ Y, f(x Υ,Z) f(x,z) + f(y,z). Απόδειξη: f ( X Y,Z ) f(u,v). u X Y v Z u X v Z f ( u,v ) + u v Y Z f ( X,Z ) + f ( Y,Z ) f ( u,v ) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-11

12 Ιδιότητες Ροών Λήµµα : f f(v,t) Απόδειξη: f f(s,v) (από ορισµό) f(v,v) f(v {s},v) (από Λήµµα 3) f(v,v {s}) (από Λήµµατα 1 και 2) f(v,t) + f(v,v {s,t}) (από Λήµµα 3 ) f(v,t) f(v {s,t},v) f(v, t) f(v, t) f(v, t) u V {s, t} f(u, V) 0 u V {s, t} ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-12

13 Ιδιότητες Ροών Μια τοµή (S,T) είναι µια διαµέριση του συνόλου V(δηλαδή, VS T, S T ), τέτοια ώστε s S, t T. H ροή κατά µήκος της τοµής (S,T) oρίζεται ως: f(s,t) H χωρητικότητα κατά µήκος της τοµής (S,T) ορίζεται ως: c(s,t) Λήµµα 5: Για κάθε ροή f και κάθε τοµή (S,T), η ροή κατά µήκος της τοµής (S,T) είναι ίση µε την τιµή της ροής f, f. Απόδειξη: f ( S,T ) f ( S,V ) f ( S,S ) f ( S,V ) f f f ( ( ( s,v s,v s,v ) + ) + ) f ( S u S { s } { s },V f ( u,v ) ) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-13

14 Λήµµα 6: Ιδιότητες Ροών Για κάθε ροή f και κάθε τοµή (S,T), η τιµή της ροής φράσσεται από πάνω από τη χωρητικότητα κατά µήκος της τοµής (S,T). Απόδειξη: f f ( S,T ) u S u S v T v T f(u,v) c(u,v) c( S,T ) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-1

15 ίκτυο Περίσσειας Έστω ένα δίκτυο ροής G(V,E) και µια ροή f πάνω στο G. Για ένα ζευγάρι κορυφών u, v V ορίζουµε c f ( u,v ) c( u,v ) f ( u,v ) το οποίο ονοµάζουµε την περίσσεια χωρητικότητα του ζεύγους (u,v). Το δίκτυο περίσσειας G f (V, E f ) που επάγεται από τη ροή ενός δικτύου ορίζεται ως εξής: E {( u,v ) V V c ( u,v ) > f f 0 ηλαδή ένα δίκτυο περίσσειας που επάγεται από µια ροή περιέχει τις ακµές που µπορούν να δεχθούν περισσότερη ροή. } ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-15

16 Παρατηρήσεις 1. εν ισχύει απαραίτητα ότι E f Ε. π.χ. αν (v,u) Eµε f(v,u)>0, αλλά (u,v) E, τότε c(u,v) 0, και c f (u,v) 0 - f(u,v) f(v,u) > 0 oπότε (u,v) E f. 2. E f 2 E Aν (u,v) E f, τότε (u,v) E ή (v,u) Ε. Λήµµα 7 Έστω fµια ροή στο δίκτυο G και f µια ροή πάνω στο δίκτυο G f. Τότε η συνάρτηση f+f :V V R, όπου (f+f )(u,v) f(u,v) +f (u,v) είναι µια ροή στο δίκτυο G µε τιµή f+f f + f. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-16

17 Απόδειξη 1. διαγώνια συµµετρία (f+f )(u,v) f(u,v) + f (u,v) {διαγώνια συµµετρία για f, f } -f(v,u) f (v,u) - (f(v,u) + f (v,u)) - (f + f )(v,u) 2. περιορισµός της χωρητικότητας (f+f )(u,v) f(u,v) + f (u,v) f(u,v) + c f (u,v) f(u,v) + c(u,v) f(u,v) c(u,v) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-17

18 3. διατήρηση της ροής Για κάθε u V {s,t} v V ( f + f )( u,v ) 0 Απόδειξη ( f(u,v) + f ( u,v ) + Άρα η f+f είναι µια ροή πάνω στο G. v V v V f ( u,v )) f ( u,v ) v V Επιπλέον, ισχύει f + f v V v V (f f(s,v) + f + f + f )(s,v v V ) f (s,v) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-18

19 ίκτυα Περίσσειας Ένα µονοπάτι p από την πηγή s στον προορισµό t στο δίκτυο περίσσειας θα ονοµάζεται ένα επεκταµένο µονοπάτι ως προς τη ροή f. Παράδειγµα: Θεωρήστε την πιο κάτω ροή για το δίκτυο : 1/2 1/2 3/3 s 0/1 2/ t 2/3 0/2 0/3 ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-19

20 ίκτυα Περίσσειας Το δίκτυο περίσσειας που επάγεται από τη ροή είναι: s A Γ 3 Άρα το µονοπάτι s Γ t είναι ένα επεκταµένο µονοπάτι ως προς τη ροή. Με δεδοµένο ένα επεκταµένο µονοπάτι p ως προς τη ροή f, θα ορίσουµε µια ροή πάνω στο Gµεγαλύτερης τιµής από την f κατά B 3 t 2 c f ( p ) min ( u,v ) p c f (u,v ) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-20

21 ίκτυα Περίσσειας Mε δεδοµένο ένα επεκταµένο µονοπάτι p, ορίζουµε την πιο κάτω συνάρτηση: f p c f ( p ), ( u,v ) c f ( p ), 0, if (u,v) p if (v,u) p otherwise Λήµµα 8 Η f p είναι µια ροή πάνω στο δίκτυο περίσσειας G f µε τιµή f p c f (p) >0. Λήµµα 9 Η συνάρτηση f f + f p είναι µια ροή πάνω στο δίκτυο Gµε τιµή f f + f p > f. Απόδειξη, προφανής από τα δύο προηγούµενα λήµµατα. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-21

22 Θεώρηµα Μέγιστης Ροής ΘΕΩΡΗΜΑ (Μέγιστη ροή ελάχιστη χωρητικότητα) Έστω f µια ροή πάνω στο δίκτυο G. Tότε τα ακόλουθα είναι ισοδύναµα: 1. H f είναι µια µέγιστη ροή πάνω στο G. 2. To δίκτυο περίσσειας G f δεν περιέχει επεκταµένα µονοπάτια. 3. f c(s,t) για κάποια τοµή (S,T) του δικτύου G. Απόδειξη: 12 Αν το δίκτυο περίσσειας περιέχει κάποιο επεκταµένο µονοπάτι τότε από το Λήµµα 9, η συνάρτηση f+ f p είναι ροή πάνω στο Gµε τιµή > f. Aντίφαση 23 Έστω ότι το δίκτυο δεν περιέχει επεκταµένο µονοπάτι. Θέτουµε S{v V υπάρχει µονοπάτι από την s στον κόµβο v στο δίκτυο } και ΤV-S ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-22

23 Θεώρηµα Μέγιστης Ροής Η διαµέριση (S,T) είναι τοµή: s S, εµφανές από τον ορισµό του S t T, διαφορετικά θα υπήρχε κάποιο επεκταµένο µονοπάτι. Για κάθε ζευγάρι κορυφών u S, v T, f(u,v)c(u,v), διότι αλλοιώς c f ( u,v ) c( u,v ) f ( u,v ) > 0 οπότε (u,v) E f και v S. Άρα f(s,t) c(s,t), και από το Λήµµα 5, f f(s,t) και f c(s,t) όπως χρειάζεται. (3)(1) Από το Λήµµα 6, f c(s,t) για κάθε τοµή (S,T). Aν ισχύει f c(s,t) προφανώς η f είναι µια µέγιστη ροή πάνω στο δίκτυο. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-23

24 Γενική Μεθοδολογία Ford-Fulkerson for all (u,v) E f(u,v)0; f(v,u)0, while there exists path p in G f c c f (p); for all (u,v) p f(u,v) f(u,v) + c f(v,u) - f(u,v) ηλαδή: 1. δώσε αρχική τιµή 0 στη ροή f για κάθε ζευγάρι κορυφών. 2. όσο υπάρχει επεκταµένο µονοπάτι p στο δίκτυο, αύξησε τη ροή κατά c f (p) πάνω στο µονοπάτι p. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-2

25 Παράδειγµα ΙΚΤΙΟ ΠΕΡΙΣΣΕΙΑΣ ΡΟΗ s t s t 1 s t s t ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-25

26 Παράδειγµα ΙΚΤΙΟ ΠΕΡΙΣΣΕΙΑΣ ΡΟΗ s t s t s t s t ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-26

27 Παράδειγµα ΙΚΤΙΟ ΠΕΡΙΣΣΕΙΑΣ 12 s t 3 εν υπάρχει άλλο επεκταµένο µονοπάτι. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-27

28 Χρόνος Εκτέλεσης της µεθοδολογίας Έστω ότι όλες οι χωρητικότητες είναι ακέραιοι, οπότε η τιµή της µέγιστης ροής f* είναι ακεραίος. Τότε γίνονται το πολύ f* επαναλήψεις (η ροή αυξάνεται τουλάχιστον κατά 1 σε κάθε επανάληψη) και κάθε επανάληψη απαιτεί χρόνο Θ( E ), υποθέτοντας ότι το επεκταµένο µονοπάτι αύξησης βρίσκεται µε αναζήτηση κατά βάθος ή κατά πλάτος. Άρα ο συνολικός χρόνος εκτέλεσης είναι O(f* E ). Κακός: δεν είναι φραγµένος από συνάρτηση του µεγέθους του δικτύου. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-28

29 Αλγόριθµος Edmonds-Karp Εξιδείκευση της µεθοδολογίας Ford-Fulkerson όπου ένα επεκταµένο µονοπάτι βρίσκεται µε διερεύνηση κατά πλάτος, δηλαδή κάθε φορά επιλέγεται το βραχύτερο µονοπάτι µεταξύ των s και t. Έστω δ(v) δ f (s,v) η απόσταση από τον s στον v στο δένδρο που παράγεται κατά την αναζήτηση κατά πλάτος αρχίζοντας από τον s, στο δίκτυο περίσσειας G f. Κατά την εκτέλεση του αλγόριθµου Edmonds-Karp, κάθε καινούρια επέκταση της ροής οδηγεί σε ανανέωση του δ(v), έτσι έχουµε µια ακολουθία από τιµες δ(v), µια τιµή για κάθε επέκταση ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-29

30 Αλγόριθµος Edmonds-Karp Λήµµα : Η ακολουθία των τιµών δ(v) αυξάνει µονοτονικά κατά την εκτέλεση του αλγόριθµου. Απόδειξη Έστω ροή f η οποία σε κάποια φάση της εκτέλεσης του αλγόριθµου Edmonds- Karp επεκτείνεται στη ροή f. Έστω δ (v) δ f (s,v). Θέλουµε να δείξουµε ότι δ (v) δ(v), για κάθε κόµβο v. Υποθέτουµε, για να φτάσουµε σε αντίφαση ότι δ (v) < δ(v) για κάποιο κόµβο v. Έστω ότι δ (v) είναι το ελάχιστο µεταξύ όλων των δ (v ) για τα οποία δ (v )<δ(v ). Έστω το βραχύτερο µονοπάτι s u v στο δίκτυο περίσσειας G f. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-30

31 Αλγόριθµος Edmonds-Karp To µέρος s u του µονοπατιού s u v πρέπει να αποτελεί βραχύτερο µονοπάτι από τον s στον u. Συνεπώς, δ (v) δ (u) + 1, δηλαδή, δ (u) < δ (v). Aπό υπόθεση θα πρέπει να είναι δ(u) δ (u). Θεωρούµε την ακµή (u,v) E f. Ανήκει στο E f ; Έστω ότι ανήκει, δηλαδή f(u,v)<c(u,v). Tότε δ(v) δ(u) + 1 δ (u) + 1 δ (v) Aντίφαση! ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-31

32 Αλγόριθµος Edmonds-Karp Συνεπώς, (u,v) E f, αλλά (u,v) E f. u v G f G f ' Πρέπει να είναι (v,u) E f. πριν µετά την επέκταση Επίσης πρέπει η (v,u) να ανήκει στο επεκταµένο µονοπάτι p του δικτύου περίσσειας G f (διαφορετικά, δεν θα µπορούσε να επάγει την ακµή (u,v) στο δίκτυο περίσσειας G f ). s v u t Αφού το p είναι µονοπάτι σε δένδρο αναζήτησης κατά πλάτος, δ(v) δ(u) - 1 δ (u) -1 Αντίφαση! δ (v) < δ (v) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-32

33 Χρόνος Εκτέλεσης ΘΕΩΡΗΜΑ Ο αριθµός των επεκτάσεων ροής σε οποιαδήποτε εκτέλεση του αλγόριθµου Edmonds-Karp είναι O( V E ). Απόδειξη Έστω ένα µονοπάτι επέκτασης p, ακµή (u,v) πάνω στο p τέτοια ώστε c f (p) c f (u,v). Λέµε ότι η ακµή (u,v) είναι µια κρίσιµη ακµή. Παρατήρηση: µια κρίσιµη ακµή "εξαφανίζεται" από το δίκτυο περίσσειας µετά από την επέκταση της ροής. Την πρώτη φορά που η ακµή (u,v) γίνεται κρίσιµη, θα πρέπει να ισχύει δ(v) δ(u) + 1 αφού το µονοπάτι p είναι βραχύτερο µονοπάτι. Πως µπορεί η ακµή (u,v) να ξαναγίνει κρίσιµη; ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-33

34 Χρόνος Εκτέλεσης Θα πρέπει να γίνει κρίσιµη εξαιτίας ροής πάνω στην ακµή (v,u) όταν η τελευταία βρεθεί πάνω σε ένα επεκταµένο µονοπάτι. Έστω δ η συνάρτηση απόστασης στο δίκτυο περίσσειας τη στιγµή που η (v,u) βρίσκεται πάνω σε ένα επεκταµένο µονοπάτι. Θα έχουµε δ (u) δ (v) + 1 δ(v) + 1 δ(u) δ(u) + 2 (αφού η (u,v) βρίσκεται πάνω σε ένα βραχύτερο µονοπάτι) Αφού η δ(u) αυξάνεται τουλάχιστον κατά 2 κάθε φορά που η (u,v) γίνεται κρίσιµη, η δ(u) είναι µη αρνητική, µονοτονικά αύξουσα και < V, τότε η ακµή (u,v) µπορεί να γίνει κρίσιµη το πολύ Ο( V ) φορές. ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-3

35 Χρόνος Εκτέλεσης Σε κάθε επέκταση τουλάχιστον µια ακµή γίνεται κρίσιµη και υπάρχουν E ακµές. Συνεπώς, ο αριθµός των επεκτάσεων ροής είναι Ο( V E ). Kάθε επέκταση στοιχίζει επιπλέον Ο( E ) για µια αναζήτηση κατά πλάτος. Συνολικό κόστος: O( V E ²) ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 8-35

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες Κατευθυνόμενο γράφημα Συνάρτηση χωρητικότητας 2 6 20 Ροή δικτύου Συνάρτηση αφετηρίακός κόμβος 0 με τις ακόλουθες ιδιότητες 9 7 τερματικός κόμβος Περιορισμός χωρητικότητας: Αντισυμμετρία: Διατήρηση ροής:

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

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25)

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25) Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25) Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Ο αλγόριθµος των BellmanFord Ο αλγόριθµος του Dijkstra ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 61

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

Θεωρία και Αλγόριθμοι Γράφων

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

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

Γράφοι (συνέχεια) Ο αλγόριθµος Dijkstra για εύρεση βραχυτέρων µονοπατιών Ta µονοπάτια Euler

Γράφοι (συνέχεια) Ο αλγόριθµος Dijkstra για εύρεση βραχυτέρων µονοπατιών Ta µονοπάτια Euler Γράφοι (συνέχεια) Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Ο αλγόριθµος Dijkstra για εύρεση βραχυτέρων µονοπατιών Ta µονοπάτια Euler ΕΠΛ 231 οµές εδοµένων και Αλγόριθµοι Άννα Φιλίππου,

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

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

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

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

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25)

Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 25) Βραχύτερα Μονοπάτια σε Γράφους (CLR, κεφάλαιο 5) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Βραχύτερα Μονοπάτια για όλα τα Ζεύγη Λύση υναµικού Προγραµµατισµού Ο αλγόριθµος των Floyd-Warshal ΕΠΛ 3

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

(CLR, κεφάλαιο 32) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier

(CLR, κεφάλαιο 32) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier Ταχύς Μετασχηµατισµός Fourier CLR, κεφάλαιο 3 Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Παραστάσεις πολυωνύµων Πολυωνυµική Παρεµβολή ιακριτός Μετασχηµατισµός Fourier Ταχύς Μετασχηµατισµός Fourier

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

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

KΕΦΑΛΑΙΟ 1 ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ. { 1,2,3,..., n,... KΕΦΑΛΑΙΟ ΧΡΗΣΙΜΕΣ ΜΑΘΗΜΑΤΙΚΕΣ ΕΝΝΟΙΕΣ Βασικές έννοιες διαιρετότητας Θα συµβολίζουµε µε, τα σύνολα των φυσικών αριθµών και των ακεραίων αντιστοίχως: {,,3,,, } { 0,,,,, } = = ± ± ± Ορισµός Ένας φυσικός αριθµός

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

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

Αλγόριθμοι και Πολυπλοκότητα Αλγόριθμοι και Πολυπλοκότητα Ροή Δικτύου Δημήτρης Μιχαήλ Τμήμα Πληροφορικής και Τηλεματικής Χαροκόπειο Πανεπιστήμιο Μοντελοποίηση Δικτύων Μεταφοράς Τα γραφήματα χρησιμοποιούνται συχνά για την μοντελοποίηση

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

Ελάχιστα Γεννητορικά ένδρα

Ελάχιστα Γεννητορικά ένδρα λάχιστα Γεννητορικά ένδρα Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Ο αλγόριθµος του Prim και ο αλγόριθµος του Kruskal για εύρεση λάχιστων Γεννητορικών ένδρων ΠΛ 23 οµές εδοµένων και Αλγόριθµοι

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

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

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

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

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης.

Παράρτηµα Α. Στοιχεία θεωρίας µέτρου και ολοκλήρωσης. Παράρτηµα Α Στοιχεία θεωρίας µέτρου και ολοκλήρωσης Α Χώροι µέτρου Πέραν της «διαισθητικής» περιγραφής του µέτρου «σχετικά απλών» συνόλων στο από το µήκος τους (όπως πχ είναι τα διαστήµατα, ενώσεις/τοµές

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

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

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

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

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή

1. στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι αβελιανή οµάδα, δηλαδή KΕΦΑΛΑΙΟ ΤΟ ΣΥΝΟΛΟ ΤΩΝ ΠΡΑΓΜΑΤΙΚΩΝ ΑΡΙΘΜΩΝ ιατεταγµένα σώµατα-αξίωµα πληρότητας Ένα σύνολο Σ καλείται διατεταγµένο σώµα όταν στο σύνολο Σ έχει ορισθεί η πράξη της πρόσθεσης ως προς την οποία το Σ είναι

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

Αλγόριθµοι Οπισθοδρόµησης

Αλγόριθµοι Οπισθοδρόµησης Αλγόριθµοι Οπισθοδρόµησης Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Η οπισθοδρόµηση στο σχεδιασµό αλγορίθµων Το πρόβληµα των σταθερών γάµων και ο αλγόριθµος των Gale-Shapley Το πρόβληµα

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

3 Αναδροµή και Επαγωγή

3 Αναδροµή και Επαγωγή 3 Αναδροµή και Επαγωγή Η ιδέα της µαθηµατικής επαγωγής µπορεί να επεκταθεί και σε άλλες δοµές εκτός από το σύνολο των ϕυσικών N. Η ορθότητα της µαθηµατικής επαγωγής ϐασίζεται όπως ϑα δούµε λίγο αργότερα

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

ίκτυα Ταξινόµησης (CLR κεφάλαιο 28)

ίκτυα Ταξινόµησης (CLR κεφάλαιο 28) ίκτυα Ταξινόµησης (CLR κεφάλαιο 28) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: ίκτυα σύγκρισης, δίκτυα ταξινόµησης Αρχή - ιτονική ταξινόµηση ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 2- Μοντέλο στο οποίο

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

Διάλεξη 21: Γράφοι IV - Βραχύτερα Μονοπάτια σε Γράφους

Διάλεξη 21: Γράφοι IV - Βραχύτερα Μονοπάτια σε Γράφους Διάλεξη 2: Γράφοι IV - Βραχύτερα Μονοπάτια σε Γράφους Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: - Βραχύτερα Μονοπάτια σε γράφους - Ο αλγόριθμος Dijkstra για εύρεση της βραχύτερης απόστασης

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

Άπληστοι Αλγόριθµοι (CLR, κεφάλαιο 17)

Άπληστοι Αλγόριθµοι (CLR, κεφάλαιο 17) Άπληστοι Αλγόριθµοι (CLR, κεφάλαιο 17) Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Σχεδιασµός αλγορίθµων µε Άπληστους Αλγόριθµους Στοιχεία άπληστων αλγορίθµων Το πρόβληµα επιλογής εργασιών ΕΠΛ 232

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

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες

Μέγιστη ροή. Κατευθυνόμενο γράφημα. Συνάρτηση χωρητικότητας. αφετηρίακός κόμβος. τερματικός κόμβος. Ροή δικτύου. με τις ακόλουθες ιδιότητες Κατευθυνόμενο γράφημα Συνάρτηση χωρητικότητας 12 16 2 Ροή δικτύου Συνάρτηση αφετηρίακός κόμβος 13 1 με τις ακόλουθες ιδιότητες 4 14 9 7 4 τερματικός κόμβος Περιορισμός χωρητικότητας: Αντισυμμετρία: Διατήρηση

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

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside

ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Burnside ΚΕΦΑΛΑΙΟ 8: Εφαρµογή: Το θεώρηµα του Bursde Θα αποδείξουµε εδώ ότι κάθε οµάδα τάξης a q b (, q πρώτοι) είναι επιλύσιµη. Το θεώρηµα αυτό αποδείχτηκε από τον Bursde το 904 ο οποίος χρησιµοποίησε τη νέα τότε

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

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

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

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

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

11 Το ολοκλήρωµα Riemann Το ολοκλήρωµα Riem Το πρόβληµα υπολογισµού του εµβαδού οποιασδήποτε επιφάνειας ( όπως κυκλικοί τοµείς, δακτύλιοι και δίσκοι, ελλειπτικοί δίσκοι, παραβολικά και υπερβολικά χωρία κτλ) είναι γνωστό από την

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2)

Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Θεωρία Υπολογισμού και Πολυπλοκότητα Κανονικές Γλώσσες (2) Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Κανονικές Εκφράσεις (1.3) Τυπικός Ορισμός Ισοδυναμία με κανονικές γλώσσες Μη Κανονικές

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Ασυμφραστικές Γλώσσες (3)

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

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

ΚΕΦΑΛΑΙΟ 2 ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ

ΚΕΦΑΛΑΙΟ 2 ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ ΚΕΦΑΛΑΙΟ ΜΗ ΓΡΑΜΜΙΚΕΣ ΕΞΙΣΩΣΕΙΣ Η αδυναµία επίλυσης της πλειοψηφίας των µη γραµµικών εξισώσεων µε αναλυτικές µεθόδους, ώθησε στην ανάπτυξη αριθµητικών µεθόδων για την προσεγγιστική επίλυσή τους, π.χ. συν()

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

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών

ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών. ιαφόριση συναρτήσεων πολλών µεταβλητών 54 ΙΙ ιαφορικός Λογισµός πολλών µεταβλητών ιαφόριση συναρτήσεων πολλών µεταβλητών Ένας στέρεος ορισµός της παραγώγισης για συναρτήσεις πολλών µεταβλητών ανάλογος µε τον ορισµό για συναρτήσεις µιας µεταβλητής

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

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας

Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου. Θεωρία Υπολογισμού. Ενότητα 3 : Γραφήματα & Αποδείξεις. Αλέξανδρος Τζάλλας 1 Ελληνική Δημοκρατία Τεχνολογικό Εκπαιδευτικό Ίδρυμα Ηπείρου Θεωρία Υπολογισμού Ενότητα 3 : Γραφήματα & Αποδείξεις Αλέξανδρος Τζάλλας 2 Ανοιχτά Ακαδημαϊκά Μαθήματα στο ΤΕΙ Ηπείρου Τμήμα Μηχανικών Πληροφορικής

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

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4 ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθος Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://wwwmathuoigr/ abeligia/linearalgebrai/laihtml

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

ΚΕΦΑΛΑΙΟ 6 ΕΛΑΧΙΣΤΑ ΤΕΤΡΑΓΩΝΑ

ΚΕΦΑΛΑΙΟ 6 ΕΛΑΧΙΣΤΑ ΤΕΤΡΑΓΩΝΑ ΚΕΦΑΛΑΙΟ 6 ΕΛΑΧΙΣΤΑ ΤΕΤΡΑΓΩΝΑ 6. Βέλτιστες προσεγγίσεις σε ευκλείδειους χώρους Στο κεφάλαιο αυτό θα ασχοληθούµε µε προσεγγίσεις που ελαχιστοποιούν αποστάσεις σε διανυσµατικούς χώρους, µε νόρµα που προέρχεται

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

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a 7 Έστω Το θεώρηµα του Tylor στη µια µεταβλητή Ι ανοικτό διάστηµα Ι και : Ι φορές διαφορίσιµη συνάρτηση στο Ι, (. Γράφουµε, ( = + +... + +,, Ι, όπου!, είναι το υπόλοιπο Tylor ( κέντρου και τάξης και ( Ρ

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

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

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

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

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάµε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων. Αυτές συνδέονται µεταξύ τους µε την έννοια της συνθετικής σειράς

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

Σηµειώσεις στις συναρτήσεις

Σηµειώσεις στις συναρτήσεις Σηµειώσεις στις συναρτήσεις 4 Η έννοια της συνάρτησης Ο όρος «συνάρτηση» χρησιµοποιείται αρκετά συχνά για να δηλώσει ότι ένα µέγεθος, µια κατάσταση κτλ εξαρτάται από κάτι άλλο Και στα µαθηµατικά ο όρος

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

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα

Γενικό πλάνο. Μαθηµατικά για Πληροφορική. Παράδειγµα αναδροµικού ορισµού. οµική επαγωγή ΠΑΡΑ ΕΙΓΜΑ. 3ο Μάθηµα Γενικό πλάνο Μαθηµατικά για Πληροφορική 3ο Μάθηµα Ηλίας Κουτσουπιάς, Γιάννης Εµίρης Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών 14/10/2008 1 Παράδειγµα δοµικής επαγωγής 2 Ορισµός δοµικής

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

ΕΠΛ 231 Δοµές Δεδοµένων και Αλγόριθµοι 11-1

ΕΠΛ 231 Δοµές Δεδοµένων και Αλγόριθµοι 11-1 Γράφοι Στην ενότητα αυτή θα µελετηθούν τα εξής επιµέρους θέµατα: Γράφοι - ορισµοί και υλοποίηση Διάσχιση Γράφων Τοπολογική Ταξινόµηση ΕΠΛ 23 Δοµές Δεδοµένων και Αλγόριθµοι - Γράφοι Η πιο γενική µορφή δοµής

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

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα. 4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι )

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

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA

Αριθµοθεωρητικοί Αλγόριθµοι και το. To Κρυπτοσύστηµα RSA Αριθµοθεωρητικοί Αλγόριθµοι και το Κρυπτοσύστηµα RSA Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Υπολογισµός Μέγιστου Κοινού ιαιρέτη Αλγόριθµος του Ευκλείδη Κλάσεις Ισοδυναµίας και Αριθµητική modulo

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

ΚΕΦΑΛΑΙΟ 3 ΠΑΡΑΓΩΓΟΣ ΣΥΝΑΡΤΗΣΕΩΝ

ΚΕΦΑΛΑΙΟ 3 ΠΑΡΑΓΩΓΟΣ ΣΥΝΑΡΤΗΣΕΩΝ ΚΕΦΑΛΑΙΟ 3 ΠΑΡΑΓΩΓΟΣ ΣΥΝΑΡΤΗΣΕΩΝ 31 Ορισµοί Ορισµός 311 Εστω f : A f( A), A, f( A) και έστω 0 Α είναι σηµείο συσσώρευσης του συνόλου Α Θα λέµε ότι η f είναι παραγωγίσιµη στο σηµείο 0 εάν υπάρχει λ : Ισοδύναµα:

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

ProapaitoÔmenec gn seic.

ProapaitoÔmenec gn seic. ProapaitoÔmeec g seic. Α. Το σύνολο των πραγματικών αριθμών R και οι αλγεβρικές ιδιότητες των τεσσάρων πράξεων στο R. Το σύνολο των φυσικών αριθμών N = {1,, 3,... }. Προσέξτε: μερικά βιβλία (τα βιβλία

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

Εισαγωγή στην Τοπολογία

Εισαγωγή στην Τοπολογία Ενότητα: Συνεκτικότητα Γεώργιος Κουµουλλής Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε

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

Κεφάλαιο 2 ΣΥΝΑΡΤΗΣΕΙΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ. 2.1 Συνάρτηση

Κεφάλαιο 2 ΣΥΝΑΡΤΗΣΕΙΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ. 2.1 Συνάρτηση Κεφάλαιο 2 ΣΥΝΑΡΤΗΣΕΙΣ ΜΙΑΣ ΜΕΤΑΒΛΗΤΗΣ 2.1 Συνάρτηση Η έννοια της συνάρτησης είναι ϐασική σ όλους τους κλάδους των µαθη- µατικών, αλλά και πολλών άλλων επιστηµών. Ο λόγος είναι, ότι µορφοποιεί τη σχέση

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

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β)

Κεφάλαιο 3β. Ελεύθερα Πρότυπα (µέρος β) Κεφάλαιο 3β Ελεύθερα Πρότυπα (µέρος β) Ο σκοπός µας εδώ είναι να αποδείξουµε το εξής σηµαντικό αποτέλεσµα. 3.3.6 Θεώρηµα Έστω R µια περιοχή κυρίων ιδεωδών, F ένα ελεύθερο R-πρότυπο τάξης s < και N F. Τότε

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

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα

Κεφάλαιο 1. Εισαγωγικές Εννοιες. 1.1 Σύνολα Κεφάλαιο 1 Εισαγωγικές Εννοιες Σ αυτό το κεφάλαιο ϑα αναφερθούµε συνοπτικά σε ϐασικές έννοιες για σύνολα και απεικονίσεις. Επιπλέον, ϑα αναφερθούµε στη µέθοδο της επαγωγής, η οποία αποτελεί µία από τις

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

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η

( ) Κλίση και επιφάνειες στάθµης µιας συνάρτησης. x + y + z = κ ορίζει την επιφάνεια µιας σφαίρας κέντρου ( ) κ > τότε η Έστω Κλίση και επιφάνειες στάθµης µιας συνάρτησης ανοικτό και σταθερά ( µε κ f ( ) ορίζει µια επιφάνεια S στον f : ) τότε η εξίσωση, ονοµάζεται συνήθως επιφάνεια στάθµης της f. εξίσωση, C συνάρτηση. Αν

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

ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 2-1

ΕΠΛ 232 Αλγόριθµοι και Πολυπλοκότητα 2-1 ιαίρει και Βασίλευε Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Η Μέθοδος Σχεδιασµού Αλγορίθµων ιαίρει και Βασίλευε Επίλυση Αναδροµικών Εξισώσεων ΕΠΛ 3 Αλγόριθµοι και Πολυπλοκότητα - ιαίρει και Βασίλευε

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

{ } S= M(x, y,z) : x= f (u,v), y= f (u,v), z= f (u,v), για u,v (1.1)

{ } S= M(x, y,z) : x= f (u,v), y= f (u,v), z= f (u,v), για u,v (1.1) ΚΕΦΑΛΑΙΟ 1 ΕΠΙΦΑΝΕΙΕΣ ΕΥΤΕΡΟΥ ΒΑΘΜΟΥ 1. Γενικά Επειδή οι επιφάνειες δευτέρου βαθµού συναντώνται συχνά στη µελέτη των συναρτήσεων πολλών µεταβλητών θεωρούµε σκόπιµο να τις περιγράψουµε στην αρχή του βιβλίου

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

Διαίρει και Βασίλευε. πρόβλημα μεγέθους Ν. διάσπαση. πρόβλημα μεγέθους k. πρόβλημα μεγέθους Ν-k

Διαίρει και Βασίλευε. πρόβλημα μεγέθους Ν. διάσπαση. πρόβλημα μεγέθους k. πρόβλημα μεγέθους Ν-k Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση πρόβλημα μεγέθους k πρόβλημα μεγέθους Ν-k Διαίρει και Βασίλευε πρόβλημα μεγέθους Ν διάσπαση επιλύουμε αναδρομικά τα υποπροβλήματα πρόβλημα μεγέθους k πρόβλημα

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

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

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

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

4.4 Το πρόβλημα του ελάχιστου ζευγνύοντος δένδρου

4.4 Το πρόβλημα του ελάχιστου ζευγνύοντος δένδρου . Το πρόβλημα του ελάχιστου ζευγνύοντος δένδρου Σ αυτή την παράγραφο θα εξεταστεί μια παραλλαγή του προβλήματος της συντομότερης διαδρομής, το πρόβλημα του ελάχιστου ζευγνύοντος δένδρου. Σ αυτό το πρόβλημα

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

KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR

KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR KΕΦΑΛΑΙΟ 6 ΥΝΑΜΟΣΕΙΡΕΣ-ΣΕΙΡΕΣ TAYLOR 6 Ορισµοί Ορισµός 6 Εστω α είναι µία πραγµατική ακολουθία και είναι πραγµατικοί αριθµοί Ένα άπειρο πολυώνυµο της µορφής: a ( ) () = καλείται δυναµοσειρά µε κέντρο το

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

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

HY118- ιακριτά Μαθηµατικά. Θεωρία γράφων / γραφήµατα. Τι είναι οι γράφοι; Εφαρµογές των γράφων. 22 - Γράφοι HY118- ιακριτά Μαθηµατικά Θεωρία γράφων / γραφήµατα Τρίτη, 19/05/2015 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr 5/21/2015 1 1 5/21/2015 2 2 Τι είναι οι γράφοι; Mία ειδική κλάση διακριτών δοµών (που

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

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

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

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

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012 ιδασκοντες: Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 1 Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/algebraicstructuresi/asi.html Τετάρτη 10 Οκτωβρίου 2012 Ασκηση 1.

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

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι Είδαµε στο κύριο θεώρηµα του προηγούµενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισµα απλών προτύπων. Εδώ θα χαρακτηρίσουµε όλους

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

Kεφάλαιο 4. Συστήµατα διαφορικών εξισώσεων

Kεφάλαιο 4. Συστήµατα διαφορικών εξισώσεων 4 Εισαγωγή Kεφάλαιο 4 Συστήµατα διαφορικών εξισώσεων Εστω διανυσµατικό πεδίο F: : F=F( r), όπου r = ( x, ) και Fr είναι η ταχύτητα στο σηµείο r πχ ενός ρευστού στο επίπεδο Εστω ότι ψάχνουµε τις τροχιές

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

Ορισµός. (neighboring) καταστάσεων. ηλαδή στην περίπτωση αλυσίδας Markov. 1.2 ιαµόρφωση µοντέλου

Ορισµός. (neighboring) καταστάσεων. ηλαδή στην περίπτωση αλυσίδας Markov. 1.2 ιαµόρφωση µοντέλου 200-04-25. ιαδικασίες γεννήσεων-θανάτων. Ορισµός Οι διαδικασίες γεννήσεων-θανάτων (birth-death rocesses) αποτελούν µια σπουδαία κλάση αλυσίδων Markov (διακριτού ή συνεχούς χρόνου). Η ιδιαίτερη συνθήκη

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

ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. nn n n

ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ. nn n n ΚΕΦΑΛΑΙΟ 3 ΑΡΙΘΜΗΤΙΚΗ ΕΠΙΛΥΣΗ ΓΡΑΜΜΙΚΩΝ ΣΥΣΤΗΜΑΤΩΝ 3 Ο αλγόριθµος Gauss Eστω =,3,, µε τον όρο γραµµικά συστήµατα, εννοούµε συστήµατα εξισώσεων µε αγνώστους της µορφής: a x + + a x = b a x + + a x = b a

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

Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα:

Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: υναµικός Προγραµµατισµός Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Σχεδιασµός αλγορίθµων µε υναµικό Προγραµµατισµό Το πρόβληµα του πολλαπλασιασµού πινάκων ΕΠΛ 3 Αλγόριθµοι και Πολυπλοκότητα 3- υναµικός

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

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

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

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

Κεφάλαιο 6 Παράγωγος

Κεφάλαιο 6 Παράγωγος Σελίδα από 5 Κεφάλαιο 6 Παράγωγος Στο κεφάλαιο αυτό στόχος µας είναι να συνδέσουµε µία συγκεκριµένη συνάρτηση f ( ) µε µία δεύτερη συνάρτηση f ( ), την οποία και θα ονοµάζουµε παράγωγο της f. Η τιµή της

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

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β.

Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Η έννοια της ακολουθίας Ξέρουμε ότι: Συνάρτηση-απεικόνιση με πεδίο ορισμού ένα σύνολο Α και πεδίο τιμών ένα σύνολο Β είναι κάθε μονοσήμαντη απεικόνιση f του Α στο Β. Δηλαδή: f : A B Η ακολουθία είναι συνάρτηση.

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

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

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

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

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

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

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

ΕΠΛ 232: Αλγόριθµοι και Πολυπλοκότητα. Κατ οίκον Εργασία 1 Σκελετοί Λύσεων

ΕΠΛ 232: Αλγόριθµοι και Πολυπλοκότητα. Κατ οίκον Εργασία 1 Σκελετοί Λύσεων ΕΠΛ 22: Αλγόριθµοι και Πολυπλοκότητα Κατ οίκον Εργασία Σκελετοί Λύσεων. (α) Έστω δροµολόγηση e, e 2,, e των εργασιών, 2,,. Τότε οι χρόνοι συµπλήρωσης των εργασιών είναι e d e e 2 d e + d e 2 e d e + d

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

Τ.Ε.Ι. Πελοπόννησου. Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ. Δίκτυα και Δρομολόγηση Πακέτων

Τ.Ε.Ι. Πελοπόννησου. Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ. Δίκτυα και Δρομολόγηση Πακέτων Τ.Ε.Ι. Πελοπόννησου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής Τ.Ε. ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ Δίκτυα και Δρομολόγηση Πακέτων Νικολέττα Δελλατόλα (Α.Μ.: 2005161) Επιβλέπων καθηγητής: Γρηγόριος Καραγιώργος

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

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C

Τα παρακάτω σύνολα θα τα θεωρήσουμε γενικά γνωστά, αν και θα δούμε πολλές από τις ιδιότητές τους: N Z Q R C Κεφάλαιο 1 Εισαγωγικές έννοιες Στο κεφάλαιο αυτό θα αναφερθούμε σε ορισμένες έννοιες, οι οποίες ίσως δεν έχουν άμεση σχέση με τους διανυσματικούς χώρους, όμως θα χρησιμοποιηθούν αρκετά κατά τη μελέτη τόσο

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

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο 2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ Ασκησεις - Φυλλαδιο ιδασκοντες: Ν. Μαρµαρίδης - Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/numbertheory/nt014/nt014.html https://sites.google.com/site/maths4edu/home/14

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

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών

Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι Ενότητα: Πράξεις επί Συνόλων και Σώµατα Αριθµών Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης Τμήμα: Μαθηματικών Κεφάλαιο 1 Εισαγωγη : Πραξεις επι Συνολων και Σωµατα Αριθµων

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

1 Ορισµός ακολουθίας πραγµατικών αριθµών

1 Ορισµός ακολουθίας πραγµατικών αριθµών ΜΑΣ 02. Απειροστικός Λογισµός Ι Ορισµός ακολουθίας πραγµατικών αριθµών Ορισµός.. Ονοµάζουµε ακολουθία πραγµατικών αριθµών κάθε απεικόνιση του συνόλου N των ϕυσικών αριθµών, στο σύνολο R των πραγµατικών

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

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τίτλος Μαθήματος: Γραμμική Άλγεβρα ΙΙ Ενότητα: Σταθµητοί Χώροι και Ευκλείδειοι Χώροι Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης Τμήμα: Μαθηματικών 59 Μέρος 2. Ευκλείδειοι

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

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

x 2 = x 2 1 + x 2 2. x 2 = u 2 + x 2 3 Χρησιµοποιώντας το συµβολισµό του ανάστροφου, αυτό γράφεται x 2 = x T x. = x T x. Κεφάλαιο 4 Μήκη και ορθές γωνίες Μήκος διανύσµατος Στο επίπεδο, R 2, ϐρίσκουµε το µήκος ενός διανύσµατος x = (x 1, x 2 ) χρησιµοποιώντας το Πυθαγόρειο ϑεώρηµα : x 2 = x 2 1 + x 2 2. Στο χώρο R 3, εφαρµόζουµε

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

ΜΑΘΗΜΑΤΙΚΑ Γ ΤΑΞΗΣ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ 2003

ΜΑΘΗΜΑΤΙΚΑ Γ ΤΑΞΗΣ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ 2003 ΜΑΘΗΜΑΤΙΚΑ Γ ΤΑΞΗΣ ΘΕΤΙΚΗΣ ΚΑΙ ΤΕΧΝΟΛΟΓΙΚΗΣ ΚΑΤΕΥΘΥΝΣΗΣ ΕΝΙΑΙΟΥ ΛΥΚΕΙΟΥ ΘΕΜΑ o A. Να αποδείξετε ότι, αν µία συνάρτηση f είναι παραγωγίσιµη σ ένα σηµείο x, τότε είναι και συνεχής στο σηµείο αυτό. Β. Τι

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

β) Αν κάποιος αριθµός α επαληθεύει την παραπάνω ανίσωση, να αποδείξετε ότι 1 1 1 9 < α

β) Αν κάποιος αριθµός α επαληθεύει την παραπάνω ανίσωση, να αποδείξετε ότι 1 1 1 9 < α ΤΡΑΠΕΖΑ ΘΕΜΑΤΩΝ, ΑΝΙΣΩΣΕΙΣ 1. α) Να λύσετε τις ανισώσεις: x 5 3 και x x 1 0. β) Να βρείτε τις κοινές λύσεις των ανισώσεων του ερωτήµατος (α). x 1. ίνονται οι ανισώσεις: 3x 1

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

Κατ οίκον Εργασία 2 Σκελετοί Λύσεων

Κατ οίκον Εργασία 2 Σκελετοί Λύσεων Κατ οίκον Εργασία 2 Σκελετοί Λύσεων 1. Ο αλγόριθµος κτίζει όλες τις δυνατές αναθέσεις εργασιών στους φοιτητές (υπάρχουν n! διαφορετικές αναθέσεις) και επιστρέφει εκείνη µε το µέγιστο βαθµό καταλληλότητας.

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

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα Στο κεφάλαιο αυτό εισάγουµε την έννοια του τανυστικού γινοµένου προτύπων. Θα είµαστε συνοπτικοί καθώς αναπτύσσουµε µόνο εκείνες τις στοιχειώδεις προτάσεις που θα βρουν εφαρµογές

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

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

Το θεώρηµα πεπλεγµένων συναρτήσεων 57 Το θεώρηµα πεπλεγµένων συναρτήσεων Έστω F : D R R µια ( τουλάχιστον ) C συνάρτηση ορισµένη στο ανοικτό D x, y D F x, y = Ενδιαφερόµαστε για την ύπαρξη µοναδικής και ώστε διαφορίσιµης συνάρτησης f ορισµένης

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

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

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

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

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

ΙΑΝΥΣΜΑΤΑ ΘΕΩΡΙΑ ΘΕΜΑΤΑ ΘΕΩΡΙΑΣ. Τι ονοµάζουµε διάνυσµα; αλφάβητου επιγραµµισµένα µε βέλος. για παράδειγµα, Τι ονοµάζουµε µέτρο διανύσµατος; ΙΝΥΣΜΤ ΘΕΩΡΙ ΘΕΜΤ ΘΕΩΡΙΣ Τι ονοµάζουµε διάνυσµα; AB A (αρχή) B (πέρας) Στη Γεωµετρία το διάνυσµα ορίζεται ως ένα προσανατολισµένο ευθύγραµµο τµήµα, δηλαδή ως ένα ευθύγραµµο τµήµα του οποίου τα άκρα θεωρούνται

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

Ταιριάσματα. Γράφημα. Ταίριασμα (matching) τέτοιο ώστε κάθε κορυφή να εμφανίζεται σε το πολύ μια ακμή του

Ταιριάσματα. Γράφημα. Ταίριασμα (matching) τέτοιο ώστε κάθε κορυφή να εμφανίζεται σε το πολύ μια ακμή του Ταιριάσματα Γράφημα Ταίριασμα (matching) Σύνολο ακμών τέτοιο ώστε κάθε κορυφή να εμφανίζεται σε το πολύ μια ακμή του Θέλουμε να βρούμε ένα μέγιστο ταίριασμα (δηλαδή με μέγιστο αριθμό ακμών) Ταιριάσματα

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

Ανοικτά και κλειστά σύνολα

Ανοικτά και κλειστά σύνολα 5 Ανοικτά και κλειστά σύνολα Στην παράγραφο αυτή αναπτύσσεται ο µηχανισµός που θα µας επιτρέψει να µελετήσουµε τις αναλυτικές ιδιότητες των συναρτήσεων πολλών µεταβλητών. Θα χρειαστούµε τις έννοιες της

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

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις

Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις ΚΕΦΑΛΑΙΟ 2 Μετασχηµατισµοί Laplace, Αναλογικά Συστήµατα, ιαφορικές Εξισώσεις 2.1 ΕΙΣΑΓΩΓΗ Όπως έχουµε δει, για να προσδιορίσουµε τις αποκρίσεις ενός κυκλώµατος, πρέπει να λύσουµε ένα σύνολο διαφορικών

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

ΚΕΦΑΛΑΙΟ 5 ΠΑΡΕΜΒΟΛΗ. Εστω f πραγµατική συνάρτηση, της οποίας είναι γνωστές µόνον οι τιµές f(x i ) σε n+1 σηµεία xi

ΚΕΦΑΛΑΙΟ 5 ΠΑΡΕΜΒΟΛΗ. Εστω f πραγµατική συνάρτηση, της οποίας είναι γνωστές µόνον οι τιµές f(x i ) σε n+1 σηµεία xi ΚΕΦΑΛΑΙΟ 5 ΠΑΡΕΜΒΟΛΗ 5 Πολυωνυµική παρεµβολή Εστω f πραγµατική συνάρτηση της οποίας είναι γνωστές µόνον οι τιµές f(x ) σε + σηµεία x = του πεδίου ορισµού της Το πρόβληµα εύρεσης µιας συνάρτησης φ (από

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

Ανάλυση αλγορίθμων. Χρόνος εκτέλεσης: Αναμενόμενη περίπτωση. - απαιτεί γνώση της κατανομής εισόδου

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

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

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

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

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

ΚΕΦΑΛΑΙΟ 1 EΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ

ΚΕΦΑΛΑΙΟ 1 EΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ ιανύσµατα ΚΕΦΑΛΑΙΟ EΥΘΕΙΕΣ ΚΑΙ ΕΠΙΠΕ Α ΣΤΟ ΧΩΡΟ Kαλούµε διάνυσµα AB ένα προσανατολισµένο ευθύγραµµο τµήµα µε άκρα τα Α και Β Το σηµείο Α καλείται σηµείο εφαρµογής του διανύσµατος AB, ενώ το σηµείο Β καλείται

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

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

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

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

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

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

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

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange 64 Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrage Ας υποθέσουµε ότι ένας δεδοµένος χώρος θερµαίνεται και η θερµοκρασία στο σηµείο,, Τ, y, z Ας υποθέσουµε ότι ( y z ) αυτού του χώρου δίδεται από

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

Οι πραγµατικοί αριθµοί

Οι πραγµατικοί αριθµοί Οι πραγµατικοί αριθµοί Προλεγόµενα Η ανάγκη απαρίθµησης αντικειµένων, οδήγησε στην εισαγωγή του συνόλου των φυσικών αριθµών Η ανάγκη µέτρησης µεγεθών, οδήγησε στην εισαγωγή του συνόλου των ρητών αριθµών

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

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

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

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

5.1 Ιδιοτιµές και Ιδιοδιανύσµατα

5.1 Ιδιοτιµές και Ιδιοδιανύσµατα Κεφάλαιο 5 Ιδιοτιµές και Ιδιοδιανύσµατα 5 Ιδιοτιµές και Ιδιοδιανύσµατα Αν ο A είναι ένας n n πίνακας και το x είναι ένα διάνυσµα στον R n, τότε το Ax είναι και αυτό ένα διάνυσµα στον R n Συνήθως δεν υπάρχει

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

3. ΠΑΡΑΜΕΤΡΟΙ ΚΑΤΑΝΟΜΩΝ

3. ΠΑΡΑΜΕΤΡΟΙ ΚΑΤΑΝΟΜΩΝ 20 3. ΠΑΡΑΜΕΤΡΟΙ ΚΑΤΑΝΟΜΩΝ ΟΡΙΣΜΟΣ ΤΗΣ ΜΕΣΗΣ ΤΙΜΗΣ Μια πολύ σηµαντική έννοια στη θεωρία πιθανοτήτων και τη στατιστική είναι η έννοια της µαθηµατικής ελπίδας ή αναµενόµενης τιµής ή µέσης τιµής µιας τυχαίας

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

Mathematics and its Applications, 5th

Mathematics and its Applications, 5th Μαθηµατικα για Πληροφορικη Εφαρµογες και τεχνικες Ηλιας Κουτσουπιάς Τµήµα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήµιο Αθηνών Σχετικα µε το µαθηµα Σχετικα µε το µαθηµα Το µαθηµα πραγµατευεται καποια ϑεµατα

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

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι

ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ. Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Ασκήσεις και Θέµατα στη Μαθηµατική Ανάλυση Ι Γιάννης Σαραντόπουλος Αθήνα 7 Οκτωβρίου 5 Περιεχόµενα Συµβολισµός

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

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

Αλγόριθµοι και Πολυπλοκότητα Αλγόριθµοι και Πολυπλοκότητα Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Πρόβληµα, Στιγµιότυπο, Αλγόριθµος Εργαλεία εκτίµησης πολυπλοκότητας: οι τάξεις Ο(n), Ω(n), Θ(n) Ανάλυση Πολυπλοκότητας Αλγορίθµων

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

ΕΠΙΤΡΟΠΗ ΙΑΓΩΝΙΣΜΩΝ 66 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΕΥΚΛΕΙ ΗΣ ΣΑΒΒΑΤΟ, 21 ΙΑΝΟΥΑΡΙΟΥ 2006

ΕΠΙΤΡΟΠΗ ΙΑΓΩΝΙΣΜΩΝ 66 ος ΠΑΝΕΛΛΗΝΙΟΣ ΜΑΘΗΤΙΚΟΣ ΙΑΓΩΝΙΣΜΟΣ ΣΤΑ ΜΑΘΗΜΑΤΙΚΑ Ο ΕΥΚΛΕΙ ΗΣ ΣΑΒΒΑΤΟ, 21 ΙΑΝΟΥΑΡΙΟΥ 2006 Ο ΗΓΙΕΣ ΠΡΟΣ ΤΟΥΣ ΠΡΟΕ ΡΟΥΣ ΤΩΝ ΤΟΠΙΚΩΝ ΝΟΜΑΡΧΙΑΚΩΝ ΕΠΙΤΡΟΠΩΝ, ΠΡΟΕ ΡΟΥΣ ΕΞΕΤΑΣΤΙΚΩΝ ΚΕΝΤΡΩΝ ΚΑΙ ΕΠΙΤΗΡΗΤΕΣ 1. Παρακαλούµε να διαβάσετε προσεκτικά τις οδηγίες στους µαθητές.. Οι επιτηρητές των αιθουσών

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

Άλγεβρες ιεργασιών και Τροπικές Λογικές

Άλγεβρες ιεργασιών και Τροπικές Λογικές Άλγεβρες ιεργασιών και Τροπικές Λογικές Στην ενότητα αυτή θα µελετηθούν τα εξής θέµατα: Οι λογικές HML και WHML Ο λογικός χαρακτηρισµός των ~ και Η λογική CTL- ΕΠΛ 664 Ανάλυση και Επαλήθευση Συστηµάτων

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

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

Θεωρία Υπολογισμού και Πολυπλοκότητα Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 1. Μαθηματικό Υπόβαθρο 23, 26 Ιανουαρίου 2007 Δρ. Παπαδοπούλου Βίκη 1 1.1. Σύνολα Ορισμός : Σύνολο μια συλλογή από αντικείμενα Στοιχεία: Μέλη συνόλου Τα στοιχεία

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

Να εξετασθεί αν είναι 1-1 οι συναρτήσεις α) f(x)=4x-1 β) g(x)= γ.

Να εξετασθεί αν είναι 1-1 οι συναρτήσεις α) f(x)=4x-1 β) g(x)= γ. Ορισμός Μία συνάρτηση f : Α-->R είναι ένα προς ένα (1-1) όταν Για κάθε A με τοτε ή ισοδύναμα για κάθε A με τότε Ο παραπάνω ορισμός μας λέει ότι διαφορετικα x έχουν διαφορετικές εικόνες (διαφορετικα y)

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