dijkstra算法证明

假设$s$为起点
设我们找到的从$s$到$v$的距离为$d\left(v\right)$
设$s$到$v$的实际最短距离为$\delta \left(v\right)$、
设$l\left(Q\right)$为路径$Q$的距离
设找到的点为集合$S$
我们要证明 $\forall x\in S,d\left(x\right)=\delta \left(x\right)$
使用数学归纳法
证明：
当 S = { s } 时 ， d ( s ) = 0 = δ ( s ) S=\left \{ s \right \}时，d\left( s \right )= 0 = \delta \left( s \right ) S={s}时，d(s)=0=δ(s) ,成立
假设迭代了$k$轮之后依然成立
设我们在第$k$轮时算法找到了$u$
令 S ′ = S ⋃ { u } S' = S\bigcup \left \{ u \right \} S′=S⋃{u}
由假设，$\forall x\in S^{{}^{\prime }},x\ne u,d\left(x\right)=\delta \left(x\right)$
现在要证明$d\left(u\right)=\delta \left(u\right)$
使用反证法
假设$s$到$u$真正的最短路径为$Q$
$l\left(Q\right)<d\left(u\right)$
我们知道，$Q$一定不会在这一轮结束（因为结束了这轮就不会选择$u$），
但是$Q$路径上有一部分是在$S^{\prime }$中的
假设$xy$是一条边，$x\in S^{\prime },y\notin S^{\prime },x\ne u$
设$Q_x$为顶点$x$结束时$Q$的子路径，
有$l\left(Q_x\right)+l\left(xy\right)\le l\left(Q\right)$
由于这一轮选的是$u$而不是$x$，说明之前就选过$x$，因为$xy$是一条边，所以$y$一定是被更新过的
$d\left(y\right)\le d\left(x\right)+l\left(xy\right)$ ($s$到$y$的最短路径一定$\le$其他从s到y的路径）
$\therefore d\left(y\right)\le l\left(Q_x\right)+l\left(xy\right)\le l\left(Q\right)$
又$\because y\notin S^{\prime }$
$\therefore d\left(u\right)\le d\left(y\right)$（因为每次选择最小的尚未被访问过的迭代）
又因为假设了$l\left(Q\right)<d\left(u\right)$
则$l\left(Q\right)<d\left(u\right)\le d\left(y\right)\le l\left(Q\right)$
即$l\left(Q\right)<l\left(Q\right)$
矛盾
$\therefore d\left(u\right)=\delta \left(u\right)$