Atcoder 【agc014d】Black and White Tree

Description

有一颗n个点的树，刚开始每个点都没有颜色。
Alice和Bob会轮流对这棵树的一个点涂色，Alice涂白，Bob涂黑，Alice先手。
若最后存在一个白点，使得这个白点所有相邻点都为白色，则Alice胜，否则Bob胜。
请问是先手必胜还是后手必胜。

---

Input

第一行一个整数n。
接下来n-1行每行两个整数ai,bi，表示有一条边连接ai,bi。

---

Output

若先手必胜，输出"First"（不含引号），否则输出"Second"（不含引号）。

---

Solution

随便搞搞.
可以发现先手选择点x后后手一定会选x旁边的一个点.
那么先后手的一次回合就变成了在原树上选择两个相邻的点涂黑白色.
在点x时有两个儿子都有必胜态时必胜,否则回溯到根时判断是否能用上述方式填满原树,不能就必胜(自己想想为什么.
那么就是乱搞了.

---

Code

#include<bits/stdc++.h>
using namespace std;
struct edge{
	int y,nxt;
}e[200010];
int head[100010],cnt,n;
void add(int x,int y){
	cnt++;
	e[cnt].y=y;
	e[cnt].nxt=head[x];
	head[x]=cnt;
}
bool dfs(int x,int fa){
	int ans=0;
	for(int i=head[x];i;i=e[i].nxt){
		int y=e[i].y;
		if(y==fa) continue;
		ans+=dfs(y,x);
	}
	if(ans>=2){
		printf("First");
		exit(0);
	}
	return ans^1;
}
int main(){
	int x,y;
	scanf("%d",&n);
	for(int i=1;i<n;i++){
		scanf("%d%d",&x,&y);
		add(x,y),add(y,x);
	}
	if(dfs(1,0)) printf("First");
	else printf("Second");
}