{3k + a : k N a = 1,2}.

Σχετικά έγγραφα
01 A. b = 2 b = n b = n + 1

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

P P Ó P. r r t r r r s 1. r r ó t t ó rr r rr r rí st s t s. Pr s t P r s rr. r t r s s s é 3 ñ

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

Μαθηµατικά για Πληροφορική

ss rt çã r s t Pr r Pós r çã ê t çã st t t ê s 1 t s r s r s r s r q s t r r t çã r str ê t çã r t r r r t r s

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 9

τη µέθοδο της µαθηµατικής επαγωγής για να αποδείξουµε τη Ϲητούµενη ισότητα.

P r s r r t. tr t. r P

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 3

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Προτεινοµενες Ασκησεις - Φυλλαδιο 9

rs r r â t át r st tíst Ó P ã t r r r â

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

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

Πρόβληµα 2 (15 µονάδες)

ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t

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

r t t r t t à ré ér t é r t st é é t r s s2stè s t rs ts t s

KΕΦΑΛΑΙΟ 5 ΨΗΦΙΑΚΕΣ ΥΠΟΓΡΑΦΕΣ

Πρόβληµα 2 (12 µονάδες)

HY118- ιακριτά Μαθηµατικά. Μαθηµατική επαγωγή. 11 Επαγωγή

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

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

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

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Ασκησεις - Φυλλαδιο 4. ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος :

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

Couplage dans les applications interactives de grande taille

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

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

{ } ΠΛΗ 12: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗ ΠΛΗΡΟΦΟΡΙΚΗ Ι 2 η ΓΡΑΠΤΗ ΕΡΓΑΣΙΑ. Απαντήσεις. 1. (15 µονάδες)

[A I 3 ] [I 3 A 1 ].

2 Αποδείξεις. 2.1 Εξαντλητική µέθοδος. Εκδοση 2005/03/22. Υπάρχουν πολλών ειδών αποδείξεις. Εδώ ϑα δούµε τις πιο κοινές:

ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ. Λυσεις Ασκησεων - Φυλλαδιο 4

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

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Αρχικός συγγραφέας: Ηλίας

2 o Καλοκαιρινό σχολείο Μαθηµατικών Νάουσα 2008

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

Εφαρµογες Της Ψηφιακης Επεξεργασιας Σηµατων. Εκτιµηση Συχνοτητων Με ΙδιοΑναλυση του Μητρωου ΑυτοΣυσχετισης

Φροντιστήριο #4 Λυμένες Ασκήσεις Μαθηματική Επαγωγή 13/3/2018

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές»

Ν. Μ. Μισυρλής. Τµήµα Πληροφορικής και Τηλεπικοινωνιών, Πανεπιστήµιο Αθηνών. Καθηγητής: Ν. Μ. Μισυρλής 29 Μαΐου / 18

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

Consommation marchande et contraintes non monétaires au Canada ( )

4. Αναδροµικός τύπος Είναι ο τύπος που συσχετίζει δύο ή περισσότερους γενικούς όρους µιας ακολουθίας

Physique des réacteurs à eau lourde ou légère en cycle thorium : étude par simulation des performances de conversion et de sûreté

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

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

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

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

2.6 ΟΡΙΑ ΑΝΟΧΗΣ. πληθυσµού µε πιθανότητα τουλάχιστον ίση µε 100(1 α)%. Το. X ονοµάζεται κάτω όριο ανοχής ενώ το πάνω όριο ανοχής.

Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes

ΑΓΓΕΛΗΣ ΧΡΗΣΤΟΣ ΠΑΝΑΓΙΩΤΗΣ 6 OO ΑΓΓΕΛΙΔΗΣ ΧΑΡΙΛΑΟΣ ΧΡΗΣΤΟΣ 4 OO ΑΓΓΟΥ ΑΝΑΣΤΑΣΙΑ ΔΗΜΗΤΡΙΟΣ 6 OO ΑΔΑΜΙΔΟΥ ΕΥΑΓΓΕΛΙΑ ΑΒΡΑΑΜ 3 OO ΑΛΕΒΙΖΟΥ ΠΑΝΑΓΙΩΤΑ

