2014西安 H 有向图博弈 UVALive-7042

这个 类似于之前一个CF的题，直接从必败态倒着出发。

如果一个点能到达的点都是自己的必败态，那么他就是必败态。

  in other word  -- 如果一个点能到达的点都是敌人的必胜态，那么他就是必败态。

如果一个点能到达一个自己的必胜态，那么他就是必胜态。

  in other word  -- 如果一个点能到达一个敌人的必败态，那么他就是必胜态。

http://www.cnblogs.com/HITLJR/p/6613061.html

WZK的代码

#include <bits/stdc++.h>
#define maxn 110
#define inf 0x3f3f3f3f
#define REP(i,x,y) for(int i=x;i<(y);i++)
#define RREP(i,x,y) for(int i=x;i>(y);i--)
using namespace std;
typedef long long ll;
typedef pair<int,int>pii;
int n,m;
vector<int>e[maxn];
int cnt[maxn][maxn][2],dp[maxn][maxn][2],vis[maxn][maxn][2],out[maxn];
struct P{
    int pos_b,pos_a,op;
    P(){}
    P(int _,int __,int ___):pos_b(_),pos_a(__),op(___){}
};
int main()
{
    int T,cas=1;scanf("%d",&T);
    while(T--) {
        queue<P>que;
        scanf("%d %d",&n,&m);
        for(int i=1;i<=n;i++) {
            out[i]=0;
            for(int j=1;j<=n;j++) {
                dp[i][j][0]=dp[i][j][1]=-1;
                vis[i][j][0]=vis[i][j][1]=0;
            }
            e[i].clear();
        }
        REP(i,1,m+1) {
            int u,v;scanf("%d %d",&u,&v);
            e[v].push_back(u);
            out[u]++;
        }
        REP(i,1,n+1) {vis[i][i][0]=1;dp[i][i][0]=0,que.push(P(i,i,0));}
        REP(i,1,n+1) {vis[i][i][1]=1;dp[i][i][1]=1,que.push(P(i,i,1));}
        REP(op,0,2) {       //0 Bob 1 Alice
            REP(i,1,n+1) {
                REP(j,1,n+1) {
                    if(i==j) continue;
                    if(op==0) {
                        if(out[i]==0) {
                            dp[i][j][op]=0,que.push(P(i,j,op));
                            vis[i][j][op]=1;
                        }
                       // else if(out[i]==1&&pre[i][0]==j) dp[i][j][op]=0,que.push(P(i,j,op));
                    }
                    else {
                        if(out[j]==0) {
                            dp[i][j][op]=0,que.push(P(i,j,op));
                            vis[i][j][op]=1;
                        }
                    }
                }
            }
        }
        REP(i,1,n+1) REP(j,1,n+1) cnt[i][j][0]=out[i];
        REP(i,1,n+1) REP(j,1,n+1) cnt[i][j][1]=out[j];
        while(!que.empty()) {
            P now=que.front();que.pop();

            int v1=now.pos_b,v2=now.pos_a;
            // cout << v1 <<" "<< v2 <<" " << now.op  <<" "<<dp[v1][v2][now.op]<< endl;
           // cout<<v1<<" "<<v2<<" "<<now.op<<endl;
            if(!now.op) {       //bob
                int Size=e[v2].size();
                REP(i,0,Size) {
                    if(dp[v1][v2][now.op]==0) {
                        if(vis[v1][e[v2][i]][1]) continue;
                        dp[v1][e[v2][i]][1]=1;
                        vis[v1][e[v2][i]][1]=1;
                        que.push(P(v1,e[v2][i],1));
                    }
                    else if(dp[v1][v2][now.op]) {
                        if(vis[v1][e[v2][i]][1]) continue;
                        cnt[v1][e[v2][i]][1]--;
                        if(cnt[v1][e[v2][i]][1]==0) {
                            dp[v1][e[v2][i]][1]=0;
                            que.push(P(v1,e[v2][i],1));
                            vis[v1][e[v2][i]][1]=1;
                        }
                    }
                }
            }
            else {          //Alice
                int Size=e[v1].size();
               // cout<<Size<<endl;
                REP(i,0,Size) {
                    if(dp[v1][v2][now.op]==0) {
                        if(vis[e[v1][i]][v2][0]) continue;
                        dp[e[v1][i]][v2][0]=1;
                        vis[e[v1][i]][v2][0]=1;
                        que.push(P(e[v1][i],v2,0));
                    }
                    else if(dp[v1][v2][now.op]) {
                        if(vis[e[v1][i]][v2][0]) continue;
                        cnt[e[v1][i]][v2][0]--;
                        if(cnt[e[v1][i]][v2][0]==0) {
                            dp[e[v1][i]][v2][0]=0;
                            que.push(P(e[v1][i],v2,0));
                            vis[e[v1][i]][v2][0]=1;
                        }
                    }
                }
            }
        }
        int x,y;scanf("%d %d",&x,&y);
        printf("Case #%d: ",cas++);
        //cout<<dp[x][y][0]<<endl;
        if(dp[x][y][0]) puts("Yes");
        else puts("No");
    }
}