[論文レビュー] An efficient sorting algorithm - Ultimate Heapsort(UHS)

Feiyang Chen, Nan Chen+2 more|arXiv (Cornell University)|Feb 1, 2019

Algorithms and Data Compression被引用数 4

ひとこと要約

この論文は、最良・平均・最悪ケースにおいてすべてで最適な O(n log n) 時間計算量を達成する比較ベースのソートアルゴリズム、Ultimate Heapsort (UHS) を紹介する。UHS は O(1) の空間計算量を維持しており、挿入や削除が頻繁に発生する動的環境において、従来のヒープソートやクイックソートを上回る性能を発揮する。

ABSTRACT

Motivated by the development of computer theory, the sorting algorithm is emerging in an endless stream. Inspired by decrease and conquer method, we propose a brand new sorting algorithmUltimately Heapsort. The algorithm consists of two parts: building a heap and adjusting a heap. Through the asymptotic analysis and experimental analysis of the algorithm, the time complexity of our algorithm can reach O(nlogn) under any condition. Moreover, its space complexity is only O(1). It can be seen that our algorithm is superior to all previous algorithms.

研究の動機と目的

• 最良・平均・最悪ケースすべてにおいて O(n log n) 時間計算量を維持するソートアルゴリズムの設計。
• 挿入や削除が頻繁に発生する動的ソート環境において、従来のヒープソートを改善する。
• 時間計算量と空間計算量の両方を最適化し、主にメモリ内およびリアルタイムアプリケーションに適したソリューションを実現する。
• クイックソートや他の比較ベースのアルゴリズムよりも動的ワークロード下で優れた性能を発揮する、安定でインプレースなソートソリューションを提供する。

提案手法

• 各親ノードがその子ノード以上であるというヒープ性質を維持するため、マックスヒープデータ構造を使用する。
• 最大要素を抽出した後のヒープ性質の回復に、MAX-HEAPIFY 手順を適用する。
• 最後の非リーフノードから始める下向きアプローチを用いて、初期マックスヒープを構築する。
• 繰り返し、根（最大値）と最後の要素を入れ替え、ヒープサイズを縮小し、根に対して再ヒープ化を行うことで配列をソートする。
• すべての入力タイプおよびヒープ構成において時間計算量を検証するため、漸近的および実験的分析を適用する。
• 数学的総和を用いて、ヒープ構築および維持にかかる総コストが O(n) であることを証明し、各ヒープ化操作が総時間に O(log n) の寄与をもたらすことを示す。

実験結果

リサーチクエスチョン

• RQ1 比較ベースのソートアルゴリズムが、最良・平均・最悪ケースすべてにおいて O(n log n) 時間計算量を達成し、O(1) の空間計算量を維持できるか。
• RQ2 挿入や削除が頻繁に発生する動的環境において、UHS はクイックソートや従来のヒープソートと比べてどのように性能を発揮するか。
• RQ3 ヒープ構築および維持におけるヒープ化プロセスが、全体の時間計算量に与える影響は何か。
• RQ4 マックスヒープデータ構造の使用が、他のインプレースアルゴリズムと比較して、実世界の動的ソートシナリオでより優れた性能を発揮できるか。
• RQ5 アルゴリズムはすべての入力条件下で安定と証明できるか、それとも等価な要素の相対順序が本質的に破壊されるか。

主な発見

• UHS は最悪ケース、平均ケース、最良ケースのすべてにおいて O(n log n) 時間計算量を達成しており、多様な入力分布に対して堅牢である。
• UHS の空間計算量は O(1) であり、入力配列以外に補助記憶領域を必要としないインプレースソートアルゴリズムであることが確認された。
• 実験結果から、挿入や削除が頻繁に発生する動的ソートシナリオにおいて、UHS は他のアルゴリズムを上回る性能を示した。
• データがソート中に変更されても、UHS は最適な性能を維持するが、クイックソートはこのような条件下で性能が劣化する。
• 漸近的解析により、ヒープ構築およびヒープ化操作にかかる総コストが O(n) であることが確認され、各操作が総時間に O(log n) の寄与をもたらすことが示された。
• UHS は安定ソートではない。ヒープ構造が内部ノードでのヒープ化プロセス中に、等価な要素の相対順序を変更する可能性があるためである。