Μηχανές Turing και Υπολογισιμότητα

Μέγεθος: px

Εμφάνιση ξεκινά από τη σελίδα:

Download "Μηχανές Turing και Υπολογισιμότητα"

Ἀράχνη Ζάνος
8 χρόνια πριν
Προβολές:

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

2 Θεωρία Υπολογισμού Γιατί κάποια προβλήματα δεν λύνονται από υπολογιστές; Hilbert (1900): πληρότητα και αυτοματοποίηση των μαθηματικών. 10 ο πρόβλημα: Αλγόριθμος για ιοφαντικές εξισώσεις. Αλγόριθμος: διατύπωση και απόδειξη ορθότητας. εν υπάρχει αλγόριθμος; Ορισμός «αλγόριθμου» μέσω υπολογιστικού μοντέλου, και απόδειξη ότι ύπαρξη αλγόριθμου οδηγεί σε αντίφαση. Gödel: μαθηματικά δενείναιπλήρη! Turing: μαθηματικά δεν αυτοματοποιούνται! Υπάρχουν προβλήματα που δεν είναι υπολογίσιμα. Μatijasevic (1970): Όχι αλγόριθμος για ιοφαντικές εξισώσεις. Για κάθε αλγ. Α, υπάρχει εξίσωση που ο Α απαντά λάθος! Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 2

εν υπάρχει αλγόριθμος; Ορισμός «αλγόριθμου» μέσω υπολογιστικού μοντέλου, και απόδειξη ότι ύπαρξη αλγόριθμου οδηγεί σε αντίφαση. Gödel: μαθηματικά δενείναιπλήρη!

3 Υπολογιστικό Πρόβλημα και Αλγόριθμος (Υπολογιστικό) πρόβλημα: ορίζει μετασχηματισμό δεδομένων εισόδου σε δεδομένα εξόδου. ιαισθητικά: ορίζεται από ερώτηση για στιγμιότυπα εισόδου. Στιγμιότυπο: αντικείμενο που αντιστοιχεί σε δεδομένα εισόδου. ιατυπώνουμε ερώτηση και περιμένουμε απάντηση. Άπειρο σύνολο στιγμιοτύπων. Αλγόριθμος: σαφώς ορισμένη διαδικασία για την επίλυση προβλήματος σε πεπερασμένο χρόνο από υπολογιστική μηχανή (Turing). Υπολογίζει μηχανιστικά την σωστή απάντηση σε πεπερασμένο χρόνο. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 3

ιατυπώνουμε ερώτηση και περιμένουμε απάντηση. Άπειρο σύνολο στιγμιοτύπων.

4 Προβλήματα Βελτιστοποίησης Πρόβλημα βελτιστοποίησης Π: Σύνολο στιγμιότυπων Σ Π Σύνολο αποδεκτών λύσεων: Αντικειμενική συνάρτηση: εδομένου στιγμιότυπου σ, ζητείται Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 4

Αντικειμενική συνάρτηση: εδομένου στιγμιότυπου σ, ζητείται

5 Προβλήματα Απόφασης Πρόβλημα απόφασης Π: Σύνολο στιγμιότυπων Σ Π Σύνολο (αποδεκτών) λύσεων: εδομένου Επιδέχεται μόνο δύο απαντήσεων: ΝΑΙ ή ΌΧΙ. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 5

6 Παραδείγματα Προβλημάτων Πρόβλημα Προσπελασιμότητας: Στιγμιότυπο: Κατευθυνόμενο γράφημα G(V, E), κορυφές s, t V. Ερώτηση: Υπάρχει s t μονοπάτι; Πρόβλημα Συντομότερου Μονοπατιού: Στιγμιότυπο: Κατευθυνόμενο γράφημα G(V, E), μήκη στις ακμές w: E R, κορυφές s, t V. Ερώτηση: Ποιο είναι το συντομότερο s t μονοπάτι; Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 6

Ερώτηση: Υπάρχει s t μονοπάτι; Πρόβλημα Συντομότερου Μονοπατιού: Στιγμιότυπο: Κατευθυνόμενο

