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

Σχετικά έγγραφα
Υπολογιστικά & Διακριτά Μαθηματικά

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

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

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

Πανεπιστήμιο Πειραιά Τμήμα Ψηφιακών Συστημάτων. Κρυπτογραφία. Θεωρία αριθμών Αλγεβρικές δομές. Χρήστος Ξενάκης

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

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

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

Μαθηματικά. Ενότητα 2: Δεκαδικοί αριθμοί, κλάσματα, δυνάμεις, ρίζες και ποσοστά. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

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

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

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

Υπολογιστική άλγεβρα Ενότητα 10: Βάσεις Groebner ενός ιδεώδους ΙΙΙ

Ενότητα: Δακτύλιοι, Ακέραιες Περιοχές, Σώματα. Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

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

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

2.1 Διαιρετότητα, ισοϋπόλοιποι αριθμοί. q Z, a = b q + r.

Αριθμοθεωρητικοί Αλγόριθμοι

2 ΘΕΩΡΙΑ ΑΡΙΘΜΩΝ ΑΛΓΕΒΡΙΚΕΣ ΔΟΜΕΣ

Μαθηματικά. Ενότητα 1: Οι Αριθμοί. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

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

* * * ( ) mod p = (a p 1. 2 ) mod p.

ιαιρετότητα Στοιχεία Θεωρίας Αριθµών «Ο Αλγόριθµος της ιαίρεσης» Αριθµητική Υπολοίπων 0 r < d και a = d q +r

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

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα. Συστήματα Αυτομάτου Ελέγχου. Ενότητα Α: Γραμμικά Συστήματα

2. Να γράψετε έναν αριθμό που είναι μεγαλύτερος από το 3,456 και μικρότερος από το 3,457.

Ποσοτικές Μέθοδοι στη Διοίκηση Επιχειρήσεων ΙΙ Σύνολο- Περιεχόμενο Μαθήματος

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

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

Στοιχεία Θεωρίας Αριθμών & Εφαρμογές στην Κρυπτογραφία

ΒΑΣΕΙΣ ΔΕΔΟΜΕΝΩΝ Ι. Ενότητα 2: Μοντελο Συσχετίσεων Οντοτήτων, Μελέτη Περίπτωσης: Η βάση δεδομένων των CD

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

Μαθηματικά. Ενότητα 7: Μη Πεπερασμένα Όρια. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

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

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

4.2 ΕΥΚΛΕΙΔΕΙΑ ΔΙΑΙΡΕΣΗ

Εφαρμοσμένη Κρυπτογραφία Ι

a b b < a > < b > < a >.

Λογισμός 3. Ενότητα 18: Θεώρημα Πεπλεγμένων (Ειδική περίπτωση) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

ΒΟΗΘΗΤΙΚΕΣ ΣΗΜΕΙΩΣΕΙΣ

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ ΑΝΔΡΕΣΑΚΗΣ ΔΗΜΗΤΡΗΣ ΦΥΛΛΑ ΕΡΓΑΣΙΑΣ ΦΥΛΛΟ ΕΡΓΑΣΙΑΣ ΕΝΟΤΗΤΑ Α.1.2. ΠΡΑΞΕΙΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ ΚΑΙ ΙΔΙΟΤΗΤΕΣ ΟΝΟΜΑΤΕΠΩΝΥΜΟ

Διακριτά Μαθηματικά Εισαγωγή Αλγόριθμοι ακεραίων, πολυπλοκότητα, στοιχεία θεωρίας αριθμών

Μαθηματικά. Ενότητα 3: Ολοκληρωτικός Λογισμός Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

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

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

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

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

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

Τίτλος Μαθήματος: ΕΙΣΑΓΩΓΗ ΣΤΗΝ ΑΝΑΛΥΣΗ ΑΛΓΟΡΙΘΜΩΝ

Υπολογιστική άλγεβρα Ενότητα 6: Ο αλγόριθμος της διαίρεσης

ΜΑΘΗΜΑΤΙΚΑ Α ΓΥΜΝΑΣΙΟΥ

Μαθηματικά. Ενότητα 3: Εξισώσεις και Ανισώσεις 1 ου βαθμού. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

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

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

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

Εισαγωγή στους Αλγόριθμους

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

ΕΥΡΕΣΗ ΜΕΓΙΣΤΟΥ ΚΟΙΝΟΥ ΔΙΑΙΡΕΤΗ

