[agc010f]Tree Game

前言

发现树上博弈题很多。
大概思路都是你要想到一种简单不复杂的必胜必败态判断法。
再去证明两个东西就行了。
可能不是很正向思路。

题目大意

一颗树，每个节点上有一些石子，初始将一个小人放在某个节点上。
两人玩游戏，每次把小人所在节点上拿走一个石子（没有石子则游戏结束，当前操作者输），并把小人移动到相邻的一个节点。
问多少放小人的初始节点能使先手必胜。

判断

我们定义一个子树x是必胜的，当且仅当存在一个儿子y，满足a[x]>a[y]，且子树y必败。
否则认为子树x必败。
对于必胜子树，就每次把小人移到那个a[x]>a[y]且必败的子树，如果它移回来，你就再移回去，最终其不能再移回来。
对于必败子树，如果你选择了a[x]>a[y]且必胜的子树，你就把胜利交给了对方。
如果你选择了$a[x]<a[y]$的子树，后手可以移回来，最终总能阻止你往这个子树走。

#include<cstdio>
#include<algorithm>
#define fo(i,a,b) for(i=a;i<=b;i++)
using namespace std;
const int maxn=3000+10;
int h[maxn],go[maxn*2],nxt[maxn*2],a[maxn];
int i,j,k,l,t,n,m,tot;
void add(int x,int y){
    go[++tot]=y;
    nxt[tot]=h[x];
    h[x]=tot;
}
int dfs(int x,int y){
    int t=h[x];
    bool czy=0;
    while (t){
        if (go[t]!=y){
            if (a[x]>a[go[t]]&&!dfs(go[t],x)) czy=1;
        }
        t=nxt[t];
    }
    return czy;
}
int main(){
    scanf("%d",&n);
    fo(i,1,n) scanf("%d",&a[i]);
    fo(i,1,n-1){
        scanf("%d%d",&j,&k);
        add(j,k);add(k,j);
    }
    fo(i,1,n)
        if (dfs(i,0)) printf("%d ",i);
}