题意:
给你一张n个点的有环无向图,保证每个点的度数为3,现在要把这个图里面所有的爪子搞出来。爪子的定义:一个根节点连三个叶节点,现在保证每条边都是爪子里面的一条边(可重复用点),问你可不可行。
思路:
首先因为保证每个点度数为3,所以可以看出只要二分图染色没有冲突,就可行。
因为一个点要么是跟要么是叶子,要么是根,如果一个点是叶子,那和他连的三个点就是根,这就很容易联想到二分图染色。
注意图还有可能不连通,要遍历每个点,如果他没被染色过,就对他染色。
最后跑一下二分图染色即可,复杂度O(n+m)
。
const int N=500;
int n,a,b,col[N];
bool ok;
vvi G(N);
bool dfs(int x,int c){
col[x]=c;
for(int to:G[x]){
if(col[to]==col[x]) return false;
if(col[to]==-1){
if(!dfs(to,c^1)) return false;
}
}
return true;
}
signed main() {
ios::sync_with_stdio(false);
cin.tie(0);
cout.precision(10);
cout << fixed;
#ifdef LOCAL_DEFINE
freopen("input.txt", "r", stdin);
#endif
while(cin>>n){
if(!n) break;
for(int i=0; i<=n; ++i){
G[i].clear();
col[i]=-1;
}
while(cin>>a>>b){
if(!a && !b) break;
G[a].eb(b);
G[b].eb(a);
}
bool ok=true;
for(int i=1; i<=n; ++i){
if(col[i]==-1){
if(!dfs(i, 0)){
ok=false;
break;
}
}
}
cout<<(ok?"YES":"NO")<<'\n';
}
#ifdef LOCAL_DEFINE
cerr << "Time elapsed: " << 1.0 * clock() / CLOCKS_PER_SEC << " s.\n";
#endif
return 0;
}