771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

Σχετικά έγγραφα
771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

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

2 n N: 0, 1,..., n A n + 1 A

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

Θεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος

Θεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

Θεωρία Υπολογισμού. Ενότητα 5 : Λογικά Επιχειρήματα, Αλφάβητα & Γλώσσες (2/2) Αλέξανδρος Τζάλλας

Θεωρία Υπολογισμού Αλφάβητα, Γλώσσες, Κανονικές Εκφράσεις

Ποιές οι θεµελιώδεις δυνατότητες και ποιοί οι εγγενείς περιορισµοί των υπολογιστών ; Τί µπορούµε και τί δε µπορούµε να υπολογίσουµε (και γιατί);

Στοιχεία Θεωρίας Υπολογισµού (1): Τυπικές Γλώσσες, Γραµµατικές

a. a + b = 3. b. a διαιρεί τ ο b. c. a - b = 0. d. ΜΚΔ(a, b) = 1. e. ΕΚΠ(a, b) = 6.

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

Κανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα

Περιεχόμενα Συμβολοσειρές Γλώσσες ΘΥ 6: Συμβολοσειρές & γλώσσες Επ. Καθ. Π. Κατσαρός 24/07/2014 Επ. Καθ. Π. Κατσαρός ΘΥ 6: Συμβολοσειρές & γλώσσες

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

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

ΘΕΩΡΙΑ ΥΠΟΛΟΓΙΣΜΩΝ ΚΑΙ ΑΥΤΟΜΑΤΩΝ

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

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

Γνωριµία. ιακριτά Μαθηµατικά. Βιβλία Μαθήµατος. Επικοινωνία. ιδάσκων: Ορέστης Τελέλης. Ωρες γραφείου (502, Γρ.

ιακριτά Μαθηµατικά Ορέστης Τελέλης Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 1 / 36

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

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

Θεωρητικά Θέµατα. Ι. Θεωρία Οµάδων. x R y ή x R y ή x y(r) [x] R = { y X y R x } X. Μέρος Σχέσεις Ισοδυναµίας, ιαµερίσεις, και Πράξεις

Μαθηματική Ανάλυση Ι

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

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 07/04/2016

Φροντιστήριο #4 Λυμένες Ασκήσεις σε Σχέσεις 30/03/2017

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

HY118- ιακριτά Μαθηµατικά

Μερικές διατάξεις. HY118- ιακριτά Μαθηµατικά. Μερικές διατάξεις, παράδειγµα. ιαγράµµατα Hasse: Αναπαράσταση σχέσεων µερικής διάταξης

Μεταγλωττιστές. Ενότητα 2: Τυπικές γλώσσες (Μέρος 1 ο ) Αγγελική Σγώρα Τμήμα Μηχανικών Πληροφορικής ΤΕ

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών 6

Σύνοψη Προηγούµενου. Κανονικές Γλώσσες (1) Προβλήµατα και Γλώσσες. Σε αυτό το µάθηµα. ιαδικαστικά του Μαθήµατος.

HY118- ιακριτά Μαθηµατικά

Αυτόματα. Παράδειγμα: πωλητής καφέ (iii) Παράδειγμα: πωλητής καφέ (iv) Εισαγωγή στην Επιστήμη των Υπολογιστών. Προδιαγραφές

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

ΛΥΣΕΙΣ ΦΥΛΛΑΔΙΟΥ 3/ΣΕΜΦΕ/ y x= ( ) ( ) .( ) , τότε

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

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

Φροντιστήριο #5 Ασκήσεις σε Συναρτήσεις Αρχή του Περιστερώνα 23/04/2015

f(t) = (1 t)a + tb. f(n) =

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

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

ΑΛΕΞΑΝΔΡΑ ΠΟΥΛΟΠΟΥΛΟΥ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΤΟΥ SUDOKU

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

ΗΥ118: Διακριτά Μαθηματικά Εαρινό εξάμηνο 2016 Λύσεις ασκήσεων προόδου

HY118- ιακριτά Μαθηµατικά

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

Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α.

Ανω Φράγµα στην Τάξη των Συναρτήσεων. Ρυθµός Αύξησης (Τάξη) των Συναρτήσεων. Παράδειγµα (1/2) O( g(n) ) είναι σύνολο συναρτήσεων:

Μεταγλωττιστές. Γιώργος Δημητρίου. Μάθημα 2 ο. Πανεπιστήμιο Θεσσαλίας - Τμήμα Ηλεκτρολόγων Μηχανικών & Μηχανικών Υπολογιστών

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

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

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

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

Σχεδίαση Γλωσσών Προγραμματισμού Λεξική Ανάλυση Ι. Εαρινό Εξάμηνο Lec 05 & & 26 /02/2019 Διδάσκων: Γεώργιος Χρ.

Σύνολα, Σχέσεις, Συναρτήσεις

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

P(n, r) = n! P(n, r) = n r. (n r)! n r. n+r 1 r n!

Γλώσσες που περιγράφονται από Κανονικές Εκφράσεις

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

Γενικές Παρατηρήσεις. Μη Κανονικές Γλώσσες - Χωρίς Συµφραζόµενα (1) Το Λήµµα της Αντλησης. Χρήση του Λήµµατος Αντλησης.

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

, για κάθε n N. και P είναι αριθμήσιμα.

ΠΡΟΓΡΑΜΜΑΤΙΣΜΟΣ ΥΠΟΛΟΓΙΣΜΟΣ Εντολές επιλογής και αποφάσεων 1 ο Φύλλο Εργασιών Εισαγωγικές ασκήσεις για την εντολή if ΑΠΑΝΤΗΣΕΙΣ

ιµελής σχέση HY118- ιακριτά Μαθηµατικά n-µελείς σχέσεις Σχέσεις 13 - Σχέσεις

β) 3 n < n!, n > 6 i i! = (n + 1)! 1, n 1 i=1

