[论文解读] Analysis of Amnesiac Flooding

Volker Turau|arXiv (Cornell University)|Feb 25, 2020

Prenatal Substance Exposure Effects参考文献 18被引用 5

一句话总结

本文分析了分布式系统中的遗忘洪泛（amnesiac flooding），这是一种无状态广播协议，其中节点仅在当前轮次未从邻居接收到消息时才转发消息。论文证明了$(k,c)$-洪泛问题（即判断$k$个发起节点是否能在$c$轮内传播信息）是NP-完全的，并提出了一种新颖的二分图辅助图构造方法，简化了终止性分析，从而为二分图与非二分图均得出了更紧致的轮次复杂度界。

ABSTRACT

The broadcast operation in distributed systems is used to spread information located at some nodes to all other nodes. This operation is often realized by flooding, where the source nodes send a message containing the information to all neighbors. Each node receiving the message for the first time forwards it to all other neighbors. A stateless variant of flooding for synchronous systems is called amnesiac flooding. In this case, every time a node receives a message, it forwards it to those neighbors, from which it did not receive the message in the current round. The algorithm is oblivious and therefore scales very well. Stateless protocols are advantageous in high volume applications, increasing performance by removing the load caused by retention of session information and by providing crash tolerance. In this paper we analyze the termination time of amnesiac flooding. We define the (k,c)-flooding problem, which aims at finding a set $S$ of size $k$, such that amnesiac flooding when started concurrently by all nodes of $S$ terminates in a minimal number of rounds. We prove that this problem is NP-complete. We provide sharp upper and lower bounds for the time complexity of amnesiac flooding and reveal a discrepancy between bipartite and non-bipartite graphs. All results are based on the insight, that for every non-bipartite graph there exists a bipartite graph such that the execution of amnesiac flooding on both graphs is strongly correlated. This construction considerably simplifies existing proofs for amnesiac flooding and allows to analyze the (k,c)-flooding problem.

研究动机与目标

• 解决多源遗忘洪泛的开放问题，即多个节点同时发起消息传播。
• 分析当由$k$个节点发起时，遗忘洪泛在非二分图中的终止时间。
• 在非二分图上的遗忘洪泛与对应的二分图辅助图之间建立正式联系，以简化分析。
• 定义并证明$(k,c)$-洪泛问题的NP-完全性，将其与$k$-中心问题联系起来。
• 为二分图与非二分图的遗忘洪泛问题，推导出轮次复杂度的精确上下界。

提出的方法

• 为任意发起节点集合$S$提出一种新颖的二分图辅助图${\cal G}(S)$构造方法，使得在$G$和${\cal G}(S)$上进行的遗忘洪泛具有相同的执行过程与终止行为。
• 利用该辅助图，将多源遗忘洪泛的分析简化为单源洪泛的更简单情形，从而实现更紧致的复杂度界。
• 证明对于非二分图，当由单个节点发起时，遗忘洪泛的终止时间介于$\epsilon_G(v_0)+1$与$\epsilon_G(v_0)+\text{Diam}(G)+1$轮之间。
• 通过将$k$源问题与$k$-中心问题关联，并构造从全支配集问题到$(k,c)$-洪泛问题的归约，将NP-完全性证明扩展至$k$个发起节点。
• 使用图论工具如偏心率$\epsilon_G(v)$、半径$\text{Rad}(G)$和距离$d_G(v,u)$来刻画终止时间。
• 证明非二分图上的遗忘洪泛终止时间可通过分析其对应的二分图辅助图来确定，该图捕捉了消息传播的核心动力学。

实验结果

研究问题

• RQ1 当在分布式系统中由$k$个节点发起时，遗忘洪泛的终止时间是多少？
• RQ2 底层图的结构——特别是其是否为二分图——如何影响遗忘洪泛的终止时间？
• RQ3 $(k,c)$-洪泛问题（即判断$k$个发起节点是否能在$c$轮内传播信息）在计算上是否可解？
• RQ4 能否将非二分图上的遗忘洪泛执行过程归约为等价的二分图问题以简化分析？
• RQ5 $(k,c)$-洪泛问题与$k$-中心或全支配集等经典图论问题之间存在何种关系？

主要发现

• 证明了$(k,c)$-洪泛问题是NP-完全的，确立了其在一般图上的计算困难性。
• 对于任意非二分图$G$和$k$个发起节点的集合$S$，存在一个二分图辅助图${\cal G}(S)$，使得在$G$和${\cal G}(S)$上进行的遗忘洪泛具有完全相同的终止时间与执行模式。
• 当由单个节点发起时，非二分图上遗忘洪泛的终止时间介于$\epsilon_G(v_0)+1$与$\epsilon_G(v_0)+\text{Diam}(G)+1$轮之间。
• 对于二分图，当由单个节点发起时，遗忘洪泛的终止时间恰好为$\epsilon_G(v_0)$轮，与经典的基于标记的洪泛算法一致。
• 本文提出一个猜想：下界$k \cdot \text{Flood}_k(G) \geq \text{Rad}(G) + k - 1$是紧致的，该猜想由一个包含96个节点的图构造所支持，该图实现了等号成立。
• 辅助图构造方法简化了现有遗忘洪泛的证明，并允许推导出比以往更紧致的轮次复杂度界。