;6.1.1 图的表示 6.1.2 Kruskal算法 6.1.3 Prim 算法 6.1.4 Object Representation 应用例;6.1.1 图的表示;6.1.1 图的表示;6.1.1 图的表示;问题的定义 优化解结构分析 Greedy选择性 Kruskal算法 算法复杂性 算法正确性证明;问题的定义;例;算法过程;定理1. 设T是G的最小生成树. 如果T包含子树T1和T2,