单源最优路径正确性证明

参考博客

单源最短路径的算法思想：
路径树：源结点到其他任意结点的最优路径。
在当前路径树中，可到的第一结点距离最短，则加入路径树，直到所有结点被添加进路径树中。

证明该策略的正确性
令结点集合为 $\mathbf{V}$，已经在最短路径树当中的结点的集合为 $\mathbf{S}$
贪心选择性质：
$s$ 到 $v$ 只经过 $\mathbf{S}$ 中的结点路径最短（或理解为 $\mathbf{S}$ 到周边可到第一结点，且距离最短？），即：
$$v=\underset{v^{\prime }\in \mathbf{V}\setminus \mathbf{S}}{\mathrm{argmin}}dist(s,v^{\prime },S)$$
反证法。假设存在另一条路径经过了 $\mathbf{V}\setminus \mathbf{S}$ 中的结点，再到 $v$，其路径长度为 $dist(s,v,\mathbf{V})<dist(s,v,\mathbf{S})$，令该路径中第一个属于 $\mathbf{V}\setminus \mathbf{S}$ 的结点为 $x$，则 $dist(s,x,\mathbf{S})<dist(s,v,\mathbf{V})$，这与 $v=\underset{v^{\prime }\in \mathbf{V}\setminus \mathbf{S}}{\mathrm{argmin}}dist(s,v^{\prime },S)$ 矛盾。

最优子结构：
令 $v=\underset{v^{\prime }\in \mathbf{V}}{\mathrm{argmin}}dist(s,v^{\prime },\mathbf{S})$ ，即 $v$ 是最后一个放入 $\mathbf{S}$ 的结点，又令 $\mathbf{T}$ 为以 $\mathbf{S}$ 为根结点的最优树，即任意最短路径只经过 $\mathbf{T}$，需证明： T 1 = T ∖ { v } \mathbf T_1 = \mathbf T \setminus \{v\} T1​=T∖{v} 是 V ∖ { v } \mathbf V \setminus \{v\} V∖{v} 的最优树。
反证法。
令 ${\mathbf{T}}_2$ 是 V ∖ { v } \mathbf V \setminus \{v\} V∖{v} 的最优树，则存在一个结点，使得 $dist(s,x,{\mathbf{T}}_2)<dist(s,x,{\mathbf{T}}_1)$, 在 $T_2$ 的基础上增加 $v$ 获得 ${\mathbf{T}}_3$，由于 $v$ 是最远结点，所以，在 ${\mathbf{T}}_3$ 中从 $s$ 到 $x$ 的路径中不可能有 $v$，所以 $dist(s,x,{\mathbf{T}}_3)=dist(s,x,{\mathbf{T}}_2)<dist(s,x,\mathbf{T})$ 与 $\mathbf{T}$ 为最优树矛盾。

---

失败作：

结点 V = { v 1 , v 2 , … , v m } \mathbf V = \{v_1, v_2, \dots, v_m\} V={v1​,v2​,…,vm​}
默认出发结点为 $v_1$， $D(v)$ 为结点 $v_1$ 到结点 $v$ 的最优路径长度。

证明贪心选择性质
有路径 P = { v 1 , … , v i , v j } \mathbf P = \{v_1, \dots ,v_i, v_j\} P={v1​,…,vi​,vj​} 为结点 $v_1$ 到结点 $v_j$ 的最优路径， 那么证明 P = { v 1 , … , v i } \mathbf P = \{v_1, \dots ,v_i\} P={v1​,…,vi​} 为结点 $v_1$ 到结点 $v_i$ 的最优路径。

证明最优子结构
有路径 P = { v 1 , … , v i , v j } \mathbf P = \{v_1, \dots ,v_i, v_j\} P={v1​,…,vi​,vj​} 为结点 $v_1$ 到结点 $v_j$ 的最优路径， 那么证明 P = { v 1 , … , v i } \mathbf P = \{v_1, \dots ,v_i\} P={v1​,…,vi​} 为结点 $v_1$ 到结点 $v_i$ 的最优路径。
$D(v_j)=D(v)$