最小环证明:
一个环中的最大结点为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;
}