Υπολογιστική άλγεβρα Ενότητα 4: Πολυώνυμα τετάρτου και μεγαλύτερου βαθμού

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

ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΟΙΚΟΝΟΜΟΛΟΓΟΥΣ

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

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

Εφαρμοσμένη Κρυπτογραφία Ι

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

Γραµµική Αλγεβρα Ι. Ενότητα: Εισαγωγικές Εννοιες. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

Μαθηματικά και Φυσική με Υπολογιστές

Στατιστική Επιχειρήσεων

Λογισμός 3. Ενότητα 19: Θεώρημα Πεπλεγμένων (γενική μορφή) Μιχ. Γ. Μαριάς Τμήμα Μαθηματικών ΑΝΟΙΚΤΑ ΑΚΑ ΗΜΑΪΚΑ ΜΑΘΗΜΑΤΑ

11. Ποιες είναι οι άμεσες συνέπειες της διαίρεσης;

Οικονομικά Μαθηματικά

ΓΥΜΝΑΣΙΟ ΜΟΝΕΜΒΑΣΙΑΣ Α ΓΥΜΝΑΣΙΟΥ ΕΠΑΝΑΛΗΠΤΙΚΕΣ ΑΣΚΗΣΕΙΣ 1 ΟΥ ΚΕΦΑΛΑΙΟΥ ΑΛΓΕΒΡΑΣ-λύσεις

Μοντελοποίηση Λογικών Κυκλωμάτων

Εφαρμοσμένη Κρυπτογραφία Ι

ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ ΜΕ ΧΡΗΣΗ Η/Υ

ΠΑΡΑΓΡΑΦΟΣ 1. 2 ΠΡΟΣΘΕΣΗ ΑΦΑΙΡΕΣΗ ΚΑΙ ΠΟΛΛΑΠΛΑΣΙΑΣΜΟΣ ΦΥΣΙΚΩΝ ΑΡΙΘΜΩΝ

ΕΥΦΥΗΣ ΕΛΕΓΧΟΣ. Ενότητα #11: Ασαφής Αριθμητική. Αναστάσιος Ντούνης Τμήμα Μηχανικών Αυτοματισμού Τ.Ε.

Αλγεβρικές Δομές και Αριθμοθεωρία

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

Αρχιτεκτονική Υπολογιστών Ασκήσεις Εργαστηρίου

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

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

ΑΛΓΕΒΡΑ Α ΓΥΜΝΑΣΙΟΥ ΑΣΚΗΣΕΙΣ ΓΙΑ ΛΥΣΗ - ΑΝΔΡΕΣΑΚΗΣ ΔΗΜΗΤΡΗΣ

Μαθηματικά. Ενότητα 2: Διαφορικός Λογισμός. Σαριαννίδης Νικόλαος Τμήμα Διοίκησης Επιχειρήσεων (Κοζάνη)

Ο μαθητής που έχει μελετήσει το κεφάλαιο της θεωρίας αριθμών θα πρέπει να είναι σε θέση:

Περιεχόμενα Τι περιγράφει ένα ΣΔ ΣΔ και παραγωγές Θεωρία Υπολογισμού Ενότητα 15: Συντακτικά Δέντρα Επ. Καθ. Π. Κατσαρός Τμήμα Πληροφορικής Επ. Καθ. Π.

Γ ε ν ι κ ό Λ ύ κ ε ι ο Ε λ ε υ θ ε ρ ο ύ π ο λ η ς. Α λ γ ό ρ ι θ μ ο ι

Μαθηματικά. Ενότητα 6: Ασκήσεις Ορίων Συνάρτησης. Σαριαννίδης Νικόλαος Τμήμα Λογιστικής και Χρηματοοικονομικής

ΜΑΘΗΜΑ: ΗΛΕΚΤΡΟΤΕΧΝΙΑ-ΗΛΕΚΤΡΟΝΙΚΗ ΕΡΓΑΣΤΗΡΙΟ

ΣΤΑΤΙΣΤΙΚΗ ΕΠΙΧΕΙΡΗΣΕΩΝ

