b'\n_START_ARTICLE_\nProblem plutonu egzekucyjnego\n_START_PARAGRAPH_\nProblem synchronizacji plutonu egzekucyjnego \xe2\x80\x93 zagadnienie z zakresu informatyki, polegaj\xc4\x85ce na pr\xc3\xb3bie konstrukcji takiego automatu kom\xc3\xb3rkowego, kt\xc3\xb3ry zaczynaj\xc4\x85c od pojedynczej nieaktywnej kom\xc3\xb3rki, osi\xc4\x85gnie stan, w kt\xc3\xb3rym wszystkie kom\xc3\xb3rki osi\xc4\x85gn\xc4\x85 jednocze\xc5\x9bnie stan aktywno\xc5\x9bci. Problem zosta\xc5\x82 sformu\xc5\x82owany przez Johna Myhilla w 1957, a pierwsze jego rozwi\xc4\x85zanie opublikowa\xc5\x82 w 1962 r. Edward Moore.\n_START_SECTION_\nProblem\n_START_PARAGRAPH_\nDow\xc3\xb3dca plutonu \xc5\xbco\xc5\x82nierzy ustawionych w szereg chce wyda\xc4\x87 rozkaz, kt\xc3\xb3ry ma by\xc4\x87 wykonany przez ca\xc5\x82y oddzia\xc5\x82 w tym samym momencie. Liczebno\xc5\x9b\xc4\x87 plutonu powoduje, \xc5\xbce nie wszyscy \xc5\xbco\xc5\x82nierze mog\xc4\x85 us\xc5\x82ysze\xc4\x87 polecenie bezpo\xc5\x9brednio od dow\xc3\xb3dcy. W zwi\xc4\x85zku z tym dow\xc3\xb3dca przekazuje rozkaz pierwszemu \xc5\xbco\xc5\x82nierzowi w szeregu. W danej jednostce czasu ka\xc5\xbcdy \xc5\xbco\xc5\x82nierz mo\xc5\xbce skontaktowa\xc4\x87 si\xc4\x99 tylko z jednym ze swoich s\xc4\x85siad\xc3\xb3w. Dow\xc3\xb3dca nie podejmuje \xc5\xbcadnych dodatkowych dzia\xc5\x82a\xc5\x84. Ponadto z powodu nieznanej liczebno\xc5\x9bci oddzia\xc5\x82u nie mo\xc5\xbcna z g\xc3\xb3ry okre\xc5\x9bli\xc4\x87 momentu wystrza\xc5\x82u._NEWLINE_Bardziej formalnie, problem polega na rozprowadzeniu informacji oraz zsynchronizowaniu rozpocz\xc4\x99cia pewnej akcji. Ka\xc5\xbcdy \xc5\xbco\xc5\x82nierz mo\xc5\xbce przechowywa\xc4\x87 sko\xc5\x84czon\xc4\x85 liczb\xc4\x99 informacji. Jego dzia\xc5\x82anie w i+1 jednostce czasu mo\xc5\xbce zale\xc5\xbce\xc4\x87 tylko od akcji wykonanej w i-tej jednostce przez jego samego oraz obydwu s\xc4\x85siad\xc3\xb3w. W danej jednostce czasu ka\xc5\xbcdy \xc5\xbco\xc5\x82nierz mo\xc5\xbce skomunikowa\xc4\x87 si\xc4\x99 tylko z jednym wybranym \xc5\xbco\xc5\x82nierzem._NEWLINE_W kategoriach teorii automat\xc3\xb3w kom\xc3\xb3rkowych, na oddzia\xc5\x82 mo\xc5\xbcna spojrze\xc4\x87 jako sko\xc5\x84czony zbi\xc3\xb3r kom\xc3\xb3rek ustawionych w jednym rz\xc4\x99dzie, kt\xc3\xb3re na pocz\xc4\x85tku znajduj\xc4\x85 si\xc4\x99 w tym samym stanie nieaktywnym. Ka\xc5\xbcda kom\xc3\xb3rka mo\xc5\xbce zmieni\xc4\x87 sw\xc3\xb3j stan kontaktuj\xc4\x85c si\xc4\x99 z dwoma s\xc4\x85siednimi. Rozwi\xc4\x85zanie problemu polega na takim zaprogramowaniu automatu aby wszystkie kom\xc3\xb3rki osi\xc4\x85gn\xc4\x99\xc5\x82y stan aktywno\xc5\x9bci w tym samym momencie, niezale\xc5\xbcnie od ich liczby.\n_START_SECTION_\nFunkcja przej\xc5\x9bcia\n_START_PARAGRAPH_\nKolumna najbardziej po lewej stronie oznacza stan lewego s\xc4\x85siada. Pierwszy wiersz oznacza stan prawego s\xc4\x85siada.'