Τι είναι σύνολο; Ο ορισμός αυτός είναι σύμφωνος με τη διαισθητική μας κατανόηση για το τι είναι σύνολο

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

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

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

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

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

Δρ. Βασίλειος Γ. Καμπουρλάζος Δρ. Ανέστης Γ. Χατζημιχαηλίδης

HY118- ιακριτά Μαθηµατικά. Σχέσεις. Την προηγούµενη φορά. Αντισυµµετρικότητα. 13 Σχέσεις

Ισοδυναµίες, Μερικές ιατάξεις

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

ΗΥ118: Διακριτά Μαθηματικά - Εαρινό Εξάμηνο 2016 Τελική Εξέταση Ιουνίου - Τετάρτη, 15/06/2016 Λύσεις Θεμάτων

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων

771 Η - Θεωρία Υπολογισμών και Αλγορίθμων

Ι. ΠΡΑΞΕΙΣ. Ορισµός 2 A. ΕΣΩΤΕΡΙΚΗ ΠΡΑΞΗ. Έστω E ένα µη κενό σύνολο. Κάθε απεικόνιση f: E x E E λέγεται εσωτερική πράξη επί του E.

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

Θέματα Μεταγλωττιστών

Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ

2 η Θεµατική Ενότητα : Άλγεβρα Boole και Λογικές Πύλες. Επιµέλεια διαφανειών: Χρ. Καβουσιανός

ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 5: Κανονικές Εκφράσεις

f : G G G = 7 12 = 5 / N. x 2 +1 (x y) z = (x+y+xy) z = x+y+xy+z+(x+y+xy)z = x+y+z+xy+yz+xz+xyz.

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

Δοµές Δεδοµένων και Αλγόριθµοι - Εισαγωγή

Σχέση Μερικής ιάταξης Σχέση Μερικής ιάταξης (ή µερική διάταξη): ανακλαστική, αντισυµµετρική, και µεταβατική. Αριθµοί: α β (αλλά όχι α < β), α β, Σύνολ

Σχέσεις, Ιδιότητες, Κλειστότητες

Α Δ Ι Θ Θ Α Ε Ι Μ :

x < A y f(x) < B f(y).

Transcript:

771 Η - Θεωρία Υπολογισµών και Αλγορίθµων Σηµειώσεις Μέρος 1 ο ιδάσκων:

