일차원 셀룰러 오토마타 상에서 진화 알고리즘을 이용한 상태전이함수 찾기 = Finding State Transition Functions of One-Dimensional Cellular Automata by Evolutionary Algorithms

다국어 초록 (Multilingual Abstract)

Majority problem and synchronization problem on cellular automata(CA) are hard to solve, since they are global problems while CA operate on local information. This paper proposes a way to find state transition rules of these problems. The rules of CA are represented as CMR(conditionally matching rules) and evolutionary algorithms are applied to find rules. We find many solution rules to these problems, compared the results with the previous studies, and demonstrated the effectiveness of CMR on one-dimensional cellular automata.

국문 초록 (Abstract)

일차원 셀룰러 오토마타(CA)에서 과반수 문제(majority problem)와 동기화 문제(synchronization problem)는 국소 정보(local information)를 이용하여 전역 문제(global problem)를 풀어야 하는 계산적으로 어려운 문제이다. 본 논문에서는 일차원 CA에서 과반수 문제와 동기화 문제를 푸는 CA의 규칙을 찾는 방법을 제안한다. CA의 상태전이 함수(state transition function)를 일반적으로 사용하는 규칙표(rule table)가 아닌 조건부 매칭 규칙(CMR)으로 나타내고 진화 알고리즘을 적용하였다. 각 문제에서 다수의 규칙들을 찾아내어 제안한 방법을 효과적으로 사용할 수 있음을 보였다. 또한 이전 연구 결과와 비교하여 과반수 문제와 동기화 문제에서 CMR을 사용하는 방식의 효용성을 보였으며, 다른 일차원 CA 문제에도 CMR을 활용할 수 있는 가능성을 보였다.

참고문헌 (Reference)

1 J. Von Neumann, "Theory of Self-Reproducing Automata" Univ. Illinois Press 1966

2 C. G. Langton, "Studying artificial life with cellular automata" 22 (22): 120-149, 1986

3 P. Gacs, "One-dimensional uniform arrays that wash out finite islands" 14 (14): 92-96, 1978

4 M. Bidlo, "On routine evolution of complex cellular automata" 20 (20): 742-754, 2016

5 M. Bidlo, "Evolving multiplication as emergent behavior in cellular automata using conditionally matching rules" 2732-2739, 2014

6 R. Das, "Evolving globally synchronized cellular automata" 336-343, 1995

7 M. Bidlo, "Evolution of cellular automata with conditionally matching rules" 1178-1185, 2013

8 T. Ostoma, "Cellular automata theory and physics"

9 M. Mitchell, "An Introduction to Genetic Algorithms" MIT press 1998

10 S. Wolfram, "A new kind of science: A 15-year view" 26 (26): 197-224, 2017