异步沉默可编程物质：线形成
分布式、并行与集群计算
2023-08-01 v1
摘要
可编程物质（PM）近年来被广泛研究。它指某种能够以可编程方式改变其物理属性（如形状或颜色）的物质。一个参考模型无疑是 Amoebot，及其近期规范版本（DISC 2021）。沿此脉络，为简化并更好处理并发性，SILBOT 模型被提出（AAMAS 2020），其大幅削减了组成 PM 的粒子可用能力。在 SILBOT 中，粒子是异步的，无任何直接通信手段（沉默）且无过往事件记忆（遗忘）。在 SILBOT 内，我们考虑线形成原语，要求粒子最终处于全部对齐且连通的配置。我们提出了一种简单而优雅的分布式算法——在移动次数上最优，并给出其正确性证明。
引用
@article{arxiv.2307.16731,
title = {Asynchronous Silent Programmable Matter: Line Formation},
author = {Alfredo Navarra and Francesco Piselli},
journal= {arXiv preprint arXiv:2307.16731},
year = {2023}
}
备注
The paper appears in the Proceedings of the 25th International Symposium 19 on Stabilization, Safety, and Security of Distributed Systems (SSS), 2023. A brief announcement appears in the proceedings of the 37th International Symposium on Distributed Computing (DISC) 2023