Χαρακτήρες διαιρετότητας ΜΚΔ ΕΚΠ Ανάλυση αριθμού σε γινόμενο πρώτων παραγόντων

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ Ανώτατο Εκπαιδευτικό Ίδρυμα Πειραιά Τεχνολογικού Τομέα ΣΗΜΑΤΑ & ΣΥΣΤΗΜΑΤΑ. Ενότητα : ΤΑΧΥΣ ΜΕΤΑΣΧΗΜΑΤΙΣΜΟΣ FOURIER

Μαθηματικά Γ Γυμνασίου

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

Ενότητα: Ο Δακτύλιος Πολυωνύμων μιας Μεταβλητής. Διδάσκων: Καθηγητής Μαρμαρίδης Νικόλαος - Θεοδόσιος

Εισαγωγή στους Ηλεκτρονικούς Υπολογιστές. 6 ο Μάθημα. Λεωνίδας Αλεξόπουλος Λέκτορας ΕΜΠ. url:

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ. ΕΝΟΤΗΤΑ: Άλγεβρα των Πινάκων (2) ΔΙΔΑΣΚΩΝ: Βλάμος Παναγιώτης ΙΟΝΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΤΜΗΜΑ ΠΛΗΡΟΦΟΡΙΚΗΣ

Transcript:

Υπολογιστικά & Διακριτά Μαθηματικά Ενότητα 10: Αριθμητική υπολοίπων - Κυκλικές ομάδες: Διαιρετότητα - Ευκλείδειος αλγόριθμος - Κατάλοιπα Στεφανίδης Γεώργιος

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

Χρηματοδότηση Το παρόν εκπαιδευτικό υλικό έχει αναπτυχθεί στα πλαίσια του εκπαιδευτικού έργου του διδάσκοντα. Το έργο «Ανοικτά Ακαδημαϊκά Μαθήματα στο Πανεπιστήμιο Μακεδονίας» έχει χρηματοδοτήσει μόνο τη αναδιαμόρφωση του εκπαιδευτικού υλικού. Το έργο υλοποιείται στο πλαίσιο του Επιχειρησιακού Προγράμματος «Εκπαίδευση και Δια Βίου Μάθηση» και συγχρηματοδοτείται από την Ευρωπαϊκή Ένωση (Ευρωπαϊκό Κοινωνικό Ταμείο) και από εθνικούς πόρους. 3

Διαιρετότητα [1] Έστω a, b, d. Τότε 1. Ο a διαιρεί τον b, συμβολικά a b, αν υπάρχει c με b = ac. Αν a b, τότε λέμε και ότι ο b είναι πολλαπλάσιο του a. Αν τώρα ο a δεν διαιρεί τον b, γράφουμε a b. 2. Αν d a και d 0, ο d λέγεται διαιρέτης του a. Κάθε ακέραιος a έχει σαν τετριμμένους διαιρέτες τους 1 και a. Οι μη τετριμμένοι διαιρέτες του a λέγονται και παράγοντες του a. Ένας ακέραιος a > 1 του οποίου οι μόνοι διαιρέτες είναι οι τετριμμένοι διαιρέτες 1 και a λέγεται ότι είναι πρώτος αριθμός ή απλά πρώτος. Αποδεικνύεται ότι υπάρχουν άπειροι πρώτοι. Ένας ακέραιος a > 1 ο οποίος δεν είναι πρώτος λέγεται ότι είναι σύνθετος αριθμός ή απλά σύνθετος. Ο ακέραιος 1 δεν είναι πρώτος ούτε σύνθετος. Παρόμοια, ο ακέραιος 0 και όλοι οι αρνητικοί ακέραιοι δεν είναι ούτε πρώτοι ούτε σύνθετοι. 3. Αν p είναι πρώτος και p ab, a, b, τότε p a ή p b. 4. O d λέγεται μέγιστος κοινός διαιρέτης των a και b, συμβολικά gcd(a, b), αν: d a και d b. αν t διαιρεί τον a και b, τότε διαιρεί τον d. 5. Αν gcd(a, b) = 1, τότε ο a λέγεται σχετικά πρώτος με τον b, ή ότι οι a και b είναι πρώτοι μεταξύ τους ή ότι οι a και b είναι σχετικά πρώτοι. 4