Επιπλέον Ασκήσεις. Μαθηµατική Επαγωγή. ιαιρετότητα. Προβλήµατα ιαιρετότητας.

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

P (A B) = P (A) + P (B) P (A B).

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

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

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

r r t r r t t r t P s r t r P s r s r r rs tr t r r t s ss r P s s t r t t tr r r t t r t r r t t s r t rr t Ü rs t 3 r r r 3 rträ 3 röÿ r t

Transformations d Arbres XML avec des Modèles Probabilistes pour l Annotation

Θέµατα και απαντήσεις 1 στα «Σύνολα και Αριθµοί» Εξεταστική Ιανουαρίου 2012 ιδάξας Χ. Κορνάρος.

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

Jeux d inondation dans les graphes

El Gamal Αλγόριθμος. Κώστας Λιμνιώτης Κρυπτογραφία - Εργαστηριακό μάθημα 7 2

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

EΦΑΡΜΟΓΕΣ ΤΗΣ ΨΗΦΙΑΚΗΣ ΕΠΕΞΕΡΓΑΣΙΑΣ ΣΗΜΑΤΩΝ Γραµµική Εκτίµηση Τυχαίων Σηµάτων

Émergence des représentations perceptives de la parole : Des transformations verbales sensorielles à des éléments de modélisation computationnelle

Όνοµα: Λιβαθινός Νικόλαος 2291

Παράδειγμα δομικής επαγωγής Ορισμός δομικής επαγωγής Συμβολοσειρές Γλώσσες Δυαδικά δένδρα Μαθηματικά Πληροφορικής 3ο Μάθημα Τμήμα Πληροφορικής και Τηλ

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

Annulations de la dette extérieure et croissance. Une application au cas des pays pauvres très endettés (PPTE)

Μάθηµα Θεωρίας Αριθµών Ε.Μ.Ε

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥ ΩΝ: ΠΛΗΡΟΦΟΡΙΚΗ ΘΕ: ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΉ Ι (ΠΛΗ 12) ΛΥΣΕΙΣ ΕΡΓΑΣΙΑΣ 3

ΗΜΙΟΥΡΓΙΑ ΠΑΙΧΝΙ ΙΟΥ ΣΤΟ SCRATCH ΒΗΜΑ ΠΡΟΣ ΒΗΜΑ

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

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

Μαθηματική Επαγωγή. Τεχνικές Απόδειξης. Αποδείξεις Ύπαρξης. Μαθηματική Επαγωγή

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

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

Κρυπτογραφία ηµόσιου Κλειδιού Η µέθοδος RSA. Κασαπίδης Γεώργιος -Μαθηµατικός

Κρυπτογραφία και Πολυπλοκότητα

Forêts aléatoires : aspects théoriques, sélection de variables et applications

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

Πιθανότητες Γεώργιος Γαλάνης Κωνσταντίνα Παναγιωτίδου

P P Ô. ss rt çã r s t à rs r ç s rt s 1 ê s Pr r Pós r çã ís r t çã tít st r t

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Συναρτησιακές Εξαρτήσεις. Βάσεις εδοµένων Ευαγγελία Πιτουρά 1

Ορια Συναρτησεων - Ορισµοι

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ Τµήµα Επιστήµης Υπολογιστών. HY-217: Πιθανότητες - Χειµερινό Εξάµηνο 2012 ιδάσκων : Π. Τσακαλίδης. Λύσεις Τρίτης Σειράς Ασκήσεων

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

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

Εισαγωγή στην επιστήμη της Πληροφορικής και των. Aσφάλεια

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

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

Transcript:

