Μη επιλυσιμότητα I. Απόδειξη. Ορίζουμε # # =
|
|
- Τάκης Φλέσσας
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Μη επιλυσιμότητα I Θεώρημα Το TOT (πρόβλημα ολικής συνάρτησης) είναι μη επιλύσιμο, δηλαδή η f δεν είναι αναδρομική όπου: 1, αν φ x είναι ολική f(x) = 0, αλλιώς Απόδειξη. Ορίζουμε h(x) = φ x (x) + 1, αν f(x) = 1 φ x (x) + 1, αν φ x ολική = 0, αλλιώς 0, αλλιώς Όπως στο προηγούμενο θεώρημα, η συνάρτηση h θα ήταν υπολογίσιμη αν υποθέταμε ότι η f ήταν αναδρομική, άρα η h θα ήταν (ολική) αναδρομική, άρα θα είχε κάποιο δείκτη y. Tότε: φ y (y) + 1, αν φ y ολική φ y (y) = h(y) = = φ y (y) + 1, αφού φ y ολική 0, αλλιώς Άτοπο. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
2 Αναγωγές Δηλαδή: δεν υπάρχει αλγόριθμος που να μπορεί να αποφασίζει αν ένα δεδομένο πρόγραμμα σταματά για όλες τις δυνατές εισόδους. Παρόμοια αποδεικνύεται ότι: δεν υπάρχει αλγόριθμος που να μπορεί να αποφασίσει αν δυο δεδομένα προγράμματα είναι ισοδύναμα (δηλαδή έχουν την ίδια συμπεριφορά εισόδου - εξόδου). Αντί να δείχνουμε κατευθείαν (δηλαδή με διαγωνιοποίηση) ότι ένα τέτοιο πρόβλημα είναι μη επιλύσιμο, μπορούμε να χρησιμοποιούμε την ακόλουθη μέθοδο αναγωγής (reduction): Για να δείξουμε ότι η f δεν είναι υπολογίσιμη, ανάγουμε το HP στην f, δηλαδή, δείχνουμε ότι αν ήταν υπολογίσιμη η f τότε θα ήταν επιλύσιμο το HP (πράγμα που δεν αληθεύει!). Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
3 Θεώρημα S-m-n I Θεώρησε ένα πρόγραμμα π με δυο εισόδους a, b για τις μεταβλητές y και z. Τώρα (κρατήστε το y σαν παράμετρο) φτιάξε ένα νέο πρόγραμμα π 1 : y := a; π με μόνο μια είσοδο b για την μεταβλητή z. H έξοδος είναι η ίδια. Έτσι αν ο κωδικός του π είναι x και ο κωδικός του π 1 είναι s ισχύει: φ x (a, z)» φ s (z) Παρατηρούμε ότι ο κωδικός του π 1 μπορεί να υπολογιστεί βάσει του κωδικού του y := a και του κωδικού του π, με απλό τρόπο. Άρα η s είναι (LOOP-)υπολογίσιμη συνάρτηση του x και του y, δηλαδή s(x, y) και συνεπώς: Θεώρημα παραμέτρων. Ds P y, z φ x (y, z)» φ s(x,y) (z) Και γενικά (για πολλές μεταβλητές και πολλές παραμέτρους): Θεώρημα S-m-n. DS n m P y, z φ x(y 1,..., y m, z 1,..., z n)» φ S n m (x,y 1,...,y m )(z 1,..., z n) Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
4 Θεώρημα S-m-n II Θεώρημα Υπάρχει g P P ώστε φ x (φ y (z))» φ g(x,y) (z). (Δηλαδή ο κωδικός της παράθεσης δυο προγραμμάτων, π 1 ; π 2, είναι υπολογίσιμος βάσει των κωδικών των π 1 και π 2 ). Απόδειξη. Θεώρησε ένα καθολικό πρόγραμμα: ω 1 (x, y, z)» (π 1 ; π 2 )(z), όπου: y = κωδικός(π 1 ), x = κωδικός(π 2 ) και z = είσοδος για π 1. Το ω 1 έχει (έστω) δείκτη u: φ u(x, y, z)» φ x(φ y(z)). Λόγω του S-m-n έχουμε: φ u (x, y, z)» φ S 2 1 (u,x,y)(z). Αρα: φ x (φ y (z))» φ S 2 1 (u,x,y)(z), οπότε θέτουμε: g(x, y) = S 2 1(u, x, y) Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
5 Παράδειγμα αναγωγής I Θεώρημα To CONST (πρόβλημα σταθερής συνάρτησης) είναι μη επιλύσιμο, δηλαδή η συνάρτηση f δεν είναι αναδρομική, όπου: 1, αν φ x σταθερή συνάρτηση f(x) = 0, αλλιώς Απόδειξη: Ορίζουμε: h(x, y)» 5, αν φ x(x) Ó Ò, αλλιώς Η h είναι υπολογίσιμη: βρες τo x-οστό πρόγραμμα, τρέξε το με είσοδο x, αν και όταν σταματήσει δώσε έξοδο 5. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
6 Παράδειγμα αναγωγής II Λόγω της θέσης Church-Turing η h είναι μερική αναδρομική. Λόγω της κανονικής μορφής Kleene η h έχει δείκτη (έστω) u: φ u (x, y)» h(x, y). Λόγω του S-m-n: φ S(u,x) (y)» h(x, y). Θέτουμε g(x) = S(u, x). Έτσι έχουμε φ g(x) (y)» h(x, y) και η g είναι υπολογίσιμη. Τώρα θα χρησιμοποιήσουμε την f: f(g(x)) = 1, αν φ g(x) σταθ. συν. 1, 1, φ x(x) Ó = = 0, αλλιώς 0, αλλιώς 0, αλλιώς = HP Αν η f ήταν υπολογίσιμη τότε και η σύνθεση f(g( )) θα ήταν υπολογίσιμη δηλαδή το HP θα ήταν επιλύσιμο. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
7 Παράδειγμα αναγωγής III Άσκηση: Δείξτε με αναγωγή ότι τα εξής προβλήματα δεν είναι επιλύσιμα: 1 t(x, y) φ x = φ y u 2 t(x, y, z) φ x (y) = zu 3 tx το πεδίο της φ x είναι άπειροu Παρατήρηση Ας διαφοροποιήσουμε τώρα τις δυο εκδοχές του HP που έχουμε χρησιμοποιήσει για να είμαστε ακριβείς: K 0 = t(x, y) φ x (y) Óu K = tx φ x (x) Óu Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
8 Θεώρημα Rice I Η παραπάνω τεχνική αναγωγής του HP μπορεί να χρησιμοποιηθεί για να δείξουμε ένα πολύ πιο γενικό αποτέλεσμα: Κάθε μη τετριμμένη ιδιότητα υπολογίσιμων συναρτήσεων αντιπροσωπεύει ένα μη επιλύσιμο πρόβλημα (Θεώρημα Rice). Πριν την ακριβή διατύπωση του θεωρήματος του Rice θα πρέπει να διευκρινίσουμε κάτι πολύ σημαντικό. Οποιαδήποτε τεχνική απαρίθμησης κι αν εφαρμόσουμε για τις μερικές αναδρομικές συναρτήσεις (είτε μέσω προγραμμάτων while, είτε μέσω του μαθηματικά ορισμένου επαγωγικού πεδίου κ.τ.λ.), δεν μπορούμε να πετύχουμε μονοσήμαντη κωδικοποίηση για μια συνάρτηση (αναφερόμαστε στην ουσία της συνάρτησης). Δηλαδή μια συνάρτηση, στις διάφορες ισοδύναμες μορφές της, θα αντιστοιχεί σε πολλούς δείκτες στην απαρίθμηση. Έτσι το σύνολο C που αναφέρεται στο θεώρημα του Rice είναι σύνολο συναρτήσεων και όχι σύνολο δεικτών. Ορισμός PR 1 : Η κλάση των μερικών αναδρομικών συναρτήσεων με ένα όρισμα. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
9 Θεώρημα Rice II Θεώρημα (Rice) Έστω C Ĺ PR 1, C H. Τότε το tx φ x P Cu είναι μη επιλύσιμο, δηλαδή η συνάρτηση f δεν είναι αναδρομική, όπου: 1, φ x P C f(x) = 0, αλλιώς Απόδειξη: Έστω k μια συνάρτηση της κλάσης C. Έστω Ω η πουθενά ορισμένη συνάρτηση, δηλαδή Ω(x) Περίπτωση 1: Ω R C. Ορίζουμε: h(x, y)» k(y), φ x (x) Ó Ò, αλλιώς Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
10 Θεώρημα Rice III Όπως στο προηγούμενο θεώρημα έχουμε: φ g(x) (y)» h(x, y) και g είναι υπολογίσιμη. Τότε, αφού Ω R C: 1, φ f(g(x)) = g(x) P C 1, φ = g(x)» k 1, φ x(x) Ó = 0, αλλιώς 0, αλλιώς 0, αλλιώς = HP Συνεπώς η f δεν είναι υπολογίσιμη. Περίπτωση 2: Ω P C. Αλλά τότε το Ω δεν ανήκει στο C. Δείχνουμε ομοίως ότι: tx φ x P Cu μη επιλύσιμο. Αλλά τότε και το συμπλήρωμά του δεν είναι επιλύσιμο: tx φ x P Cu = tx φ x P Cu Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
11 Δεύτερο Θεώρημα Αναδρομής (Θεώρημα σταθερών τιμών) I Θεώρημα (Δεύτερο Θεώρημα Αναδρομής (θεώρημα σταθερών τιμών)) [ισοδύναμη D n : φ n» φ φz P PR D n : φ n» φ f(n) Παρατήρηση Αν f(n) =Ò τότε φ f(n) = Ω. Το θεώρημα της αναδρομής λέει για ότι για κάθε αναδρομική συνάρτηση f που αντιστοιχεί δείκτες μερικών αναδρομικών συναρτήσεων σε δείκτες μερικών αναδρομικών συναρτήσεων, υπάρχει ένα σταθερό σημείο n, ώστε η μερική αναδρομική συνάρτηση με δείκτη n να είναι ισοδύναμη με τη μερική αναδρομική συνάρτηση με δείκτη f(n). Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
12 Δεύτερο Θεώρημα Αναδρομής (Θεώρημα σταθερών τιμών) II Με άλλα λόγια, αν μετασχηματίσουμε όλα τα προγράμματα while κατά ένα συγκεκριμένο τρόπο (π.χ. προσθέτοντας στο τέλος τους μια εντολή y := y + 1, όπου y η έξοδος), θα υπάρχει ένα πρόγραμμα while π n που θα είναι ισοδύναμο με το μετασχηματισμένο πρόγραμμα π f(n) (στο συγκεκριμένο παράδειγμα ένα πρόγραμμα που πέφτει σε άπειρο loop). Συνέπεια των θεωρημάτων αναδρομής είναι και το ότι υπάρχει self reproducing program (quine) πρόγραμμα του οποίου η έξοδος είναι ακριβώς το κείμενο του ίδιου του προγράμματος. Θα κατασκευάσουμε ένα σκαρίφημα για ένα τέτοιο πρόγραμμα. Η συνάρτηση dq (doublequotes, που δεν υλοποιούμε λεπτομερώς) διπλασιάζει κάθε quote. Για να εμφανιστεί στην έξοδο μία συμβολοσειρά που περιέχει ένα quote, πχ. blah blah, η εντολή πρέπει να έχει δύο quotes, δηλ είναι write( blah blah ). Θεωρούμε ότι το πρόγραμμα είναι γραμμένο σε μία γραμμή (δεν χωράει σε μία γραμμή στην σελίδα, για αυτό το γράφουμε σε δύο): Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
13 Δεύτερο Θεώρημα Αναδρομής (Θεώρημα σταθερών τιμών) III Παράδειγμα (Quine σε ψευδοκώδικα) x:=';y:=dq(x);write("x:=""", y, """", x)';y:=dq(x);write('x:="', y, '"', x) Trace: x : ;y:=dq(x);write('x:="', y, '"', x) y : ;y:=dq(x);write("x:=""", y, """", x) Output: x:=';y:=dq(x);write("x:=""", y, """", x)';y:=dq(x);write('x:="', y, '"', x) Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
14 Δεύτερο Θεώρημα Αναδρομής (Θεώρημα σταθερών τιμών) IV Παράδειγμα (Quine σε python) > cat quine.py x='x=%r;print x%%x';print x%x > python quine.py x='x=%r;print x%%x';print x%x Εξήγηση: Εντολή 1: Εντολή 2: x = 'x=%r;print x%%x' print x%x Trace: x : "x=%r;print x%%x" x%x : "x='x=%r;print x%%x';print x%x" Γενικά: x%y δίνει ως αποτέλεσμα τη συμβολοσειρά x με τη διαφορά ότι στη θέση του %r υπάρχει πλέον το representation της y, δηλαδή η τιμή της συμβολοσειράς y μαζί με τα μονά εισαγωγικά γύρω της, και στη θέση του %% υπάρχει πλέον μόνο ένα σύμβολο % [ για περισσότερες πληροφορίες]. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
15 Άλλη εκδοχή δεύτερου θεωρήματος αναδρομής I Θεώρημα (Άλλη εκδοχή θεωρήματος αναδρομής) Dr P z : φ r(z)» φ φz(r(z)) Δηλαδή μπορούμε μηχανιστικά να υπολογίσουμε το n του πρώτου θεωρήματος. Απόδειξη: Για το πρώτο: Ορίζουμε h(x, u)» φ φx (x)(u). H h είναι υπολογίσιμη. Όπως παραπάνω, υπάρχει g υπολογίσιμη ώστε: Η σύνθεση f(g( )) είναι υπολογίσιμη. Άρα έχει δείκτη, έστω y: φ y (.)» f(g(.)). Άρα: φ y (y)» f(g(y)) και: φ f(g(y))» φ φy (y)» φ g(y) θέτουμε n = g(y). φ g(x) (u)» h(x, u). Για το δεύτερο: Παρατηρούμε ότι η κατασκευή του π ήταν μηχανιστική, δηλαδή δείκτης y μπορεί να υπολογιστεί και η g είναι υπολογίσιμη. Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ. Φεβρουάριος / 310
Πολλοί τρόποι περιγραφής αλγορίθμων. Όλοι είναι μηχανιστικά ισοδύναμοι και ειδικά ισοδύναμοι με μερικές αναδρομικές συναρτήσεις
Θέση Church-Turing Κανονική μορφή Kleene Θέση Church-Turing I Πολλοί τρόποι περιγραφής αλγορίθμων Όλοι είναι μηχανιστικά ισοδύναμοι και ειδικά ισοδύναμοι με μερικές αναδρομικές συναρτήσεις Θέση Church-Turing:
Διαβάστε περισσότεραΠολλοί τρόποι περιγραφής αλγορίθμων. Όλοι είναι μηχανιστικά ισοδύναμοι και ειδικά ισοδύναμοι με μερικές αναδρομικές συναρτήσεις.
Θέση Church-Turing I Πολλοί τρόποι περιγραφής αλγορίθμων. Όλοι είναι μηχανιστικά ισοδύναμοι και ειδικά ισοδύναμοι με μερικές αναδρομικές συναρτήσεις Θέση Church-Turing: Όλες οι υπολογίσιμες συναρτήσεις
Διαβάστε περισσότεραRecursive and Recursively Enumerable sets I
Recursive and Recursively Enumerable sets I Ορισμός Το σύνολο A είναι αναδρομικό ανν η χαρακτηριστική του συνάρτηση X A είναι αναδρομική. Το σύνολο A είναι αναδρομικά αριθμήσιμο (recursively enumerable)
Διαβάστε περισσότεραΘεώρημα Υπάρχουν υπολογίσιμες συναρτήσεις που δεν είναι πρωταρχικές αναδρομικές.
Υπολογισιμότητα Θεώρημα Υπάρχουν υπολογίσιμες συναρτήσεις που δεν είναι πρωταρχικές αναδρομικές. Απόδειξη: Διαγωνιοποίηση. Μηχανιστική απαρίθμηση πρωταρχικών αναδρομικών συναρτήσεων: φ 0, φ 1, φ 2, Ορίζουμε:
Διαβάστε περισσότεραΣχήματα McCarthy I. Το σχήμα McCarthy είναι ένα γενικότερο προγραμματιστικό σχήμα:
Σχήματα McCarthy I Το σχήμα McCarthy είναι ένα γενικότερο προγραμματιστικό σχήμα: f(x, y) = if g(...) = 0 then h(...) else k(...) όπου g(...), h(...) και k(...) είναι όροι-συναρτήσεις που κατασκευάζονται
Διαβάστε περισσότεραΑπαρίθμηση ζευγών φυσικών αριθμών I. C(0, 0) = 0 C(2, 1) = 7 κωδικοποίηση κατά Cantor D 1 (7)=2, D 2 (7)=1 : αποκωδικοποίηση
Κωδικοποίηση Απαρίθμηση ζευγών φυσικών αριθμών I 0 0 1 2 3 4... 1 2 3 4...... C(0, 0) = 0 C(2, 1) = 7 κωδικοποίηση κατά Cantor D 1 (7)=2, D 2 (7)=1 : αποκωδικοποίηση C(m, n) = (n+m)(n+m+1) 2 + m, η C είναι
Διαβάστε περισσότεραΤο 10ο πρόβλημα του Hilbert I
Το 10ο πρόβλημα του Hilbert I Το 1900 στο Παρίσι, ο David Hilbert έκανε μια ομιλία για τα 23 πιο σπουδαία μαθηματικά προβλήματα που κληρονομούσε ο 20ος αιώνας από τον 19ο. Το 10ο ήταν: Απόφανση περί επιλυσιμότητας
Διαβάστε περισσότεραΜηχανές Turing (T.M) I
Μηχανές Turing (T.M) I Οι βασικές λειτουργίες μιας TM είναι: Διάβασε το περιεχόμενο του τρέχοντος κυττάρου Γράψε 1 ή 0 στο τρέχον κύτταρο Κάνε τρέχον το αμέσως αριστερότερο ή το αμέσως δεξιότερο κύτταρο
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 15: Διαγνωσιμότητα (Επιλυσιμότητα) ΙΙ Τι θα κάνουμε σήμερα Επιλύσιμα Προβλήματα σχετικά με Ασυμφραστικές Γλώσσες (4.1.2) Το Πρόβλημα του Τερματισμού
Διαβάστε περισσότερα244 ΚΕΦ ΑΛΑΙΟ 8. ΥΠΟΛΟΓΙΣΙΜΕΣ ΣΥΝΑΡΤΗΣΕΙΣ Η f είναι μία μερική συνάρτηση στο πεδίο X, αν και μόνο αν η συνάρτηση ορίζεται για μηδέν ή περισσότερα στοι
Κεφάλαιο 8 Υπολογίσιμες Συναρτήσεις Σύνοψη Εχοντας αναπτύξει τη θεωρία γύρω από τις Μηχανές Turing (ΜΤ) δεν περιοριζόμαστε πλέον μόνο στην ανάλυση προβλημάτων απόφασης γλωσσών (βλ. Ενότητα 1.2.3). Οι ΜΤ
Διαβάστε περισσότεραΑυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation
Αυτόματα και Υπολογιστικά Μοντέλα Automata and Models of Computation Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab
Διαβάστε περισσότεραΘεωρία Υπολογισμού Άρτιοι ΑΜ. Διδάσκων: Σταύρος Κολλιόπουλος. eclass.di.uoa.gr. Περιγραφή μαθήματος
Περιγραφή μαθήματος Θεωρία Υπολογισμού Άρτιοι ΑΜ Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας (Θεωρία Αλγορίθμων). Διδάσκων: Σταύρος Κολλιόπουλος
Διαβάστε περισσότεραΘεωρία Υπολογισμού Αρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr
Θεωρία Υπολογισμού Άρτιοι ΑΜ Διδάσκων: Σταύρος Κολλιόπουλος eclass.di.uoa.gr Περιγραφή μαθήματος Σκοπός του μαθήματος είναι η εισαγωγή στη Θεωρία Υπολογισμού και στη Θεωρία Υπολογιστικής Πολυπλοκότητας
Διαβάστε περισσότεραΣημειώσεις Λογικής I. Εαρινό Εξάμηνο Καθηγητής: Λ. Κυρούσης
Σημειώσεις Λογικής I Εαρινό Εξάμηνο 2011-2012 Καθηγητής: Λ. Κυρούσης 2 Τελευταία ενημέρωση 28/3/2012, στις 01:37. Περιεχόμενα 1 Εισαγωγή 5 2 Προτασιακή Λογική 7 2.1 Αναδρομικοί Ορισμοί - Επαγωγικές Αποδείξεις...................
Διαβάστε περισσότεραΥπολογισιμότητα και Πολυπλοκότητα Computability and Complexity
και Πολυπλοκότητα Computability and Complexity Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ.
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 12. Θεωρία Υπολογισιμότητας 30Μαρτίου, 17 Απριλίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Θέση Church-Turing Τι μπορεί να υπολογιστεί και τι δεν μπορεί να υπολογιστεί?
Διαβάστε περισσότεραnum(m(w 1 ;... ; w k )) = f(num(w 1 ),..., num(w k ))
Υπολογισμοί με Μ.Τ. Εστω M = (K, Σ, δ, s, {y, n}) μια Μ.Τ. Κάθε συνολική κατάσταση τερματισμού της οποίας η κατάσταση τερματισμού είναι το y, θα ονομάζεται συνολική κατάσταση αποδοχής, ενώ αν η κατάσταση
Διαβάστε περισσότεραΑναδρομικές Συναρτήσεις και Σχέσεις I
Προγράμματα WHILE και μερικές αναδρομικές συναρτήσεις Αναδρομικές Συναρτήσεις και Σχέσεις I Ορισμός Η ολική συνάρτηση h( x, y) είναι κανονική (regular): @ x Dy h( x, y) = 0 Παρατήρηση Η f( x) = µy[h( x,
Διαβάστε περισσότεραΑλγόριθμοι για αυτόματα
Κεφάλαιο 8 Αλγόριθμοι για αυτόματα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 8.1 Πότε ένα DFA αναγνωρίζει κενή ή άπειρη γλώσσα Δοθέντος ενός DFA M καλούμαστε
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 16: Αναγωγές
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 16: Αναγωγές Τι θα κάνουμε σήμερα Το Πρόβλημα του Τερματισμού (4.2) Εισαγωγή στις Αναγωγές Ανεπίλυτα Προβλήματα από την Θεωρία των Γλωσσών (5.1) Απεικονιστικές
Διαβάστε περισσότεραB = {x A : f(x) = 1}.
Θεωρία Συνόλων Χειμερινό Εξάμηνο 016 017 Λύσεις 1. Χρησιμοποιώντας την Αρχή του Περιστερώνα για τους φυσικούς αριθμούς, δείξτε ότι για κάθε πεπερασμένο σύνολο A και για κάθε f : A A, αν η f είναι 1-1 τότε
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραCSC 314: Switching Theory
CSC 314: Switching Theory Course Summary 9 th January 2009 1 1 Θέματα Μαθήματος Ερωτήσεις Τι είναι αλγόριθμος? Τι μπορεί να υπολογιστεί? Απαντήσεις Μοντέλα Υπολογισμού Δυνατότητες και μη-δυνατότητες 2
Διαβάστε περισσότεραΘΕΩΡΗΜΑ (Μέσης Τιμής) Έστω f: [α, β] R συνεχής και παραγωγίσιμη στο (α, β). Τότε υπάρχει ξ (α, β)
Έστω συνάρτηση f: [α, β] R παραγωγίσιμη. Τότε η παράγωγος συνάρτηση f (x) παίρνει όλες τις τιμές μεταξύ των f (α) και f (β). Έστω f (α) < λ < f (β). Πρέπει να δείξουμε ότι υπάρχει x 0 ώστε f (x 0 ) = λ.
Διαβάστε περισσότεραΠεριεχόμενα. Πρόλογος 3
Πρόλογος Τα πρώτα μαθήματα, σχεδόν σε όλους τους κλάδους των μαθηματικών, περιέχουν, ή θεωρούν γνωστές, εισαγωγικές έννοιες που αφορούν σύνολα, συναρτήσεις, σχέσεις ισοδυναμίας, αλγεβρικές δομές, κλπ.
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Διάλεξη 13: Παραλλαγές Μηχανών Turing και Περιγραφή Αλγορίθμων Τι θα κάνουμε σήμερα Εισαγωγή Πολυταινιακές Μηχανές Turing (3.2.1) Μη Ντετερμινιστικές Μηχανές
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές
Θεωρία Υπολογισμού και Πολυπλοκότητα Αναγωγές Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Ανεπίλυτα Προβλήματα από τη Θεωρία Γλωσσών (5.1) To Πρόβλημα της Περάτωσης Το Πρόβλημα της Κενότητα
Διαβάστε περισσότεραf(t) = (1 t)a + tb. f(n) =
Παράρτημα Αʹ Αριθμήσιμα και υπεραριθμήσιμα σύνολα Αʹ1 Ισοπληθικά σύνολα Ορισμός Αʹ11 (ισοπληθικότητα) Εστω A, B δύο μη κενά σύνολα Τα A, B λέγονται ισοπληθικά αν υπάρχει μια συνάρτηση f : A B, η οποία
Διαβάστε περισσότεραΠαραλλαγές και επεκτάσεις αυτομάτων I
Παραλλαγές, επεκτάσεις και εφαρμογές FA/REGEXP Παραλλαγές και επεκτάσεις αυτομάτων I Ορισμός Ένα two-way deterministic FA (2DFA) είναι μία πεντάδα M = (Q, Σ, δ, q 0, F), όπου τα Q, Σ, q 0 και F είναι όπως
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Διαγνωσιμότητα Στην ενότητα αυτή θα μελετηθούν τα εξής επιμέρους θέματα: Διαγνώσιμες Γλώσσες (4.1) Επιλύσιμα Προβλήματα σχετικά με Κανονικές Γλώσσες Επιλύσιμα Προβλήματα
Διαβάστε περισσότεραΜερικές Διαφορικές Εξισώσεις
Πανεπιστήμιο Πατρών, Τμήμα Μαθηματικών Μερικές Διαφορικές Εξισώσεις Χειμερινό εξάμηνο ακαδημαϊκού έτους 14-15, Διδάσκων: Α.Τόγκας ο φύλλο προβλημάτων Ονοματεπώνυμο - ΑΜ: Πρόβλημα 1. Για κάθε μια από τις
Διαβάστε περισσότεραΚανόνας της αλυσίδας. J ανοικτά διαστήματα) ώστε ( ), ( ) ( ) ( ) fog ' x = f ' g x g ' x, x I (2)
8 Κανόνας της αλυσίδας Από τον Απειροστικό Λογισμό για συναρτήσεις μιας μεταβλητής γνωρίζουμε ότι: Αν g : I R R και f : J R R είναι συναρτήσεις ( όπου I, J ανοικτά διαστήματα ώστε, g( τότε η : I g I J
Διαβάστε περισσότεραΥπολογισιμότητα και Πολυπλοκότητα Computability and Complexity
και Πολυπλοκότητα Computability and Complexity Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ.
Διαβάστε περισσότεραΥπολογισιμότητα και Πολυπλοκότητα Computability and Complexity
και Πολυπλοκότητα Computability and Complexity Διδάσκων: Στάθης Ζάχος Επιμέλεια Διαφανειών: Μάκης Αρσένης CoReLab ΣΗΜΜΥ - Ε.Μ.Π. Φεβρουάριος 2017 Διδάσκων: Στάθης Ζάχος ( CoReLab - NTUA) Υπολ. & Πολυπλ.
Διαβάστε περισσότεραΔιακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά
Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά και Πληροφορικής Μαθηματικά Πανεπιστήμιο ΙΙ Ιωαννίνων
Διαβάστε περισσότεραΤυχαιότητα (Randomness) I
I Χρησιμοποιώντας το μοντέλο δένδρων υπολογισμού, θα ορίσουμε κλάσεις πολυπλοκότητας που βασίζονται στις πιθανότητες, με βάση τυχαίες επιλογές. Αυτή η προσέγγιση είναι πολύ χρήσιμη από πρακτική άποψη,
Διαβάστε περισσότερα214 ΚΕΦΑΛΑΙΟ 7. ΕΠΙΛΥΣΙΜΟΤΗΤΑ - ΜΗ ΕΠΙΛΥΣΙΜΟΤΗΤΑ 7.1 Το Πρόβλημα του Τερματισμού Θεώρημα 7.1 (Πρόβλημα του Τερματισμού - ημιαπόφαση) Η γλώσσα του Προβ
Κεφάλαιο 7 Επιλυσιμότητα - Μη επιλυσιμότητα Σύνοψη Στα προηγούμενα κεφάλαια επικεντρωθήκαμε σε επιλύσιμα προβλήματα και μελετήσαμε υπολογιστικά μοντέλα με δυνατότητες, που συνεχώς διευρύναμε. Το τελευταίο
Διαβάστε περισσότεραM. J. Lighthill. g(y) = f(x) e 2πixy dx, (1) d N. g (p) (y) =
Εισαγωγή στην ανάλυση Fourier και τις γενικευμένες συναρτήσεις * M. J. Lighthill μετάφραση: Γ. Ευθυβουλίδης ΚΕΦΑΛΑΙΟ 2 Η ΘΕΩΡΙΑ ΤΩΝ ΓΕΝΙΚΕΥΜΕΝΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΚΑΙ ΤΩΝ ΜΕΤΑΣΧΗΜΑΤΙΣΜΩΝ ΤΟΥΣ FOURIER 2.1. Καλές
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 3: ΕΦΑΠΤΟΜΕΝΗ [Κεφάλαιο 2.1: Πρόβλημα εφαπτομένης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ ΘΕΜΑ Β
ΚΕΦΑΛΑΙΟ ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ : ΕΦΑΠΤΟΜΕΝΗ [Κεφάλαιο.: Πρόβλημα εφαπτομένης του σχολικού βιβλίου]. ΠΑΡΑΔΕΙΓΜΑΤΑ Παράδειγμα. ΘΕΜΑ Β Έστω μια παραγωγίσιμη στο συνάρτηση, τέτοια ώστε για κάθε x
Διαβάστε περισσότεραΥπολογιστικά & Διακριτά Μαθηματικά
Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 5: Αναδρομικές σχέσεις - Υπολογισμός Αθροισμάτων Στεφανίδης Γεώργιος Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για
Διαβάστε περισσότεραΕφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου 25/9/2017 Διδάσκων: Ι. Λυχναρόπουλος
Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Εξέταση Σεπτεμβρίου 5/9/07 Διδάσκων: Ι. Λυχναρόπουλος Άσκηση (Μονάδες ) Να δειχθεί ότι το πεδίο F( x, y) = y cos x + y,sin x
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κλάσεις P, NP NP-πληρότητα 15 Απριλίου 2008 Δρ. Παπαδοπούλου Βίκη 1 Υπολογίσιμα και Εφικτά Υπολογίσιμα Προβλήματα Είδαμε ότι 1. Οτιδήποτε μπορούμε να περιγράψουμε με
Διαβάστε περισσότεραΜορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης. Οταν το πρόβλημα έχει πεπερασμ
Μαθηματικά Πληροφορικής 4ο Μάθημα Τμήμα Πληροφορικής και Τηλεπικοινωνιών Πανεπιστήμιο Αθηνών Μορφές αποδείξεων Υπάρχουν πολλά είδη αποδείξεων. Εδώ θα δούμε τα πιο κοινά: Εξαντλητική μέθοδος ή μέθοδος επισκόπησης.
Διαβάστε περισσότερα(a) = lim. f y (a, b) = lim. (b) = lim. f y (x, y) = lim. g g(a + h) g(a) h g(b + h) g(b)
1 ΑΝΑΛΥΣΗ ΙΙ Μερική Παράγωγος Μερικές Παράγωγοι Ορισμός 1: a) Εστω f(x y) : U R R μία συνάρτηση δύο μεταβλητών και (a b) ένα σημείο του U. Θεωρούμε ότι μεταβάλλεται μόνο το x ένω το y παραμένει σταθερό
Διαβάστε περισσότερα10.1 Υπολογίσιμες συναρτήσεις και αναδρομικά σύνολα
Κεφάλαιο 10 Υπολογισιμότητα Κύρια βιβλιογραφική αναφορά για αυτό το Κεφάλαιο είναι η Hopcroft, Motwani, and Ullman 2007. 10.1 Υπολογίσιμες συναρτήσεις και αναδρομικά σύνολα Μέχρι στιγμής έχουμε δει ουσιαστικά
Διαβάστε περισσότεραΜιχάλης Παπαδημητράκης. Μερικές Διαφορικές Εξισώσεις
Μιχάλης Παπαδημητράκης Μερικές Διαφορικές Εξισώσεις Περιεχόμενα 1 Γενικά. 1 1.1 Μερικές διαφορικές εξισώσεις............................ 1 1.2 Διαφορικοί τελεστές................................. 2 1.3
Διαβάστε περισσότεραBlum Complexity. Αλγόριθμοι και Πολυπλοκότητα ΙΙ. Παναγιώτης Γροντάς. Δεκέμβριος
Blum Complexity Αλγόριθμοι και Πολυπλοκότητα ΙΙ Παναγιώτης Γροντάς µπλ Δεκέμβριος 2011 Ιστορικά Στοιχεία Manuel Blum (1938, Caracas Venezuela) Turing Award (1995) Foundations Of Computational Complexity
Διαβάστε περισσότεραΚατ οίκον Εργασία 1 Σκελετοί Λύσεων
ΕΠΛ Δομές Δεδομένων και Αλγόριθμοι Σεπτέμβριος 008 Κατ οίκον Εργασία Σκελετοί Λύσεων Άσκηση Παρατηρούμε ότι ο χρόνος εκτέλεσης μέσης περίπτωσης της κάθε εντολής if ξεχωριστά: if (c mod 0) for (k ; k
Διαβάστε περισσότεραΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ ΘΕΜΑ Α
ΚΕΦΑΛΑΙΟ 1 ο : ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΟΡΙΣΜΟΣ ΠΕΔΙΟ ΟΡΙΣΜΟΥ ΠΡΑΞΕΙΣ ΣΥΝΑΡΤΗΣΕΩΝ ΓΡΑΦΙΚΕΣ ΠΑΡΑΣΤΑΣΕΙΣ ΒΑΣΙΚΩΝ ΣΥΝΑΡΤΗΣΕΩΝ ΛΥΜΕΝΑ ΘΕΜΑΤΑ Ερώτηση θεωρίας 1 ΘΕΜΑ Α Τι ονομάζουμε πραγματική συνάρτηση
Διαβάστε περισσότεραΕφαρμογές της Λογικής στην Πληροφορική
Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Εθνικό Μετσόβιο Πολυτεχνείο Εφαρμογές της Λογικής στην Πληροφορική Ενότητα 2 Πέτρος Στεφανέας, Γεώργιος Κολέτσος Άδεια Χρήσης Το παρόν εκπαιδευτικό
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ ΟΜΑΔΑΣ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ 1 ο ΔΙΑΓΩΝΙΣΜΑ ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ
o ΔΙΑΓΩΝΙΣΜΑ ΔΕΚΕΜΒΡΙΟΣ 8: ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑ Α ΜΑΘΗΜΑΤΙΚΑ ΟΜΑΔΑΣ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΘΕΤΙΚΩΝ ΣΠΟΥΔΩΝ ΚΑΙ ΠΡΟΣΑΝΑΤΟΛΙΣΜΟΥ ΣΠΟΥΔΩΝ ΟΙΚΟΝΟΜΙΑΣ & ΠΛΗΡΟΦΟΡΙΚΗΣ ο ΔΙΑΓΩΝΙΣΜΑ ΕΝΔΕΙΚΤΙΚΕΣ ΑΠΑΝΤΗΣΕΙΣ A Βλέπε
Διαβάστε περισσότεραΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας. Επανάληψη Μαθήματος
ΕΠΛ 211: Θεωρία Υπολογισμού και Πολυπλοκότητας Επανάληψη Μαθήματος Το Μάθημα σε μια Διαφάνεια Υπολογιστικά μοντέλα Κανονικές Γλώσσες Ντετερμινιστικά Αυτόματα Μη Ντετερμινιστικά Αυτόματα Κανονικές Εκφράσεις
Διαβάστε περισσότεραx y z xy yz zx, να αποδείξετε ότι x=y=z.
ΑΣΚΗΣΕΙΣ ΣΤΗΝ ΑΛΓΕΒΡΑ Α ΛΥΚΕΙΟΥ ΚΕΦ. ο A. Ταυτότητες, ιδιότητες δυνάμεων, διάταξη.1 Να παραγοντοποιήσετε τις παρακάτω παραστάσεις: 1. 15a x 15a y 5a x 5a y. a x a x a x a x 3 3 4 3 3 3 3. x 4xy 16 4 y
Διαβάστε περισσότεραΛογική Πρώτης Τάξης. Γιώργος Κορφιάτης. Νοέµβριος Εθνικό Μετσόβιο Πολυτεχνείο
Λογική Πρώτης Τάξης Γιώργος Κορφιάτης Εθνικό Μετσόβιο Πολυτεχνείο Νοέµβριος 2008 Σύνταξη Ορισµός (Σύνταξη της λογικής πρώτης τάξης) Λεξιλόγιο Σ = (Φ, Π, r) Συναρτήσεις f Φ Σχέσεις R Π r( ) η πληθικότητα
Διαβάστε περισσότεραK15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole
K15 Ψηφιακή Λογική Σχεδίαση 4+5: Άλγεβρα Boole Γιάννης Λιαπέρδος TEI Πελοποννήσου Σχολή Τεχνολογικών Εφαρμογών Τμήμα Μηχανικών Πληροφορικής ΤΕ Ορισμός της δίτιμης άλγεβρας Boole Περιεχόμενα 1 Ορισμός της
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 231: Δομές Δεδομένων και Αλγόριθμοι ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας ΠΕΡΙΓΡΑΦΗ Σε αυτή την άσκηση καλείστε να αναλύσετε και να υπολογίσετε το
Διαβάστε περισσότεραΘΕΩΡΗΜΑ ROLLE. τέτοιο ώστε. στο οποίο η εφαπτομένη είναι παράλληλη στον άξονα χχ. της γραφικής παράστασης της f x με. Κατηγορίες Ασκήσεων
Διατύπωση: Εάν για μια συνάρτηση ΘΕΩΡΗΜΑ ROLLE x ισχύουν Η x συνεχής στο [α,β] Η x παραγωγίσιμη στο (α, β) a τότε υπάρχει ένα τουλάχιστον, τέτοιο ώστε ' 0 Γεωμετρική Ερμηνεία : Γεωμετρικά το θεώρημα ROLLE
Διαβάστε περισσότεραΥπολογίσιμες Συναρτήσεις
Υπολογίσιμες Συναρτήσεις Σ Π Υ Ρ Ι Δ Ω Ν Τ Ζ Ι Μ Α Σ Δ Τ Ο Μ Ε Α Σ Τ Μ Η Μ Α Μ Α Θ Η Μ Α Τ Ι Κ Ω Ν Σ Χ Ο Λ Η Θ Ε Τ Ι Κ Ω Ν Ε Π Ι Σ Τ Η Μ Ω Ν Π Α Ν Ε Π Ι Σ Τ Η Μ Ι Ο Ι Ω Α Ν Ν Ι Ν Ω Ν Υπολογίσιμες Συναρτήσεις
Διαβάστε περισσότεραILP-Feasibility conp
Διάλεξη 19: 23.12.2014 Θεωρία Γραμμικού Προγραμματισμού Γραφέας: Χαρίλαος Τζόβας Διδάσκων: Σταύρος Κολλιόπουλος 19.1 Θεωρία Πολυπλοκότητας και προβλήματα απόφασης Για να μιλήσουμε για προβλήματα και τον
Διαβάστε περισσότεραΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (1/7/ 2013) y x + y.
ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (/7/ 203) ΘΕΜΑ. (α) Δίνεται η συνάρτηση f : R 2 R με f(x, y) = xy x + y, αν (x, y) (0, 0) και f(0, 0) = 0. Δείξτε ότι η f είναι συνεχής στο (0, 0). (β) Εξετάστε αν
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 24: Μη Ντεντερμινιστικές Μηχανές Turing Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότερα4. Ο,τιδήποτε δεν ορίζεται με βάση τα (1) (3) δεν είναι προτασιακός τύπος.
Κεφάλαιο 10 Μαθηματική Λογική 10.1 Προτασιακή Λογική Η γλώσσα της μαθηματικής λογικής στηρίζεται βασικά στις εργασίες του Boole και του Frege. Ο Προτασιακός Λογισμός περιλαμβάνει στο αλφάβητό του, εκτός
Διαβάστε περισσότεραi) Για να δείξουμε την επιθυμητή ισότητα, δείχνουμε πως A B {A x : x B} και πως {A x : x B} A B. Για τον πρώτο εγκλεισμό, έστω a A B, δηλάδη a A και a
Θεωρία Συνόλων Χειμερινό Εξάμηνο 2016 2017 Λύσεις 1. Άσκηση 1.9 (σελ. 17), από τις σημειώσεις του Σκανδάλη. Εστω A, B δεδομένα σύνολα. Θα χρησιμοποιήσουμε τα αξιώματα αλλά αναφερόμενοι, αποκλειστικά, είτε
Διαβάστε περισσότεραΚεφάλαιο 2 ο ανάλυσης ερωτήσεις στις παραγώγους. τότε η f(x) είναι παραγωγίσιμη
Κεφάλαιο 2 ο ανάλυσης ερωτήσεις στις παραγώγους. 1. Αν υπάρχει το lim x x0 f(x) f(x 0 ) x x 0 τότε η f(x) είναι παραγωγίσιμη στο x 0 του Π.Ο της; : όχι. Πρέπει επιπλέον το όριο να είναι πραγματικός αριθμός.
Διαβάστε περισσότεραΠερίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ. Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }.
Περίληψη μαθημάτων Ι. ΣΥΝΑΡΤΗΣΕΙΣ Με N θα συμβολίζουμε το σύνολο των φυσικών αριθμών, δηλ. N = {1, 2, 3, 4, }. Με Z θα συμβολίζουμε το σύνολο των ακεραίων αριθμών, δηλ. Z = N {0, 1, 2, 3, 4, }. Με Q θα
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ 2004
ΜΑΘΗΜΑΤΙΚΑ ΚΑΙ ΣΤΟΙΧΕΙΑ ΣΤΑΤΙΣΤΙΚΗΣ Γ ΛΥΚΕΙΟΥ ΓΕΝΙΚΗΣ ΠΑΙ ΕΙΑΣ 004 ΕΚΦΩΝΗΣΕΙΣ ΘΕΜΑ ο Α. Να αποδείξετε ότι η παράγωγος της σταθερής συνάρτησης fxc είναι ίση µε 0. Μονάδες 8 Β. Να δώσετε τον ορισµό της συνέχειας
Διαβάστε περισσότεραΣυνέχεια συνάρτησης Σελ 17. Η απόδειξη ύπαρξης ρίζας εξίσωσης (τουλάχιστον μία) σε
Συνέχεια συνάρτησης Σελ 17 ΜΕΘΟΔΟΛΟΓΙΑ 4.0.1 Η απόδειξη ύπαρξης ρίζας εξίσωσης (τουλάχιστον μία) σε κάποιο διάστημα τιμών της μεταβλητής της, οδηγεί στην εφαρμογή του θεωρήματος Βlzan ως εξής: i) Μεταφέρουμε
Διαβάστε περισσότεραΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ. ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας
ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΥΠΡΟΥ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ΕΠΛ 231: Δομές Δεδομένων και Αλγόριθμοι Εαρινό Εξάμηνο 2013 ΘΕΩΡΗΤΙΚΗ ΑΣΚΗΣΗ 1 ΛΥΣΕΙΣ Ανάλυση Πολυπλοκότητας Διδάσκων Καθηγητής: Παναγιώτης Ανδρέου Ημερομηνία Υποβολής:
Διαβάστε περισσότεραΚανονικές Γλώσσες. Κανονικές Γλώσσες. Κανονικές Γλώσσες και Αυτόματα. Κανονικές Γλώσσες και Αυτόματα
Κανονικές Γλώσσες Κανονικές Γλώσσες Διδάσκοντες: Φ. Αφράτη, Δ. Φωτάκης Επιμέλεια διαφανειών: Δ. Φωτάκης Κανονική γλώσσα αν παράγεται από κανονική γραμματική. Παραγωγές P (V Σ) Σ * ((V Σ) ε) Παραγωγές μορφής:
Διαβάστε περισσότεραΜΕΜ251 Αριθμητική Ανάλυση
ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 03, 12 Φεβρουαρίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Επαναληπτικές μέθοδοι - Γενική θεωρία 2. Η μέθοδος του Newton
Διαβάστε περισσότεραΔιαφορικές Εξισώσεις.
Διαφορικές Εξισώσεις. Εαρινό εξάμηνο 05-6. Λύσεις δεύτερου φυλλαδίου ασκήσεων.. Βρείτε όλες τις λύσεις της εξίσωσης Bernoulli x y = xy + y 3 καθορίζοντας προσεκτικά το διάστημα στο οποίο ορίζεται καθεμιά
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύ
Θεωρία Υπολογισμού Ενότητα 21: Υπολογισμοί ΜΤ - Αναδρομικές Γλώσσες Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως
Διαβάστε περισσότεραα) f(x(t), y(t)) = 0,
Ρητές καμπύλες Μια επίπεδη αλγεβρική καμπύλη V (f) είναι το σύνολο όλων των σημείων του επιπέδου K 2 που μηδενίζουν κάποιο συγκεκριμένο ανάγωγο πολυώνυμο f K[x, y], δηλαδή V (f) = {(x 0, y 0 ) K 2 f(x
Διαβάστε περισσότεραΛύσεις 4ης Σειράς Ασκήσεων
Λύσεις 4ης Σειράς Ασκήσεων Άσκηση 1 Αναγάγουμε τν Κ 0 που γνωρίζουμε ότι είναι μη-αναδρομική (μη-επιλύσιμη) στην γλώσσα: L = {p() η μηχανή Turing Μ τερματίζει με είσοδο κενή ταινία;} Δοσμένης της περιγραφής
Διαβάστε περισσότεραΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 10: ΕΥΡΕΣΗ ΤΟΠΙΚΩΝ ΑΚΡΟΤΑΤΩΝ
ΚΕΦΑΛΑΙΟ 3ο: ΔΙΑΦΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ ΕΝΟΤΗΤΑ 1: ΕΥΡΕΣΗ ΤΟΠΙΚΩΝ ΑΚΡΟΤΑΤΩΝ [Ενότητα Προσδιορισμός των Τοπικών Ακροτάτων - Θεώρημα Εύρεση Τοπικών Ακροτάτων του κεφ27 Μέρος Β του σχολικού βιβλίου] ΣΗΜΕΙΩΣΕΙΣ Εύρεση
Διαβάστε περισσότεραΜη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση
Μη-Αριθμήσιμα Σύνολα, ιαγωνιοποίηση ιδάσκοντες: Φ. Αφράτη,. Φωτάκης,. Σούλιου Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Αριθμήσιμα
Διαβάστε περισσότεραΘεωρία Υπολογισμού και Πολυπλοκότητα
Θεωρία Υπολογισμού και Πολυπλοκότητα Κεφάλαιο 14. Χρονική Πολυπλοκότητα 17, 20, 24 Απριλίου 2007 Δρ. Παπαδοπούλου Βίκη 1 Υπολογίσιμα και Εφικτά Υπολογίσιμα Προβλήματα Είδαμε ότι 1. Οτιδήποτε μπορούμε να
Διαβάστε περισσότερα2 n N: 0, 1,..., n A n + 1 A
Θεωρία Υπολογισμού Ενότητα 5: Τεχνικές απόδειξης & Κλειστότητα Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραL A P. w L A f(w) L B (10.1) u := f(w)
Κεφάλαιο 10 NP -πληρότητα Σύνοψη Οι γλώσσες στην κλάση πολυπλοκότητας P μπορούν να αποφασίζονται σε πολωνυμικό χρόνο. Οι επιστήμονες πιστεύουν, αν και δε μπορούν να το αποδείξουν ότι η P είναι ένα γνήσιο
Διαβάστε περισσότεραΣυνήθεις Διαφορικές Εξισώσεις Ι ΣΔΕ Bernoulli, Riccati, Ομογενείς. Διαφορικές Εξισώσεις Bernoulli, Riccati και Ομογενείς
Συνήθεις Διαφορικές Εξισώσεις Ι ΣΔΕ Bernoulli, Riccati, Ομογενείς Διαφορικές Εξισώσεις Bernoulli, Riccati και Ομογενείς Οι εξισώσεις Bernoulli αποτελούν την κλάση των μη γραμμικών διαφορικών εξισώσεων
Διαβάστε περισσότεραΤο Θεώρημα Stone - Weierstrass
Το Θεώρημα Stone - Weierstrass Θεώρημα 1 Έστω ¹ X συμπαγής χώρος Hausdorff και έστω C R (X η πραγματική άλγεβρα όλων των συνεχών συναρτήσεων f : X R. Έστω ότι ένα υποσύνολο A C R (X (1 το A είναι υπάλγεβρα
Διαβάστε περισσότεραΙσοδυναμία Αιτ. Και μη Αιτ. Π.Α.
Ισοδυναμία Αιτ. Και μη Αιτ. Π.Α. Δύο Π.Α. Μ 1 και Μ 2 είναι ισοδύναμα ανν L(M 1 ) = L(M 2 ). Έστω Μ = (Q, Σ, q 0, Δ, F) μη Αιτ. Π.Α. Για κάθε κατάσταση q Q, ορίζουμε ως Ε(q) Q το σύνολο των καταστάσεων
Διαβάστε περισσότεραcos t dt = 0. t cos t 2 dt = 1 8 f(x, y, z) = (2xyz, x 2 z, x 2 y) (2xyz) = (x2 z) (x 2 z) = (x2 y) 1 u du =
ΛΥΣΕΙΣ. Οι ασκήσεις από το βιβλίο των Marsden - Tromba. 1. 7.1.()(b) σ (t) (cos t sin t 1) οπότε σ (t) και σ f(x y z) ds π (c) σ (t) i + tj οπότε σ (t) 1 + 4t και σ f(x y z) ds 1 t cos 1 + 4t dt 1 8 cos
Διαβάστε περισσότεραΤο Θεώρημα CHEVALLEY-WARNING
Το Θεώρημα CHEVALLEY-WARNING Ανθή Ζερβού Διδάσκων: Ιωάννης Αντωνιάδης 3/02/2015 1 ΠΕΠΕΡΑΣΜΕΝΑ ΣΩΜΑΤΑ Ορισμός. Εστω Κ σώμα. Χαρακτηριστική του Κ, συμβολίζεται ch(k), είναι ο ελάχιστος φυσικός αριθμός n
Διαβάστε περισσότεραΚανονικές Γλώσσες. ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Κανονικές Γλώσσες ιδάσκοντες: Φ. Αφράτη,. Φωτάκης Επιμέλεια διαφανειών:. Φωτάκης Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών Εθνικό Μετσόβιο Πολυτεχνείο Κανονικές Γλώσσες Κανονική γλώσσα αν
Διαβάστε περισσότεραΥπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5
Υπολογιστική Πολυπλοκότητα Εξέταση Ιουνίου 2017 Σελ. 1 από 5 Στη σελίδα αυτή γράψτε μόνο τα στοιχεία σας. Γράψτε τις απαντήσεις σας στις επόμενες σελίδες, κάτω από τις αντίστοιχες ερωτήσεις. Στις απαντήσεις
Διαβάστε περισσότεραΜΕΜ251 Αριθμητική Ανάλυση
ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 10, 12 Μαρτίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Παρεμβολή 2. Παράσταση και υπολογισμός του πολυωνύμου παρεμβολής
Διαβάστε περισσότεραΦροντιστήριο 10 Λύσεις
Άσκηση 1 Φροντιστήριο 10 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {0,1} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΑνασκόπηση-Μάθημα 14 Όρια και Συνέχεια συναρτήσεων στο R 2
Τμήμα Μηχανικών Οικονομίας και Διοίκησης Απειροστικός Λογισμός ΙΙ Γ. Καραγιώργος ykarag@aegean.gr Ανασκόπηση-Μάθημα 14 Όρια και Συνέχεια συναρτήσεων στο R 2 Στο δέκατο τέταρτο μάθημα (30/10/2018), ασχοληθήκαμε
Διαβάστε περισσότεραΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων
ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς
Διαβάστε περισσότεραΆδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Cretive Commons. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε άλλου τύπ
Θεωρία Υπολογισμού Ενότητα 11: Κλειστότητα, ΠΑ & καν. εκφράσεις Τμήμα Πληροφορικής Άδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Cretive Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,
Διαβάστε περισσότεραΜΑΘΗΜΑΤΙΚΑ Ι Β ΜΕΡΟΣ
ΤΕΙ ΠΕΛΟΠΟΝΝΗΣΟΥ ΤΜΗΜΑ ΤΕΧΝΟΛΟΓΙΑΣ ΤΡΟΦΙΜΩΝ ΜΑΘΗΜΑΤΙΚΑ Ι Περιληπτικές Σημειώσεις-Ασκήσεις Β ΜΕΡΟΣ ΦΩΤΟΥΛΑ ΑΡΓΥΡΟΠΟΥΛΟΥ KAΘ. ΕΦΑΡΜΟΓΩΝ ΤΜΗΜΑΤΟΣ ΔΕΟ Msc. Θεωρητικά Μαθηματικά ΚΑΛΑΜΑΤΑ 2016 0 ΠΕΡΙΕΧΟΜΕΝΑ
Διαβάστε περισσότεραΘΕΩΡΗΤΙΚΗ ΜΗΧΑΝΙΚΗ Ι Φεβρουάριος 2013
ΘΕΩΡΗΤΙΚΗ ΜΗΧΑΝΙΚΗ Ι Φεβρουάριος 0 ΘΕΜΑ α) Να βρεθούν οι επιτρεπτές περιοχές της κίνησης στον άξονα x Ox για την απωστική δύναµη F x, > 0 και για ενέργεια Ε. β) Υλικό σηµείο µάζας m µπορεί να κινείται
Διαβάστε περισσότεραΓια την τοπική μελέτη μιας συνάρτησης f ενδιαφέρον έχει η συμπεριφορά της συνάρτησης γύρω απο κάποια θέση x 0
5 Όριο συνάρτησης Α ΑΠΑΡΑΙΤΗΤΕΣ ΓΝΩΣΕΙΣ ΘΕΩΡΙΑΣ Για την τοπική μελέτη μιας συνάρτησης f ενδιαφέρον έχει η συμπεριφορά της συνάρτησης γύρω απο κάποια θέση (δηλαδή όταν το βρίσκεται πολύ κοντά στο ) ή στο
Διαβάστε περισσότεραΑποφασισιµότητα / Αναγνωρισιµότητα. Μη Επιλύσιµα Προβλήµατα. Η έννοια της αναγωγής. Τερµατίζει µια δεδοµένη TM για δεδοµένη είσοδο;
Αποφασισιµότητα / Αναγνωρισιµότητα Ορέστης Τελέλης telelis@unipi.gr Μη Επιλύσιµα Προβλήµατα Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς 2/12/2015 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Αποφασισιµότητα 2/12/2015
Διαβάστε περισσότεραΣΥΓΚΛΙΣΗ ΣΥΝΑΡΤΗΣΗΣ: Ορισμός Cauchy
ΣΥΓΚΛΙΣΗ ΣΥΝΑΡΤΗΣΗΣ: Ορισμός Cauchy Augustin- Louis Cauchy 1789-1857 ΠΛΕΥΡΙΚΑ ΟΡΙΑ Ορισμός σύγκλισης Cauchy συγκλίνει για x ξ Η συνάρτηση f(x) ɛ > 0 δ (ɛ, ξ) : x ξ < δ f(x) l < ɛ f(x) = l + f(x) = l +
Διαβάστε περισσότεραΜαθηματικά Διοικητικών & Οικονομικών Επιστημών
Μαθηματικά Διοικητικών & Οικονομικών Επιστημών Ενότητα 1: Συναρτήσεις (Θεωρία) Μπεληγιάννης Γρηγόριος Σχολή Οργάνωσης και Διοίκησης Επιχειρήσεων Τμήμα Διοίκησης Επιχειρήσεων Αγροτικών Προϊόντων & Τροφίμων
Διαβάστε περισσότεραΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΝΑΤΟ ΜΑΘΗΜΑ, Μ. Παπαδημητράκης.
ΑΝΑΛΥΣΗ 1 ΕΙΚΟΣΤΟ ΕΝΑΤΟ ΜΑΘΗΜΑ, 12-12-13 Μ. Παπαδημητράκης. 1 Ας δούμε ένα παράδειγμα υπολογισμού ορίου με χρήση της συνέχειας της σύνθεσης συνεχών συναρτήσεων. Παράδειγμα. Θέλουμε να υπολογίσουμε το όριο
Διαβάστε περισσότεραΦροντιστήριο 9 Λύσεις
Άσκηση 1 Φροντιστήριο 9 Λύσεις Να κατασκευάσετε μια μηχανή Turing με δύο ταινίες η οποία να αποδέχεται στην πρώτη της ταινία μια οποιαδήποτε λέξη w {a,b} * και να γράφει τη λέξη w R στη δεύτερη της ταινία.
Διαβάστε περισσότεραΠΑΡΑΤΗΡΗΣΕΙΣ ΚΑΙ ΘΕΩΡΗΤΙΚΑ ΣΧΟΛΙΑ. ΟΣΑ ΑΠΟ ΑΥΤΑ ΧΡΗΣΙΜΟΠΟΙΗΘΟΥΝ ΣΕ ΑΣΚΗΣΕΙΣ, ΘΕΛΟΥΝ ΑΠΟΔΕΙΞΗ!!
ΠΑΡΑΤΗΡΗΣΕΙΣ ΚΑΙ ΘΕΩΡΗΤΙΚΑ ΣΧΟΛΙΑ. ΟΣΑ ΑΠΟ ΑΥΤΑ ΧΡΗΣΙΜΟΠΟΙΗΘΟΥΝ ΣΕ ΑΣΚΗΣΕΙΣ, ΘΕΛΟΥΝ ΑΠΟΔΕΙΞΗ!! 1. Αν f(x).g(x)=0 τότε μπορούμε να βγάλουμε συμπέρασμα ότι f(x)=0 ή g(x)=0 ; Οχι. Απλά η κάθε συνάρτηση μηδενίζεται
Διαβάστε περισσότερα