题意：
一棵根节点为1的树，告诉初始每个结点的颜色（黑或白），两个人轮流操作，规则是，选择一个黑色节点变为白色，在选择当前点到根节点路径上的任意个点（可以为没有），将其颜色翻转，最后不能操作的人输。

题解：

将每次操作这样理解，将一个黑点变白，然后将操作的点（不包含）到根节点路径上的点变成任意的状态。

结论是如果树的所有层的黑点的个数是偶数，则先手必败。

为什么？

因为全是偶数，先手造作第k层的点后，那么k层的点就变为奇数了（留给后手一个必胜的状态），这时后手也操作k层的一个点，然后复制先手的操作，一定可以留给先手一个全是偶数的状态。

这样，一定是后手走完最后一步，先手必败。

 

代码：

#include<bits/stdc++.h>
#define N 1010
#define INF 0x3f3f3f3f
#define eps 1e-10
#define pi acos(-1.0)
#define mod 998244353
#define LL long long
#define pb push_back
#define cl clear
#define si size
#define lb lower_bound
#define ub upper_bound
#define mem(x) memset(x,0,sizeof x)
#define sc(x) scanf("%d",&x)
#define scc(x,y) scanf("%d%d",&x,&y)
#define sccc(x,y,z) scanf("%d%d%d",&x,&y,&z)
using namespace std;
 
int w[N],t[N],dep[N];
vector<int>a[N];
 
void dfs(int x,int fa,int d)
{
    dep[x]=d;
    if(w[x]) t[d]++;
    for (auto i:a[x]) if (i!=fa) dfs(i,x,d+1);
}
 
int main()
{
    int n;sc(n);
    for (int i=1;i<=n;i++) sc(w[i]);
    for (int i=1;i<n;i++)
    {
        int j,k;
        scc(j,k);
        a[j].pb(k);a[k].pb(j);
    }
    dfs(1,-1,1);
    int ans=0;
    for (int i=1;i<=n;i++)
        if (w[i])
        {
            if (t[dep[i]]&1) {ans=1;break;}
        }
    if (ans) cout<<"First";else cout<<"Second";
 
}