论弱成对交互的威力：种群协议的容错模拟
On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols
摘要：
在本文中，我们调查的计算能力的人口协议（PP）在一些不可靠的和/或较弱的相互作用模型。更确切地说，我们关注与交互能力相关的两个特征：遗漏失败和单向通信。遗漏失败，本文首次在PP的上下文中引入的概念，是在交互中传输的信息的一方或双方的损失。任何一方都可能检测到故障，也可能检测不到。另一方面，在单向模型中，通信只发生在一个方向上：两个代理中只有一个可以根据两个代理的状态改变其状态，另一个代理可能知道也可能不知道交互。这些概念可以结合起来，获得具有（可能可检测的）遗漏失败的单向协议。一个普遍的问题是什么额外的权力是必要的和足够的，以完全克服单向协议的弱点，使他们能够模拟双向协议，有和没有遗漏故障。作为一个基本功能，模拟器需要实现两个代理之间的状态原子通信;由于代理的匿名性，他们缺乏系统知识以及他们可能拥有的内存量有限，这项任务更加复杂。我们通过介绍和分析几个模拟器，即，包装器协议将标准双向模型的任何协议转换为在较弱模型上运行的协议。
英文摘要：
In this paper we investigate the computational power of Population Protocols (PP) under some unreliable and/or weaker interaction models. More precisely, we focus on two features related to the power of interactions: omission failures and one-way communications. An omission failure, a notion that this paper introduces for the first time in the context of PP, is the loss by one or both parties of the information transmitted in an interaction. The failure may or may not be detected by either party. On the other hand, in one-way models, communication happens only in one direction: only one of the two agents can change its state depending on both agents' states, and the other agent may or may not be aware of the interaction. These notions can be combined, obtaining one-way protocols with (possibly detectable) omission failures. A general question is what additional power is necessary and sufficient to completely overcome the weakness of one-way protocols and enable them to simulate two-way protocols, with and without omission failures. As a basic feature, a simulator needs to implement an atomic communication of states between two agents; this task is further complicated by the anonymity of the agents, their lack of knowledge of the system, and the limited amount of memory that they may have. We provide the first answers to these questions by presenting and analyzing several simulators, i.e., wrapper protocols converting any protocol for the standard two-way model into one running on a weaker one.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
