MM's Computation

Solve the soldiers/General problem in 2n - 2.

Minimum number of untimestamped syn/acks for common knowledge of attack time is 4.
Wait, which problem are you on about?

You have soldiers, identical machines, and a general. They are placed in an array, like so: SSS...SG
The first and last soldier are allowed to be non-identical to the others, (in that they receive constant signals from one side). The propblem is to synchronize them so that at some time t they all reach the same loop state (which in step t-1 is not reached by any of them).
This can be solved usually in n^2, 8n or 3n time. Try it for yourself.
It's possible to solve for 2n-2 time and 6 states, proved that with 4 states this is not possible, and an open problem is the 5 state one.

Still lacking information...

that is relevant to my interests
OP, please, provide more formal wording
with this one i cannot grasp the essence of a problem
what constraints do soldiers state machines have?
what the hell is general doing there?

MFW u dont know the firing squad problem

>>5
the general sends a signal and then does nothing, which amounts to the signals ABBB... where A is the first signal and the B's are the rest. this is cellular automata... since >>6 knows he might want to share his solutions

>>6
Perhaps you would prefer a website whose interface included the ability to post a picture of YFW

:::::::::::::::::::::::::::::: ::: :: :　,.-─- ､　　　 　 ___　
:::::::::::::::::::::::: ::: :: : :　｜r'￣￣ヽ,___／,.-､ヽ.
:::::::::::::::: ::: :: : : ,,. -‐'ヽヾ.￣￣Yi/／ヽ/ ,/
:::::::: ::: :: : :　／　　　　 _ｒ｀＞ｰ-y-､.,_/／｀ヽ.
:::: ::: : : : :／　　ヽ.,_r‐ｧ'ﾆ=-─-'､.,__」￣」ﾆ7-､
::: :: : :　/ 　　ｒ'"アｧ'"　　　　　,　,　 '"´`i 　｀Yヽ
:: :　　_!7r'￣ア´ /　 　 ﾊ. / _/ /i　　　　!　　|_/　　　　　　/|
: 　　 i 　 ン´　ノ 　 　/i,ｧ-=;ﾆ」､!　ﾊ　 ,'　　 !〉　　　　　　|/
　　く ｀Y´　／ ,'　　 / ｲ┘l i　｀ ﾚ' /|_/　i　,'」　　　　「＞r'､___
　　 ヽ._!　/ 　 !　　,ﾊ　ゝｰ-'　　　 ,rj/　,ﾊ/ ___,,,.... --─ｧへン
　　　　,'　!／､ﾍ　 i i ', "　 　 　 　､ﾘ'i,.ｲ ( :::::::::::::::::::::::::/
　　　 /　　　 　ヽ/ |　i.　　 　 ､. _　 'ｿ !ﾍﾉ :::＜Ｏ＞／
　 .／　　　　,' 　 / .|　ﾄ､,　　　　　／i　| ::::::::::;;::- '"
　,'　　　　　/ 　/_!__!　|､, `''ｧr-rｲ ノ| ｲ ::::／
　i　 　　| ./, '"´:::::::!ﾍ,.ｲ＞ｧｰ-r'7､,|r'ﾝく7　　
,ハ　　　!ｲ::::::::::::::::::::r'ンiヽ､／ﾑ_」ヽｰﾚ'､　　
　〈　　 ./::::::::::::::::::::::ﾍ/!/ﾄ､,_〈_ハ〉:::ヽ;::::::':,
　 ﾉ` 　i:::::::､:::::::i:::::::;:ｲ/::i::::::::::::::`'::::::::::::Y::::〉､
'Y 　 ヽﾊ;::::::__ｧ-'‐ヽ､ｲ::::::::::::::::::::::;:::::::::::;ﾊ:::rり

　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ／ ￣￣ ＼
　　　　　　　　　 __,,,,....,,,＿ 　　 _　　　　　　　　　　　 　 　 /　 い　別
　　　　,.ﾍ.__''"´　　､　　 　.ﾄ｀＞）｀ヽ　　　　　　　　　　　　|　　い　に
　　　く 　 ＼|-─＜￣￣八　ｰ' 　 ﾉ､ /＼　　 　　 　 　 　! 　 の
　　　 |＼__./＞-─''"´￣￣｀' ｰ＜　,ﾊ ／]　　 　＿＿＿_|　　よ
　　__ﾉ-‐へ/　/　 /|__　.!　 ,　 　　 ＼|‐ｧ'　　.／　　　　　 ＼＿＿＿_／
　. |＿＿／|　,' 　/´| __/|　/!　|__ | 　 ヽ|　　/　.だ.　そ　ち
　　 `!　　　|　|　/‐ｒ‐‐ｒ└'　!､」__ !｀|　 |' 　 |.　 け 　こ　 ょ
　　　|　　　|　.!/|､弋_,ﾘ　　 　|_lj　|/　 ,'　　 |.　 だ.　ま　 っ
　　　|　　　|　 ⊂⊃　　　　 '　　⊂!__/　　＜ 　 か　で　 と
　　　|　　　|　 　 |　 　　∠ ] 　　,ﾊ ||　　 　 | 　 ら　寄
　　　|　　　|　 　 ト ､., 　＿_,,.. イ　! !!.　　　 |　　　 　っ
　　　|　　　| 　　 |ヽ-､＼_|｀ヽ、|　　||　　　　',　　 　 た
　　　| 　　∧　　 !7＼__/ﾑ 　 /| 　 ,'|　　　　 ＼＿＿＿＿／
　　　| 　　|/ ヽ..ﾚﾍ.＿_く_八）」`!　/ .!
　　　',　| .,' [＞l]く]ﾊ　　}| ll |{ [＞l]く]
　　　 ヽ| .!　　＼」 | 　　{|　 |}　 | ﾊヽ!
　　　 　 `|, 　　　　|、　 }| ll |{　 |__」　ヽ､__
　　＿＿/　　　　　|＿__{|　 |}　 　 ! 　/　__｀ヽ.
　　|:::::::/　　　　　 .!::::!lll|| ll |{　 　 |　,'　/ｒ‐-､ ',
　　|:::::,'　　　 　 　 |::::|lll|.!　 |}　 　 !. !　| {二　| |
　　|:::::i　　　　　 　.|::::|lll||. ll |{　　 ﾊ |　| ヽこノ/

　　　　　　　　　　　 　　　　 　／!
　　　　　　　　　　 　 　 　　 /　　!
　　　　　　　　　　 　 　　.／　　 /!　　　　,.-─-､
　　　　　　　　　　 　　／　 　／ /　　　./　　　　 ＼
　　　　　　　　　　 　 ,'　　 ､/　./　　 ／　, '´￣｀ヽ､!
　　　　　　　　　　 　 ! 　 ／ ／　　 /　／ , '´￣｀ヽ!
　　　　 　 　　 ,.　'"´|　 / ／｀"'' ＜_ / ／
　　　 　 　 , '´　　　 !・/,/　　　　　　｀ヾ､
　　　　　 /　　./　　 ｀´　　 ,'　 　 !　 　　 ｀フ　　ダメよてゐ！　その瓶はニトログｒ
　　　　 .,'　　 ,'　,'　 /!-‐‐!､!　　 ;'　 !　 !　｀ヽ.　
　　　　 i 　　 !　!　/,＞‐-､/!　 /!‐/､!　;　 　/　　　　　　　, -,
　　　　 !　　 .!　V 7　;'´｀i 　レ' ｧ'-､|　/!/／　　　　　　　/　,'／）
　 　　 ,'　 　,'ﾚ'ヽ! '､ '､_り　　 　 i´i !ﾚ' ./´　　　　　　 　/　/　/-‐､
　　,／　　 /　 '!　! ,.,.,　　　　　'　`’ !／!　 　　　　　 _,/ ､._　　-＜
"´　, '　　,　　　!　'､　 　 /´￣｀i　　''!　,' 　 _,,.. - ''"´/!､ 　 ｀ｿノ-‐'
　／　　 /　 　 ',　　ヽ､　` 　　 '　,. ｲ /''"´'"´::::::::::::;'　!:｀ン￣l|
,.'　　 　/ 　　 !ﾉ　 　ﾉ,:｀i 　-rｧ'";!　!//:::::::::::::::::::::::::i　 |:::::::::::::!|
　　　 ,'　　＜´ _,. イ:::::/ |／　 ;':/　,'::::::::::::::::::::::::::::::ヽ､ヽｰ--'ｿ
　　　　　 / ｧ'´:::::/::::::;' ム.　 /:::i／:::;'::::､::;;____:::::::::::::::_＞-‐'’
　／ _,.＞'"::::::::::;'::::::〈ﾚ'　iヽ/:::／:::::::i:::::／　　 ￣￣
r'7"´::::::::::::::::::::::i::::::::::!'､　|/／::::::::::::::::;'
　!::::::::::::::::::::::::::;:!::::::::::! ,ﾚ'>':::::::::::::::::::/

