MA/CSSE 473 Day 06 Euclid's Algorithm. MA/CSSE 473 Day 06 Student Questions Odd Pie Fight Euclid's algorithm (if there is time) extended Euclid's algorithm.

Slides:



Advertisements
Similar presentations
Primality Testing Patrick Lee 12 July 2003 (updated on 13 July 2003)
Advertisements

CSE 311 Foundations of Computing I Lecture 13 Number Theory Autumn 2012 CSE
Basic properties of the integers
CSC2110 Discrete Mathematics Tutorial 5 GCD and Modular Arithmetic
Elementary Number Theory and Methods of Proof. Basic Definitions An integer n is an even number if there exists an integer k such that n = 2k. An integer.
3 Gallon Jug5 Gallon Jug Greatest Common Divisor Lecture 8: Sep 30.
6/20/2015 5:05 AMNumerical Algorithms1 x x1x
Proofs, Recursion, and Analysis of Algorithms Mathematical Structures for Computer Science Chapter 2 Copyright © 2006 W.H. Freeman & Co.MSCS SlidesProofs,
Properties of the Integers: Mathematical Induction
CSE 311 Foundations of Computing I Lecture 12 Primes, GCD, Modular Inverse Spring
Fall 2002CMSC Discrete Structures1 Let us get into… Number Theory.
CS555Spring 2012/Topic 61 Cryptography CS 555 Topic 6: Number Theory Basics.
Quiz 2 key.
CSCI 1900 Discrete Structures
1 Properties of Integers Objectives At the end of this unit, students should be able to: State the division algorithm Apply the division algorithm Find.
9/2/2015Discrete Structures1 Let us get into… Number Theory.
COMP 170 L2 Page 1 L05: Inverses and GCDs l Objective: n When does have an inverse? n How to compute the inverse? n Need: Greatest common dividers (GCDs)
Module :MA3036NI Cryptography and Number Theory Lecture Week 7
CPSC 3730 Cryptography and Network Security
1 Cryptography and Network Security Third Edition by William Stallings Lecture slides by Lawrie Brown Chapter 4 – Finite Fields.
Information Security and Management 4. Finite Fields 8
Chapter 3 (Part 3): Mathematical Reasoning, Induction & Recursion  Recursive Algorithms (3.5)  Program Correctness (3.6)
Greatest Common Divisor
Introduction to Algorithms Second Edition by Cormen, Leiserson, Rivest & Stein Chapter 31.
Introduction to Programming (in C++) Loops Jordi Cortadella, Ricard Gavaldà, Fernando Orejas Dept. of Computer Science, UPC.
The Integers. The Division Algorithms A high-school question: Compute 58/17. We can write 58 as 58 = 3 (17) + 7 This forms illustrates the answer: “3.
CompSci 102 Discrete Math for Computer Science
Chapter 4 – Finite Fields
CSE 311: Foundations of Computing Fall 2014 Lecture 12: Primes, GCD.
CS/ECE Advanced Network Security Dr. Attila Altay Yavuz
Information Security Lab. Dept. of Computer Engineering 87/121 PART I Symmetric Ciphers CHAPTER 4 Finite Fields 4.1 Groups, Rings, and Fields 4.2 Modular.
Lecture 6.1: Misc. Topics: Number Theory CS 250, Discrete Structures, Fall 2011 Nitesh Saxena.
CS Modular Division and RSA1 RSA Public Key Encryption To do RSA we need fast Modular Exponentiation and Primality generation which we have shown.
4/3/2003CSE More Math CSE Algorithms Euclidean Algorithm Divide and Conquer.
MA/CSSE 473 Day 08 Extended Euclid's Algorithm Modular Division Fermat's little theorem.
Cryptography and Network Security Chapter 4. Introduction  will now introduce finite fields  of increasing importance in cryptography AES, Elliptic.
CSE 311 Foundations of Computing I Lecture 14 Euclid’s Algorithm Mathematical Induction Autumn 2012 CSE
Ch1 - Algorithms with numbers Basic arithmetic Basic arithmetic Addition Addition Multiplication Multiplication Division Division Modular arithmetic Modular.
Application: Algorithms Lecture 20 Section 3.8 Wed, Feb 21, 2007.
AF2. Turn off your phones Primes, gcd, some examples, reading.
CSE 311: Foundations of Computing Fall 2013 Lecture 12: Primes, GCD, modular inverse.
Discrete Mathematics
MA/CSSE 473 Day 07 Euclid's Algorithm. MA/CSSE 473 Day 07 Student Questions Review topics not covered in class Euclid's algorithm (if there is time) extended.
MA/CSSE 473 Day 10 Primality Testing. MA/CSSE 473 Day 10 In-class exam: Friday, Sept 28 –You may bring a two-sided 8.5x11 inch piece of paper containing.
AF2. Turn off your phones Primes, gcd, some examples, reading.
MA/CSSE 473 Day 09 Modular Division Revisited Fermat's Little Theorem Primality Testing.
MA/CSSE 473 Day 06 Mathematical Induction Modular Arithmetic Do question 1 on today's quiz (work with another person)
Chapter 4 With Question/Answer Animations 1. Chapter Summary Divisibility and Modular Arithmetic - Sec 4.1 – Lecture 16 Integer Representations and Algorithms.
Ch04-Number Theory and Cryptography 1. Introduction to Number Theory Number theory is about integers and their properties. We will start with the basic.
MA/CSSE 473 Day 05 More induction Factors and Primes Recursive division algorithm.
Number Theory Lecture 1 Text book: Discrete Mathematics and its Applications, 7 th Edition.
MA/CSSE 473 Day 07 Extended Euclid's Algorithm Modular Division Fermat's little theorem intro.
Fuw-Yi Yang1 Textbook: Introduction to Cryptography 2nd ed. By J.A. Buchmann Chap 1 Integers Department of Computer Science and Information Engineering,
MA/CSSE 473 Day 05 Factors and Primes Recursive division algorithm.
If more pigeons than pigeonholes, Pigeonhole Principle.
Number Theory. Introduction to Number Theory Number theory is about integers and their properties. We will start with the basic principles of divisibility,
MA/CSSE 473 Day 07 Extended Euclid's Algorithm Modular Division
Lecture 4 The Euclidean Algorithm
MA/CSSE 473 Day 06 Euclid's Algorithm.
MA/CSSE 473 Day 05 Factors and Primes Recursive division algorithm.
MA/CSSE 473 Day 06 Euclid's Algorithm.
Advanced Algorithms Analysis and Design
Numerical Algorithms x x-1 Numerical Algorithms
Number-Theoretic Algorithms (UNIT-4)
Greatest Common Divisor
CSE 20: Discrete Mathematics for Computer Science Prof. Shachar Lovett
Number Theory (Chapter 7)
Practical Aspects of Modern Cryptography
Copyright © Zeph Grunschlag,
From the last time: gcd(a, b) can be characterized in two different ways: It is the least positive value of ax + by where x and y range over integers.
Presentation transcript:

