具有简单几何构型的几类 firing squad 同步问题变体最小时间解的不存在性
形式语言与自动机理论
2023-12-20 v1
摘要
我们证明了 firing squad 同步问题（简称 FSSP）的三个变体最小时间解的不存在性。这些变体的构型是二维网格空间中具有简单几何形状的路径。在第一种变体中，构型为 L 形路径，其水平线长度与垂直线长度之比固定。将军可位于任意位置。在第二和第三种变体中，构型为矩形墙，其两条水平墙长度与两条垂直墙长度之比固定。第二种变体中将军位于左下角，第三种变体中将军可位于任意位置。我们使用了 Yamashita 等人近期针对带副将军的 FSSP 变体类似结果的证明思想。
引用
@article{arxiv.1909.10125,
title = {Nonexistence of minimal-time solutions for some variations of the firing squad synchronization problem having simple geometric configurations},
author = {Kojiro Kobayashi},
journal= {arXiv preprint arXiv:1909.10125},
year = {2023}
}
备注
42 pages, 18 figures, 3 tables