不透明机器人的计算能力
分布式、并行与集群计算
2024-01-31 v1
摘要
在机器人集群分布式计算领域，研究涵盖了多种模型，其中机器人在欧几里得平面上通过一系列“观察-计算-移动”周期进行操作。所研究的模型在以下方面有所不同：（i）存储恒定大小信息的可能性，（ii）通信恒定大小信息的可能性，以及（iii）同步模式。通过改变特征（i, ii），我们得到了四个著名的基本模型：OBLOT（沉默且遗忘的机器人）、FSTA（沉默且有限状态的机器人）、FCOM（遗忘且有限通信的机器人）和LUMI（有限状态且有限通信的机器人）。将每个基本模型与三种主要的同步模式（完全同步、半同步和异步）相结合，我们得到了众所周知的12种模型。广泛的研究已经探讨了它们的计算能力，证明了不同模型之间的层次关系。然而，此前只考虑了透明机器人。在这项工作中，我们研究了考虑碰撞不容忍的不透明机器人的这12种模型的分类。我们提出了六个见证问题，证明了这12种模型之间的大部分计算关系。特别是，最后一个见证问题描绘了在视线受阻和异步情况下出现的一个特殊问题。
引用
@article{arxiv.2401.16893,
title = {Computational Power of Opaque Robots},
author = {Caterina Feletti and Lucia Mambretti and Carlo Mereghetti and Beatrice Palano},
journal= {arXiv preprint arXiv:2401.16893},
year = {2024}
}