CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Linda Shapiro Winter 2015.

Slides:



Advertisements
Similar presentations
Intro to Analysis of Algorithms. Algorithm “A sequence of unambiguous instructions for solving a problem, i.e., for obtaining a required output for any.
Advertisements

CSE 373: Data Structures and Algorithms Lecture 5: Math Review/Asymptotic Analysis III 1.
Fall 2006CENG 7071 Algorithm Analysis. Fall 2006CENG 7072 Algorithmic Performance There are two aspects of algorithmic performance: Time Instructions.
CSE332: Data Abstractions Lecture 2: Math Review; Algorithm Analysis Tyler Robison Summer
CSE332: Data Abstractions Lecture 3: Asymptotic Analysis Dan Grossman Spring 2010.
CSE332: Data Abstractions Lecture 2: Math Review; Algorithm Analysis Dan Grossman Spring 2010.
Chapter 3 Growth of Functions
Introduction to Analysis of Algorithms
CS 307 Fundamentals of Computer Science 1 Asymptotic Analysis of Algorithms (how to evaluate your programming power tools) based on presentation material.
Algorithm Analysis CS 201 Fundamental Structures of Computer Science.
1 Section 2.3 Complexity of Algorithms. 2 Computational Complexity Measure of algorithm efficiency in terms of: –Time: how long it takes computer to solve.
Analysis of Algorithms COMP171 Fall Analysis of Algorithms / Slide 2 Introduction * What is Algorithm? n a clearly specified set of simple instructions.
CSE332: Data Abstractions Lecture 3: Asymptotic Analysis Dan Grossman Spring 2012.
Abstract Data Types (ADTs) Data Structures The Java Collections API
CSE373: Data Structures and Algorithms Lecture 4: Asymptotic Analysis Aaron Bauer Winter 2014.
SIGCSE Tradeoffs, intuition analysis, understanding big-Oh aka O-notation Owen Astrachan
Algorithm Analysis. Algorithm Def An algorithm is a step-by-step procedure.
Algorithm Analysis & Complexity We saw that a linear search used n comparisons in the worst case (for an array of size n) and binary search had logn comparisons.
Big Oh Algorithm Analysis with
1 ©2008 DEEDS Group Introduction to Computer Science 2 - SS 08 Asymptotic Complexity Introduction in Computer Science 2 Asymptotic Complexity DEEDS Group.
SEARCHING, SORTING, AND ASYMPTOTIC COMPLEXITY Lecture 12 CS2110 – Fall 2009.
CSE373: Data Structures and Algorithms Lecture 2b: Proof by Induction and Powers of Two Nicki Dell Spring 2014.
CS 3343: Analysis of Algorithms
CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction & Algorithm Analysis Lauren Milne Summer 2015.
Algorithm Analysis An algorithm is a clearly specified set of simple instructions to be followed to solve a problem. Three questions for algorithm analysis.
Recitation 11 Analysis of Algorithms and inductive proofs 1.
Analysis of Algorithms
Asymptotic Analysis-Ch. 3
CSE373: Data Structures and Algorithms Lecture 4: Asymptotic Analysis Catie Baker Spring 2015.
Fundamentals CSE 373 Data Structures Lecture 5. 12/26/03Fundamentals - Lecture 52 Mathematical Background Today, we will review: ›Logs and exponents ›Series.
Week 12 - Wednesday.  What did we talk about last time?  Asymptotic notation.
Algorithm Analysis (Algorithm Complexity). Correctness is Not Enough It isn’t sufficient that our algorithms perform the required tasks. We want them.
Program Efficiency & Complexity Analysis. Algorithm Review An algorithm is a definite procedure for solving a problem in finite number of steps Algorithm.
Mathematical Background and Linked Lists. 2 Iterative Algorithm for Sum Find the sum of the first n integers stored in an array v : sum (v[], n) temp_sum.
CSC 221: Recursion. Recursion: Definition Function that solves a problem by relying on itself to compute the correct solution for a smaller version of.
Data Structure Introduction.
CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Lauren Milne Summer 2015.
Geoff Holmes and Bernhard Pfahringer COMP206-08S General Programming 2.
CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Nicki Dell Spring 2014.
Java Methods Big-O Analysis of Algorithms Object-Oriented Programming
CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Lauren Milne Summer 2015.
CMSC 341 Asymptotic Analysis. 2 Complexity How many resources will it take to solve a problem of a given size? –time –space Expressed as a function of.
Asymptotic Analysis (based on slides used at UMBC)
Introduction to Analysis of Algorithms CS342 S2004.
CISC 235: Topic 1 Complexity of Iterative Algorithms.
Algorithm Analysis (Big O)
CSE 373: Data Structures and Algorithms
27-Jan-16 Analysis of Algorithms. 2 Time and space To analyze an algorithm means: developing a formula for predicting how fast an algorithm is, based.
CSE373: Data Structures and Algorithms Lecture 2: Proof by Induction Linda Shapiro Winter 2015.
CSE332: Data Abstractions Lecture 3: Asymptotic Analysis Tyler Robison Summer
CSE373: Data Structures and Algorithms Lecture 4: Asymptotic Analysis Linda Shapiro Winter 2015.
Complexity of Algorithms Fundamental Data Structures and Algorithms Ananda Guna January 13, 2005.
Chapter 15 Running Time Analysis. Topics Orders of Magnitude and Big-Oh Notation Running Time Analysis of Algorithms –Counting Statements –Evaluating.
Algorithm Analysis 1.
CSE373: Data Structures and Algorithms Lecture 2: Math Review; Algorithm Analysis Kevin Quinn Fall 2015.
CSE 373: Data Structures and Algorithms Pep Talk; Algorithm Analysis
CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Catie Baker Spring 2015.
David Kauchak CS52 – Spring 2015
Algorithm design and Analysis
Instructor: Lilian de Greef Quarter: Summer 2017
Introduction to Algorithms Analysis
CSE373: Data Structures and Algorithms Lecture 2: Math Review; Algorithm Analysis Dan Grossman Fall 2013.
CS 201 Fundamental Structures of Computer Science
CSE 373 Data Structures Lecture 5
Searching, Sorting, and Asymptotic Complexity
CSE 373: Data Structures & Algorithms
Asymptotic complexity Searching/sorting
Mathematical Background 2
CSE 373 Optional Section Led by Yuanwei, Luyi Apr
Presentation transcript:

