Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων.

30 Νοεμβρίου 2016

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang. c T Z2 διάταξη των πλακιδίων.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang. c T Z2 διάταξη των πλακιδίων. Εγκυρη στη θέση ( n, n + e 1 ) αν c( n) Δ = c( n + e 1 ) Α.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang. c T Z2 διάταξη των πλακιδίων. Εγκυρη στη θέση ( n, n + e 1 ) αν c( n) Δ = c( n + e 1 ) Α. Εγκυρη στη θέση ( n, n + e 2 ) αν c( n) Π = c( n + e 2 ) Κ.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang. c T Z2 διάταξη των πλακιδίων. Εγκυρη στη θέση ( n, n + e 1 ) αν c( n) Δ = c( n + e 1 ) Α. Εγκυρη στη θέση ( n, n + e 2 ) αν c( n) Π = c( n + e 2 ) Κ. c T Z2 έγκυρη επίστρωση αν είναι έγκυρη σε κάθε θέση.

Πλακίδια του Wang C πεπερασμένο σύνολο χρωμάτων. t = (c Α, c Π, c Δ, c Κ ) C 4 πλακίδιο του Wang. T C 4 σύνολο πλακιδίων του Wang. c T Z2 διάταξη των πλακιδίων. Εγκυρη στη θέση ( n, n + e 1 ) αν c( n) Δ = c( n + e 1 ) Α. Εγκυρη στη θέση ( n, n + e 2 ) αν c( n) Π = c( n + e 2 ) Κ. c T Z2 έγκυρη επίστρωση αν είναι έγκυρη σε κάθε θέση. X T σύνολο έγκυρων επιστρώσεων.

Πρόβλημα της επίστρωσης του Wang Πρόβλημα Δεδομένου ενός T, υπάρχει έγκυρη επίστρωση c X T ;

Πρόβλημα της επίστρωσης του Wang Πρόβλημα Δεδομένου ενός T, υπάρχει έγκυρη επίστρωση c X T ; Υπάρχει αλγόριθμος που να παίρνει ως είσοδο το T και να δίνει ως έξοδο 0 ή 1 ανάλογα με το αν X T = ή όχι;

Αρχή συμπάγειας Μία ακολουθία διατάξεων c 0, c 1,... (όχι απαραίτητα έγκυρων) συγκλίνει στη διάταξη c αν για κάθε n η ακολουθία c 0 ( n), c 1 ( n),... είναι τελικά σταθερή και ίση με c( n).

Αρχή συμπάγειας Μία ακολουθία διατάξεων c 0, c 1,... (όχι απαραίτητα έγκυρων) συγκλίνει στη διάταξη c αν για κάθε n η ακολουθία c 0 ( n), c 1 ( n),... είναι τελικά σταθερή και ίση με c( n). Λήμμα (Αρχή συμπάγειας) Κάθε ακολουθία διατάξεων έχει συγκλίνουσα υπακολουθία.

Αρχή συμπάγειας Μία ακολουθία διατάξεων c 0, c 1,... (όχι απαραίτητα έγκυρων) συγκλίνει στη διάταξη c αν για κάθε n η ακολουθία c 0 ( n), c 1 ( n),... είναι τελικά σταθερή και ίση με c( n). Λήμμα (Αρχή συμπάγειας) Κάθε ακολουθία διατάξεων έχει συγκλίνουσα υπακολουθία. Απόδειξη Αρχή του περιστεριώνα (στην άπειρη μορφή της).

Από τετράγωνα σε όλο το επίπεδο Λήμμα Αν το T μπορεί να καλύψει έγκυρα τετράγωνα κάθε πλευράς, τότε μπορεί να καλύψει το επίπεδο.

Από τετράγωνα σε όλο το επίπεδο Λήμμα Αν το T μπορεί να καλύψει έγκυρα τετράγωνα κάθε πλευράς, τότε μπορεί να καλύψει το επίπεδο. Απόδειξη Αρχή συμπάγειας.

Ημι-αλγόριθμος για το πρόβλημα X T = Ενας ημι-αλγόριθμος απαντάει σωστά στις θετικές περιπτώσεις του προβλήματος, ενώ τρέχει για πάντα στις αρνητικές.

Ημι-αλγόριθμος για το πρόβλημα X T = Λήμμα Ενας ημι-αλγόριθμος απαντάει σωστά στις θετικές περιπτώσεις του προβλήματος, ενώ τρέχει για πάντα στις αρνητικές. Υπάρχει ημι-αλγόριθμος για το πρόβλημα X T =.

