山东大学算法设计与分析期末考试2019—2020回忆版

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

强连通分支的证明

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

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

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

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

最大流有关的问题，证明路径条数和最大流容量的关系
（此题还有一个证明我给忘了，总的来说这题证明过程似乎不是很难，但是没讲过，也没有类似的题目，得自己考试时想，又作为最后一题，考试时间较为紧迫，我好像没写很多步骤也证出来了？记不清了，打扰了）

//这次不像往年考得比较简单，往年大多是上课讲的原题，很多人背背即可。今年大多需要同学们进行变通后再运用，题量不小，所以大部分考完还挺崩溃，不过老师提了不少分应该hhh。
//因此算法复习还是尽量理解为主啦，之后有空我会上传自己期末手写重点算法题和重点证明题
//预祝各位学弟学妹算法95+