알고리즘은 문제 풀이에 필요한 계산절차나 논리적인 처리과정을 의미한다. 쉽게 생각해서 음식의 레시피라고 생각하면 된다.
알고리즘의 correctness가 증명되었다면, 다음은 performance 확인이 필요하다. Performance 확인에는 complexity 분석이 진행된다.Complexity에는 2가지 종류가 있다.