福州日志8

    这是这次旅行的终点今天之后便要离开这里了。好了少点怀旧，多点知识吧。

                                                                frist.图论

    这是结构体的一部分。是较复杂的结构体，由图引出了许多的算法。在这里就不再讲述储存和遍历。主讲算法。

    1、最短路:

            1.图中每对顶点（任意两点）之间的最短路径用弗洛伊德算法。代码如下:

                for (int k=1;k<=n;k++)
                      for (int i=1;i<=n;i++)
                          for (int j=1;j<=n;j++)
                            if  (d[i][k]+d[k][j]<d[i][j] )

                     d[i][j]=d[i][k]+d[k][j]

                利用传递闭包的思想，进行运算，即可寻找到。弗洛伊德也十分稳定。n三方而已。

            2.图中一个顶点到其他顶点的最短路径用迪杰斯特拉算法。思想是通过两个集合来处理已求点和未求点。在集合2中找一个到start距离最近的顶点k ，距离=d[k]。把顶点k加到集合1中，同时修改集合2 中的剩余顶点j的d[j]是否经过k后变短。如果变短修改d[j]。一直修改到集合2为空时结束。代码太繁琐，就不给了。

            3.对于负权回路迪杰斯特拉算法是错误的，所以就有了Bellman-ford算法。这一种方法是在迪杰斯特拉算法算法的基础上进行了松弛操作。不予多讲了。

            4.SPFA算法是对于Bellman-ford的改进，but我还没看懂，只能先摆着。

                  Bellman-ford算法中，每次都要检查所有的边。这个看起来比较浪费，对于边(x,y)，如果上一次dis[x]没有改变，则本次的检查显然是多余的。
                 我们每次只要从上次刚被“松驰”过的点x，来看看x能不能松驰其它点即可。
                   SPFA算法中用BFS中的队列来存放刚被“松驰”过的点。由于顶点个数为|V|，队列如果用数组的话显然要用“循环队列”使用空间。

     2.最小生成树:

           1.普里姆算法:

                   1.将G剪切成两个集合A、B，A中只有一个点r
                   2.取最小权的交叉边(x,y)，x∈A, y∈B
                   3.将y加入A

                   4.如果已经加了n-1条边，结束。否则，转 (3)；

                有点简单，主要因为后边的堆优化实在不敢放，

            2.克鲁斯卡尔算法:

                    1.将G所有条边按权从小到大排序；图mst开始为空
                    2.从小到大次序取边(x,y)
                    3.若加入边(x,y)，mst就有环，则放弃此边，转(2)

                    4.将边(x,y)加入mst，如果已经加了n-1条边，结束。否则，转 (2)

                这个和上面一样，不会。还在研究。

       3.拓扑排序：

            对有向无环图（DAG）的点进行先后排序。

            动态规划的阶段很多时候就是按照拓扑排序来枚举的。

            算法实现:

                求ve的顺序应该是按拓扑排序的次序；
                求vl的顺序应该是按拓扑逆序的次序；
                因为拓扑逆序序列即为拓扑有序序列的逆序列，

                因此应该在拓扑排序的过程中，另设一个“栈”记下拓扑有序序列。

                    

                 悄悄说一句这个也不怎么会，图论比较懵。

        图论有些难还要补补。

                                                                                END.