bzoj 3722: PA2014 Final Budowa 博弈论

题意

Fancy爷宣布XJOI群将要选举下一任群主。候选人有两名，分别是XYW和吉丽。
共有n个人（从1~n编号）参加这次投票。他们之间形成了一个树结构，根结点（1号结点）为Fancy。树上的结点有两种身份：专家（叶子结点）或领导（非叶子结点）。每位专家都有自己的选择——支持XYW和吉丽之中的一个；每位领导都有若干个下属（儿子结点），领导的选择决定于下属中人数较多的那一方，下属的数目保证为奇数，从而不会出现平局状况。最后，Fancy的选择即为选举结果。
吉丽和XYW知道，目前仍有一些专家处于犹豫未决的状态，只要前去游说，就可获得他的支持。但是由于精力不够，每人每天只能选择游说1名专家；XYW起床更早，他比吉丽先进行游说。这样两人交替进行，直到每位专家都有了确定的选择。请问XYW是否有策略保证自己赢得选举胜利？
2<=n<=1000

分析

可能是我最近做大博弈题做多了，没有想到居然是这么暴力的解法。
判断谁必胜的话，只要看谁必胜的子树多就好了。
至于输出方案的话。。。直接暴力枚举和判断就ok啦。

代码

#include<iostream>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<algorithm>
using namespace std;

const int N=1005;

int n,a[N],ans[N],col[N],cnt,last[N];
struct edge{int to,next;}e[N];

int read()
{
    int x=0,f=1;char ch=getchar();
    while (ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}

void addedge(int u,int v)
{
    e[++cnt].to=v;e[cnt].next=last[u];last[u]=cnt;
}

int dfs(int x)
{
    if (a[x]<=0) return col[x];
    int s=0;
    for (int i=last[x];i;i=e[i].next) s+=dfs(e[i].to);
    if (s<0) return -1;
    if (s>0) return 1;
    return 0;
}

int main()
{
    n=read();
    for (int i=1;i<=n;i++)
    {
        a[i]=read();
        if (a[i]<0) col[i]=a[i]==-1?-1:1;
        else for (int x,j=1;j<=a[i];j++) x=read(),addedge(i,x);
    }
    if (dfs(1)==-1) {puts("NIE");return 0;}
    int tot=0;
    for (int i=1;i<=n;i++)
        if (!a[i])
        {
            col[i]=1;
            if (dfs(1)) ans[++tot]=i;
            col[i]=0;
        }
    printf("TAK %d\n",tot);
    for (int i=1;i<tot;i++) printf("%d ",ans[i]);
    if (tot) printf("%d",ans[tot]);
    return 0;
}