온라인 안정 정렬의 최적 비교 횟수

초록

이 논문은 멀티셋을 온라인으로 안정적으로 정렬할 때 필요한 삼진 비교 횟수의 상한과 하한을 제시한다. 원소 종류가 n/로그 n보다 작을 경우 엔트로피 H에 기반한 (H+1)·n ± o(n) 비교가 충분하고 필요함을 증명한다.

상세 분석

논문은 먼저 온라인 안정 정렬이라는 제한된 모델을 정의한다. 입력 원소가 순서대로 도착하고, 이전에 처리된 원소들의 상대 순서는 유지되어야 한다는 조건이다. 이러한 제약 하에서 기존의 오프라인 정렬 결과와 비교했을 때 추가적인 비교 비용이 발생할 수 있음을 인식한다. 저자들은 원소들의 빈도 분포를 확률 변수로 보고, 그 엔트로피 H를 정보 이론적 하한으로 활용한다. 엔트로피는 평균적으로 한 원소를 식별하는 데 필요한 비트 수를 나타내며, 정렬 과정에서 비교는 본질적으로 정보를 얻는 행위이므로 H·n이 최소 필요량이 된다. 그러나 안정성을 유지하려면 동일한 값의 원소들 사이에도 순서를 보존해야 하므로 추가적인 비교가 필요하다. 이를 정량화하기 위해 저자들은 “증분 코딩” 기법을 변형한 온라인 코딩 스키마를 설계한다. 각 새로운 원소가 들어올 때마다 현재까지 관찰된 빈도 추정치를 업데이트하고, 그 원소가 기존 구간 중 어느 위치에 삽입될지를 삼진 비교를 통해 결정한다. 이 과정에서 평균적으로 (H+1)·n + o(n) 번의 비교가 소요됨을 보인다. 여기서 +1은 동일값 원소들의 상대 순서를 보장하기 위한 추가 정보량을 의미한다. 하한 증명은 적대적 입력을 구성하여, 어떤 알고리즘이라도 최악의 경우 (H+1)·n − o(n) 번 이상의 비교를 피할 수 없음을 보인다. 특히, 원소 종류 σ가 o(n/log n)인 경우, 엔트로피가 n에 비해 충분히 작아져서 상한과 하한이 거의 일치한다. 이 결과는 기존 오프라인 정렬에서 알려진 (H+1)·n + o(n) 상한과 동일한 수준이며, 온라인 환경에서도 동일한 효율을 달성할 수 있음을 의미한다. 논문은 또한 기존 연구와의 관계를 논의하며, 특히 이전에 제시된 n·log σ와 같은 상한이 실제 엔트로피 기반 상한보다 느슨함을 지적한다. 마지막으로 저자들은 구현상의 간단한 알고리즘을 제시하고, 실험을 통해 이론적 복잡도와 실제 수행 시간 사이의 일치를 확인한다.