안녕하세요. 문범우입니다.
지난 포스팅에서 시간복잡도, 공간복잡도 등에 대해서 알아보며 Big-O 표기법에 대해서 살펴보았습니다.
이번에는 실제로 특정 코드나 알고리즘을 대상으로 그 시간복잡도를 분석해보는 실습을 진행해보도록 하겠습니다.
아래에서 다루게 될 예제들은 ''코딩인터뷰 완전 분석"(게일라크만맥도웰 지음, 이창현 옮김)_인사이트출판 서적에서 일부 참고 및 발췌하였습니다.
> N에 대한 정확한 사용
우리는 이전 포스팅에서도 그러했듯이 Big-O 표기법으로 나타낼때에 흔히 O(N), O(log N) 과 같이 나타냅니다. 그런데 이때 N에 대해 정확하게 이해하지 못하였다면 추후 잘못된 분석을 할 수 있습니다.
아래와 같은 상황을 생각해보겠습니다.
여러개의 문자열로 구성된 배열이 있습니다.
이때 각각의 문자열에 대해 먼저 정렬을 하고 이후 전체 문자열을 사전순으로 다시 정렬하는 알고리즘이 있습니다.
이러한 알고리즘의 수행시간은 어떻게 될까요?
간단히 생각해보면, 각 문자열을 정렬하는데 O(N*logN)의 시간이 소요되므로 모든 문자열에 대해서는 O(N*N*logN)이 소요될 것입니다. 그리고 전체 문자열들에 대해 사전순으로 정렬해야 하므로 O(N*logN) 이 추가됩니다.
즉, 해당 알고리즘의 수행시간은 O(N*N*logN + N*logN) = O(N*N*logN) 이라고 생각할 수 있습니다.
하지만 이는 완벽하게 틀린 분석입니다.
어디서 부터 잘못됐는지 아시겠나요?
바로 N에 대한 정확하지 않은 사용입니다.
위의 분석에서는 문자열의 길이와 문자열의 개수 모두 N으로 중복해서 사용하였습니다. 이는 아예 다른 시간복잡도를 가져오게 되는 큰 실수입니다.
제대로된 분석을 위해서는 다음과 같이 변수를 정의하고 진행합니다.
- 가장 길이가 긴 문자열의 길이를 s라고 하자.
- 배열의 길이를 a라고 하자.
이렇게 된다면, 각 문자열을 정렬하는데 O(s * log s) 가 소요되며 모든 문자열에 대해서 생각해 보면, O(a * s * log s) 가 소요됩니다.
그리고 문자열 비교시, 두개를 서로 비교할 때 O(s) 만큼 시간이 소요되고 이것을 총 O(a * log a) 번해야 하므로 O(a * s * log a) 만큼의 시간이 소요 됩니다.
따라서 전체 시간 복잡도는, O(a * s * (log a + log s)) 입니다.
> 재귀 호출 패턴 분석
아래는 균형 이진 탐색 트리에서 모든 노드의 값을 더하는 간단한 코드입니다. 수행시간을 한번 분석해보죠.
| int sum(Node node){ if(node == null){ return 0; } return sum(node.left) + node.value + sum(node.right); } | cs |
1. 재귀호출 패턴분석
위의 코드가 단지 이진 트리라는 이유로, 또는 재귀호출이라는 이유로 시간복잡도에 로그가 들어간다고 생각하면 안됩니다.
실제로 재귀 함수에 분기가 여러개 존재한다면 수행 시간은 일반적으로 O(분기^깊이)가 됩니다. 즉, 두 개의 분기만 존재하는 재귀함수라면 일반적으로 O(2^깊이)의 시간복잡도를 가지게 됩니다.
그렇다면 깊이는 어떻게 될까요? 위의 코드에서 나온 트리는 균형 이진 탐색 트리입니다. 즉, 총 N개의 노드가 있다면 깊이는 대략적으로 log N 의 값을 가지게 됩니다.
그럼 수식에 따라 시간복잡도는 O(2^(log_2 N))이 되는 것을 알 수 있습니다.
하지만 조금 더 살펴보도록 합시다.
결과에 나온 log_2 N 는 과연 무엇을 의미할까요?
2^(log_2 N) = P 라고 생각해본다면, 양변에 로그를 취해
log_2 2^(log_2 N) = log_2 P 가 됩니다. 그러면 로그의 특징에 따라서,
log_2 N * log_2 2 = log_2 P
log_2 N = log_2 P
N = P
가 됩니다.
따라서 총 시간복잡도는 O(N) 이 됩니다.
2. 코드가 무엇을 의미하는가
위에서는 재귀 호출 패턴 분석을 통해 시간복잡도를 분석해보았습니다.
하지만 조금 더 직관적인 방법으로는, 코드가 무엇을 하는지를 살펴보면 알 수 있습니다.
위의 코드는 트리의 각 노드를 한 번씩 방문한 뒤 각 노드에서 상수 시간에 해당하는 일을 하게 됩니다. 즉, 수행시간은 노드의 개수와 선형관계에 있음을 알 수 있고, 이에 따라 N개의 노드가 있을때 알고리즘의 시간복잡도는 O(N)임을 알 수 있습니다.
> 순열(permutation)의 개수를 구하는 코드
아래의 코드는 입력된 문자열로 나타낼 수 있는 순열의 개수를 구하는 코드입니다.
| void permutation(String str){ permutation(str, "") } void permutation(String str, String prefix){ if(str.length() == 0){ System.out.println(prefix); }else { for(int i=0; i<str.length(); i++){ String rem = str.substring(0,i) + str.substring(i+1); permutation(rem, prefix + str.charAt(i)); } } } | cs |
코드를 보면 꽤 까다로울 수 있습니다.
이에 대한 시간복잡도 분석을 먼저 스스로 해보시고 보시는 것도 추천드립니다 :)
먼저 위의 코드를 분석하기 위해 permutation 함수가 얼마나 호출되는지, 각 호출마다 걸리는 시간이 얼마나 걸리는지를 나누어 생각하면 쉽게 분석할 수 있습니다.
1. 순열이 완성되는 시점에서의 permutation 함수 호출
순열이 완성되는 시점에서는 코드의 7번째 라인이 실행되는 것인데, 이 또한 permutation 함수가 호출되었기 때문에 입니다. 따라서 특정 문자열에 대한 순열의 개수만큼, permutation 함수가 호출될 것이며 이 값은 n! 입니다.
2. 순열 생성이 완성되기 전에 permutation 함수 호출
동시에 9~12번째 코드라인이 얼마나 호출되어 반복되는지를 살펴보아야 합니다.
트리구조로 생각한다면 1번에서 알아본 n! 는 결국 리프노드의 개수입니다.
그리고 루트에서 리프노드까지의 거리는 n일 것이며, 이를 통해 트리의 총 노드는 절대로 n*n! 을 넘지 못합니다.
3. 한 번의 permutation 호출에서의 소요 시간
한번의 호출이 있었을 때 연산 시간이 얼마나 걸리는지를 파악합니다.
7번째 줄에서는 문자열 전체를 출력하기 때문에 O(N) 시간이 걸리며, 10번째 줄에서 시행되는 substring 함수 또한 O(N) 시간이 걸리게 됩니다.
( 단순 함수 호출이기에 O(1)로 생각하실 수 있으나 java 업데이트 후 해당 함수가 O(N)의 소요시간을 갖게 되었습니다. )
이렇게 1,2,3으로 나누어 분석한 결과 permutation 함수의 총 시간 복잡도는 O(N * N * N!) 임을 알 수 있습니다.
> 피보나치 수
1
아래의 코드는 N번째 피보나치 수(Fibonacci number)를 구하는 코드입니다.
| int fib(int n){ if (n <= 0) return 0; else if (n == 1) return 1; return fib(n-1) + fib(n-2); } | cs |
이는 위에서 우리가 알아보았던 재귀 호출 패턴 분석을 이용하면 O(2^N) 의 시간복잡도를 가지게 됩니다.
하지만 이를 좀 더 세밀하게 분석해보면 약 O(1.6^N)의 시간복잡도가 나오게 됩니다. 구체적으로 다루지는 않겠지만, 우리가 재귀 호출에 대해서 트리구조로 그려볼 때, 호출 스택의 밑바닥에서 가끔식 한번의 호출만 필요한 경우 등이 그 이유일 것입니다.
> 피보나치 수 2
이번에도 위와 같은 동작을 하는, 피보나치 수와 관련된 코드이지만 이번에는 이전에 계산된 결과 값을 정수 배열에 저장하고 이를 이용하는 방식의 알고리즘 입니다.
| void allFib(int n){ int[] memo = new int[n+1]; for (int i=0; i<n; i++){ System.out.println(i+": "+fib(i,memo)); } } int fib(int n, int[] memo){ if (n <= 0) return 0; else if (n == 1) return 1; else if (memo[n] > 0) return memo[n]; memo[n] = fib(n-1, memo) + fib(n-2, memo); return memo[n]; } | cs |
위의 코드에 대해 임의의 n 값으로 실제 호출 스택을 그려본다면 fib(i)를 호출할 때마다 fib(n-1)과 fib(n-2)의 계산이 이미 끝나 있고 이를 단순히 배열에서 가져오는 연산을 진행하는 것을 알 수 있습니다.
즉, 이러한 과정은 상수시간 안에 동작하고 상수 시간의 동작을 총 N번 반복하기 때문에 해당 알고리즘의 시간복잡도는 O(N)을 가지게 됩니다.
이러한 방법은 메모이제이션(Memoization) 이라고 불리는 방법으로써, 지수 시간이 걸리는 재귀 알고리즘을 최적화할 때 쓰는 흔한 방법 중 하나 입니다.
비슷한 방법 중 하나로는 동적계획법(Dynamic Programming) 이 있습니다.
물론 메모이제이션과 동적계획법이 아예 같은 개념인 것도 아니고, 아예 다른 개념인 것도 아닙니다.
필요하다면 추후 다루게 되겠지만 간단하게 살펴보면, 메모이제이션은 결과를 구하고 이를 할용하면서 문제를 해결하는 것이고, 동적계획법은 큰 문제에 대해 작은 부분으로 나누어 작은 것부터 해결해 나가는 것 입니다.
이렇게 지난 포스팅에서 알아본 시간복잡도에 대한 개념에 이어 여러가지 예제들을 함께 살펴보았습니다.
해당 예제들을 통해 실수 할 수 있는 부분들을 캐치하여 추후 자신이 분석하고자 하는 알고리즘에 대해 보다 정확한 분석이 이루어 져야 합니다.
