数据结构与算法（十四）图的最小生成树&最短路径

生成树：所有顶点均由边连接在一起，但不存在回路的图

        一个图可以有多棵不同的生成树

        特点：        具有和图相同的顶点个数

                           生成树是图的极小连通子图，去掉一条边则非连通，多一条则形成回路

                           有n个顶点的连通图生成树有n-1条边

                           任意两个顶点间的路径是唯一的

无向图的生成树

        使用遍历算法记录经过的路径即可获得生成树

最小生成树：给定一个无向网络，各边权值和最小的生成树

        算法（MST性质）

                MST：设N=(V,E)是一个连通网，U是顶点集V的一个非空子集。若边(u,v)是一条具有最小权值得变，其中u∈U，v∈V-U，则必存在一颗包含边（u,v）的最小生成树。

                         生成树构造过程中会将顶点集合分为两个集合

                                U：已落在生成树上的顶点集

                                V-U：未落在生成树上的顶点集

                        在U和V-U两个集合中选取权值最小的边

        普里姆算法(Prim)

                思想：        设N=(V,E)是连通网，TE是N上的最小生成树边的集合

                                        ①初始：U={u0}//初始顶点（任选）        (u0∈V),TE={ }。

                                        ②在所有u∈U，v∈V-U的边中，找一条权值最小的边

                                        ③将这条边并入集合TE，同时将v0并入U

                                        ④重复②-③直到U=V

        克鲁斯卡尔算法(Kruskal)<贪心算法>

                思想：        将连通图中所有顶点加入最小生成树T=(V,{ })（不包含边）

                                        在边集E中选取权值最小的边加入T（其依附的顶点落在T中不同的连通分量上<即不能形成闭环>，否则舍弃），直到T中所有顶点都位于一个连通分量上（没有独立的顶点）

	普里姆	克鲁斯卡尔
思路	选择点	选择边
时间复杂度	O(n^2)	O(e loge )  <e为边数>
适用范围	稠密图	稀疏图

最短路径

        在有向网中A点（源点）到B点（终点）路径中权值之和最小的路径

        最短路径和最小生成树的区别：最短路径不一定包含n个顶点和n-1条边

        两类最短路径问题

                单源最短路径--迪杰斯特拉算法

                所有顶点间的最短路径-弗洛伊德算法

        迪杰斯特拉算法

                ①初始化：先找到从源点V0到各重点Vk的直达路径(V0,Vk)

                ②选择：从这些路径中找出一条长度最短的路径(V0,u)

                ③更新：然后对其余路径进行适当调整

                        若图中存在弧(u,Vk),且(V0,u)+(u,Vk) < (V0,Vk)则以路径(V0,u,Vk)替代(V0,Vk)

                        在调整后的各路径中，再寻找最短路径，以此类推

                初始时令S={V0}        T={其余顶点}        T中对应的权值以辅助数组D存放，无法到达的顶点记作∞

 

 

 

 

                 Vj为加入顺序，每加入一个顶点就需要将之前的路径与之对比

        弗洛伊德算法

                思想        逐个顶点试探

                                从Vi到Vj的所有可能路径中选出一条最短的路径

                 初始化：设一个n阶方阵，令其对角线为0，若存在权值则赋值给对应的元素，无路径则赋值为∞

                逐步将原直接路径增加中间顶点，若加入中间顶点后路径变短，则修改。否则保持原状

        步骤示例