理论证明 定理一：假设G是一个网络其中有k个链路发生故障，剩余的部分网络G保持连通。TI-MFA成功路由 到目的地。 证明：定理一的证明将通过嵌套的与故障次数有关的归纳讨论进行。 现在假设packet已经遇到了x-I次故障，并且在其路径上遇到了第x次故障。进行以下两种情况的讨 论： 1.x=k:G(有故障链路)和（无故障链路）中的最短路径路由再次相同。 2.x>k:除非接下来遇到某个链路第x+1次故障（前x次故障不会再被遇到），否则目的地是可达的。 然后，再次调用归纳构造：前提是已经遇到的故障不会再被遇到，即最终要么遇到了所有的故障， 要么就成功到达目的地。但是，一旦遇到所有的故障，这意味着通过路径P目的地是可达的。理论证明 定理一：假设 是一个网络其中有k个链路发生故障，剩余的部分网络 保持连通。TI-MFA成功路由 到目的地。 证明：定理一的证明将通过嵌套的与故障次数有关的归纳讨论进行。 现在假设packet已经遇到了 次故障，并且在其路径上遇到了第 次故障。进行以下两种情况的讨 论： 1. (有故障链路)和(无故障链路)中的最短路径路由再次相同。 2. 除非接下来遇到某个链路第 次故障(前 次故障不会再被遇到)，否则目的地是可达的。 然后，再次调用归纳构造：前提是已经遇到的故障不会再被遇到，即最终要么遇到了所有的故障， 要么就成功到达目的地。但是，一旦遇到所有的故障，这意味着通过路径P目的地是可达的。 G ' G x 1 x x k  : ' G x k  : x 1 x