一.
(1)强连通分量正确性证明。
(2)DAG中最长路径的算法设计,写出bellman方程和伪代码,并分析时间复杂度。
二.
(1)白色路径定理的证明。
(2)假设最短路径含有K条边,证明迭代K次可以产生最短路径。
三.
T是图G中的一棵最小生成树,现将G中一条边的权重改为w’ ,设计算法实现对最小生成树T的更新。简述思想,写出伪代码,分析正确性。
四.
给了一个图,计算出最大流和最小割,要给出详细过程。
五.
每条边赋予一个宽度,一条路径的宽度为这条路径上边的最小宽度。借鉴Dijkstra算法思想,计算出从源点S到其他每个顶点的路径的最大宽度。
简述基本思想,写出伪代码,证明正确性,分析最坏时间复杂度。