마스터 정리
마스터 정리를 사용하기 위해선 시간 복잡도 점화식이 다음과 같이 정의되어야 한다. $$T(n) = aT(n/b) + f(n)$$ 그리고 다음과 같이 세 가지 제약 조건이 있다. 1. $f(n)$은 다항식(polynomial function)이어야 한다. 단, $f(n)$이 다항식이 아니더라도 극명하게 적용될 수 있음을 증명하면 사용할 수 있다. ($n^2$ > $n log n$ 또는 $n^2$ 1$인 양의 실수여야 한다. 재귀를 호출할 때 그 호출 비용이 현재보다 작아야 한다는 것을 의미한다. 3. 정규 조건(regularity condition) ${af(n/b)} \leq {cf(n)}$을 만족하는 $c < 1$가 존재해야 한다..
Algorithms
2020. 5. 10. 09:20