西塞隆、塞拉菲诺;迪斯蒂法诺，加布里埃尔;阿尔弗雷多·纳瓦拉 无定向的异步嵌入模式形成。 （英语） Zbl 1393.68183号 Gavoille，Cyril（编辑）等人，《分布式计算》。2016年9月27日至29日，第30届国际研讨会，DISC 2016，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-53425-0/pbk；978-3-562-53426-7/电子书）。《计算机科学讲义》9888，85-98（2016）。 摘要：我们考虑嵌入式模式的形成(电子功率因数)中引入的问题[N.富士那加等，SIAM J.计算。44，第3期，740-785（2015年；Zbl 1325.68230号)]. 给定欧氏平面（此处称为定点)以及一组机器人（R\），例如（R|=|F|\），该问题需要一个分布式算法来移动机器人，以便占据（F\）中的所有点。最初，每个机器人都占据不同的位置。机器人在标准的Look Compute Move循环中运行。在一个循环中，机器人根据自己的坐标系感知机器人位置和定点（Look）的当前配置，决定是否移动（Compute），在正情况下移动（move）。为每个机器人异步执行循环。机器人是不经意的、匿名的，并且执行相同的算法。在上述论文中，通过假设手性来研究这个问题，即机器人共享一个共同的左右方向。得到的解被用作解决模式形成问题的子过程，没有不动点，但仍然具有手性。在这里，我们研究另一个分支，即我们有兴趣解决电子功率因数没有手性。当电子功率因数问题是可以解决的，我们设计了一个确定性分布式算法来解决所有配置的问题，但那些被确定为无法解决的配置除外。我们的方法还通过使用逻辑谓词来正式描述我们的算法及其正确性。关于整个系列，请参见[Zbl 1345.68008号]. 引用于5文件 MSC公司： 68宽15 分布式算法 68单位05 计算机图形；计算几何（数字和算法方面） 68T40型 机器人人工智能 引文：Zbl 1325.68230号 PDF格式BibTeX公司 XML格式引用 \textit{S.Cicerone}等人，Lect。注释计算。科学。9888、85-98（2016；Zbl 1393.68183） 全文： 内政部