图论基础知识选讲,涉及最短路、最小生成树、差分约束和二分图最大匹配