CSE373: Data Structures and Algorithms Lecture 3: Math Review; Algorithm Analysis Linda Shapiro Winter 2015

Today Registration should be done. Homework 1 due 11:59 pm next Wednesday, January 14 ArrayQueueTest has been replaced in the zip file. to algorithm analysis –Proof Review math essential by induction (review example) –Exponents and logarithms –Floor and ceiling functions Begin algorithm analysis CSE 373: Data Structures & Algorithms2Winter 2015

Mathematical induction Suppose P(n) is some statement (mentioning integer n) Example: n ≥ n/2 + 1 We can use induction to prove P(n) for all integers n ≥ n 0. We need to 1.Prove the “base case” i.e. P(n 0 ). For us n 0 is usually 1. 2.Assume the statement holds for P(k). 3.Prove the “inductive case” i.e. if P(k) is true, then P(k+1) is true. Why we care: To show an algorithm is correct or has a certain running time no matter how big a data structure or input value is (Our “n” will be the data structure or input size.) CSE 373: Data Structures & Algorithms3Winter 2015

Review Example P(n) = “the sum of the first n powers of 2 (starting at 2 0 ) is 2 n -1” … + 2 n-1 = 2 n - 1. in other words: … + 2 n-1 = 2 n - 1. CSE 373: Data Structures & Algorithms4Winter 2015

Review Example P(n) = “the sum of the first n powers of 2 (starting at 2 0 ) is 2 n -1” We will show that P(n) holds for all n ≥ 1 Proof: By induction on n Base case: n=1. Sum of first 1 power of 2 is 2 0, which equals 1. And for n=1, 2 n -1 equals 1. CSE 373: Data Structures & Algorithms5Winter 2015

Review Example P(n) = “the sum of the first n powers of 2 (starting at 2 0 ) is 2 n -1” Inductive case: –Assume P(k) is true i.e. the sum of the first k powers of 2 is 2 k -1 –Show P(k+1) is true i.e. the sum of the first (k+1) powers of 2 is 2 k+1 -1 Using our assumption, we know the first k powers of 2 is … + 2 k-1 = 2 k - 1 Add the next power of 2 to both sides… … + 2 k k = 2 k k We have what we want on the left; massage the right a bit: … + 2 k k = 2(2 k ) – 1 = 2 k+1 – 1 Success! CSE 373: Data Structures & Algorithms6Winter 2015

Mathematical Preliminaries The following N slides contain basic mathematics needed for analyzing algorithms. You should actually know this stuff. Hang in there! Winter 20157CSE 373: Data Structures & Algorithms

Logarithms and Exponents Definition: x = 2 y if log 2 x = y –8 = 2 3, so log 2 8 = 3 –65536= 2 16, so log = 16 The exponent of a number says how many times to use the number in a multiplication. e.g. 2 3 = 2 × 2 × 2 = 8 (2 is used 3 times in a multiplication to get 8) A logarithm says how many of one number to multiply to get another number. It asks "what exponent produced this?” e.g. log 2 8 = 3 (2 makes 8 when used 3 times in a multiplication) CSE 373: Data Structures & Algorithms8Winter 2015

Logarithms and Exponents Definition: x = 2 y if log 2 x = y –8 = 2 3, so log 2 8 = 3 –65536= 2 16, so log = 16 Since so much is binary in CS, log almost always means log 2 log 2 n tells you how many bits needed to represent n combinations. So, log 2 1,000,000 = “a little under 20” Logarithms and exponents are inverse functions. Just as exponents grow very quickly, logarithms grow very slowly. CSE 373: Data Structures & Algorithms9Winter 2015

