山东大学 软件学院 17级软工 算法设计与分析

1：证明f’是一个流（容量约束 流守恒约束）。（课本证明和上课讲的证明方法不同，两者都可，但个人倾向于课本证明，理解以后证明思路很清晰）

2：强连通分支的证明

3：设计最小生成树算法（通过安全边），算法正确性证明，时间复杂度分析

4：DAG中最长路径的算法设计，bellman方程，时间复杂度分析

5：迭代次数与所求点到源点s边数相等证明

6：类似于最短路径的算法设计，给予每条边一个宽度，计算出每条路径的最小宽度，设计算法并证明正确性，时间复杂度分析。

7：最大流有关的问题，证明路径条数和最大流容量的关系