[논문 리뷰] How robust is quicksort average complexity?

Suman Kumar Sourabh, Soubhik Chakraborty|arXiv (Cornell University)|2008. 11. 26.

Algorithms and Data Compression참고 문헌 7인용 수 8

한 줄 요약

이 논문은 여섯 가지 표준 확률 분포 하에서의 성능을 분석하여 퀵정렬의 평균적 시간 복잡도의 안정성을 조사한다. 유니폼, 지수, 표준 정규 분포만이 평균적 복잡도를 지지하는 것으로 밝혀졌으며, 나머지 분포들은 최악의 경우 성능을 보이며, 이는 퀵정렬의 평균적 복잡도 분석이 일반적인 분포 하에서 광범위한 안정성을 갖지 못함을 시사한다.

ABSTRACT

The paper questions the robustness of average case time complexity of the fast and popular quicksort algorithm. Among the six standard probability distributions examined in the paper, only continuous uniform, exponential and standard normal are supporting it whereas the others are supporting the worst case complexity measure. To the question -why are we getting the worst case complexity measure each time the average case measure is discredited? -- one logical answer is average case complexity under the universal distribution equals worst case complexity. This answer, which is hard to challenge, however gives no idea as to which of the standard probability distributions come under the umbrella of universality. The morale is that average case complexity measures, in cases where they are different from those in worst case, should be deemed as robust provided only they get the support from at least the standard probability distributions, both discrete and continuous. Regretfully, this is not the case with quicksort.

연구 동기 및 목표

• 퀵정렬의 평균적 시간 복잡도가 다양한 확률 분포 간에도 안정적인지 평가하기 위해.
• 표준 분포 중에서 평균적 복잡도가 유지되는 경우와 최악의 경우 성능으로 악화되는 경우를 식별하기 위해.
• 평균적 복잡도가 보편적으로 적용되지 않을 수 있는 이론적 근거를 탐색하기 위해.
• 일반적인 분포에서 지원이 없는 한, 평균적 복잡도가 신뢰할 수 있는 성능 지표로 유효한지 평가하기 위해.

제안 방법

• 저자들은 여섯 가지 표준 확률 분포(연속 균일, 지수, 표준 정규, 베르누이, 이항, 기하) 하에서 퀵정렬의 기대 시간 복잡도를 분석한다.
• 각 분포에 대해 퀵정렬의 비교 횟수 기대값을 계산하여 평균적 복잡도가 유지되는지 평가한다.
• 분석은 기대 비교 횟수가 이론적 평균적 복잡도 O(n log n)와 일치하는지 여부 또는 최악의 경우 O(n²)로 향하는지에 중점을 둔다.
• 이 연구는 점근적 분석과 확률 모델링을 사용하여 다양한 분포 간 기대 성능를 비교한다.
• 일부 분포 하에서 평균적 복잡도가 최악의 경우 복잡도와 동일해지는 이유를 설명하기 위해 '보편성(universality)' 개념을 도입한다.

실험 결과

연구 질문

• RQ1 표준 확률 분포 중에서 퀵정렬이 평균적 시간 복잡도를 유지하는 분포는 무엇인가?
• RQ2 기본 분포가 균일, 지수, 정규 분포가 아닐 경우 평균적 복잡도가 성립하지 않는 이유는 무엇인가?
• RQ3 평균적 복잡도가 제한된 분포 집합에서만 성립할 경우, 얼마나 널리 적용 가능한 안정성을 지닐 수 있는가?
• RQ4 보편 분포 하에서 평균적 복잡도가 최악의 경우 복잡도와 동일해지는 데 이론적 근거는 무엇인가?

주요 결과

• 퀵정렬의 평균적 시간 복잡도인 O(n log n)는 연속 균일, 지수, 표준 정규 분포에서만 지지된다.
• 나머지 세 분포인 베르누이, 이항, 기하 분포에서는 기대 비교 횟수가 최악의 경우 O(n²) 복잡도와 일치한다.
• 표준 분포 간 평균적 복잡도 분석이 성립하지 않음으로써 이는 성능 지표로서의 안정성에 손상을 준다.
• 논문은 보편 분포 하에서 평균적 복잡도가 최악의 경우 복잡도와 동일해질 수 있으며, 이는 이론적 설명이지만 일반적인 분포에서 실질적 지원이 부족하다고 제안한다.