　　　　　　　.　　.　....　　. .. ::: :;　 i
　　　.　.　..　　...　　 .　.. :: ::; '　　 !
　　　　　　.　　　.　... :: :::;　 　　 /!　. ..　... ::─-､
　　　　　　　　　.　. :: ::; '　 　／ / .　.: :: '　　　　 ＼
　　　. .. 　.　..　:　:: ::;　　 ､./　./ . .. ::' 　 , '´￣｀ヽ､!
　　　　 　.　.　.. :: ::: ; 　 ／ ／ .　.: :;　 ／ , '´￣｀. ::!
　　　　. .:: ::: : :.　'"´|　 / ／｀"'' ＜_ / ／
.　..　. .. : :: : '´　　　.!・/,/　　　　　　｀ヾ､
　　　　..: ::　. .. :;'　　 ｀´　.. :;'.　.: :;　 　　 ｀フ
　.　:: ::　;' .　:: ;' ,'　 /!-‐‐!､!　　 ;'　 ! .. :　｀ヽ.　
　 　.. :: :'.　.. :;　!　/,＞‐-､/!　 /!‐/､!　;　; 　/　　　　.. .. . . -,
　　. .. :: :..　: :;　V 7　;'´｀i　: ::/:':ｧ'-､| :/!/／　.　.:　:　:: :: '　,'／）
　 　. .: :　 　,'ﾚ'ヽ! '､ '､_り　　 　 i´i !ﾚ'::/´ 　.　:　: : :: :: ;'　/　/-‐､
　. ..: :::　　 /　 ..:::! ,.,.,　　　　　'　`’::!／!　 .　:　:　: : :: ,' ､._　　-＜
"´.: : '　　,　　..::! .::､　 　 /´￣｀i　 .::!　.' 　 _,,.. - ''"´/!､ 　 ｀ｿノ-‐'
..:　:'　.. :: '..　.. ::,　　ヽ､　` 　　 '　,::ｲ /''"´'"´:::::::::　;'　!:｀ン￣l|
::' .　. : ;' 　　 !ﾉ　.: :::ﾉ,:｀i 　-rｧ'";!　!//:::::::::::::::::: ::　;. . :::::::::::::::!|
. .　.: ::'　　＜´ _,. イ:::::/ |／　 ;':/　,'::::::::::::::::::::::: ::　ヽ､ヽｰ--'ｿ
　　　　　 / ｧ'´::: /::::::;' ム.　 /:::i／:::;'::::､::;;____:::::::: ::　_＞-‐'’
:::／ _,.＞'"::::::　;'::::::〈ﾚ'　iヽ/:::／:::::::i::　／. .. : : :: :￣
:::7"´:::::::::::: :::　i:::::::::: !'､　|/／::::::::: ::　'
　!::::::::::::::::::::::　;:::::::::::! ,ﾚ'>'::::::::::::::::　/
（　　　　　　　　　　　　　｀ヽ
　）　　：　　戦　　せ　　 　ﾉ　　　　　　 　　 , '´￣￣￣￣｀ヽ
（　　　：　　争　　　　　　（　　:.　　　　　　　| 　 こ 　 え
ﾉ　　　：　　だ　　　　　　 ﾉ　 ::　　　　 ／ ./　　と
| 　 　 ：　　わ　　　　　 （　 ::::::　　　 /　, ,'　　　：　　え
.＼　　　　　　　　　　　　 ） :::: 　　　 |　/ | 　 　 ：　　ら
　　＞ｰ───-､　 　 ｒ'　 ::　　　　/ .,'　'､　 　 ：　　い
　 /_,,..-─-､:::＼　＼　|　　:　　　 ,'　 |::::::/＼
　　　　　　　 ＼:::＼. ∨ -───|　 ,'::::/　　 `' ｰ┐　　＿ノ
　　　　　　　 　 ,＞､|o| 　 　 　 　 !o/／　 ｀'　、　（ 　 _ﾉ
:::::.......　　 , '／　　　　　　 　 /｀ 　　　　　　　 　ヽ　）ノ　　 ...:::::
　　　::::...,' /　　　／　 　 　 ,'　 　 |　　 　、　ヽ.　 '´　　...::::
　　　　 ;' ,'　 　.,.'　 　 / 　 ,!　　　,ﾊ　 　 ﾊ　 　',　　', ;
::::: :::.....　 |　　 / 　 /|メ､_,./!　　 /∠._　/ | 　 　|　　| {
　　　　;l /　　,' 　 /'´￣｀ :::|　 ,.'::::'´￣｀ヽ|　 / .|　　|　..:::::.....::::::.....
　　 　 ; ,' 　 /!　./!　 ;'´,ﾊ ::!／u::　;'´,ﾊ　 !／　 !　　| {
　　　 .l |　 / .| /.人 弋__ﾉ ::::::::::::: 弋__ﾉ ノ　/　,'　　 ! l|　　　 .......::::
　:::...　} !／　 !/.!:|w　　 　　,　 　　　　xw|／　/　　　|　}　...:::::
　　　　::::...　} |:::|::| u　 　 　　　 　 　 u　 | 　 ,'　　　 .|　
　:::::.....　 　 { ,'　!人　　　　rｧ─-､　　 　,ﾊ　 | 　 i　　| l|
　　　　::::....../ 　| 　|＞ 、　`ｰ‐‐┘ 　／.!　　|　　|　　| l 　:::::.......
　　　　 　; /　　|　 | ､ヽ ヽ.,＿__,.　イ､ 　|　　,! 　 |　　|　　 　　　::::...
　　　 　 ;'.,' 　 /|　 |　　 　 r! 　 　／　ヽ'　　ﾊ　　|　　| {
::::::::....　 l .!　.,'　|　 |-─／/|　 ／　 　/　／＼ 　 !　　| }　:::::...
　　 　 　 .|　 ／|　/　 /　 ／[]＼　　/／　　　´￣｀ヽ | ;　　　 :::::....