Asymptotic Analysis and Proof by Induction
Asymptotic analysis
- symbols: O, o, ?, ?, and ?
- types: worst, best, average, common, amortized
- objectives: time, space
- quality: tight vs. loose
- the fix sheet
- analyzing code
- interpretation of analysis
Proof techniques
- by counterexample
-
-
- by contradiction
-
-
- by induction
- base case
- induction hypothesis
- induction step