8、覆盖网络中稳定节点离开问题的研究

覆盖网络中稳定节点离开问题的研究

1. 有限离开问题（FDP）的基本性质

在解决网络中节点离开的问题时，需要考虑有限离开问题（FDP）的一些基本性质。首先，FDP 需要一个对标识符敏感的预言机。如果只考虑严格对标识符敏感的预言机，那么ONESID预言机是必要的。

下面的命题直观地表明，一旦系统中的两个进程断开连接，可能就无法再次重新连接。
- 命题 2 ：如果一个复制 - 存储 - 发送算法的计算从进程图 PG 中两个进程 u 和 v 断开连接的状态开始，那么在该计算的每个状态中，u 和 v 在 PG 中都保持断开连接。

基于此，有如下定理：
- 定理 1 ：任何针对 FDP 的自稳定解决方案都必须依赖一个对标识符敏感的预言机。
- 证明 ：假设算法 A 是一个依赖对标识符不敏感的预言机 O 的 FDP 自稳定解决方案。考虑一个至少有三个进程的系统，算法 A 的计算从除了一个进程 v 之外的所有进程都弱连接的状态开始。根据命题 2，v 在计算的其余部分将与系统保持断开连接。在连接的进程中，进程 u 要离开。由于 A 是 FDP 的解决方案，计算最终会到达状态 s1，在该状态下，u 在某个启用的动作 A 中调用退出。我们构造另一个状态 s2，在 u 的输入通道中有一个携带 v 的标识符的消息，此时系统的所有进程都弱连接。由于 O 对标识符不敏感，u 的状态和 O 对 u 的输出在 s1 和 s2 中相同，所以动作 A 在 s2 中也启用，u 可能调用退出，这会使 v 与系统的其余部分断开连接，与最初假设 A 是 FDP 的自稳定解决方案矛盾