Complexity of the Symmerge Algorithm

Symmerge is a stable minimum storage merging algorithm that needs $O(m{\log}{\frac{n}{m}})$ element comparisons, where in and n are the sizes of the input sequences with $m{\leq}n$. Hence, according to the lower bound for merging, the algorithm is asymptotically optimal regarding the number of comparisons. The Symmerge algorithm is based on the standard recursive technique of "divide and conquer". The objective of this paper is to consider the relationship between m and n for the degenerated case where the recursion depth reaches m-1.

Symmerge 알고리즘의 복잡도

[ $m{\leq}n$ ]을 만족하는 m과 n을 두 입력수열이라고 했을 때 Symmerge는 비교횟수와 관련해 복잡도 $O(m{\log}{\frac{n}{m}})$를 필요로 하는 stable minimum storage 머징 알고리즘이다. 그러므로 비교횟수와 관련된 머징의 점근적 하계 ${\Omega}(m{\log}{\frac{n}{m}})$에 의해 Symmerge 알고리즘은 최적 알고리즘에 해당함을 알 수 있다. Symmerge는 두 입력수열의 분할 (partition)과 로테이션 (rotation)을 통해 얻어지는 수열들에 알고리즘의 재귀적 콜 (recursive call)이 적용되는 divide 와 conquer 기술을 이용한다. 이로 인해 수열들이 반복해서 분할과 로테이션 되는데 특히 재귀의 깊이가 m-1 가 되는 경우에 있어서 두 입력수열의 길이의 관계를 알아보고자 한다.