通信不可靠的人口协议
Population protocols with unreliable communication
摘要：
人口协议是一种分布式计算模型，用于研究具有动态通信结构的独立计算代理网络。每个代理有一个有限数量的状态，和通信机会发生非确定性，允许代理参与改变他们的状态的基础上彼此的状态。在本文中，我们研究不可靠模型的基础上人口协议及其变化的角度来看，表达能力。我们对消息丢失的影响进行建模。我们表明，对于不可靠的协议与常数存储代理的一般定义，这样的协议只能计算谓词可计算的即时观察人口协议（有时也称为单向协议）。即时观测种群协议具有对不可靠通信的内在容忍性，并在广泛的公平性条件下保持其表达能力。我们还证明了一个大类的基于消息的模型，通常比即时观察更有表现力，成为严格的表达比即时观察不可靠的情况下。
英文摘要：
Population protocols are a model of distributed computation intended for the study of networks of independent computing agents with dynamic communication structure. Each agent has a finite number of states, and communication opportunities occur nondeterministically, allowing the agents involved to change their states based on each other's states. In the present paper we study unreliable models based on population protocols and their variations from the point of view of expressive power. We model the effects of message loss. We show that for a general definition of unreliable protocols with constant-storage agents such protocols can only compute predicates computable by immediate observation population protocols (sometimes also called one-way protocols). Immediate observation population protocols are inherently tolerant of unreliable communication and keep their expressive power under a wide range of fairness conditions. We also prove that a large class of message-based models that are generally more expressive than immediate observation becomes strictly less expressive than immediate observation in the unreliable case.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
