floyd求最小环 模板

题目
题意: 给定n个点m条边的无向图，求最小环，最小环保证至少三个点且环上没有重复节点。
思路: floyd.
容易想到的是，对于某个点k，包含他的最小环可以通过枚举另外两个相邻节点i、j再算上两点之间的最短路f[i][j]。但是！有个问题，导致会寄，你并不知道f[i][j]是否通过k。
于是乎，可以用floyd动态更新。因为floyd其实是动态规划，对于第k层循环，在更新前，任意两点之间的最短路要求只用编号[1,k)的节点。那么我以k为上述描述的枚举的点，f[i][j]之间的最短路此时是没有更新过k点的，所以不可能经过k点，就满足了环的定义。这个k比i、j要大，图中所有环的最大编号也无非是[1,n]，floyd过程中可以把所有1-n为最大编号的最小环求出。自然可以求出图中的最小环。
时间复杂度: O(n^3)
代码:

#include<bits/stdc++.h>
using namespace std;
#define fir(i,a,b) for(int i=a;i<=b;++i)
const int N = 1e3+10;
const int INF = 0x3f3f3f3f;
typedef long long ll;
int n,m,k,T;
int f[N][N];
int a[N][N];
int ans = INF;
void floyd()
{
	fir(k,1,n)
	{
		for(int i=1;i<k;++i)
		{
			for(int j=i+1;j<k;++j)
			{
				// if(k==3) cout<<f[i][j]<<" "<<a[k][i]<<" "<<a[k][j]<<endl;
				if(f[i][j]==INF||a[k][i]==INF||a[k][j]==INF) continue;
				ans = min(ans,f[i][j]+a[k][i]+a[k][j]);
			}
		}
		fir(i,1,n)
		fir(j,1,n)
		f[i][j] = min(f[i][j],f[i][k]+f[k][j]);
	}
}
void solve()
{
	while(cin>>n>>m)
	{
		ans = INF;
		fir(i,1,n)
		fir(j,1,n)
		if(i!=j) f[i][j] = a[i][j] = INF;
		while(m--)
		{
			int x,y,z; cin>>x>>y>>z;
			a[x][y] = a[y][x] = min(a[x][y],z);
			f[x][y] = f[y][x] = a[x][y];
		}
		floyd();
		if(ans == INF) cout<<"It's impossible.";
		else cout<<ans;
		cout<<"\n";
	}
}
signed main(void)
{
	solve();
	return 0;
}

求经过固定某个点st的最小环我觉得在更新的时候加上判断，这三个点包含st才能更新。不过那个题wa了一个点，等研究明白再补上。