색 그래프로 보는 2차원 셀룰러 오토마타 선형 규칙 모델링

초록

본 논문은 2차원 9-이웃 셀룰러 오토마타(CA)의 512가지 선형 규칙을 색(그래프) 형태로 표현한다. 규칙 행렬을 인접 행렬로 해석해 그래프 이론적 특성을 도출함으로써 기존의 행렬·부울식 분석보다 직관적이고 효율적인 분석 틀을 제공한다.

상세 분석

논문은 먼저 2차원 CA의 기본 개념을 정리하고, 9개의 이웃(자기 포함) 각각에 1,2,4,8,16,32,64,128,256이라는 가중치를 부여해 512개의 선형 규칙을 번호화한다. 선형 규칙은 XOR(⊕) 연산만으로 구현 가능하므로 각 규칙은 9비트 부울 함수이며, 이를 0‑1 행렬(규칙 행렬)로 표현한다. 규칙 행렬의 차원은 (mn)×(mn)이며, 여기서 m·n은 입력 이미지(문제 행렬)의 셀 수이다. 기존 연구에서는 이러한 대규모 희소 행렬을 직접 다루기가 어려워 패턴 분석에 한계가 있었다.

저자들은 규칙 행렬을 그래프의 인접 행렬로 보는 새로운 시각을 제시한다. 행렬의 행·열은 각각 입력 이미지의 셀을 정점(v₁,…,v_{mn})에 대응하고, 행렬 원소 1은 해당 정점이 다른 정점(이웃)과 연결된다는 의미이다. 따라서 각 선형 규칙은 하나의 유향 그래프(자기 루프 포함)로 나타낼 수 있다. 기본 규칙 1,2,4,8,16에 대해 정리된 정리(Theorem 3.1~3.5)는 그래프 구조를 명확히 규정한다. 예를 들어 규칙 1은 모든 정점에 자기 루프가 있는 완전 자기 루프 그래프이며, 규칙 2는 행렬이 행 단위로 인접성을 갖는 m개의 체인(각 체인 길이 n)으로 표현된다. 규칙 4,8,16은 각각 대각선, 수직, 수평 이동을 나타내는 특수한 연결 패턴을 가진다. 규칙 32,64,128,256은 해당 행렬의 전치에 해당하므로 그래프는 방향이 반대인 동일 구조를 가진다.

핵심 기여는 “Join 연산”을 정의해 여러 기본 그래프를 XOR 방식으로 결합함으로써 任意의 선형 규칙 그래프를 구성할 수 있다는 점이다. 연산 규칙은 1+1=0(모듈러 2)으로, 두 정점 사이에 두 개의 간선이 존재하면 소멸한다. 이를 통해 5개의 기본 그래프만으로 512개의 모든 선형 규칙 그래프를 체계적으로 생성한다. 논문은 2×2, 2×3, 3×4 등 다양한 크기의 문제 행렬에 대해 구체적인 행렬·그래프 예시를 제시하고, 각 그래프가 “Directed, looped” 혹은 “Directed, simple” 등으로 분류됨을 보여준다.

그래프 이론적 관점의 장점은 시각화가 용이하고, 정점·간선의 수, 연결성, 강도, 컴포넌트 구조 등 기존 행렬 분석에서 어려웠던 정량적 특성을 바로 읽을 수 있다는 점이다. 또한, 그래프 기반 알고리즘(예: BFS, DFS, 최소 신장 트리, 매칭 등)을 활용해 CA 규칙의 동역학을 분석하거나, 이미지 변환·패턴 인식·셀프‑테스트와 같은 응용 분야에 바로 적용할 수 있다.

마지막으로 저자는 모든 512개의 선형 규칙이 그래프 형태로 표현될 때, 기존에 제시된 “기본 변환”(회전, 반사, 이동 등)과 동일한 그래프 구조를 공유한다는 가설을 제시하고, 이를 기반으로 향후 CA 기반 암호, VLSI 설계, 무작위 패턴 생성 등에 그래프 이론을 활용한 새로운 연구 방향을 제시한다.