Διαιρετότητα [2] Θεώρημα 1 (Διαίρεση με υπόλοιπο) Έστω z, a, a 0. Τότε υπάρχουν μοναδικοί ακέραιοι q, r, τέτοιοι, ώστε z = q a + r και 0 r a. Ο r λέγεται υπόλοιπο του z modulo a (δηλ. r z mod a). Ο αριθμός q είναι το (ακέραιο) πηλίκο των z και a, συμβολικά z div a (δηλ. q z div a) και είναι q = z/a, όπου x είναι ο μεγαλύτερος ακέραιος που δεν υπερβαίνει τον αριθμό x. Επίσης Θεώρημα 2 a z z mod a = 0. Ένας σύνθετος a μπορεί να γραφεί κατά μοναδικό τρόπο ως γινόμενο της μορφής s e e1 e2 es i 1 2 s i a p p p p i 1 5

Αλγόριθμος του Ευκλείδη [1] Χωρίς βλάβη της γενικότητας, μπορούμε να υποθέσουμε ότι a b 0. o Αν b = 0, τότε gcd(a, 0) = a. o Αν b > 0, μπορούμε να υπολογίσουμε το ακέραιο πηλίκο q a/b και το υπόλοιπο r a mod b, όπου 0 r < b. o Από την εξίσωση a = bq + r είναι εύκολο να συμπεράνουμε ότι gcd(a, b) = gcd(b, r) και έτσι, εκτελώντας μία διαίρεση, υποβιβάζουμε το πρόβλημα του υπολογισμού του gcd(a, b) στο μικρότερο πρόβλημα του υπολογισμού του gcd(b, r). Παραδείγματος χάριν, gcd(100, 35) = gcd(35, 100 mod 35) = gcd(35, 30) = gcd(30, 35 mod 30) = gcd(30, 5) = gcd(5, 30 mod 5) = gcd(5, 0) = 5. 6

Αλγόριθμος του Ευκλείδη [2] Θεώρημα 3 Έστω ότι οι a, b είναι ακέραιοι, με a b 0. Χρησιμοποιώντας τη διαίρεση με υπόλοιπο, ορίζουμε της ακεραίους r 0, r 1,, r l+1 και q 1,, q l, όπου l 0, ως εξής: a = r 0, b = r 1, r 0 = r 1 q 1 + r 2 (0 < r 2 < r 1 ), r i 1 = r i q i + r i+1 (0 < r i+1 < r i ), r l 2 = r l 1 q l 1 + r l (0 < r l < r l 1 ), r l 1 = r l q l (r l+1 = 0). Να σημειωθεί ότι, εξ ορισμού, l = 0 αν b = 0, και l > 0, διαφορετικά. Τότε έχουμε r l = gcd(a, b). 7

Αλγόριθμος του Ευκλείδη [3] Παράδειγμα 1 Έστω a = 3094 και b = 2513. Έχουμε r 0 = a = 3094, r 1 = b = 2513, και q i = r i-1 /r i, r i+1 = r i 1 r i q i για i = 1, 2,. Τότε οι αριθμοί που εμφανίζονται στο παραπάνω θεώρημα υπολογίζονται εύκολα ως εξής: i 0 1 2 3 4 5 6 r i 3094 2513 581 189 14 7 0 q i 1 4 3 13 2 Έτσι έχουμε, gcd(3094, 2513) = r 5 = 7. Μπορούμε εύκολα να μετατρέψουμε το σχήμα που περιγράφεται στο Θεώρημα 3 σε έναν απλό αλγόριθμο: Αλγόριθμος Ευκλείδειος Επαναληπτικός(a, b) r a, r b while r 0 r r mod r ( r, r ) ( r, r ) d r return d 8

Διευρυμένος Αλγόριθμος Έστω ότι οι a και b είναι μη αρνητικοί ακέραιοι και έστω d gcd(a, b). Ξέρουμε από σχετικό θεώρημα της θεωρίας αριθμών ότι υπάρχουν ακέραιοι s και t, τέτοιοι, ώστε as + bt = d. Ο διευρυμένος Ευκλείδειος αλγόριθμος μας επιτρέπει να υπολογίσουμε αποδοτικά τους s και t. Στηρίζεται στο γεγονός ότι μπορούμε να γράψουμε κάθε υπόλοιπο r i κατά τη διαδικασία υπολογισμού του gcd(a, b). Για παράδειγμα, έστω ότι έχουμε τους ακεραίους a = 1281 και b = 243. Εκτελούμε τους υπολογισμούς για τον μκδ και παραπλεύρως τους υπολογισμούς για τους s και t. 1281 = 243 5 + 66 66 = 1281 243 5 243 = 66 3 + 45 45 = 243 66 3 = 243 3(1281 243 5) = 16 243 3 1281 66 = 45 1 + 21 21 = 66 45 1 = 1281 243 5 16 243 + 3 1281 = 4 1281 21 243 45 = 21 2 + 3 3 = 45 21 2 = 16 243 3 1281 2(4 1281 21 243) 21 = 3 7 + 0 του Ευκλείδη [1] = 11 1281 + 58 243 = 11a + 58b gcd(1281, 243) = ( 11) 1281 + 58 243. 9