Το παρόν αποτελεί σηµειώσεις που αντιστοιχούν σε µέρος των διαλέξεων για το µάθηµα 771 Η - Θεωρία Υπολογισµών και Αλγορίθµων του Τµήµατος Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών του Αριστοτέλειου Πανεπιστήµιου Θεσσαλονίκης. Το υλικό των διαλέξεων και των σηµειώσεων στηρίζεται σε µεγάλο βαθµό στην ύλη του βιβλίου: Harry R. Lewis and Christos H. Papadimitriou, Elements of the Theory of Computation, 2nd edition, Prentice Hall, 1998.

Σύνολα Σχέσεις Συναρτήσεις Αλγόριθµοι Γλώσσες Ορισµοί, Ιδιότητες

Σύνολα ορισµός, αναπαράσταση Σύνολο: συλλογή αντικειµένων Παραδείγµατα: = {a, b, c} = {a, c, b} = {1, {x,y}, x, y, z} = {x/x έχει την ιδιότητα P} ={x/x είναι θετικός ακέραιος >18} = {19,20,21,...} = το πλήθος των στοιχείων του (πληθικός αριθµός

Σύνολα βασικές πράξεις U B = { x / x OR x B} I B = { x / x ND x B} B = { x / x ND x B} 2 Α = {το σύνολο µε στοιχεία όλα τα υποσύνολα του } π.χ., 2 {a,b} = {{a,b},{a},{b}, }

Σύνολα ιδιότητες βασικών πράξεων ( ( ( ' ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( ( C B C B Morgan De C B C B B B C B C C B ή C B C C B C B C B ή C B C B B B ή B B = = = = = = = = = = = = U I I U U I I U U I U U I I U I I U I I I I U U U U I I U U I U επιµεριστικ προσεταιριστικ µεταθετικ

Σύνολα διαµερίσεις Βοηθητικοί ορισµοί U S { x / S : x } I S { x / S : x } π.χ. S = {{ a, b},{ b, c},{ b, d}} U S { a, b, c, d} I S { b} Το Π είναι διαµέριση του Α όταν: Α Π 2 Π K, L Π K I L U Π = =

Σχέσεις και Συναρτήσεις ιατεταγµένο ζεύγος: ( a, b ( b, a "( a, b = ( c, d" " a = c ιατεταγµένη n-άδα: Καρτεσιανό γινόµενο: ( a, a2 b ND =,..., a 1 n d"... n {( x1, x2,..., xn / xi i, i = 1,..., 1 2 n } π.χ. { a, b} {0,1,2} {( a,0,( a,1,( a,2,( b,0,( b,1,( b,2}

Σχέσεις ιαδική σχέση, R, στα, B (µε αυτή τη σειρά!: οποιοδήποτε υποσύνολο R του x B n-πλή σχέση, R, στα 1, 2,, n (µε αυτή τη σειρά!: οποιοδήποτε υποσύνολο R του 1 x 2 x x n Αντίστροφη σχέση της R: R -1 = { (y,x / (x,y R } B x

Συναρτήσεις Συνάρτηση f από το στο B: Γράφουµε f : B Ορισµός: Η f είναι οποιαδήποτε διαδική σχέση τέτοια ώστε: a 1 1 1 ( a, b f ( 1 : " 1 και µ όνο Πεδίο ορισµού: Πεδίο τιµών: f(={b/b B και (a,b f } Προβολή του 1 : f( 1 ={b/b B και (a,b f µε a 1 } 1"

Συναρτήσεις πολλών µεταβλητών f: 1 x 2 x x n B Γράφουµε: f(a 1,a 2,, a n = b a 1,a 2,, a n : ορίσµατα b: τιµή

Ειδικές Συναρτήσεις ένα προς ένα (1-1 a 1 a 2 συνεπάγεται f(a 1 f(a 2 επί f( = B αντιστοιχία (bijection 1-1 και επί ( f -1 (f( =

Ειδικοί τύποι διαδικών σχέσεων R έχονται αναπαραστάσεις µέσω κατευθυντικών γράφων a b = { a, b, c, d} R = {( a, b,( b, a,( a, c,( d, b,( c, c} c d Μονοπάτι (a 1,a 2,..,a n µήκους n: (a i,a i+1 R

Ειδικοί τύποι διαδικών σχέσεων Ιδιότητες ανακλαστική σχέση: ( a, a R, a συµµετρική σχέση: ( a, b R ( b, a R Οι συµµετρικές σχέσεις αναπαρίστανται µε µή κατευθυντικούς γράφους a b = a b c d c d

Ειδικοί τύποι διαδικών σχέσεων Ιδιότητες αντισυµµετρική σχέση: µεταβατική σχέση: σχέση ισοδυναµίας: ( a, b R & a b ( b, a R ( a, b R & ( b, c R ( a, c R ανακλαστική & συµµετρική & µεταβατική σχέση µερικής διαµέρισης: ανακλαστική & αντισυµµετρική & µεταβατική σχέση ολικής διαµέρισης: µερική διαµέριση & a, b ( a, b R ή ( b, α R

Ιδιότητες σχέσεων ισοδυναµίας κλάση ισοδυναµίας [a]: Το υποσύνολο των στοιχείων του που σχετίζονται (είναι ισοδύναµα µε το a Θεώρηµα: Αν η R είναι σχέση ισοδυναµίας στο Α τότε το σύνολο των κλάσεων ισοδυναµίας της, Π, αποτελεί διαµέριση του. Π 2 Α Απόδειξη: είχνουµε ότι: Π K, L Π K I L = U Π =

Πεπερασµένα σύνολα και απειροσύνολα τα σύνολα Α,Β είναι ισοπληθή όταν: υπάρχει αντιστοιχία f: B το σύνολο είναι πεπερασµένο: υπάρχει αντιστοιχία f: {1,2,3,...,n} για κάποιο n N (N=φυσικοί αριθµοί τότε = n το σύνολο είναι απειροσύνολο: δεν είναι πεπερασµένο το απειροσύνολο είναι µετρήσιµο: Υπάρχει αντιστοιχία f: N δηλ. υπάρχει τρόπος απαρίθµησης των στοιχείων του η µέθοδος της πλακόστρωσης

Τρείς µέθοδοι απόδειξης -1 Η αρχή της µαθηµατικής επαγωγής αν 0 και {0,1,2,...,n} Ατότεn+1 πρακτικά τη χρησιµοποιούµε για ={n / η πρόταση P είναι αληθής για τον αριθµό n } δείχνουµε ότι 0 (δηλ. η P αληθεύει για το 0 υποθέτουµε ότι {0,1,2,...,n} Α (δηλ. ότι η P αληθέυει για 0,1,,n µε βάση τα παραπάνω αποδεικνύουµεότικαιτοn+1 (δηλ. η P αληθεύει για το n+1

Τρείς µέθοδοι απόδειξης -2 Η αρχή της φωλιάς των περιστεριών αν τα σύνολα και B είναι πεπερασµένα και > B τότε δεν υπάρχει 1-1 f: B δηλ. αν είναι τα περιστέρια και B οι φωλιές, σε κάποια φωλιά θα κοιµηθούν περισσότερα του ενός περιστέρια. Απόδειξη: µε τη µέθοδο της επαγωγής

Τρείς µέθοδοι απόδειξης -3 Η αρχή της διαγωνιοποίησης Εστω: R διαδική σχέση στο σύνολο D = {a : a και (a,a R} ( διαγώνιο σύνολο της R στο Α R a = {b : b και (a,b R}, για κάθε a Τότε: το D είναι διαφορετικό από κάθε R a R a b c d e f Επίδειξη: a o x x b x x c x d x x o x x e x x f x x x x o Dc = {b,c,e} D={a,d,f} Ra = {b,d} Rb = {b,c} Rc = {c} Rd = {b,c,e,f} Re = {e,f} Rf = {a,c,d,e}

Κλειστότητα και Ιδιότητες Κλειστότητας Ορισµοί: 1. Έστω: σύνολο D, n 0, σχέση R D n+1, B D Τότε: B κλειστό ως προς την R όταν: b 1, b 2,, b n B και (b 1, b 2,, b n, b n+1 R b n+1 B 2. Κάθε ιδιότητα του τύπου το B είναι κλειστό ώς προς τις σχέσεις R 1, R 2,,R m λέγεται ιδιότητα κλειστότητας

Παραδείγµατα Κλειστότητας #1: οπρόγονοςτου πρόγονου είναι πρόγονος B={x/x πρόγονος του Νίκου} D={άνθρωποι} R={(a,b: b γονιός του a} Τότε το B είναι κλειστό ως προς την R Απόδειξη: Αν a B και (a,b R b γονιός του a b πρόγονος του a b πρόγονος του Νίκου (γιατί; #2: Και οι σχέσεις είναι σύνολα! B=R ο σχέση στο (R ο D= R={((a,b,(b,c,(a,c: a,b,c } Η R ο είναι κλειστή ως προς την R αν και µόνο αν η R ο είναι µεταβατική! (Αποδείξτε το!

Κλείσιµο συνόλων Θεώρηµα: Έστω (1 P ιδιότητα κλειστότητας από τις σχέσεις R 1,,R m σε σύνολο D και (2 Α D. Τότε υπάρχει µοναδικό ελάχιστο σύνολο B µε τηνιδιότηταp(δηλ. κλειστό ως προς R 1,,R m. (ελάχιστο σύνολο : ΕΝ Β Β µε τις δύο παραπάνω ιδιότητες δηλ. B και P Μάλιστα B= S όπου S={B i / Α B i D και B i κλειστό ως προς R 1,,R m (δηλ. B i έχει την ιδιότητα P } Ορισµός: Το παραπάνω (ελάχιστο B λέγεται κλείσιµο του ως προς την ιδιότητα κλειστότητας P (ήισοδύναµα τις σχέσεις R 1,,R m.

Ανακλαστικό+Μεταβατικό Κλείσιµο µιας διαδικής σχέσης R Η διαδική σχέση R είναι ένα σύνολο ( Α 2 Η ανακλαστική ιδιότητα (I είναι ιδιότητα κλειστότητας (δείξτε το! Η µεταβατική ιδιότητα (MI είναι ιδιότητα κλειστότητας (το δείξαµε... Το κλείσιµο, R*, της R ώς προς ΑΙ και ΜΙ λέγεται Ανακλαστικό+Μεταβατικό Κλείσιµο της R Εναλλακτικά: R*={(a,b: υπάρχει µονοπάτι της R από το a στο b}

Ανακλαστικό+Μεταβατικό Κλείσιµο µιας διαδικής σχέσης R a b a b c d c d R R*

Πολυπλοκότητα Αλγορίθµων µια πρώτη µατιά Ζητούµενο: Πόσα βήµατα χρειάζεται ένας αλγόριθµος για να ολοκληρωθεί; Ισοδύναµο ζητούµενο: Ποια συνάρτηση f:n N αντιστοιχίζει το µέγεθος του προβλήµατος, n, στον αριθµό των βηµάτων, f(n, που απαιτούνται; Χρήσιµα εργαλεία: τάξη µεγέθους & ρυθµός αύξησης συναρτήσεων f:n N

Τάξη Μεγέθους Ρυθµός Αύξησης Τάξη µεγέθους της f:n N είναι το σύνολο: O(f = {g/ g:n N και σταθ. c,d: g(n cf(n+d, n N} f g: f O(g και g O(f Η είναι σχέση ισοδυναµίας (δείξτε το Ρυθµός αύξησης: κάθε κλάση ισοδυναµίας [f] που ορίζεται µεβάσητησχέση

Τάξη Μεγέθους Ρυθµός Αύξησης ενδιαφέροντα παραδείγµατα (1 1. f(n=31n 2 +17n+3 O(n 2 Απόδειξη: 31n 2 +17n+3 48 n 2 + 3 2. n 2 O(f Απόδειξη: n 2 1f(n+0 3. Από (1 και (2 : f(n n 2 4. f (n=a K n K + + a 1 n+a 0 O(n K (µε c=σa i, d=a 0 5. Αν f (n=a K n K + + a 1 n+a 0 και g(n=b L n L + + b 1 n+b 0 µε K>L>0 τότε: f O(g αλλά g O(f f n K και g n L

Τάξη Μεγέθους Ρυθµός Αύξησης ενδιαφέροντα παραδείγµατα (2 Για όλα τα K: n K O(2 n µε c=(2κ K και d=(k 2 K Απόδειξη: 1. n<2 n (αποδεικνύεται µε επαγωγή 2. Για n K 2 : n K (K 2 K =d Για n K 2 : n K (2Κ K 2 n = c 2 n Πράγµατι: n=πk+υ n< πk+κ n K Κ K (π+1 K n K < Κ K (2 π+1 K = (2Κ K 2 πκ (2Κ K 2 n Οι συναρτήσεις 5 n, n n, n!, 2 n2 ακόµη µεγαλύτερο ρυθµό αύξησης

Αλγόριθµοι Ανακλαστικού/Μεταβατικού Κλεισίµατος ιαδικής Συνάρτησης - Πολυπλοκότητα Αλγόριθµος #1 (ο προφανής: Υποθέτουµε ότι η σχέση R 2 όπου ={a 1, a 2,,a n } Αρχικοποίηση: R* = και n = FOR i =1,,n DO FOR ECH (b 1, b 2,,b i i DO IF (b 1, b 2,,b i µονοπάτι στην R THEN πρόσθεσε το (b 1, b i στην R* Πολυπλοκότητα (στη χειρότερη περίπτωση: Για κάθε i ελέγχονται i = n i i-αδες (b 1, b 2,,b i Οέλεγχος αν είναι µονοπάτι µία i-άδα απαιτεί το πολύ (i-1<n ελέγχους για το αν καθέ ζεύγος (b j, b j+1 µε j=1,..,i-1 ανήκει στην R Άρα f(n n (n + n 2 + + n n = n 2 + n 3 + n n+1 f(n O(n n+1 Καθόλου αποτελεσµατικός (άκου O(n n+1, το O(n n+1 είναι χειρότερο κι από το O(2 n!!!

Αλγόριθµοι Ανακλαστικού/Μεταβατικού Κλεισίµατος ιαδικής Συνάρτησης - Πολυπλοκότητα Αλγόριθµος #2 (λίγο καλύτερος: Υποθέτουµε ότι η σχέση R 2 όπου ={a 1, a 2,,a n } Αρχικοποίηση: R* =R {(α i, α i / α i } και n = WHILE υπάρχουν α i, α j,α k όπου (α i, α j, (α j,α k R αλλά (α i,α k R* DO πρόσθεσε το (α i, α k στην R* Πολυπλοκότητα (στη χειρότερη περίπτωση: Οέλεγχος υπάρχουν στο εσωτερικό του WHILE απαιτεί το πολύ 3 3 = 3n 3 συγκρίσεις (για i,j,k=1 n. Το 3 αφορά τους 3 ελέγχους που απαιτούνται για τον εντοπισµό τωνδιατεταγµένων ζευγών στις R και R* Το WHILE θα εκτελεστεί το πολύ R* 2 = n 2 φορές γιατί σε κάθε εκτέλεση προστίθεται και ένα νέο διατεταγµένο ζεύγος στην R*. Άρα f(n n 2 3n 3 = 3n 5 f(n O(n 5 Πολύ καλύτερα! Πολυωνυµική πολυπλοκότητα!

Αλγόριθµοι Ανακλαστικού/Μεταβατικού Κλεισίµατος ιαδικής Συνάρτησης - Πολυπλοκότητα Αλγόριθµος #3 (πολύ καλύτερος: Υποθέτουµε ότι η σχέση R 2 όπου ={a 1, a 2,,a n } Αρχικοποίηση: R* =R {(α i, α i / α i } και n = FOR ECH j=1,2,,n DO FOR ECH i=1,2,,n DO FOR ECH k=1,2,,n DO IF (α i, α j, (α j,α k R* αλλά (α i,α k R* THEN DO πρόσθεσε το (α i, α k στην R* Πολυπλοκότητα (στη χειρότερη περίπτωση: Λόγω των 3 nested FOR LOOPS έχουµε n 3 επαναλήψεις. Το IF κάθε επανάληψης απαιτεί 3 ελέγχους διατεταγµένων διάδων Άρα f(n 3n 3 f(n O(n 3 Πολυωνυµική πολυπλοκότητα, καλύτερα από πριν.

Αλγόριθµοι Ανακλαστικού/Μεταβατικού Κλεισίµατος ιαδικής Συνάρτησης Απόδειξή; Οι τρείς προηγούµενοι αλγόριθµοι είναι ορθοί = παράγουν όντως την R* Αποδείξτε το...... ή έστω επιδείξτε το (µε ένα παράδειγµα

Αλφάβητα και Γλώσσες Οι γλώσσες είναι ένα εργαλείο τυπικής αναπαράστασης (α αλγορίθµων και (β δοµών δεδοµένων που αυτοί επεξεργάζονται/παράγουν Οι γλώσσες επεξεργάζονται συµβολοσειρές (strings αποτελούµενες από σύµβολα που ανήκουν σε κάποιο αλφάβητο

Αλφάβητα ορισµοί Αλφάβητο (Σ: πεπερασµένο σύνολο συµβόλων Το λατινικό αλφάβητο (πεζά = {a,b,,y,z} Το διαδικό αλφάβητο = {1,0} Συµβολοσειρά (string σε ένα αλφάβητο Σ : µια πεπερασµένου µήκους ακολουθία, w, συµβόλων του αλφαβήτου (aaabbb, butter, 1010111 Σ* = {w/ w συµβολοσειρά του Σ} Το Σ* περιλαµβάνει την κενή συµβολοσειρά e Μήκος συµβολοσειράς, w : butter =6, e =0 Η συµβολοσειρά σαν συνάρτηση: w:{1,2,, w } Σ Π.χ. για w=butter w(1=b,w(2=u, w(3=t,w(4=t,w(5=e, w(6=r

Αλφάβητα πράξεις Παράθεση (concatenation Για x, y Σ* : xοy (για συντοµία xy = πρώτατασύµβολα του x και µετά τα σύµβολα του y 0101 o 101 = 0101101 Μήκος: xy = x + y Προσεταιριστική: (xyz = x(yz [οπότε γράφουµε xyz] Υποσυµβολοσειρά (substring v µίας συµβολοσειράς w: x, y Σ*: w=xvy Κατάληξη (suffix v µίας συµβολοσειράς w: x Σ*: w=xv Πρόθεµα (prefix v µίας συµβολοσειράς w: x Σ*: w=vx ύναµη w i : w 0 = e και w i+1 = w i o w

Αλφάβητα πράξεις Αντίστροφη συµβολοσειρα w R της w (τρείς ισοδύναµοι ορισµοί: 1. w R = η w γραµµένη από το τέλος προς την αρχή π.χ. EGGS R = SGGE 2. ν w=e τότε w R =w=e, αν w >0 τότε w R (i=w( w -i+1 3. ν w=e τότε w R =w=e, αν w =n+1>0 τότε a Σ καιu Σ* : w=ua και τότε w R =au R. Ιδιότητα: (xy R =y R x R (δείξτε το µε επαγωγή

Γλώσσες Γλώσσα L στο αλφάβητο Σ L = {w / w Σ* και το w έχει κάποια ιδιότητα P} Σ* Πεπερασµένες Γλώσσες = πεπερασµένα υποσύνολα του Σ* Άπειρες Γλώσσες = απειροσύνολα υποσύνολα του Σ* Πρόταση: Αν το Σ είναι πεπερασµένοτότετοσ* είναι αριθµήσιµο Απόδειξη: Το Σ γράφεται Σ={α 1, α 2,..., α n }. Τότε τα στοιχεία του Σ* απαριθµούνται ως εξής: (1 Όλα τα n k στοιχεία µήκους k απαριθµούνται πριν από αυτά µε µήκος k+1. (2 Η απαρίθµιση γίνεται λεξικογραφικά ως προς τους δείκτες i=1,2,, n των συµβόλων τους. Π.χ. Σ={α,β} Σ*={e, α, β, αα, αβ, βα, ββ, ααα, ααβ, αβα, αββ, βαα, βαβ, ββα, βββ, αααα...}

Γλώσσες - Πράξεις Οι Γλώσσες έχουν όλες τις πράξεις συνόλων και επιπλέον: Παράθεση: L=L 1 ol 2 (ή απλά L=L 1 L 2 L=L 1 ol 2 ={w/w Σ* και x L 1, y L 2 ώστε w=xoy} Kleene star: L* L* = {w/ w Σ*: w=w 1 ow 2 o ow k για k 0 και w 1,w 2,,w k L}= όλες οι συµβολοσειρές που προκύπτουν από παραθέσεις συµβολοσειρών της L (περιλαµβανοµένης και της κενής L+= LoL* (είναι το κλείσιµο της L ως προς την συνάρτηση παράθεση

Πεπερασµένη Αναπαράσταση Γλωσσών Οι πεπερασµένες γλώσσες έχουν έτσι κι αλλοιώς πεπερασµένη αναπαράσταση Οι άπειρες γλώσσες έχουν; ΝΑΙ υπό προϋποθέσεις ΕΝ µπορούν όλες οι γλώσσες (ενός αλφαβήτου Σ να αναπαρασταθούν (περιγραφούν από πεπερασµένο αριθµό συµβόλων κάποιου αλφαβήτου Σ L, γιατί: Το σύνολο, Σ L *, των δυνατών περιγραφών πεπερασµένου µήκους είναι µετρήσιµο, ενώ Το σύνολο των δυνατών γλωσσών, 2 Σ*, είναι µη µετρήσιµο!

Πεπερασµένη Αναπαράσταση Γλωσσών- Κανονικές Γλώσσες Κανονικές Εκφράσεις (ΚΕ σε αλφάβητο Σ: το σύνολο των συµβολοσειρών του Σ L =Σ {(,,,, *} που παράγονται σύµφωνα µε τα παρακάτω: 1. Το και κάθε στοιχείο του Σ είναι ΚΕ 2. Αν οι συµβολοσειρέςακαιβείναικετότεκαιτο(αβ είναι ΚΕ 3. Αν οι συµβολοσειρέςακαιβείναικετότεκαιτο(α β είναι ΚΕ 4. Αν η συµβολοσειρά α είναι ΚΕ τότε α* είναι ΚΕ 5. Οποιαδήποτε συµβολοσειρά ΕΝ προκύπτει από τα 1 ώς 4 ΕΝ είναι ΚΕ

Πεπερασµένη Αναπαράσταση Γλωσσών- Κανονικές Γλώσσες Κάθε κανονική έκφραση α περιγράφει µία κανονική γλώσσα L(α Σ* εάν θεωρήσουµε ότι: Το σύµβολο σηµαίνει ένωση γλωσσών Το σύµβολο * σηµαίνει το Kleene star µίας γλώσσας Η τοποθέτηση πλάι-πλάι σηµαίνει παράθεση γλωσσών Οι παρενθέσεις ( και όρίζουν προτεραιότητα Αναλυτικότερα η γλώσσα L(α παράγεται αναδροµικά ώς εξής: L( = (κενή γλώσσα και L(a = {a} για a Σ Αν α,β ΚΕτότεL( (αβ = L(αL(β (παράθεση γλωσσών Αν α,β ΚΕτότεL( (α β = L(α L(β (παράθεση γλωσσών Αν α ΚΕ τότε L(α* = L(α* (Kleene star γλώσσας

Πεπερασµένη Αναπαράσταση Γλωσσών- Κανονικές Γλώσσες Παραδείγµατα: #1: Έστω Σ={0,1} και ΚΕ α = 0*10*010*(10* * τότε: L(α = L(0* ο L(1 ο L(0* ο L(0 ο L(1 ο L(0* ο L(10* * = L(0*οL(1 ο L(0* ο L(0 ο L(1 ο L(0* ο (L(1 ο L(0* L( * = οι συµβολοσειρές που έχουν 2 ή 3 εµφανίσεις του συµβόλου 1 εκτωνοποίωνηπρώτη και η δεύτερη δεν είναι συνεχόµενες, π.χ. 000100100, 101100000, αλλά όχι 00011000100

Πεπερασµένη Αναπαράσταση Γλωσσών- Κανονικές Γλώσσες Παραδείγµατα: #2: Σ={a,b} και ΚΕ α = ((a b*a, τότε: L(α = L((a b*al(a = L((a b*{a} = (L(a L(b*{a} = {{a} {b}}*{a} = {a,b}*{a} = {w/w {a,b}* και w τελειώνει µε a} = {οποιαδήποτε παράθεση των a και b που τελειώνει µε a}