P P 1èt s t rð P Ôst ì t è t Ð Ð t èr è ❼ ❼s t t s s Ð s Ð sô t r s Ð t s Ô ❼r rì ì èq Ð ì r t t èr Ôt r t r trðt rìq r r❼2t r rqðs 1èt s t r t ì s s ❼ ì s èq Ð r❼2t st r t ì st Ôt r ì st trðt ì P t r tè r❼s t è 1 Ð s t ì s t t Ð Ô t Ð s st❼ t r tì s r❼2t ❼ st è t t ì ❼ s Prè t strè2 t ì t ì t rìq r è t rt Ô st s Ð t t trè t s s Ð r q è rô t t t❼ s t r s ❼ t s ì ì t s tèq t r Ðt s s t ❼ st r tì s Ðt r st Ð Ð s ìt Ð ❼t ì ❼ ❼q st ❼s t ❼ss t t q Ô tèt Ðt P ❼s ts ❼ r st t sô T t s r rð3 t t 1 r ì r s ì 1 T n T tìt 2n T n T tìt n + 3 T st t rìt r st q Ð t s ì T Ð1t r s t ❼ ìt t sô T Ð t {3k + a : k N a = 1,2}. st ìt èq è t ì ìr A ❼ Ðs x s st ❼ t s t Ðs x Ð tìt ìr t❼ s st❼ t❼ ìt t 1/2 s st ❼ t s t Ðs x Ð ìq tìt ìr t❼ s st❼ t❼ ìq ìt t 9/10 P r Ô qr s s t ìr A st t s ❼s è ìr Ð t s st ❼ t s 8 1❼rt t s st ❼ t s Ð ìq 8 ìt t t ❼q st 3/4

❼ è s ❼s è sôst RSA t❼ r r è t❼s è r s ❼ t s è r t r è t s st t q ì st ❼ s t è st r t r è st r t r è r Ð3 ìt t t r rð t èr s ❼s t sôst r Ð r t r Ð ❼ r r q rð t t t s ì s ❼ èt r Ð 1 Ðst èst è ìt t sôst RSA qr s Ð ❼ t t Ð t ❼ ìs ❼ ❼s tr t Ð y = t+y t y q Ð t è t r t Ð ìt I = 0 2x 2 1 x 4 + 5x 2 + 4 dx = π 4. Ð y (t) = Ay(t) ì A = 1 1 0 1 1 1 0 1 1. s Ð t t Ô è C z dz ì C t ❼ r s t s è Ð Ô

ΜΑΘΗΜΑΤΙΚΑ ΠΛΗΡΟΦΟΡΙΚΗΣ και ΤΗΛΕΠΙΚΟΙΝΩΝΙ ΩΝ ΜΕΡΟΣ Α : ΜΑΘΗΜΑΤΙΚΑ ΠΛΗΡΟΦΟΡΙΚΗΣ ιδάσκων: Η.Κουτσουπιάς Λύσεις εξέτασης 14 Σεπτεµβρίου 2005 Πρόβληµα 1. Θεωρήστε το υποσύνολο T των ϕυσικών αριθµών που ορίζεται µε τον εξής αναδροµικό ορισµό: 1 T. Αν n T, τότε 2n T. Αν n T, τότε n + 3 T. 1. ώστε τα 10 µικρότερα στοιχεία του συνόλου T; 2. Αποδείξτε προσεκτικά ότι το σύνολο T είναι το {3k + a : k N και a = 1,2}. Λύση. Τα 10 µικρότερα στοιχεία του συνόλου T είναι 1,2,4,5,7,8,10,11,13,14. Ας ορίσουµε το σύνολο S = {3k + a : k N και a = 1,2}. Θέλουµε να δείξουµε ότι T = S. Για να το δείξουµε αυτό ϑα δείξουµε ότι T S και ότι S T. Πρόταση 1. Κάθε στοιχείο του συνόλου T είναι της µορφής 3k+1 ή της µορφής 3k + 2, για κάποιο ϕυσικό αριθµό k. Ισοδύναµα, τα στοιχεία του συνόλου T δεν διαιρούνται µε το 3. Απόδειξη. Με δοµική επαγωγή. Βάση δοµικής επαγωγής: Το 1 προφανώς δεν διαιρείται µε το 3 (είναι της µορφής 3k + 1). Επαγωγικό ϐήµα: Εστω m T. Από την επαγωγική υπόθεση το m δεν διαιρείται µε το 3. Αρκεί να δείξουµε ότι τα 2m και m + 3 δεν διαιρούνται µε το 3. Αλλά αυτό είναι σχεδόν προφανές (γιατι gcd(2m,3) = gcd(m,3) και gcd(m + 3,3) = gcd(m,3)). Η απόδειξη τελείωσε αλλά αν ϑέλουµε µια εξαντλητική λύση µπορούµε να σκεφτούµε ως εξής: αν m = 3k + 1 τότε 2m = 3(2k) + 2 και m + 3 = 3(k + 1) + 1 που είναι της κατάλληλης µορφής. αν m = 3k + 2 τότε 2m = 3(2k + 1) + 1 και m + 3 = 3(k + 1) + 1 που είναι επίσης της κατάλληλης µορφής. 1