Θεώρημα 4 Θεώρημα 4 Έστω οι a, b, r 0, r 1,, r l+1 και q 1,, q l, όπως στο Θεώρημα 3. Ορίζουμε ακεραίους s 0, s 1,, s l+1 και t 0, t 1,, t l+1 ως εξής: και για i = 1,, l, Τότε s 0 1, t 0 0, s 1 0, t 1 1, s i+1 s i 1 s i q i, t i+1 t i 1 t i q i. για i = 0,, l + 1, έχουμε s i a + t i b = r i. Ειδικότερα, s l a + t l b = gcd(a, b). Παρατήρηση. Τα r i είναι όπως στον Ευκλείδειο αλγόριθμο. Τα s i, t i αρχικοποιούνται και υπολογίζονται με τους παραπάνω τύπους. Πρόκειται για τύπους με το ίδιο πρότυπο: x i+1 = x i 1 q i x i όπου q i = r i-1 /r i. 10

Διευρυμένος Αλγόριθμος του Ευκλείδη [2] Παράδειγμα 2 Επεκτείνουμε το Παράδειγμα 1. Οι αριθμοί s i και t i υπολογίζονται εύκολα από το q i : i 0 1 2 3 4 5 6 r i 3094 2513 581 189 14 7 0 q i 1 4 3 13 2 s i 1 0 1 4 13 173 359 t i 0 1 1 5 16 213 442 Έτσι έχουμε, gcd(a, b) = 7 = 173a + 213b. 11

Μπορούμε εύκολα να μετατρέψουμε το σχήμα που περιγράφεται στο Θεώρημα 4 σε έναν επαναληπτικό αλγόριθμο: Αλγόριθμος ΕυκλείδειοςΔιευρυμένοςΕπαναληπτικός(a, b) r a, r b s 1, s 0 t 0, t 1 while r 0 q r r, r r mod r ( r, s, t, r, s, t ) ( r, s, t, r, s s q, t t q) d r return d, s, t Διευρυμένος Αλγόριθμος του Ευκλείδη [3] 12

Κατάλοιπα [1] Συνοψίζοντας όσα είπαμε και σε προηγούμενο μάθημα για την ισοτιμία (mod n) δίνουμε τον ακόλουθο ορισμό. Έστω n, n 2: 1. Οι a, b είναι ισότιμοι modulo n, συμβολικά a b (mod n), αν n a b. 2. Έστω a. Το σύνολο [a] {x : x a (mod n)} = {x : x = a + kn, k } λέγεται κλάση καταλοίπων του a modulo n. 3. Το n {[a] : a } είναι το σύνολο των κλάσεων καταλοίπων modulo n. Το σημείο (1) του παραπάνω ορισμού σημαίνει ότι οι a και b έχουν το ίδιο υπόλοιπο όταν διαιρεθούν με τον n: a b (mod n) a mod n = b mod n. Σε σχέση με το σημείο 2, σε προηγούμενο μάθημα είδαμε ότι ισότιμοι modulo n είναι μια σχέση ανακλαστική, συμμετρική και μεταβατική, δηλ. είναι μια σχέση ισοδυναμίας: a a (mod n) a b (mod n) b a (mod n) (a b (mod n) και b c (mod n)) a c (mod n). 13