7 Παραδείγματα Προβλημάτων Πρόβλημα κύκλου Hamilton: Στιγμιότυπο: Γράφημα G(V, E). Ερώτηση: Υπάρχει κύκλος Hamilton στο G; Πρόβλημα Πλανόδιου Πωλητή: Στιγμιότυπο: Σύνολο Ν = {1,..., n} σημείων, αποστάσεις d : N N R +. Ερώτηση: Ποια περιοδεία ελαχιστοποιεί συνολικό μήκος ή ισοδύναμα, ποια μετάθεση π του Ν ελαχιστοποιεί το: Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 7

8 Προβλήματα και Τυπικές Γλώσσες Πρόβλημα βελτιστοποίησης πρόβλημα απόφασης με φράγμα Β. Ελαχιστοποίηση: εφικτή λύση με κόστος Β; Μεγιστοποίηση: εφικτή λύση με κέρδος Β; Πρόβλημα βελτιστοποίησης λύνεται σε πολυωνυμικό χρόνο ανν αντίστοιχο πρόβλημα απόφασης λύνεται σε πολυωνυμικό χρόνο. Πρόβλημα απόφασης τυπική γλώσσα με κωδικοποίηση. Στιγμιότυπο: συμβολοσειρά αλφαβήτου Σ. Πρόβλημα: γλώσσα, υποσύνολο Σ *. Εύλογη κωδικοποίηση, π.χ. δυαδική, χωρίς «σπατάλη» συμβόλων. Πρόβλημα Π και κωδικοποίηση e: γλώσσα L(Π, e) με συμβ/ρές που αντιστοιχούν σε ΝΑΙ-στιγμιότυπα του Π. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 8

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

9 Ντετερμινιστικές Μηχανές Turing Ντετερμινιστική Μηχανή Turing (DTM) M (Q, Σ, δ, q 0, F) Q σύνολο καταστάσεων. Σ αλφάβητο εισόδου και αλφάβητο ταινίας. q 0 Q αρχική κατάσταση. F Q τελική κατάσταση (συνήθως YES, NO, HALT). συνάρτηση μετάβασης. (κατάσταση q, διαβάζει α) (νέα κατάσταση q, γράφει α, κεφαλή μετακινείται L, R ή S). Απεριόριστη ταινία ανάγνωσης / εγγραφής και κεφαλή που μετακινείται στις θέσεις τις ταινίας. ιαβάζει είσοδο από ταινία. Έξοδος: τελική κατάσταση και περιεχόμενο ταινίας. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 9

(κατάσταση q, διαβάζει α) (νέα κατάσταση q, γράφει α, κεφαλή μετακινείται L, R ή S).

10 Ντετερμινιστικές Μηχανές Turing Υπολογισμός DTM μπορεί να μην τερματίζει!... σε αντίθεση π.χ. με DFA. Συνολική κατάσταση ή διαμόρφωση (configuration): (τρέχουσα κατάσταση q, συμβ/ρά αριστερά κεφαλής σ l, σύμβολο σε θέση κεφαλής, συμβ/ρά δεξιά κεφαλής σ r ). Αρχική διαμόρφωση με είσοδο x = x 1 x 2 x n : Τελική διαμόρφωση με έξοδο y = y 1 y 2 y m : Υπολογισμός DTM M : συνάρτηση - και σχέση - *. - : διαμόρφωση που προκύπτει από τρέχουσα σε ένα βήμα. - * : διαμορφώσεις που προκύπτουν σε κάποιο #βημάτων. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 10

Παράδειγμα Μηχανής Turing Σε DTM με Σ = {0, 1} μπορούμε να αντιστοιχίσουμε μερική συνάρτηση όπου είσοδος και έξοδος κωδικοποιούνται στο δυαδικό σύστημα.

