[論文レビュー] Real-Time Sorting of Binary Numbers on One-Dimensional CA

Thomas Worsch, Hidenosuke Nishio|arXiv (Cornell University)|Dec 3, 2010

Cellular Automata and Applications参考文献 5被引用数 3

ひとこと要約

本稿では、n 個のk ビットの2進数を正確に nk ステップで並べ替える1次元セルオートマトン（CA）を提示する—これは理論的下界である nk−1 ステップに一致するリアルタイム性能を達成する。アルゴリズムは、信号伝播とビット反転技術を用いたブロック間の応用を施した変更版奇数偶数交換ソートを用い、最大値を右端ブロックに配置するための並列最大値探索メカニズムを強化することで、最適な時間枠内で正しいグローバル順序を保証する。

ABSTRACT

A new fast (real time) sorter of binary numbers by one-dimensional cellular automata is proposed. It sorts a list of n numbers represented by k-bits each in exactly nk steps. This is only one step more than a lower bound.

研究の動機と目的

• n 個のk ビットの2進数を正確に nk ステップで並べ替える1次元セルオートマトンを設計すること、すなわち理論的下界に一致するリアルタイム性能を達成すること。
• 従来のCAベースのソーティングアルゴリズムが3nk ステップ以上を要するという限界を克服すること、それにもかかわらずリアルタイム性能を主張していたにもかかわらず。
• 近隣相互作用と有限で固定状態のセルに依存するソーティングメカニズムを実装すること、n や k に依存しないこと。
• ブロックレベルの操作を同期させ、ブロック間で動的ビット再編成を可能にすることで、正しいグローバル順序を保証すること。

提案手法

• アルゴリズムは、ボルツマン近傍半径1の1次元CAに適応された変更版奇数偶数交換ソートを用いる。
• 各数値はk 個のセルからなるブロックに格納され、最上位ビットと最下位ビットがマークされる。ブロックは信号伝播とビットシフトメカニズムを用いて並列処理される。
• 同期を保証する2段階のセットアップが採用される：第1に、右端セルから信号が伝播して最後のブロックをマークする。第2に、数値が右端ブロックに向かって右方向にシフトされる。このプロセスは nk ステップで完了する。
• 別個の並列アルゴリズムにより、右端ブロック内の最大値が左から右への信号を用いて計算される。最大値は、より大きな数値が受信された場合にのみ更新される。
• ビット反転およびレジスタ管理技術を用いて、サブブロック間で上位および下位ビットを再編成することで、正しいソート順序を達成する。
• システムは、正確に nk ステップ後に、非減少順に整列された安定した出力構成が得られることを保証する。

実験結果

リサーチクエスチョン

• RQ1 1次元セルオートマトンは、理論的下界である nk−1 ステップに一致する正確な nk ステップで、n 個のk ビットの2進数を並べ替えることができるか？
• RQ2 近隣相互作用を有する1次元CAでリアルタイムソーティングを達成するために、標準的な奇数偶数交換ソートに必要な修正は何か？
• RQ3 有限状態ルールと局所的セル相互作用のみを用いて、最大値を右端ブロックに正しく配置する方法は何か？
• RQ4 n や k に依存しないが、リアルタイム性能と正しさを維持するソーティングCAを設計することは可能か？
• RQ5 グローバル通信なしに、ブロック間でどのようにビット再編成を可能にし、正しいソート順序を保証できるか？

主な発見

• 提案されたCAは、n 個のk ビットの2進数を正確に nk ステップで並べ替えることができ、理論的下界である nk−1 ステップよりわずか1ステップ多い。
• 信号伝播、ビットシフト、およびソーティングプロセスと同期する並列最大値比較メカニズムを組み合わせることで、リアルタイム性能を達成する。
• 左から右への比較信号を用いて、最大値が右端ブロックに正しく特定され、nk ステップ後に格納される。最大値は、より大きな数値が受信された場合にのみ更新される。
• n や k に依存しない有限状態のセルと固定ルールを用いることで、スケーラビリティと実装可能性が保証される。
• 長年のCAベースのソーティングのギャップを解消し、2進数のリアルタイムソーティングにおいて理論的下界に一致する最初の既知のアルゴリズムを提供する。
• 最小限の仮定のもとでも頑健である：マークされるのは最上位ビットと最下位ビットのみであり、隣接セルがブロック境界を推定するために用いられる。