Smaller solutions for the firing squad

Amber Settle, Janos Simon
<span title="">2002</span> <i title="Elsevier BV"> <a target="_blank" rel="noopener" href="" style="color: black;">Theoretical Computer Science</a> </i> &nbsp;
In this paper we improve the bounds on the complexity of solutions to the¯ring squad problem, also known as the¯ring synchronization problem. In the¯ring synchronization problem we consider a one-dimensional array of n identical¯nite automata. Initially all automata are in the same state except for one automaton designated as the initiator for the synchronization. Our results hold for the original problem, where the initiator may be located at either endpoint, and for the variant where any one
more &raquo; ... f the automata may be the initiator, called the generalized problem. In both cases, the goal is to de¯ne the set of states and transition rules for the automata so that all machines enter a special re state simultaneously and for the¯rst time during the¯nal round of the computation. In our work we improve the construction for the best known minimal-time solution to the generalized problem by reducing the number of states needed and give non-minimaltime solutions to the original and generalized problem that use fewer states than the corresponding minimal-time solutions.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="">doi:10.1016/s0304-3975(01)00191-8</a> <a target="_blank" rel="external noopener" href="">fatcat:ar7l6iempfeg3ir5ixhfus5tfm</a> </span>
<a target="_blank" rel="noopener" href="" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href=""> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> </button> </a>