【学习笔记】Johnson 全源最短路

Johnson 全源最短路
复杂度 $nmlog(m)$
一句话思想：新建虚点向所有点连边，设一点到虚点的最短路长度为 $h_i$，则将每条边的长度设为 $len+h_u-h_v$，三角形不等式证明得到值为正，最短路路径相加（势能分析）得到最短路正确。
此思想可用作单源带负边权最短路？