用于规避地理转发中局部最小值的邻居无关与有限状态算法

我们提出了分布式链路反转算法来规避地理路由中的通信空洞。我们还解决了这些算法中伴随的整数溢出问题。这些目标分两步实现。首先，我们推导了不需要一跳邻居信息的部分和全链路反转算法，并将面向目的地的有向无环图转换为面向目的地的有向无环图。我们将这些算法嵌入到Gafni和Bertsekas（“在拓扑频繁变化的网络中生成无环路由的分布式算法”，1981）的框架中，以建立其终止性质。我们还分析了我们的邻居无关链路反转算法表现出的某些关键性质，例如，对于任意两个邻居，它们的t状态总是连续的整数，并且对于任意节点，其t状态大小以log(N)为上界。在第二步中，我们通过解析推导出邻居无关链路反转算法的单比特全链路反转和双比特部分链路反转版本，解决了整数溢出问题。