2018牛客网暑期ACM多校训练营（第一场）D Two Graphs（图的同构概念）

链接：https://ac.nowcoder.com/acm/problem/17136?&headNav=www

题意：多组样例。第一行给出n、m1、m2，表示图的点数，图G1的边数以及图G2的边数。接下来，m1行描述G1，m2行描述G2。（无向图），让求G2的子图中，有多少是G1的同构图。

思路：首先说一下图的同构的概念。假设有一个图为G，关于G的点有一个映射（f(u)=u'）。如果G中的所有点之间的边

E={（u,v）}，图G'都有E1={（f(u)，f(v)）},那么图G'就是图G的一个同构图。如果G=G'，那么G'是G的一个自同构（也就是点和边完全相同，画出来的图一模一样）。这个题n最大为8，我们用全排列函数枚举映射，一个个检验即可。注意G1自同构数会被计算多次，G2的每一个与G1同构的子图，都会多算一次G1的自同构数。所以我们最后要除以G1的自同构数。

#include <bits/stdc++.h>
#define ll long long
using namespace std;
const int N = 10;
int n,m1,m2,f[N],u,v;
bool G1[N][N],G2[N][N],same;
ll sum1,sum2;
int main(void)
{
	while(~scanf("%d%d%d",&n,&m1,&m2))
	{
		sum1=sum2=0;
		memset(G1,0,sizeof(G1));
		memset(G2,0,sizeof(G2));
		for(int i=1;i<=n;i++) f[i]=i;
		for(int i=1;i<=m1;i++)
		{
			scanf("%d%d",&u,&v);
			G1[u][v]=G1[v][u]=1;
		}
		for(int i=1;i<=m2;i++)
		{
			scanf("%d%d",&u,&v);
			G2[u][v]=G2[v][u]=1;
		}
		do
		{
			same=1;
			for(int i=1;i<=n&&same;i++)
				for(int j=1;j<=n&&same;j++)
					if(G1[i][j]&&!G1[f[i]][f[j]])
						same=0;
			if(same)
				sum1++;
		}while(next_permutation(f+1,f+n+1));
		for(int i=1;i<=n;i++) f[i]=i;
		do
		{
			same=1;
			for(int i=1;i<=n&&same;i++)
				for(int j=1;j<=n&&same;j++)
					if(G1[i][j]&&!G2[f[i]][f[j]])
						same=0;
			if(same)
				sum2++;
		}while(next_permutation(f+1,f+n+1));
		printf("%lld\n",sum2/sum1);
	}
	
	
	return 0;
}