HDU 2833 WuKong floyd+dp

题意：给两对起点和终点，求所有最短路径两条最短路交点最多为多少？

想法：如果map[s][e]=map[s][i]+map[i][j]+map[j][e]，表示路径i，j为路径s，e的子路径，下面证明有公共点，那么公共点必定为连续的点。反证法：如a-b-c-d-e-f为一条最短路径，和g-b-q-l-d-e-p，表示有b，d，e为公共点，但是b到d有两条路径，如果两条路径的长度不相等，显然违反之前b-e为最短路的规则。那么只有可能两条路径相等这是只要选择经过的点最多的即可。

用数组dp[i][j]:从点i到点j的最短路径最多经过多少个点。

那么最后的结果就可以通过枚举所有的点对，找出最多的公共点。

#include<stdio.h>
#include<string.h>
#define inf 100000000
int n,m,map[305][305],dp[305][305];
int s1,e1,s2,e2;
int Min(int a,int b)
{
	if(a<b) return a;
	return b;
}
int Max(int a,int b)
{
	if(a>b) return a;
	return b;
}
void floyd()
{
	for(int k=1;k<=n;k++)
	{
		for(int i=1;i<=n;i++)
		{
			for(int j=1;j<=n;j++)
			{
				if(map[i][j]>map[i][k]+map[k][j])
				{
					map[i][j]=map[i][k]+map[k][j];
					dp[i][j]=dp[i][k]+dp[k][j]-1;
				}
				else if(map[i][j]==map[i][k]+map[k][j])
				{
					dp[i][j]=Max(dp[i][j],dp[i][k]+dp[k][j]-1);
				}
			}
		}
	}
}
int solve()
{
	int res=0;
	if(map[s1][e1]>=inf||map[s2][e2]>=inf) return 0;
	for(int i=1;i<=n;i++)
	{
		for(int j=1;j<=n;j++)
		{
			if(map[s1][e1]==map[s1][i]+map[i][j]+map[j][e1]&&
			   map[s2][e2]==map[s2][i]+map[i][j]+map[j][e2])
			{
				res=Max(res,dp[i][j]);
			}
		}
	}
	return res;
}
int main()
{
	while(~scanf("%d%d",&n,&m),n+m)
	{
		for(int i=1;i<=n;i++)
		{
			for(int j=1;j<=n;j++)
			{
				if(i==j) 
				{
					map[i][j]=0;
					dp[i][j]=1;
				}
				else 
				{
					map[i][j]=inf;
					dp[i][j]=2;
				}
			}
		}
		for(int i=1;i<=m;i++)
		{
			int a,b,c;
			scanf("%d%d%d",&a,&b,&c);
			if(c<map[a][b])
			map[a][b]=map[b][a]=c;
		}
		floyd();
		scanf("%d%d%d%d",&s1,&e1,&s2,&e2);
		printf("%d\n",solve());
	}
	return 0;
}