中介群体协议中的即时观察
Immediate Observation in Mediated Population Protocols
摘要：
在本文中，我们分析了计算能力的变种人口协议（PP），一种形式主义的分布式系统与匿名代理具有非常有限的能力。通过在交互图的边中记录状态，在介导种群协议（MPP）中增强了代理的能力。将交互限制在即时观察（IO）的通信模型中会降低所得到的形式主义的计算能力。我们表明，这种增强和限制，结合起来，产生一个模型（IOMPP）至少一样强大的基本PP。证明需要一个新的概念的MPP模型中的配置，允许分化的代理和使用类似的方法分析编码标准，即操作对应的技术。证明的构造部分是通用的，所有协议都可以转换为新模型，而不会丢失它们除了稳定输出之外可能具有的理想属性。此外，我们说明了如何利用这种方法来证明我们的猜想IOMPP模型，甚至作为MPP模型的表达。如果我们的猜想成立，这将导致计算能力的尖锐表征，并揭示在介导的人口协议的背景下双向通信的不必要性。
英文摘要：
In this paper we analyze the computational power of variants of population protocols (PP), a formalism for distributed systems with anonymous agents having very limited capabilities. The capabilities of agents are enhanced in mediated population protocols (MPP) by recording the states in the edges of the interaction graph. Restricting the interactions to the communication model of immediate observation (IO) reduces the computational power of the resulting formalism. We show that this enhancement and restriction, when combined, yield a model (IOMPP) at least as powerful as the basic PP. The proof requires a novel notion of configurations in the MPP model allowing differentiation of agents and uses techniques similar to methods of analyzing encoding criteria, namely operational correspondence. The constructional part of the proof is generic in a way that all protocols can be translated into the new model without losing the desirable properties they might have besides a stable output. Furthermore, we illustrate how this approach could be utilized to prove our conjecture of IOMPP model being even as expressive as the MPP model. If our conjecture holds, this would result in a sharp characterization of the computational power and reveal the nonnecessity of two-way communication in the context of mediated population protocols.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