Θα δείξουµε τώρα το αντίστροφο: Πρόταση 2. Κάθε ϕυσικός που δεν διαιρείται µε το 3 µπορεί να παραχθεί µε τους κανόνες που ορίζουν το σύνολο T. Απόδειξη. Ας ϑεωρήσουµε ένα ϕυσικό αριθµό m της µορφής 3k + 1. Αυτός µπορεί να παραχθεί µε µια εφαρµογή του πρώτου κανόνα (που µας δίνει 1) και στη συνέχεια k εφαρµογές του τρίτου κανόνα (που µας δίνει 1+3+3+ +3 = 1 + 3k). Ας ϑεωρήσουµε τώρα ένα ϕυσικό αριθµό m της µορφής 3k + 2. Αυτός µπορεί να παραχθεί µε µια εφαρµογή του πρώτου κανόνα (που µας δίνει 1), µια εφαρµογή του δεύτερου κανόνα (που µας δίνει 2) και στη συνέχεια k εφαρµογές του τρίτου κανόνα (που µας δίνει 2 + 3 + 3 + + 3 = 2 + 3k). Στη συνέχεια δίνω µια εναλλακτική απόδειξη µε µαθηµατική επαγωγή. Βάση επαγωγής: Το 1 και το 2 παράγονται µε τους κανόνες (το 1 µε τον πρώτο κανόνα και το 2 µε χρήση του δεύτερου κανόνα). Επαγωγικό ϐήµα: Ας ϑεωρήσουµε τώρα ένα ϕυσικό m > 3 που δεν διαι- ϱείται µε το 3. Η επαγωγική υπόθεση λέει ότι κάθε ϕυσικός µικρότερος του m που δεν διαιρείται µε το 3 µπορεί να παραχθεί από τους κανόνες που ο- ϱίζουν το σύνολο T. Ειδικότερα ο m 3 είναι ϕυσικός γιατί m 3 0 και δεν διαιρείται µε το 3, αφού υποθέσαµε ότι ο m δεν είναι πολλαπλάσιο του 3. Άρα µπορεί να παραχθεί µε του κανόνες. Αλλά τότε µε εφαρµογή του τρίτου κανόνα και ο (m 3) + 3 = m παράγεται µε τους κανόνες. Πρόβληµα 2. Εστω ότι έχουµε ένα πιθανοτικό αλγόριθµο A που για κάθε είσοδο x: Αν η σωστή απάντηση για την είσοδο x είναι ναι, τότε ο αλγόριθµος απαντά σωστά (δηλαδή απαντά ναι ) µε πιθανότητα 1/2. Αν η σωστή απάντηση για την είσοδο x είναι όχι, τότε ο αλγόριθµος απαντά σωστά (δηλαδή απαντά όχι ) µε πιθανότητα 9/10. Πως µπορούµε να χρησιµοποιήσουµε τον αλγόριθµο A ώστε να κατασκευάσουµε ένα αλγόριθµο που δίνει την σωστή απάντηση ανεξάρτητα αν η σωστή απάντηση είναι ναι ή όχι µε πιθανότητα τουλάχιστον 3/4; Λύση. Η απάντηση είναι πολύ απλή: Τρέχουµε τον αλγόριθµο A µε είσοδο x δυο ϕορές: Απαντάµε όχι αν και µόνο αν η απάντηση που πήραµε και τις δυο ϕορές είναι όχι. Αλλιώς απαντάµε ναι. 2

