[論文レビュー] Analysis and synthesis of nonlinear reversible cellular automata in linear time

Sukanta Das, Biplab K. Sikdar|arXiv (Cornell University)|Nov 27, 2013

Cellular Automata and Applications参考文献 18被引用数 4

ひとこと要約

本稿では、ヌル境界条件下における3近傍ルールを用いた非線形可逆1次元セルオートマトン（CA）の同定および合成のための線形時間アルゴリズムを提示する。到達可能性木フレームワークを導入し、256個のCAルールを6つの可逆クラスに分類することで、VLSI設計およびテストにおいて重要な可逆CAの効率的特徴付けと構築が可能となり、同定および合成の両タスクにおいてO(n)の時間計算量を達成する。

ABSTRACT

Cellular automata (CA) have been found as an attractive modeling tool for various applications, such as, pattern recognition, image processing, data compression, encryption, and specially for VLSI design & test. For such applications, mostly a special class of CA, called as linear/additive CA, have been utilized. Since linear/additive CA refer a limited number of candidate CA, while searching for solution to a problem, the best result may not be expected. The nonlinear CA can be a better alternative to linear/additive CA for achieving desired solutions in different applications. However, the nonlinear CA are yet to be characterized to fit the design for modeling an application. This work targets characterization of the nonlinear CA to utilize the huge search space of nonlinear CA while developing applications in VLSI domain. An analytical framework is developed to explore the properties of CA rules. The characterization is directed to deal with the reversibility, as the reversible CA are primarily targeted for VLSI applications. The reported characterization enables us to design two algorithms of linear time complexities -- one for identification and nother for synthesis of nonlinear reversible CA. Finally, the CA rules are classified into 6 classes for developing further efficient synthesis algorithm.

研究の動機と目的

• VLSI設計およびテストにおける線形／加法的CAの解空間の制限を克服するため、非線形可逆CAを探索すること。
• 特にヌル境界条件下での非線形可逆CAの体系的特徴付けフレームワークを構築すること。
• ルール分類と到達可能性木解析を活用して、可逆CAの同定および合成を効率的に行えるようにすること。
• 可逆CA設計の計算量を指数的から線形時間（O(n)）に低減すること。
• 256個の3近傍ルールを6つの可逆クラスに分類し、クラス間の関係を明確に定義することで、スケーラブルな合成を可能とすること。

提案手法

• 各CAルールに対して到達可能性木（RMT）を構築し、状態遷移を分析して可逆性を特定する。
• 境界セル（先頭および末尾）の分析に有効なRMTの概念を導入し、可逆性のための必要条件を導出する。
• 到達可能性木における挙動に基づき、6つのクラスにルールを分類し、クラス間の関係を表VIIIで形式化する。
• 最初および最後のセルの到達可能性木におけるバランスの取れた遷移を確認することで、与えられたnセルCAが可逆であるかを検証するO(n)時間の同定アルゴリズムを提案する。
• 表VIIIのクラス遷移ルールに従い、6つのクラスから順次ルールを選択することで、可逆CAを構築するO(n)時間の合成アルゴリズムを設計する。
• コロナリー3で示されたように、最初および最後のルールが4つの有効なRMT上でバランスしていることが、可逆性を保証する。

実験結果

リサーチクエスチョン

• RQ1 VLSIアプリケーションにおける線形／加法的CAの制限を克服するため、非線形可逆セルオートマトンの体系的特徴付けを構築できるか？
• RQ2 CAルールが全体のCAシステムの可逆性を保証するために満たすべき構造的および遷移的性質は何か？
• RQ3 1次元、3近傍、2状態のCAに対して、ヌル境界条件下で可逆CAの同定および合成を線形時間（O(n)）で達成できるか？
• RQ4 256個の可能なCAルールをどのように意味的に分類すれば、可逆CAの効率的かつスケーラブルな合成を可能にするか？
• RQ5 可逆CA構成における、CAルールのクラスとその隣接セルルールのクラスとの関係は何か？

主な発見

• 到達可能性木フレームワークは、1次元、3近傍、2状態のCAルールの挙動を効果的に特徴付け、可逆性の検出を可能にした。
• 最初および最後のセルの到達可能性木を分析することで、与えられたnセルCAが可逆であるかを判定するO(n)時間のアルゴリズムが提案された。
• 表VIIIの遷移ルールに従い、6つの事前に定義されたクラスから順次ルールを選択することで、可逆CAを構築するO(n)時間の合成アルゴリズムが開発された。
• 可逆CAの最初および最後のルールは、4つの有効なRMT上でバランスしている必要があることが示され、コロナリー3で背理法により証明された。
• 256個の可能なCAルールのうち、6つのクラスが可逆CAを形成できることを同定し、最初および最後のセル位置にはそれぞれ6ルール、内部セルには12ルールが該当する。
• 6つのクラスへのルール分類およびそれらのクラス間関係（表VIIIによる）により、可逆CAの設計が著しく簡素化され、効率的かつスケーラブルな合成が可能になった。