33、通用框架的应用与启示

通用框架的应用与启示

1. 计算目标与自稳定覆盖网络问题

计算的目标是让节点执行操作来更新其状态（包括通过添加和删除与其他节点的边来修改拓扑），直到达到合法配置。合法配置可以用系统中节点状态的谓词来表示。在覆盖网络模型中，链接是节点状态的一部分，这意味着合法配置至少部分由覆盖网络拓扑定义。

自稳定覆盖网络问题是设计一个算法 A，当在连接网络中的每个节点上执行该算法，且节点处于任意状态时，允许算法 A 添加和删除边，最终达到一个合法配置，该配置至少部分由网络的逻辑拓扑定义。这意味着只要网络保持连接，自稳定覆盖网络在任何瞬态故障后都会自动恢复合法配置（包括重新配置网络拓扑）。

2. 复杂度度量

在设计自稳定覆盖网络协议时，有两个重要的度量指标：
- 收敛时间 ：从任意配置开始构建合法拓扑所需的最大同步轮数。
- 空间需求（度扩展） ：使用原始 Avatar 工作中的度扩展度量，即收敛过程中任意节点的最大度与初始或最终配置中最大度的比率。我们关注算法在收敛过程中导致的“额外”度增长。

3. 泛化 Avatar

原始的 Avatar 工作提供了两个方面的内容：从任何一组真实节点到特定目标拓扑的局部可检查嵌入的定义，以及创建特定二叉树拓扑的自稳定算法。

3.1 Avatar 定义

Avatar 网络定义是一个客人网络和主机网络之间的 1 - 扩张嵌入。设 F 是一个图族，对于每个 N ∈ N，F 中恰好有一个图 FN，其节点集为 {0, 1, …, N - 1}，我们称 F 为完全图族