On Formulations of Firing Squad Synchronization Problems

Abstract. We propose a novel formulation of the firing squad synchronization problem. In this formulation we may use more than one general state and the general state to be used is determined by the boundary condition of the general. We show that the usual formulation and the new formulation yield different minimum firing times for some variations of the problem. Our results suggest that the new formulation is more suited for the general theory of the firing squad synchronization problem.

• Type: Conference
• Year: 2005
• Where: UC
• Authors: Kojiro Kobayashi, Darin Goldstein
• Keywords: General State, Squad Synchronization Problem, UC 2005, Usual Formulation