记忆性泛洪：易被破坏，难以逃脱

广播是分布式计算中的核心问题。最近，Hussak 和 Trehan [PODC'19/DC'23] 提出了一种无状态广播协议（记忆性泛洪），该协议惊人地被证明在渐近最优时间内终止（时间与网络直径成线性关系）。然而，仍不清楚：（i）是否存在其他具有记忆性泛洪理想属性的无状态终止广播算法，（ii）记忆性泛洪相对于\emph{故障}的鲁棒性如何？本文在这两个方面都取得了进展。我们在除无故障同步模型外，再加上一个合理限制（对消息内容不敏感）后，证明记忆性泛洪是唯一能够实现终止广播的\emph{严格}无状态确定性协议。我们通过识别终止广播协议满足的四个自然属性，证明记忆性泛洪独特地满足这些属性。相反，我们证明即使放宽\textit{这四个标准}的任何一个，都允许构建其他终止广播协议。另一方面，我们证明即使仅允许单个节点在单个回合中丢弃单个消息，记忆性泛洪也可能导致非终止或非广播。为了证明这一点，我们聚焦于网络中节点之间所有\textit{配置}的传输集合，获得了\textit{二分法}，描述了从哪些配置开始记忆性泛洪终止。此外，我们描述了能够在任意网络上迫使该协议非终止或非广播的拜占庭代理人集合的结构。