Ημι-αλγόριθμος για το πρόβλημα X T = Λήμμα Ενας ημι-αλγόριθμος απαντάει σωστά στις θετικές περιπτώσεις του προβλήματος, ενώ τρέχει για πάντα στις αρνητικές. Υπάρχει ημι-αλγόριθμος για το πρόβλημα X T =. Απόδειξη Δοκιμάζουμε όλα και μεγαλύτερα τετράγωνα.

Ημι-αλγόριθμος για το πρόβλημα X T = Λήμμα Ενας ημι-αλγόριθμος απαντάει σωστά στις θετικές περιπτώσεις του προβλήματος, ενώ τρέχει για πάντα στις αρνητικές. Υπάρχει ημι-αλγόριθμος για το πρόβλημα X T =. Απόδειξη Δοκιμάζουμε όλα και μεγαλύτερα τετράγωνα. Αν υπάρχει ημι-αλγόριθμος και για το πρόβλημα X T, τότε το πρόβλημα του Wang είναι αποφασίσιμο.

Περιοδικότητα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n.

Περιοδικότητα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n. n 0 περίοδος της c.

Περιοδικότητα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n. n 0 περίοδος της c. c 2-περιοδική αν έχει δύο γραμμικά ανεξάρτητες περιόδους n 0, n 1.

Περιοδικότητα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n. n 0 περίοδος της c. c 2-περιοδική αν έχει δύο γραμμικά ανεξάρτητες περιόδους n 0, n 1. Μπορούν να επιλεγούν της μορφής (x 1, 0) και (0, x 2 ).

Περιοδικότητα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n. n 0 περίοδος της c. c 2-περιοδική αν έχει δύο γραμμικά ανεξάρτητες περιόδους n 0, n 1. Μπορούν να επιλεγούν της μορφής (x 1, 0) και (0, x 2 ). P T X T το σύνολο των 1-περιοδικών σημείων.

Περιοδικότητα Λήμμα c 1-περιοδική αν υπάρχει n 0 τ.ώ. c( n 0 ) = c( n + n 0 ) για κάθε n. n 0 περίοδος της c. c 2-περιοδική αν έχει δύο γραμμικά ανεξάρτητες περιόδους n 0, n 1. Μπορούν να επιλεγούν της μορφής (x 1, 0) και (0, x 2 ). P T X T το σύνολο των 1-περιοδικών σημείων. X T περιέχει 1-περιοδική επίστρωση c X T περιέχει 2-περιοδική επίστρωση c.

Ημι-αλγόριθμος για το πρόβλημα P T Λήμμα Υπάρχει ημι-αλγόριθμος για το πρόβλημα P T.

Ημι-αλγόριθμος για το πρόβλημα P T Λήμμα Υπάρχει ημι-αλγόριθμος για το πρόβλημα P T. Απόδειξη Δοκιμάζουμε όλο και μεγαλύτερα τετράγωνα για περιοδικότητα.

Ημι-αλγόριθμος για το πρόβλημα P T Λήμμα Υπάρχει ημι-αλγόριθμος για το πρόβλημα P T. Απόδειξη Δοκιμάζουμε όλο και μεγαλύτερα τετράγωνα για περιοδικότητα. Αν ισχύει X T P T, τότε το πρόβλημα του Wang είναι αποφασίσιμο.

T απεριοδικό σύνολο πλακιδίων αν X T και P T =.

T απεριοδικό σύνολο πλακιδίων αν X T και P T =. Αν δεν υπάρχουν απεριοδικά σύνολα πλακιδίων, τότε το πρόβλημα του Wang είναι αποφασίσιμο.

T απεριοδικό σύνολο πλακιδίων αν X T και P T =. Αν δεν υπάρχουν απεριοδικά σύνολα πλακιδίων, τότε το πρόβλημα του Wang είναι αποφασίσιμο. Αν υπάρχουν, αυτό δεν συνεπάγεται άμεσα την μη-αποφασισιμότητα του προβλήματος του Wang.

T απεριοδικό σύνολο πλακιδίων αν X T και P T =. Αν δεν υπάρχουν απεριοδικά σύνολα πλακιδίων, τότε το πρόβλημα του Wang είναι αποφασίσιμο. Αν υπάρχουν, αυτό δεν συνεπάγεται άμεσα την μη-αποφασισιμότητα του προβλήματος του Wang. Θεώρημα 1 Υπάρχουν απεριοδικά σύνολα πλακιδίων.