Κατάλοιπα [2] Οι κλάσεις καταλοίπων είναι οι κλάσεις ισοδυναμίας. Συνεπώς σύμφωνα με όσα ξέρουμε για της κλάσεις ισοδυναμίας, είναι a b (mod n) [a] = [b] Μια κλάση καταλοίπων [a] προσδιορίζεται πλήρως από ένα εκ των μελών της. Αν a [a], τότε [a] = [a ]. Ένα στοιχείο x [a] λέγεται αντιπρόσωπος της κλάσης [a]. Ισχύει ότι a a mod n (mod n) (δηλ. [a] = [a mod n]) o Πράγματι, είναι a = qn + r, 0 r < n a r = qn n a r a r (mod n) ( [a] = [r]) Για το σημείο 3, να πούμε ότι η διαίρεση με το n δίνει τα υπόλοιπα 0,, n 1. Επομένως, υπάρχουν n το πολύ κλάσεις καταλοίπων στο n : n = {[0], [1],, [n 1]}. Οι ακέραιοι 0,, n 1 λέγονται φυσικοί αντιπρόσωποι. Ο φυσικός αντιπρόσωπος της κλάσης [x] είναι απλώς το υπόλοιπο (x mod n) του x modulo n (βλ. διαίρεση με υπόλοιπο). Αν στα δεδομένα πλαίσια, δεν είναι δυνατό να δημιουργηθεί σύγχυση, «ταυτίζουμε» τις κλάσεις καταλοίπων με τους φυσικούς αντιπροσώπους της. Καλούμε το x mod n και ως το μικρότερο μη αρνητικό κατάλοιπο του x modulo n. Επίσης λέμε ότι το x mod n είναι το αποτέλεσμα της αναγωγής του x modulo n. 14

Θεώρημα 5 [1] Θεώρημα 5 Έστω a, b, c, d και f (x) ένα πολυώνυμο με ακέραιους συντελεστές. Αν τότε α) a + c b + d (mod n) β) a c b d (mod n) γ) a k b k (mod n), k δ) f (a) f (b) (mod n). Παράδειγμα 3 Αν a, b και p πρώτος, τότε Απόδειξη Είναι, όπως ξέρουμε a b (mod n) και c d (mod n), p p p k k p ( a b) a b k k 0 (a + b) p a p + b p (mod p) και για k = 1,, p 1 έχουμε p p( p 1) ( p k 1) k k! 15

Θεώρημα 5 [2] οπότε Επομένως p p p 1 p k 1 k! p k p k! k και επειδή gcd(p, k!) = 1, διότι p είναι πρώτος και k! = 1 2 k, παίρνουμε ότι p p k (Είναι γνωστή πρόταση της θεωρίας αριθμών: Αν p είναι πρώτος, p ab, και gcd(p, b) = 1, όπου a, b, τότε p a.) Άρα, για k = 1,, p 1 p 0 mod p k και συνεπώς p p 0 0 p p p p p ( a b) a b a b a b (mod p) 16

Θεώρημα 5 [3] Μια ομάδα (G, ) είναι πεπερασμένη αν το σύνολο G έχει πεπερασμένο πλήθος στοιχείων, δηλ. αν είναι πεπερασμένος ο πληθικός αριθμός G. Σ αυτή την περίπτωση ο αριθμός G λέγεται τάξη της ομάδας. Αν το G δεν είναι πεπερασμένο τότε λέμε ότι η ομάδα είναι απείρου τάξης. Στο σύνολο n = {[0], [1],, [n 1]} των κλάσεων ισοδυναμίας, είναι εύκολο να δούμε ότι η κλάση ισοδυναμίας δύο ακεραίων προσδιορίζει μονοσήμαντα την κλάση ισοδυναμίας του αθροίσματος ή του γινομένου τους. Με άλλα λόγια, αν a a (mod n) και b b (mod n), τότε a + b a + b (mod n) και a b a b (mod n). 17

Θεώρημα 5 [4] Έτσι, ορίζουμε πρόσθεση και πολλαπλασιασμό modulo n, συμβολικά + n και n ως ακολούθως: [a] + n [b] = [a + b] και [a] n [b] = [a b] Μπορούμε να δούμε τις παραπάνω πράξεις ως εξής + : (a, b) a + b mod n : (a, b) a b mod n Δηλαδή, η πρόσθεση και ο πολλαπλασιασμός εκτελούνται, κατά τον συνήθη τρόπο, επί των αντιπροσώπων, αλλά το κάθε αποτέλεσμα x αντικαθίσταται με τον αντιπρόσωπο της κλάσης του, δηλ. με x mod n (που είναι το υπόλοιπο της διαίρεσης του x με το n αναγωγή του x modulo n). 18

Τέλος Ενότητας