[論文レビュー] Randomized Shellsort: a simple oblivious sorting algorithm

Michael T. Goodrich|arXiv (Cornell University)|Jan 17, 2010

Cryptography and Data Security参考文献 48被引用数 66

ひとこと要約

この論文は、データに依存しないランダム化シェルソートを紹介しており、非常に高い確率でO(n log n)の期待時間計算量を保証する。ランダム化を活用することで、証明可能な効率的性能が達成され、安全なマルチパーティ計算（SMC）における新たなプライバシー保護計算プロトコルの実現が可能になる。

ABSTRACT

In this paper, we describe a randomized Shellsort algorithm. This algorithm is a simple, randomized, data-oblivious version of the Shellsort algorithm that always runs in O(n log n) time and succeeds in sorting any given input permutation with very high probability. Taken together, these properties imply applications in the design of new efficient privacy-preserving computations based on the secure multi-party computation (SMC) paradigm. In addition, by a trivial conversion of this Monte Carlo algorithm to its Las Vegas equivalent, one gets the first version of Shellsort with a running time that is provably O(n log n) with very high probability.

研究の動機と目的

• データに依存しないランダム化シェルソートの変種を設計し、非常に高い確率でO(n log n)の時間で実行すること。
• プライバシー保護計算のための効率的で、証明可能な高速なオーバークロックソートアルゴリズムの不足を解消すること。
• 強い理論的パフォーマンス保証を持つ、モンテカルロ版のシェルソートを提供すること。
• 決定的O(n log n)の実行時間を持つラスベガス版への変換を可能にすること。

提案手法

• ギャップシーケンスの選択にランダム化を用いることで、データに依存しない動作を保証する。
• 標準的なシェルソートフレームワークを採用するが、データに依存しない動作を防ぐためにギャップのランダム選択を導入する。
• 確率的議論を用いて、任意の入力順列に対してO(n log n)時間でソートが行われることを示す。
• 既知のシェルソートの性質を活用し、ランダム化を組み合わせることでオーバークロック性を達成する。
• 集中不等式と確率的解析を用いて、アルゴリズムの正しさと効率性を証明する。
• モンテカルロ版からラスベガス版への単純な変換を適用し、非常に高い確率で決定的O(n log n)の実行時間を持つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 ランダム化されたシェルソートを、データに依存しない動作を保ちつつO(n log n)の期待時間計算量で実現できるか？
• RQ2 このようなランダム化されたオーバークロックシェルソートが、任意の入力順列に対してどのようなパフォーマンス保証を持つのか？
• RQ3 モンテカルロ版のシェルソートを、証明可能な効率的実行時間を持つラスベガス版にどのように変換できるか？
• RQ4 このアルゴリズムが安全なマルチパーティ計算およびプライバシー保護ソートに与えるインパクトは何か？

主な発見

• 提案されたランダム化シェルソートは、任意の入力順列に対して非常に高い確率でO(n log n)の時間で実行される。
• アルゴリズムはデータに依存しない。つまり、メモリアクセスパターンが入力データに依存しない。
• モンテカルロ版は非常に高い確率で正しくソートを完了し、強力なパフォーマンス保証を提供する。
• ラスベガス版への変換により、初めてO(n log n)の証明可能な実行時間を持つシェルソートが得られる。
• オーバークロック性と効率性のおかげで、安全なマルチパーティ計算における新たな応用が可能になる。
• 理論的解析により、シェルソートの実用的利点を維持しながら、強力なプライバシーとパフォーマンス保証を追加できることを確認した。