T απεριοδικό σύνολο πλακιδίων αν X T και P T =. Αν δεν υπάρχουν απεριοδικά σύνολα πλακιδίων, τότε το πρόβλημα του Wang είναι αποφασίσιμο. Αν υπάρχουν, αυτό δεν συνεπάγεται άμεσα την μη-αποφασισιμότητα του προβλήματος του Wang. Θεώρημα 1 Υπάρχουν απεριοδικά σύνολα πλακιδίων. 2 Το πρόβλημα του Wang είναι μη-αποφασίσιμο.

Λίγα λόγια για τη μη-αποφασισιμότητα (1) Μηχανή Turing: M = (Q, Σ, #, q 0, δ) Q σύνολο εσωτερικών καταστάσεων της κεφαλής, q 0 Q αρχική κατάσταση. Σ αλφάβητο ταινίας, # Σ κενό σύμβολο. δ : Q Σ Q Σ { 1, +1} μερική συνάρτηση μετάβασης. δ επεκτείνεται σε δ : Q Σ Z Z Q Σ Z Z.

Λίγα λόγια για τη μη-αποφασισιμότητα (1) Μηχανή Turing: M = (Q, Σ, #, q 0, δ) Q σύνολο εσωτερικών καταστάσεων της κεφαλής, q 0 Q αρχική κατάσταση. Σ αλφάβητο ταινίας, # Σ κενό σύμβολο. δ : Q Σ Q Σ { 1, +1} μερική συνάρτηση μετάβασης. δ επεκτείνεται σε δ : Q Σ Z Z Q Σ Z Z. Πρόβλημα (Halting problem) Δεδομένης της M, ορίζεται το δ n (q 0, # Z, 0) για κάθε n;

Λίγα λόγια για τη μη-αποφασισιμότητα (1) Μηχανή Turing: M = (Q, Σ, #, q 0, δ) Q σύνολο εσωτερικών καταστάσεων της κεφαλής, q 0 Q αρχική κατάσταση. Σ αλφάβητο ταινίας, # Σ κενό σύμβολο. δ : Q Σ Q Σ { 1, +1} μερική συνάρτηση μετάβασης. δ επεκτείνεται σε δ : Q Σ Z Z Q Σ Z Z. Πρόβλημα (Halting problem) Δεδομένης της M, ορίζεται το δ n (q 0, # Z, 0) για κάθε n; Μη-αποφασίσιμο!

Λίγα λόγια για τη μη-αποφασισιμότητα (2) Αναγωγή του προβλήματος του Wang στο Halting problem.

Λίγα λόγια για τη μη-αποφασισιμότητα (2) Αναγωγή του προβλήματος του Wang στο Halting problem. Αλγόριθμος που μετατρέπει τη μηχανή M σε σύνολο πλακιδίων T M.

Λίγα λόγια για τη μη-αποφασισιμότητα (2) Αναγωγή του προβλήματος του Wang στο Halting problem. Αλγόριθμος που μετατρέπει τη μηχανή M σε σύνολο πλακιδίων T M. M σταματάει αν και μόνο αν X TM =.

Λίγα λόγια για τη μη-αποφασισιμότητα (2) Αναγωγή του προβλήματος του Wang στο Halting problem. Αλγόριθμος που μετατρέπει τη μηχανή M σε σύνολο πλακιδίων T M. M σταματάει αν και μόνο αν X TM =. Αν μπορούσαμε να αποφασίσουμε εάν X TM =, θα μπορούσαμε να λύσουμε και το Halting problem.

Λίγα λόγια για τη μη-αποφασισιμότητα (2) Αναγωγή του προβλήματος του Wang στο Halting problem. Αλγόριθμος που μετατρέπει τη μηχανή M σε σύνολο πλακιδίων T M. M σταματάει αν και μόνο αν X TM =. Αν μπορούσαμε να αποφασίσουμε εάν X TM =, θα μπορούσαμε να λύσουμε και το Halting problem. Δεν υπάρχει αλγόριθμος για το πρόβλημα του Wang.

Τέλος 1ου μέρους 2ο μέρος: Απεριοδικό σύνολο πλακιδίων του Robinson και χρήση του για τη μη-αποφασισιμότητα του προβλήματος του Wang. 3ο μέρος: Απεριοδικό σύνολο πλακιδίων των Kari-Culik. Σας ευχαριστώ!