MA/CSSE 473 Day 06 Euclid's Algorithm

MA/CSSE 473 Day 06 Student Questions Odd Pie Fight Euclid's algorithm (if there is time) extended Euclid's algorithm

REVIEW THREAD Quick look at review topics in textbook

Odd Pie fight solution The base case is easy: If n = 3 the two persons with the smallest pairwise distance between them throw at each other, while the third person throws at one of them (whoever is closer). Therefore, this third person remains “unharmed”. For the inductive step, assume that the assertion is true for odd n ≥ 3, and consider n + 2 persons. Again, the two persons with the smallest pairwise distance between them (the closest pair) throw at each other. Consider two possible cases as follows. –If the remaining n persons all throw at one another, at least one of them remains “unharmed” by the inductive assumption. –If at least one of the remaining persons throws at one of the closest pair, among the remaining n − 1 persons, at most n − 1 pies are thrown at one another, and hence at least one person must remain “unharmed” because there is not enough pies to hit everybody in that group. This completes the proof.

ARITHMETIC THREAD Euclid's Algorithm Heading toward Primality Testing

Euclid's Algorithm: the problem One of the oldest known algorithms (about 2500 years old) The problem: Find the greatest common divisor (gcd) of two non-negative integers a and b. The approach you learned in elementary school: –Completely factor each number –find common factors (with multiplicity) –multiply the common factors together to get the gcd Factoring Large numbers is hard! Simpler approach is needed

