Floyd判最小环算法模板

算法思想：如果存在最小环，会在编号最大的点u更新最短路径前找到这个环，发现的方法是，更新最短路径前，遍历i,j点对，一定会发现某对i到j的最短路径长度dis[i][j]+mp[j][u]+mp[u][i] != INF,这时i,j是图中挨着u的两个点，因为在之前最短路更新过程中，u没有参与更新，所以dis[i][j]所表示的路径中不会出现u，如果成立，则一定是一个环。用Floyd算法来实现。但是对于负环此算法失效，因为有负环时，dis[i][j]已经不能保证i到j的路径上不会经过同一个点多次了。

算法代码：

int Floyd_MinCircle()

{

    int Mincircle = Mod;

    int i,j,k;

    for(k=1;k<=n;k++)

    {

        for(i=1;i<=n;i++)

        {

            for(j=1;j<=n;j++)

            {

                if(dis[i][j] != Mod && mp[j][k] != Mod && mp[k][i] != Mod && dis[i][j] + mp[j][k] + mp[k][i] < Mincircle)

                    Mincircle = dis[i][j] + mp[j][k] + mp[k][i];

            }

        }

        //正常Floyd

        for(i=1;i<=n;i++)

        {

            for(j=1;j<=n;j++)

            {

                if(dis[i][k] != Mod && dis[k][j] != Mod && dis[i][k] + dis[k][j] < dis[i][j])

                {

                    dis[i][j] = dis[i][k] + dis[k][j];

                    pre[i][j] = pre[k][j];

                }

            }

        }

    }

    return Mincircle;

}

View Code