하이브리드 규칙 60·102 셀룰러 오토마타를 이용한 4상태 사격대 동기화 해법

초록

본 논문은 4개의 상태만을 사용하는 셀룰러 오토마타(CA)에서, 규칙 60과 규칙 102를 결합한 하이브리드 방식을 제시한다. 길이가 2ⁿ인 1차원 라인에 두 명의 장군을 두고, (n‑1) 단계 내에 모든 병사를 동시에 ‘발사’ 상태로 만들 수 있는 시간 최적화 해법을 제공한다. 기존 4상태 FSSP 해법이 무한 라인에만 적용되던 점을 보완하여, 제한된 길이(2ⁿ)에서도 최적 동기화를 달성한다.

상세 분석

이 연구는 Firing Squad Synchronization Problem(FSSP)의 전통적 제약을 완화하고, 4상태 셀룰러 오토마타(CA)에서 시간 최적화를 달성한다는 점에서 의미가 크다. 기존 4상태 해법은 주로 선형 CA, 즉 규칙 60이나 규칙 102와 같은 단일 규칙에 의존했으며, 무한히 긴 라인에 대해서만 동기화를 보장했다. 그러나 실제 컴퓨팅 환경에서는 제한된 길이의 라인, 특히 2ⁿ 형태의 이진 구조가 자주 등장한다. 논문은 이러한 구조에 특화된 하이브리드 규칙을 설계함으로써, 두 장군이 양쪽 끝에 배치된 경우에도 (n‑1) 단계라는 이론적 최소 시간 안에 모든 셀을 동기화할 수 있음을 증명한다. 핵심 아이디어는 규칙 60이 왼쪽에서 오른쪽으로 정보를 전파하는 특성과, 규칙 102가 오른쪽에서 왼쪽으로 정보를 전파하는 특성을 동시에 활용하는 것이다. 두 규칙을 결합한 전이표는 각 셀의 현재 상태와 이웃 셀의 상태를 기반으로 새로운 상태를 결정하는데, 이때 4개의 상태(일반, 전파, 대기, 발사)만을 사용한다. 전파 단계에서는 각각의 장군이 자신의 규칙에 따라 파동을 발생시키고, 파동이 중앙에서 만나면 대기 상태로 전환된 뒤, 최종적으로 발사 상태로 전이된다. 이 과정에서 불필요한 중복 전파를 방지하기 위해 파동의 충돌 지점을 정확히 계산하고, 충돌 시점에만 대기→발사 전이가 일어나도록 설계하였다. 또한, 전이표는 비대칭적인 입력(두 장군이 서로 다른 규칙을 사용)에도 일관된 동작을 보장하도록 구성되어 있다. 논문은 수학적 귀납법을 통해 (n‑1) 단계 내에 모든 셀이 발사 상태에 도달함을 증명하고, 시뮬레이션 결과를 통해 실험적 타당성을 확인한다. 이와 같은 설계는 상태 수를 최소화하면서도 시간 복잡도를 최적화하는 ‘상태-시간 트레이드오프’를 성공적으로 구현한 사례라 할 수 있다.