给定一个 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;
}