Euclid's Algorithm: the basis Based on the following rule: –If x and y are positive integers with x ≥ y, then gcd(x, y) = gcd(y, x mod y) Proof of Euclid's rule: –It suffices to show the simpler rule gcd(x, y) = gcd(y, x - y) since x mod y can be obtained from x and y by repeated subtraction –Any integer that divides both x and y must also divide x – y, so gcd(x, y) ≤ gcd(y, x – y) –Any integer that divides both y and x - y must also divide x, so gcd(y, x-y) ≤ gcd(y, x) –Putting these together: gcd(y, x-y) = gcd(y, x)

Euclid's Algorithm: the algorithm Example: euclid(60, 36) Does the algorithm work? How efficient is it?

Euclid's Algorithm: the analysis Lemma: If a ≥ b, then a % b < a/2 Proof –If b ≤ a/2, then a % b < b ≤ a/2 –If b > a/2, then a % b = a – b < a/2 Application –After two recursive euclid calls, both a and b are less than half of what they were, (i.e. reduced by at least 1 bit) –Thus if a and b have k bits, at most 2k recursive calls are needed. –Each recursive call involves a division, Ѳ(k 2 ) –Entire algorithm is Ѳ(k 3 )

gcd and linear combinations Lemma: If d is a common divisor of a and b, and d = ax + by for some integers x and y, then d = gcd(a,b) Proof –By the first of the two conditions, d divides both a and b. It cannot exceed their greatest common divisor, so d ≤ gcd(a, b) –gcd(a, b) is a common divisor of a and b, so it must divide ax + by = d. Thus gcd(a, b) ≤ d –Putting these together, gcd(a, b) = d If we can supply the x and y as in the lemma, we have found the gcd. It turns out that a simple modification of Euclid's algorithm will calculate the x and y.

Extended Euclid Algorithm Proof that it works –I decided that it is a bit advanced for students who just saw Modular Arithmetic for the first time yesterday. –If you are interested, look up “extended Euclid proof” –We’ll do a convincing example.

Extended Euclid Algorithm: proof Proof that it works –First, the number d it produces really is gcd (a,b) We can just ignore the x and y values, and we have the same algorithm as before. –We must show that the x and y it returns are such that ax + by =d. –We do that by induction on b.

Proof that ax+by = d (induction on b) Base case: b=0 Then gcd(a,b) = a, and the algorithm produces x = 1, y = 0.  Induction step: b > 0. – It finds gcd(a, b) by calling euclidExtended(b, a%b) –Since a%b is smaller than b, by induction the x' and y' returned by the recursive call are such that gcd(b, a % b) = bx'+ (a % b)y' –We can write a % b as a –  a/b  * b –d = gcd(a, b) = gcd(b, a % b) = bx' + (a % b)y' = bx' +(a –  a/b  * b)y' = ay' +b(x' -  a/b  y') –Thus x = y' and y = x' -  a/b  y' are numbers that make ax + by = d –This x and y are the numbers returned by the algorithm.

Forward-backward Example: gcd (33, 14) 33 = 2* = 2 * = 1 * = 4 * 1 + 0, so gcd(33, 14) = 1. Now work backwards 1 = Substitute 4 = *5. 1 = 5 – (14 - 2*5) = 3* Substitute 5 = *14 1 = 3(33 - 2*14) -14 = 3 * 33 – 7 * 14 Thus x = 3 and y = -7 Done!