蓝桥杯 有效图

给定一个 n𝑛 个点 m𝑚 条边的无向图。

点的编号为 1∼n1∼𝑛。

图中无重边无自环。

如果给定图满足以下条件，则认为该图是一个有效图：

• 对于任意三个不同点 x,y,z𝑥,𝑦,𝑧，如果 x𝑥 和 y𝑦 之间存在一条边直接相连且 y𝑦 和 z𝑧 之间存在一条边直接相连，则 x𝑥 和 z𝑧 之间也必须存在一条边直接相连。

请你判断给定图是否是有效图。

输入格式

第一行包含两个整数 n,m𝑛,𝑚。

接下来 m𝑚 行，每行包含两个整数 a,b𝑎,𝑏，表示点 a𝑎 和点 b𝑏 之间存在一条边直接相连。

输出格式

如果给定图是有效图，则输出 YES，否则输出 NO。

数据范围

前 55 个测试点满足 3≤n≤103≤𝑛≤10。
所有测试点满足 3≤n≤1500003≤𝑛≤150000，0≤m≤min(150000,n(n−1)2)0≤𝑚≤min(150000,𝑛(𝑛−1)2)，1≤a,b≤n1≤𝑎,𝑏≤𝑛，a≠b𝑎≠𝑏。

输入样例1：

4 3
1 3
3 4
1 4

输出样例1：

YES

输入样例2：

4 4
3 1
2 3
3 4
1 2

输出样例2：

NO

输入样例3：

10 4
4 3
5 10
8 9
1 2

输出样例3：

YES

 

//完全图的定义：一个团中边数=点数*（点数-1）/2
#include <iostream>
#include<cmath>
#include<algorithm>
#include<string>
using namespace std;
const int N = 150010;
typedef long long LL;
int n, m, p[N], d[N],s[N];//s为联通图的编号，p为父节点，d为入度
int find(int x)
{
	if (p[x] != x) 
		p[x] = find(p[x]);
	return p[x];
}
bool check()
{
	for (int i = 1; i <= n; i++)
	{
		if (p[i]==i)
		{
			if (d[i] != (s[i]-1)*s[i])
				return false;
		}
	}
	return true;

}
int main()
{
	cin >> n >> m;
	for (int i = 1; i <= n; i++)
	{
		p[i] = i;
		s[i] = 1;
	}
	while (m--)
	{
		int a, b;
		cin >> a >> b;
		a = find(a), b = find(b);
		d[a]++, d[b]++;
		if (a != b)
		{
			s[b] += s[a],d[b]+=d[a];
			p[a] = b;
		}
	}
	if (check())
		cout << "YES" << endl;
	else
		cout << "NO" << endl;
	return 0;
}