An intrinsically non minimal-time Minsky-like 6-states solution to the Firing Squad synchronization problem
LIAFA, Université Paris 7 Denis Diderot, 175 rue du chevaleret, 75013 Paris, France; Jean-Baptiste.Yunes@liafa.jussieu.fr
Here is presented a 6-states non minimal-time solution which is intrinsically Minsky-like and solves the three following problems: unrestricted version on a line, with one initiator at each end of a line and the problem on a ring. We also give a complete proof of correctness of our solution, which was never done in a publication for Minsky's solutions.
Mathematics Subject Classification: 65Y05 / 68Q25 / 68Q80 / 68W10
Key words: Firing squad / synchronization
© EDP Sciences, 2007