11 Παράδειγμα Μηχανής Turing Σε DTM με Σ = {0, 1} μπορούμε να αντιστοιχίσουμε μερική συνάρτηση όπου είσοδος και έξοδος κωδικοποιούνται στο δυαδικό σύστημα. «Αλγόριθμος» DΤΜ που με είσοδο x υπολογίζει x+1: Κάνε τρέχον το κύτταρο με τελευταίο σύμβολο της εισόδου x; repeat Αν τρέχον κύτταρο έχει, γράψε 1 και σταμάτα; Αν τρέχον κύτταρο έχει 1, γράψε 0, κάνε τρέχον το αμέσως αριστερότερο κύτταρο, και κρατούμενο := 1; Αν τρέχον κύτταρο έχει 0, γράψε 1, κάνε τρέχον το αμέσως αριστερότερο κύτταρο, και κρατούμενο := 0; until κρατούμενο = 0; Κάνε τρέχον το κύτταρο με πρώτο σύμβολο του x+1 και σταμάτα; Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 11

τρέχον κύτταρο έχει 1, γράψε 0, κάνε τρέχον το αμέσως αριστερότερο κύτταρο, και κρατούμενο := 1; Αν τρέχον κύτταρο έχει 0, γράψε 1, κάνε τρέχον το αμέσως αριστερότερο

12 Παράδειγμα Μηχανής Turing Μηχανή Turing που με είσοδο x υπολογίζει x+1: Παράδειγμα λειτουργίας με είσοδο x = 1011: Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 12

13 Ντετερμινιστικές Μηχανές Turing Ντετερμινισμός: υπολογισμός M(x) εξελίσσεται με προδιαγεγραμμένο τρόπο ( - είναι συνάρτηση ). M(x) τερματίζει σε τελική κατάσταση ή δεν τερματίζει. M(x) = YES : M αποδέχεται x. M(x) = NO : M απορρίπτει x. M(x) = y : M υπολογίζει y = f(x). Καθολική Μηχανή Turing U: U(M; x) = M(x). U προσομοιώνει κάθε άλλη DTM για οποιαδήποτε είσοδο. U διαβάζει ως είσοδο περιγραφή DTM M και είσοδο x για Μ. U προσομοιώνει υπολογισμό Μ(x) και καταλήγει σε ίδιο αποτέλεσμα. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 13

M(x) = y : M υπολογίζει y = f(x). Καθολική Μηχανή Turing U: U(M; x) = M(x). U προσομοιώνει κάθε άλλη DTM για οποιαδήποτε είσοδο.

14 Υπολογισιμότητα Γλώσσα (πρόβλημα) L αποκρίσιμη (decidable), ή υπολογίσιμη (computable), αναδρομική (recursive), επιλύσιμη (solvable): Γλώσσα (πρόβλημα) L αποδεκτή (acceptable), ή ημιαποκρίσιμη (semidecidable), αναδρομικά απαριθμήσιμη (recursively enumerable), καταγράψιμη (listable): (Μερική) συνάρτηση f υπολογίσιμη: Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 14

(semidecidable), αναδρομικά απαριθμήσιμη (recursively enumerable), καταγράψιμη (listable): (Μερική)

15 Υπολογισιμότητα Να δείξετε ότι: Κάθε αποκρίσιμη γλώσσα είναι και ημιαποκρίσιμη. Αν γλώσσα L αποκρίσιμη, τότε συμπληρωματική αποκρίσιμη. Γλώσσα L αποκρίσιμη ανν L και συμπληρωματική της L ημιαποκρίσιμες. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 15

Γλώσσα L αποκρίσιμη ανν L και συμπληρωματική της L ημιαποκρίσιμες.

16 Θέση Church Turing DTM πολύ ισχυρό υπολογιστικό μοντέλο! Προσπάθεια ενίσχυσης με επιπλέον δυνατότητες. Π.χ. Πολλαπλές ταινίες. Ταινία δύο (ή γενικότερα d) διαστάσεων. Πολλαπλές κεφαλές. Μη ντετερμινισμός (σχέση μετάβασης). Μπορεί ευκολότερος σχεδιασμός και «μικρή» επιτάχυνση. «Ενισχυμένες» (D, N)TMπροσομοιώνονται από τυπικές DTM. εν ενισχύεται το υπολογιστικό μοντέλο! Ίδια κλάση αποκρίσιμων και ημιαποκρίσιμων γλωσσών. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 16

