Xidian Univ 定理1中(1)阐明了与最短（≤h)Wak的关系。(2） 阐明了算法何时结束，结束时所得的结果是否是 最短路径。 证明：我们采用归纳法证明（1)。 ①因为D=d1,所以显然有D}等于最短（≤1) 的Walk长度； ②假定D是等于最短（≤h)的Walk长度，求 证D+l是等于最短（≤h+l)的Walk长度。 Broadband Wireless Communications Laboratory,Xidian University 12Broadband Wireless Communications Laboratory, Xidian University 12 BWC Xidian Univ. ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈ ~ ≈~ ≈ ~ ≈  定理1中⑴阐明了与最短（ ）Walk的关系。⑵ 阐明了算法何时结束，结束时所得的结果是否是 最短路径。 证明：我们采用归纳法证明（1）。  ① 因为 ，所以显然有 等于最短（ ） 的Walk长度；  ② 假定 是等于最短（ ）的Walk长度，求 证 是等于最短（ ）的Walk长度。 ≤ h 1 1 i i D = d 1 Di ≤ 1 h Di ≤ h ≤ h +1 h+1 Di