前言
发现树上博弈题很多。
大概思路都是你要想到一种简单不复杂的必胜必败态判断法。
再去证明两个东西就行了。
可能不是很正向思路。
题目大意
一颗树,每个节点上有一些石子,初始将一个小人放在某个节点上。
两人玩游戏,每次把小人所在节点上拿走一个石子(没有石子则游戏结束,当前操作者输),并把小人移动到相邻的一个节点。
问多少放小人的初始节点能使先手必胜。
判断
我们定义一个子树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);
}