图论7 弗洛伊德&并查集算法详解 深度解析图论

上次我们先简单学习了单源最短路问题，也就是说起点是固定的。

尤其是spfa和dijkstra，必须熟记模板！！

我之前发过一篇解析，关于并查集。

复习以后，我们进入正题……

这个弗洛伊德，是1978年图灵奖获得者。

没事，他先不看。你们学计算机再详细看他。

先来思想：

其实它是基于动态规划的，代码特别像多维dp。老玩家明白。

假设我们写下一组数据：dp[k][i][j]，表示在经过的店不超过k个时，从i到j的最短路线。

算法也很简单，假设你现在站在一个十字路口，位置是i，你要去名字叫j的饭馆，路口处有一个叫k的超市。这样你有两种选择：经过k去买点东西，再从k走到j，和不经过k直接走。我们假设这个路口所有走法都行得通且不越界，那么我们要算的就很简单了：

假设你知道经过k去j的距离，也知道直接到j的距离，那你就可以选短一点的那条了。这个算法，上班族们每天都在用，他们却不知情……当你看地图时，你已经默默地在心中运行了Floyd。

但是！Floyd使用的场景是多源最短路，也就是你不知道该从哪里开始，只好把从所有点开始的最短路都算出来。感觉费手了是不是。

其实程序实现就四行代码，其中3个循环，所以别看他在你脑中运行的特别快，实际上时间复杂度为O(n³）。这一点是所有基于多维dp的算法的通病。

上模板代码吧，我讲累了。

void floyd()
{
	for(int k=1;k<=n;k++)
		for(int i=1;i<=n;i++)
			for(int j=1;j<=n;j++)
				dp[i][j]=min(dp[i][j],dp[i][k]+dp[k][j]);
}
int main()
{
	cin>>n>>m>>k;
	//初始化：自己到自己的点是0，其余没有走到的inf。 
	for(int i=1;i<=n;i++)
		for(int j=1;j<=n;j++)
			if(i==j) dp[i][j]=0;
			else dp[i][j]=inf;
	int x,y,z;
	while(m--)
	{
		cin>>x>>y>>z;
		dp[x][y]=min(dp[x][y],z);
	}
	floyd();

我就给一段，剩下的自己写，有问题关注我，我给你调试。

并查集

首先我们来看一个例子：

A和B是朋友，B和C是朋友，C和D是朋友，A和D是不是朋友？

你应该马上就会回答：是，因为朋友的朋友是朋友，所以是朋友。

还有一个例子：x和y是亲戚，y和z是亲戚，那么x和z也是亲戚。如果x,y是亲戚，那么x的亲戚都是y的亲戚&#x