14、大型不确定图与生态友好型路由算法研究

大型不确定图与生态友好型路由算法研究

1. 不确定图中受限路径枚举

在处理大型不确定图时，受限的 s - t 简单路径枚举是一个重要的问题。这里介绍的核心算法是 UncertainEnum，其目的是在满足跳数约束（hop - constrained）的情况下，找出从源节点 s 到目标节点 t 的所有简单路径。

1.1 算法流程

UncertainEnum 算法的具体步骤如下：

Algorithm 3: UncertainEnum(G, q)
1 UDist ←ConstructIndex(G/Gr, q);
2 Prune1(G, q, UDist); P ←∅;
3 Prune2(G, P, (q.s), q);
4 foreach p ∈P do
5     Output p;

这个算法主要包含三个关键步骤：
1. 构建索引 ： ConstructIndex(G/Gr, q) 函数用于计算从源节点 q.s 和目标节点 q.t 到图中每个顶点 v 的概率受限距离，分别存储在 UDistG 和 UDistGr 中。
2. 剪枝操作 1 ： Prune1(G, q, UDist) 会移除那些不可能出现在有效路径中的顶点。具体来说，如果从源节点 q.s 到顶点 v 的概率受限距离加上从顶点 v 到目标节点 q.t 的概率受限距离大于跳数约束 q