[論文レビュー] Average-Case Complexity of Shellsort

Tao Jiang, Ming Li+1 more|arXiv (Cornell University)|Jan 20, 1999

Algorithms and Data Compression参考文献 10被引用数 5

ひとこと要約

この論文は、任意の増分列を用いたpパスシェルソートの平均ケース時間計算量に対する一般化された下界を確立し、p ≤ log n の場合に Ω(pn^{1+1/p}) であることを証明している。この結果は、データ移動と比較回数に関する組合せ論的および確率的議論を用いて、40年以上にわたる未解決問題を解決した。

ABSTRACT

We prove a general lower bound on the average-case complexity of Shellsort: the average number of data-movements (and comparisons) made by a p-pass Shellsort for any incremental sequence is \\Omega\\Gamma pn 1+ 1 p ) for all p log n. Using similar arguments, we analyze the average-case complexity of several other sorting algorithms. 1 Introduction The question of a nontrivial general lower bound (or upper bound) on the average complexity of Shellsort (due to D.L. Shell [15]) has been open for about four decades [7, 14]. We present such a lower bound for p-pass Shellsort for every p. Shellsort sorts a list of n elements in p passes using a sequence of increments h 1 ; : : : ; h p . In the kth pass the main list is divided in h k separate sublists of length n=h k , where the ith sublist consists of the elements at positions j, where j mod h k , of the main list (i = 1; : : : ; h k ). Every sublist is sorted using a straightforward insertion sort. The efficiency of the method is gove...

研究の動機と目的

• シェルソートの平均ケース複雑度に対する非自明な一般化された下界を確立すること。これは、ほぼ40年間未解決のままであった。
• すべての可能な増分列に対して、pパスシェルソートにおけるデータ移動回数および比較回数の平均値を分析すること。
• 類似した組合せ論的および確率的技法を用いて、他のソーティングアルゴリズムの解析フレームワークを拡張すること。
• シェルソートに対して、非自明な平均ケース下界が存在するかどうかという長年の未解決問題を解消すること。

提案手法

• 著者は、各パスにおけるデータ移動および比較回数の期待値を分析するために、組合せ論的および確率的議論を用いている。
• 彼らは、シェルソートの挙動を、各パスkで入力リストをh_k個の部分リストに分割し、それぞれを挿入ソートで整列させることでモデル化している。
• 分析は、すべての増分列における逆転数およびデータ移動回数の期待値に焦点を当てており、モジュロ算術および部分列の挙動の性質を活用している。
• 主な技術的貢献は、部分リスト間での要素の最悪分布を考慮することで、平均的なデータ移動回数の下界を導出することにある。
• この手法は任意の増分列に適用可能であり、h_1, ..., h_p の特定の選択に依存しない一般性を持つ。
• 著者は、同様の技法を他のソーティングアルゴリズムの平均ケース複雑度の分析に拡張し、この手法の広範な適用可能性を示している。

実験結果

リサーチクエスチョン

• RQ1 任意のpパスシェルソートが実行する最小の平均ケースのデータ移動回数および比較回数は何か？
• RQ2 すべての増分列に対して、シェルソートの平均ケース複雑度に対して非自明な一般化された下界を確立できるか？
• RQ3 シェルソートの平均ケース複雑度は、パス数pと入力サイズnの関数としてどのようにスケーリングされるか？
• RQ4 同様の解析的手法は、他の比較ベースのソーティングアルゴリズムに対しても適用可能か？

主な発見

• すべてのp ≤ log nに対して、pパスシェルソートの平均ケース複雑度は、使用する増分列にかかわらず Ω(pn^{1+1/p}) で下界を持つ。
• この下界は、データ移動回数および比較回数の両方に対して適用され、シェルソートの効率性における根本的な限界を確立している。
• この結果は、シェルソート解析分野における長年の未解決問題を解決した。この研究以前には、非自明な平均ケース下界が知られていなかった。
• 解析により、最適な増分列でさえも、この漸近的しきい値を下回る平均ケース複雑度に抑えることはできないことが示された。
• 同様の手法フレームワークは、他のソーティングアルゴリズムの平均ケース複雑度の分析に対しても成功裏に拡張され、より広範な理論的意義を示唆している。