Logarithms and Exponents n CSE 373: Data Structures & Algorithms10Winter 2015

Logarithms and Exponents n CSE 373: Data Structures & Algorithms11Winter 2015

Logarithms and Exponents n CSE 373: Data Structures & Algorithms12Winter 2015

Logarithms and Exponents n CSE 373: Data Structures & Algorithms13Winter 2015

Properties of logarithms log(A*B) = log A + log B log(N k )= k log N log(A/B) = log A – log B log(log x) is written log log x –Grows as slowly as 2 2 grows quickly (log x)(log x) is written log 2 x –It is greater than log x for all x > 2 –It is not the same as log log x y CSE 373: Data Structures & Algorithms14Winter 2015

Log base doesn’t matter much! “Any base B log is equivalent to base 2 log within a constant factor” –And we are about to stop worrying about constant factors! –In particular, log 2 x = 3.22 log 10 x –In general we can convert log bases via a constant multiplier –To convert from base B to base A: log B x = (log A x) / (log A B) I use this because my calculator doesn’t have log 2. CSE 373: Data Structures & Algorithms15Winter 2015

Floor and ceiling Floor function: the largest integer < X Ceiling function: the smallest integer > X CSE 373: Data Structures & Algorithms16Winter 2015

Facts about floor and ceiling CSE 373: Data Structures & Algorithms17Winter 2015

Algorithm Analysis As the “size” of an algorithm’s input grows (integer, length of array, size of queue, etc.), we want to know –How much longer does the algorithm take to run? (time) –How much more memory does the algorithm need? (space) Because the curves we saw are so different, often care about only “which curve we are like” Separate issue: Algorithm correctness – does it produce the right answer for all inputs –Usually more important, naturally CSE 373: Data Structures & Algorithms18Winter 2015

Algorithm Analysis: A first example Consider the following program segment: x:= 0; for i = 1 to n do for j = 1 to i do x := x + 1; What is the value of x at the end? 11 to to to to 4 10 … n 1 to n ? = … + (n-1) + n i j x Number of times x gets incremented is = n*(n+1)/2 CSE 373: Data Structures & Algorithms19Winter 2015

Analyzing the loop Consider the following program segment: x:= 0; for i = 1 to n do for j = 1 to i do x := x + 1; The total number of loop iterations is n*(n+1)/2 –This is a very common loop structure, worth memorizing –This is proportional to n 2, and we say O(n 2 ), “big-Oh of” n*(n+1)/2 = (n 2 + n)/2 = 1/2n 2 + 1/2n For large enough n, the lower order and constant terms are irrelevant, as are the assignment statements See plot… (n 2 + n)/2 vs. just n 2 /2 CSE 373: Data Structures & Algorithms20Winter 2015

Lower-order terms don’t matter n*(n+ 1)/2 vs. just n 2 /2 We just say O(n 2 ) CSE 373: Data Structures & Algorithms21Winter 2015

Big-O: Common Names O(1)constant (same as O(k) for constant k) O( log n)logarithmic O(n)linear O(n log n) “n log n” O(n 2 )quadratic O(n 3 )cubic O(n k )polynomial (where is k is any constant) O(k n )exponential (where k is any constant > 1) O(n!)factorial Note: “exponential” does not mean “grows really fast”, it means “grows at rate proportional to k n for some k>1” CSE 373: Data Structures & Algorithms22Winter 2015

Big-O running times For a processor capable of one million instructions per second CSE 373: Data Structures & Algorithms23Winter 2015

Analyzing code Basic operations take “some amount of” constant time –Arithmetic (fixed-width) –Assignment –Access one Java field or array index –Etc. (This is an approximation of reality: a very useful “lie”.) Consecutive statementsSum of times ConditionalsTime of test plus slower branch LoopsSum of iterations CallsTime of call’s body RecursionSolve recurrence equation (next lecture) CSE 373: Data Structures & Algorithms24Winter 2015

Analyzing code 1.Add up time for all parts of the algorithm e.g. number of iterations = (n 2 + n)/2 2.Eliminate low-order terms i.e. eliminate n: (n 2 )/2 3.Eliminate coefficients i.e. eliminate 1/2: (n 2 ) : Result is O(n 2 ) Examples: –4n + 5 –0.5n log n + 2n + 7 –n n + 3n –365 = O(n) = O(n log n) = O(2 n ) = O(1) CSE 373: Data Structures & Algorithms25Winter 2015

Try a Java sorting program Winter 2015CSE 373: Data Structures & Algorithms26 private static void bubbleSort(int[] intArray) { int n = intArray.length; int temp = 0; for(int i=0; i < n; i++){ for(int j=1; j < (n-i); j++){ if(intArray[j-1] > intArray[j]){ //swap the elements! temp = intArray[j-1]; intArray[j-1] = intArray[j]; intArray[j] = temp; }}}}