论文标题
探索数百万个6态的FSSP解决方案：局部CA模拟的正式概念
Exploring Millions of 6-State FSSP Solutions: the Formal Notion of Local CA Simulation
论文作者
论文摘要
在本文中，我们回到局部模拟的概念，允许将蜂窝自动机转换为具有不同局部信息的密切相关的概念。该概念用于探索射击小队同步问题的解决方案，这些解决方案在时间（n个细胞的2n-2）和当前知识（6个状态）中都至少（2n -2）。自1987年以来，Mazoyer提出了一种这样的解决方案，但2018年Clergue，Verel和Formenti在2018年使用了一组机器生成了718种新解决方案。我们在这里表明，从现有解决方案开始，可以使用一台常见的个人计算机使用本地模拟生成数百万个这样的解决方案。
In this paper, we come back on the notion of local simulation allowing to transform a cellular automaton into a closely related one with different local encoding of information. This notion is used to explore solutions of the Firing Squad Synchronization Problem that are minimal both in time (2n -- 2 for n cells) and, up to current knowledge, also in states (6 states). While only one such solution was proposed by Mazoyer since 1987, 718 new solutions have been generated by Clergue, Verel and Formenti in 2018 with a cluster of machines. We show here that, starting from existing solutions, it is possible to generate millions of such solutions using local simulations using a single common personal computer.