Γιατί είναι σωστή αυτή η λύση; Ας εισάγουµε λίγο συµβολισµό για να είµαστε πιο σαφείς. Θα χρησιµοποιήσουµε την αντιστοιχία 0 = όχι 1 = ναι. Εστω f(x) συµβολίζει τη σωστή απάντηση για την είσοδο x, και έστω ότι A 1 (x) και A 2 (x) συµβολίζουν τα αποτελέσµατα που παίρνουµε όταν τρέχουµε τον αλγόριθµο A µε είσοδο x δυο ϕορές. Οι A 1 (x) και A 2 (x) είναι τυχαίες µεταβλητές. Τότε από την εκφώνηση έχουµε { 9/10 αν f(x) = 0 Pr[A 1 (x) = 0] = Pr[A 2 (x) = 0] = 1/2 αν f(x) = 1 και Pr[A 1 (x) = 1] = Pr[A 2 (x) = 1] = { 1/10 αν f(x) = 0 1/2 αν f(x) = 1 Στον παρακάτω πίνακα η πρώτη στήλη έχει το αποτέλεσµα των δυο εκτελέσεων του αλγόριθµου A. Η δεύτερη και τρίτη στήλη έχει την πιθανότητα να συµβεί το αντίστοιχο γεγονός της πρώτης στήλης όταν η σωστή απάντηση είναι 0 και 1 αντίστοιχα. A 1 (x)a 2 (x) f(x) = 0 f(x) = 1 9 9 1 1 00 10 10 2 2 9 1 1 1 01 10 10 2 2 1 9 1 1 10 10 10 2 2 1 1 1 1 11 10 10 Αν η σωστή απάντηση είναι 0 (δηλαδή αν f(x) = 0) τότε η πιθανότητα να δώσουµε απάντηση 0 είναι 81/100 3/4 (αυτή είναι η πιθανότητα να έρθουν δυο 0). Αν η σωστή απάντηση είναι 1 (δηλαδή αν f(x) = 1) τότε η πιθανότητα να δώσουµε απάντηση 1 είναι 1/4+1/4/1/4 3/4 (αυτή είναι η πιθανότητα να µην έρθουν δυο 0). Και στις δυο περιπτώσεις η πιθανότητα ορθής απάντησης είναι τουλάχιστον 3/4. Πρόβληµα 3. Κάποιος που ϑέλει να σπάσει ένα σύστηµα RSA κατάφερε να ϐρει ένα κατάσκοπο και µε πολλές προσπάθειες να αποκτήσει ένα αποκρυπτογραφηµένο µήνυµα του συστήµατος. Εχει λοιπόν στη διάθεση του ένα µήνυµα στην κρυπτογραφηµένη και στην αποκρυπτογραφηµένη µορφή. Ελπίζει ότι µε αυτή την πληροφορία ϑα καταφέρει να σπάσει το σύστηµα και να µπορεί να αποκρυπτογραφεί κάθε µήνυµα γρήγορα χωρίς τη ϐοήθεια του κατασκόπου ϕυσικά. Τι λέτε, µπορεί; Εξηγείστε. 2 2 3

Υποθέστε ϐέβαια ότι το σύστηµα RSA χρησιµοποιεί πάντα τα ίδια ιδιωτικά και δηµόσια κλειδιά. Λύση. Το γεγονός ότι γνωρίζει ένα µήνυµα στην κρυπτογραφηµένη και στην αποκρυπτογραφηµένη µορφή δεν ϐοηθάει. Ο κατάσκοπος έδωσε κάποια πλη- ϱοφορία που µπορούσε να αποκτήσει οποιοσδήποτε: ο τρόπος κωδικοποίησης είναι δηµόσιος, γνωστός δηλαδή σε όλους. Θα µπορούσε λοιπόν κάποιος να πάρει οποιοδήποτε µήνυµα και να το κρυπτογραφήσει. Ετσι ϑα γνωρίζει και την κρυπτογραφηµένη και στην αποκρυπτογραφηµένη µορφή του. Ας σηµειωθεί ότι η απάντηση ισχύει για κάθε σύστηµα δηµόσιου κλειδιού, όχι µόνο για το RSA. 4