算法证明1 最短路径性质 考虑简单、加权有向图 ,给定一个非负权值函数,任意两个节点,存在最短路径。那么 (a) 证明:最短路径的子路径就是最短路径 。 (b) 证明:对于任意两个节点 ,总有一条简单的最短路径 。