9、健忘式洪泛：同步无状态信息传播

健忘式洪泛：同步无状态信息传播

在当今的网络通信领域，信息的高效传播是一个至关重要的问题。本文将深入探讨一种名为健忘式洪泛（Amnesiac Flooding）的同步无状态信息传播算法，分析其原理、特点以及性能表现。

1. 相关概念与背景

在开始介绍健忘式洪泛算法之前，我们需要了解一些相关的基本概念。
- 非孤立 k - 中心（Non - isolated k - center） ：对于一个图 $G=(V, E)$，若子集 $U \subseteq V$ 满足 $|U| = k$，且 $G[U]$ 中没有孤立节点，同时 $r_{ni}^k(G) = d_G(U)$，则称 $U$ 为非孤立 $k$ - 中心。
- 全控制集（Total dominating set） ：对于连通图 $G$，全控制集 $D$ 是 $G$ 的节点集合，使得 $G$ 中的每个节点都与 $D$ 中的某个节点相邻。全控制数 $\gamma_t(G)$ 是 $G$ 的全控制集的最小基数。需要注意的是，半径为 1 的非孤立 $k$ - 中心就是一个全控制集，即 $\gamma_t(G) \leq k$ 当且仅当 $r_{ni}^k(G) = 1$。

我们考虑的是同步分布式系统，算法以固定长度的轮次执行，在某一轮中所有节点发送的消息都会在下一轮被接收和处理。一个信息传播算法是正确的，当且仅当所有节点都接收到信息且算法全局终止。分布式算法全局终止意味着每个节点都已局部终止，并且节点之间没有正在传输的消息。

2. 现有技术

近年来，无状态编程的不同方面受到了广泛关注，例如 MapR