플로이드 힙 구축 알고리즘 비교 횟수의 최악 사례 정확한 상한

초록

플로이드의 힙 구성 알고리즘이 수행하는 비교 연산의 최악 경우를 정확히 분석하여, n개의 원소에 대해 최대 2n‑2μ(n)‑σ(n)번의 비교가 필요함을 증명한다. 여기서 μ(n)은 n의 이진 표현에서 1의 개수, σ(n)은 마지막 1 뒤에 오는 0의 개수를 의미한다.

상세 분석

플로이드의 힙 구축 알고리즘은 배열에 저장된 n개의 키를 이진 힙 구조로 변환할 때, 하향식 ‘sift‑down’ 연산을 내부 노드들에 역순으로 적용한다. 기존 문헌에서는 최악 비교 횟수를 2n‑O(log n) 정도로 추정했으나, 정확한 상한을 제시하지 못했다. 본 논문은 이 과정을 이진 표현의 구조와 연결시켜 μ(n)과 σ(n)이라는 두 개의 비트‑통계량을 도입한다. μ(n)은 전체 1의 개수로, 힙의 내부 노드 수와 직접 대응한다. σ(n)은 마지막 1 뒤에 연속되는 0의 개수로, 마지막 레벨에서 ‘빈’ 위치가 얼마나 남아 있는지를 나타낸다. 논문은 먼저 각 내부 노드 i에 대해 s(i) = ⌊log₂(i)⌋ 로 정의하고, 해당 노드가 수행할 최대 비교 횟수를 s(i)+1 로 제한한다. 이후 전체 비교 횟수는 Σ_{i=1}^{⌊n/2⌋}(s(i)+1) 로 표현되며, 이를 이진 트리의 깊이 분포와 μ, σ에 대해 정밀히 합산한다. 핵심은 마지막 레벨에 존재하는 ‘불완전’ 노드들이 비교를 하나씩 절감한다는 점이다. 이 절감량이 바로 σ(n)이며, 내부 노드 전체에서 절감되지 못한 1들의 개수가 μ(n)이다. 따라서 최종 식 2n‑2μ(n)‑σ(n) 가 도출된다. 증명 과정에서는 귀납적 구조와 비트‑패턴 분석을 결합해, 모든 n에 대해 식이 등호를 만족함을 보인다. 또한, 실험적으로 n을 2ⁱ 형태와 임의의 값으로 확대했을 때, 관측된 비교 횟수가 제시된 상한과 일치함을 확인하였다. 이 결과는 힙 구축 단계의 정확한 복잡도 평가에 새로운 기준을 제공하며, 메모리 접근 패턴 최적화와 병렬 구현 설계에도 직접적인 영향을 미친다.