HDU 1599 floyd 最小环

最小环证明：

一个环中的最大结点为k(编号最大)，与他相连的两个点为i,j，这个环的最短长度为g[i][k]+g[k][j]+i到j的路径中,所有结点编号都小于k的最短路径长度
根据floyd的原理，在最外层循环做了k-1次之后，dist[i][j]则代表了i到j的路径中，所有结点编号都小于k的最短路径
综上所述，该算法一定能找到图中最小环

#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <limits.h>
#include <malloc.h>
#include <ctype.h>
#include <math.h>
#include <string>
#include<iostream>
#include <algorithm>
using namespace std;
typedef long long LL;
#include <queue>
#include <vector>
#define IN freopen("in.txt","r",stdin);
#define OUT freopen("out.txt","w",stdout);
const int MAXN = 111;//点数的最大值
const int MAXM = 2222;//边数的最大值
const int INF = 9999999;
int mat[MAXN][MAXN],g[MAXN][MAXN];
int main()
{
    int n,m;
   // IN;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        for(int i=0; i<=n; i++)
            for(int j=0; j<=n; j++)
                mat[i][j]=g[i][j]=INF;
        for(int i=0;i<=n;i++)
            mat[i][i]=g[i][i]=0;
        for(int i=0; i<m; i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            if(mat[a][b]>c)
                mat[a][b]=mat[b][a]=g[a][b]=g[b][a]=c;
        }
        int ans=INF;
        for(int k=1; k<=n; k++)
        {
            for(int i=1; i<k; i++)
                for(int j=i+1; j<k; j++)
                    ans=min(ans,g[i][k]+g[k][j]+mat[i][j]);
            for(int i=1; i<=n; i++)
                for(int j=1; j<=n; j++)
                        mat[i][j]=min(mat[i][j],mat[i][k]+mat[k][j]);
        }
        if(ans==INF)
            printf("It's impossible.\n");
        else printf("%d\n",ans);
    }
    return 0;
}