Μπορεί ευκολότερος σχεδιασμός και «μικρή» επιτάχυνση. «Ενισχυμένες» (D, N)TMπροσομοιώνονται από τυπικές DTM.

17 Θέση Church Turing εν υπάρχει υπολογιστικό μοντέλο ισχυρότερο των DTM. Π.χ. αναδρομικές συναρτήσεις, RAM, Church, Post, Markov, Θέση των Church Turing: Υπολογίσιμο ανν DTM αποκρίσιμο! ιαισθητικά: αλγόριθμος είναι DTM που τερματίζει πάντα (με σωστό αποτέλεσμα). Θέση Church Turing δεν μπορεί να αποδειχθεί. Είναι θεωρητικά δυνατόν, αλλά πρακτικά απίθανο να διατυπωθεί στο μέλλον ισχυρότερο υπολογιστικό μοντέλο. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 17

18 Μη-Υπολογισιμότητα Υπάρχουν μη επιλύσιμα προβλήματα (μη αποκρ. γλώσσες). Γλώσσες μη αριθμήσιμες, DTM αριθμήσιμες! Πρόβλημα τερματισμού (halting problem): εδομένης DTM M και συμβ/ράς x, M(x) τερματίζει; Υπάρχει(;) DTM / πρόγραμμα Η που δέχεται ως είσοδο (οποιαδήποτε) DTM / πρόγραμμα Μ και την είσοδο x για M, και απαντά YES αν M(x) τερματίζει και NO αν M(x) δεν τερματίζει. Πρόβλημα τερματισμού είναι μη επιλύσιμο! Απόδειξη με διαγωνιοποίηση. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 18

ως είσοδο (οποιαδήποτε) DTM / πρόγραμμα Μ και την είσοδο x για M, και απαντά YES αν M(x) τερματίζει και NO αν M(x) δεν τερματίζει.

19 Μη-Υπολογισιμότητα Πρόβλημα τερματισμού είναι μη επιλύσιμο! Έστω ότι υπάρχει DTM H που για κάθε DTM Μ καιείσοδοx, H(M; x) αποφασίζει αν M(x) τερματίζει ή όχι. Με βάση DTM Η, κατασκευάζουμε DTM D(M): Εκ κατασκευής, D(M) τερματίζει ανν Μ(Μ) δεν τερματίζει! οκιμάζουμε D με είσοδο τον εαυτό της: D(D) τερματίζει ανν D(D) δεν τερματίζει! Άτοπο!!! Υπάρχουν πολλά άλλα μη επιλύσιμα προβλήματα. Π.χ. επίλυση ιοφαντικών εξισώσεων. Αλγόριθμοι & Πολυπλοκότητα (Χειμώνας 2015) Μηχανές Turing και Υπολογισιμότητα 19

Με βάση DTM Η, κατασκευάζουμε DTM D(M): Εκ κατασκευής, D(M) τερματίζει ανν Μ(Μ) δεν τερματίζει!

Σχετικά έγγραφα

Ο Δήμαρχoς κoς Μουζάς Δημήτριος πρoσκλήθηκε και παρίσταται στη συvεδρίαση.

Ο Δήμαρχoς κoς Μουζάς Δημήτριος πρoσκλήθηκε και παρίσταται στη συvεδρίαση. ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΝΟΜΟΣ ΕΒΡΟΥ ΔΗΜΟΣ ΟΡΕΣΤΙΑΔΑΣ ΔΙΕΥΘΥΝΣΗ ΔΙΟΙΚΗΤΙΚΟΥ ΑΝΑΡΤΗΤΕΑ ΣΤΟ ΔΙΑΔΙΚΤΥΟ Α Π Ο Σ Π Α Σ Μ Α ================= Από τo υπ' αριθμ. 11 ο Πρακτικό Συvεδρίασης τoυ Δημoτικoύ Συμβoυλίoυ Δήμoυ