异步无声可编程物质：线条形成
摘要：可编程物质（PM）近年来得到广泛研究。它指的是一种能够以可编程方式改变其物理性质（如形状或颜色）的物质。其中一种参考模型当然是Amoebot，具有其最新的标准版（DISC 2021）。沿此线，为了简化和更好地处理并发性，引入了SILBOT模型（AAMAS 2020），它大大减少了组成PM的粒子的可用能力。实际上，在SILBOT中，粒子是异步的，没有任何直接的通信方式（静默），也没有对过去事件的记忆（遗忘）。在SILBOT中，我们考虑线形成原始，其中要求粒子最终处于一种全部对齐和连接的配置中。我们提出了一种简单而优雅的分布式算法 - 在移动次数方面是最优的，并附带其正确性证明。
作者：Alfredo Navarra, Francesco Piselli
论文ID：2307.16731
分类：Distributed, Parallel, and Cluster Computing
分类简称：cs.DC
提交时间：2023-08-01