[논문 리뷰] Analysis and synthesis of nonlinear reversible cellular automata in linear time

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

Cellular Automata and Applications참고 문헌 18인용 수 4

한 줄 요약

이 논문은 영역 경계 조건 하에서 3-neighborhood 규칙을 갖는 비선형 가역 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-neighborhood CA 규칙을 6개의 가역 클래스로 분류하고, 이들 간의 상호 관계를 정의하여 확장 가능한 합성에 기여한다.

제안 방법

• 각 CA 규칙에 대해 상태 전이 분석 및 가역성 판단을 위해 도달 가능성 트리(RMT)를 구축한다.
• 경계 세포(첫 번째 및 마지막 세포)를 분석하고 가역성에 필요한 조건을 유도하기 위해 유효한 RMT 개념을 도입한다.
• 도달 가능성 트리에서의 행동에 따라 규칙을 6개의 클래스로 분류하고, 이들 간의 상호 관계를 표 VIII에 정형화한다.
• 첫 번째 및 마지막 세포의 도달 가능성 트리에서 균형 잡힌 전이를 검증함으로써 주어진 n세포 CA가 가역인지 확인하는 O(n) 식별 알고리즘을 제안한다.
• 6개의 클래스에서 규칙를 순차적으로 선택하고 표 VIII의 클래스 전이 규칙을 활용하여 가역 CA를 구축하는 O(n) 합성 알고리즘을 개발한다.
• 정리 3에서 증명한 바와 같이, 첫 번째 및 마지막 규칙이 각각 4개의 유효한 RMT에 대해 균형을 이루도록 강제함으로써 가역성이 보장된다.

실험 결과

연구 질문

• RQ1 VLSI 응용에서 선형/가산적 CA의 한계를 극복하기 위해 비선형 가역 세포자기연산기의 체계적인 특성화를 개발할 수 있는가?
• RQ2 전체 CA 시스템의 가역성을 보장하기 위해 CA 규칙이 만족해야 할 구조적 및 전이 성질은 무엇인가?
• RQ3 영역 경계 조건 하에서 1D, 3-neighborhood, 이진 상태 CA에 대해 식별 및 합성 작업을 선형 시간(O(n)) 내에 수행할 수 있는가?
• RQ4 256개의 가능한 CA 규칙를 의미 있는 방식으로 분류하여 가역 CA의 효율적이고 확장 가능한 합성을 가능하게 할 수 있는가?
• RQ5 가역 CA 구성에서 어떤 CA 규칙의 클래스와 그 이웃 세포 규칙의 클래스 간의 관계는 무엇인가?

주요 결과

• 도달 가능성 트리 프레임워크는 1D, 3-neighborhood, 이진 상태 CA 규칙의 행동을 성공적으로 특성화하여 가역성 탐지가 가능하게 하였다.
• 첫 번째 및 마지막 세포의 도달 가능성 트리 분석을 통해 주어진 n세포 CA가 가역인지 판단하는 O(n) 시간 알고리즘을 제안하였다.
• 표 VIII의 전이 규칙에 기반하여 6개의 사전 정의된 클래스에서 규칙를 순차적으로 선택함으로써 가역 CA를 구축하는 O(n) 시간 합성 알고리즘을 개발하였다.
• 가역 CA의 첫 번째 및 마지막 규칙는 각각 4개의 유효한 RMT에 대해 균형을 이루어야 하며, 이는 정리 3에서 모순을 통해 증명된 필수 조건이다.
• 256개의 가능한 CA 규칙 중에서 6개의 클래스가 가역 CA를 형성할 수 있음을 규명하였으며, 첫 번째 및 마지막 세포 위치에는 각각 6개의 규칙, 내부 세포에는 12개의 규칙가 포함된다.
• 규칙를 6개의 클래스로 분류하고 이들 간의 상호 관계(표 VIII를 통해)를 정의함으로써 가역 CA 설계가 크게 단순화되었으며, 효율적이고 확장 가능한 합성에 기여하였다.