Steps
Input & Output
High level description: base case + induction
Complexity: how much each step cost + how many steps
Proof: base case + induction
Input & Output
High level description: base case + induction
Complexity: how much each step cost + how many steps
Proof: base case + induction